Hacker News 🇷🇺 Русский

Для заполнения «дыр» в рациональных числах вводят континуум действительных чисел.

Конструкция Дедекинда определяет действительное число как сечение рациональной прямой, заполняя каждый разрыв.

Расселевский подход «честного труда» строит поле действительных чисел как множество всех сечений Дедекинда.

Утром 14 августа на платформе X возникли технические сбои, из-за которых при попытке загрузить ленту или профиль появлялась ошибка «Something went wrong. Try reloading.».

На пике проблемы около 18 600 пользователей отправили жалобы на Downdetector, к 11:21 количество сообщений упало до менее 600.

В статусе платформы разработчиков X не было зафиксировано инцидентов, несмотря на массовые жалобы пользователей.

Российские хакеры в апреле захватили контроль над норвежской гидроэлектростанцией, открыв шлюз на четыре часа.

Норвежская служба безопасности PST впервые официально связала атаку с Москвой.

Цель операции — сеять страх и хаос среди населения.

Reddit ведет переговоры с Tools for Humanity о внедрении системы World ID на основе сканирования радужки для анонимной верификации уникальности пользователей.

Система World ID создает зашифрованное представление скана радужки, фрагментирует данные и распределяет их по защищенным серверам, что исключает хранение личной информации в открытом виде.

Orb отказывает в сканировании пользователям младше 18 лет, а анонимное подтверждение возраста и других данных происходит без передачи личных данных.

Приглашение к сообществу обсудить переработанные Руководящие принципы до 28 августа, вступление в силу 15 октября.

Обновлённая структура Руководящих принципов: четыре ключевых принципа и чёткие примеры допустимого и запрещённого контента.

Уточнены категории вредоносного контента в соответствии с требованиями UK OSA, EU DSA и US TAKE IT DOWN Act.

Рост цен на подписки и фрагментация контента заставляют зрителей использовать VPN и нелегальные стриминги.

Незаконный стриминг в 2023 году составил 96% от всего пиратства видео и фильмов.

Число посещений пиратских сайтов выросло с 130 млрд в 2020 до 216 млрд в 2024 году.

What the Fork – кроссплатформенный инструмент для визуализации и ускорения сборки проектов на любых языках программирования.

Инструмент отслеживает системные вызовы fork, exec и exit для построения подробного таймлайна выполнения сборки.

Помогает выявлять узкие места: отсутствие параллелизма, избыточные повторные вызовы build-систем и длительные периоды простаивания.

Злоумышленники всё чаще используют малоизвестные языки программирования (Delphi, Haskell, Rust и др.) для затруднения статического анализа.

Выбор языка и компилятора существенно влияет на вероятность обнаружения вредоносного кода.

Малораспространённые компиляторы (Pelles C, Embarcadero Delphi, Tiny C) снижают эффективность систем детектирования сильнее, чем просто редкие языки.

Предложенные схемы проверки возраста с защитой конфиденциальности невозможны из-за непреодолимых технических и организационных препятствий.

Протокол Camenisch-Lysyanskaya и доказательства с нулевым разглашением не решают проблему единственного удостоверяющего провайдера и не предотвращают выдачу дублирующих учётных данных.

Создание и поддержка удостоверяющих провайдеров сопряжены с высокими затратами, сложностями доступа для социально уязвимых групп и конфликтом интересов между участниками системы.

Зарплата $110–150K и опционный пакет 0,10–0,30%.

Локация: Нью-Йорк, полный рабочий день, требуется виза или гражданство США.

Требуется 1+ год опыта разработки сложных ПО в продакшн-среде.