News Digest

• Incremental: быстрый пересчёт данных с гарантией согласованности
  Incremental — библиотека для быстрого пересчёта данных при изменениях. Подходит для электронных таблиц, GUI и гарантирует согласованность производных данных.
  21.07.2026 03:50 · hackernews
• США шантажом получают биометрию ЕС: EBSP нарушает права путешественников
  США шантажом заставляют страны ЕС передавать биометрические данные для безвизового режима — ЕС соглашается. Проект соглашения EBSP, по данным EDRi, несовместим с европейским правом и угрожает правам путешественников.
  20.07.2026 12:14 · hackernews
• Backtracking, CSP и SAT solver собирают замкнутый путь из Brio
  Для сборки замкнутого пути из деталей Brio автор применяет три подхода: backtracking, CSP с глобальными ограничениями и SAT solver. Каждый отвечает на свой вопрос: проверка набора, эффективность для фиксированного набора или поиск самой сложной сети.
  10.07.2026 19:32 · hackernews
• Flock Safety обманула Ошкош про ALPR: тепловые карты, контракт отозван
  Flock Safety обманула город Ошкош, заявив, что её ALPR-камеры не строят тепловые карты, — контракт отозвали за день, и это не единственный случай лжи компании.
  21.07.2026 00:33 · hackernews
• Книга Хикс о психологической безопасности получила восторг от лидеров Gartner и Microsoft
  Книга Кэт Хикс «The Psychology of Software Teams» восторженно принята лидерами Gartner Consulting, Microsoft и honeycomb.io. Она научно развенчивает мифы о продуктивности и доказывает, что психологическая безопасность и коллаборация — инфраструктура, а не плюшки.
  15.07.2026 16:16 · hackernews
• Разработчик выжал 85.3 GFLOPS из AMD Zen 3 — в 56 раз быстрее наивного
  Разработчик Lucas Lima Freitag выжал 85.3 GFLOPS из ядра AMD Zen 3 — это 63.5% пика и в 56 раз быстрее наивного кода. Секрет: комбинация FMA chaining, register blocking с четырьмя строками и упаковка матрицы B на лету.
  17.07.2026 14:24 · hackernews
• Из Jellyfin ушли три ключевых участника из-за выгорания
  Из Jellyfin ушли три ключевых участника, включая основателя Джошуа Бонифаса — из-за выгорания и смены приоритетов, но передача дел идёт мирно, и проект остаётся главным FLOSS медиасервером.
  20.07.2026 23:15 · hackernews
• Эйлер доказал расходимость простых, Риман — точную формулу и гипотезу
  Эйлер доказал, что сумма обратных всех простых чисел расходится. Риман вывел точную формулу для π(x) через нули ζ(s), выдвинув гипотезу о их расположении на линии Re(s)=0.5.
  17.07.2026 22:02 · hackernews
• Скотт Ларсон: от слежки гигантов спасёт Linux и отмена Citizens United
  IT-гиганты вроде Google и Facebook превратились в машины слежки, собирая поведенческие данные для предсказания поведения. Скотт Ларсон призывает переходить на свободное ПО вроде Linux и отменить решение Citizens United.
  20.07.2026 20:08 · hackernews
• Синий свет LED вредит ритмам, города экономят на DALI
  Избыток уличного света не делает безопаснее, а LED в синем спектре сбивают циркадные ритмы. Технология DALI позволяет диммировать фонари и менять температуру, но города ставят дешёвые «тупые» лампы.
  20.07.2026 13:07 · hackernews
• Soofi выпустила первую европейскую открытую MoE-модель Soofi S
  Консорциум Soofi выпустил первую европейскую открытую MoE-модель Soofi S — 30 млрд параметров, обученную на 27 трлн токенов. Пока доступ ограничен: для тестов нужно писать на contact@soofi.info.
  20.07.2026 12:52 · hackernews
• Агентный рой написал SQLite на Rust: 9 крейтов вместо 54
  Новый агентный рой написал SQLite на Rust по документации — он справился быстрее, чище и дешевле старого: 9 крейтов вместо 54, код открыт на github.com/cursor/minisqlite.
  20.07.2026 18:06 · hackernews
• `/prewalk`: 92% производительности Opus за 53% стоимости
  Планирование через `/plan` с Opus 4.8 и Gemini Flash оказалось на 14% дороже одного Opus. Техника `/prewalk` даёт 92% производительности Opus за 53% стоимости и снижает читерство.
  15.07.2026 05:08 · hackernews
• ИИ возвращает контроль, но сообщество требует маркировки deepfakes
  Искусственный интеллект делает взаимодействие с техникой менее жёстким, возвращая человеку контроль. Однако страхи перед манипуляциями ИИ оправданы, и пока сообщество сходится лишь на обязательной маркировке deepfakes.
  20.07.2026 15:28 · hackernews
• Open‑weights модели вроде Kimi K3 дорожают, а Hugging Face спасает GLM 5.2
  Open‑weights модели вроде Kimi K3 обманчиво дёшевы: стоимость единицы интеллекта растёт из-за лишних токенов на рассуждения. А в кибербезопасности — абсурд: Hugging Face пришлось использовать китайскую GLM 5.2, так как свои модели не прошли guardrails.
  20.07.2026 11:05 · hackernews
• Firefox 153.0 ESR: Vulkan Video на Linux и PDF/JPEG-XL/HDR на Windows
  Firefox 153.0 вышел с поддержкой Vulkan Video decode для ускорения видео на Linux. Это также Extended Support Release (ESR) с улучшениями PDF, JPEG-XL и HDR на Windows.
  20.07.2026 13:47 · hackernews
• ChatGPT опроверг гипотезу Эрдёша, Sol и Fable — Гротендика и Якобиана
  ChatGPT опроверг гипотезу Эрдёша. Sol формализовала контрпример в Lean, а позже Sol и Fable нашли контрпримеры к проблеме Гротендика и гипотезе Якобиана.
  20.07.2026 19:03 · hackernews
• Ziggity — быстрый терминальный Git-клиент на Zig, легче lazygit
  Ziggity — быстрый терминальный Git-клиент на Zig, легче lazygit, с открытым кодом (MIT) от Симоне Арпе.
  20.07.2026 15:46 · hackernews
• DeepSeek-R1 учит reasoning RLVR, GPT-5.6 даёт рассуждение Light-Ultra
  DeepSeek-R1 показал, как тренировать reasoning model через RLVR. А GPT-5.6 и другие модели теперь умеют выборочно включать рассуждение — от Light до Ultra.
  20.07.2026 14:35 · hackernews
• Овер-инжиниринг — это провал сбора требований
  Over-engineering — это провал сбора требований. Идеальное решение становится единственно возможным, когда требования чёткие.
  20.07.2026 14:10 · hackernews