Ежедневный дайджест · Hacker News

· 89 Hacker News

  1. Тристан Бакмастер, математик из Нью-Йоркского университета, объявил о доказательстве конечного времени взрыва для уравнений Эйлера и Буссинеска, полученном с помощью LLM. Он утверждает, что OpenAI, у…

  2. OpenAI объявляет о решении одной из задач тысячелетия — проблемы существования и гладкости решений уравнений Навье–Стокса. Внутренняя система OpenAI, использующая модель значительно мощнее GPT-6 Astr…

  3. Французский стартап Mistral объявил о привлечении €3 млрд в раунде Series D при оценке более €21 млрд. Это крупнейшее частное размещение среди европейских технологических компаний. Раунд возглавила S…

  4. Релиз LibreOffice 26.8, вышедший 26 августа, стал самым популярным обновлением за всю историю проекта: за первую неделю установщик скачали более миллиона раз, не считая обновлений через репозитории L…

  5. Meta запустила Muse — персонального AI-агента, который выходит за рамки чат-бота. Muse работает в защищенной виртуальной машине с собственным браузером, может бронировать столики, заполнять формы, об…

  6. Jellyfin 12.0 — это крупный релиз, который меняет схему нумерации версий (вместо 10.12.0 теперь 12.0) и приносит множество улучшений. Ключевые изменения: переработана база данных для ускорения работы…

  7. Google DeepMind представила AlphaGenome Atlas — базу данных, предсказывающую эффект каждой возможной однонуклеотидной замены в человеческом геноме. С помощью ИИ-модели AlphaGenome были рассчитаны рег…

  8. Kenton и его друзья, знакомые почти 30 лет, построили дом, где каждая комната готова к игре. В подвале — 12 игровых станций, встроенных в стены, которые складываются, когда не нужны. В офисе обеденны…

  9. Канал Gamers Nexus совместно с Level1Techs и независимыми исследователями выяснил, что смарт-телевизоры LG почти постоянно собирают данные о владельцах и их домах, даже когда устройство находится в р…

  10. Weird Gloop, хостинговая компания, управляющая вики для RuneScape, Minecraft и других игр, обнаружила, что после мартовского обновления Google 2024 года новые домены практически не индексируются: в п…

  11. Проект i-have-adhd на GitHub предлагает скилл для AI-ассистентов, который заставляет их выдавать ответы в формате, удобном для людей с ADHD: сначала действие, затем нумерованные шаги, без лишних отст…

  12. Автор решил проверить, насколько слабыми были первые RSA-ключи в веб-PKI. Он извлек корневые сертификаты из архивов Netscape и Internet Explorer, нашел 512-битные ключи канадского удостоверяющего цен…

  13. Теренс Тао предупреждает, что ИИ-инструменты «добывают» хорошие открытые математические проблемы невозобновляемым образом, делая их дефицитными. Он объясняет, что хотя сгенерировать бесконечное множе…

  14. Blackmagic Design выпустила DaVinci Resolve 21.1 — крупное обновление, которое добавляет интеграцию с ИИ-ассистентами (Claude, Claude Code, ChatGPT Codex) для автоматизации рутины: от организации мед…

  15. Автор рассказывает, как превратил e-ink устройство Xteink X3 в настоящий принтер, поддерживающий печать с MacBook. Он реализовал протокол IPP, настроил Bonjour для обнаружения, и решил проблему нехва…

  16. Сатирический рассказ от первого лица о сотруднике Mondo Mayo, который оправдывает возвращение в офис на шесть дней в неделю, чтобы нажимать кнопки GENERATE и APPROVE в системе SlurryHose. Герой описы…

  17. Анализ CipherCue показал: из 44 143 европейских компаний, использующих CDN, 89,6% (39 547) работают за Cloudflare. В Нидерландах доля достигает 95,6%, в Великобритании — 93,2%. Amazon (CloudFront) —…

  18. Paramount тайно поддерживает некоммерческую организацию Neighbors for Strong Communities, которая рассылает калифорнийцам текстовые сообщения с призывом заставить генпрокурора Rob Bonta отказаться от…

  19. OpenAI анонсировала ChatGPT Images 2.5 — новую модель генерации изображений, которая доступна в ChatGPT и API. Модель обеспечивает более естественное освещение и текстуры, лучше сохраняет узнаваемост…

  20. Журналисты 404 Media выяснили, что Пограничный патруль США создал секретные подразделения Predictive Intelligence Targeting Team (PITT), которые анализируют финансовую активность граждан и передают д…

  21. Terrastruct объявила об открытии исходного кода TALA (Terrastruct's AutoLayout Algorithm) под лицензией MPL-2.0. TALA — это новый алгоритм автопрокладки, ориентированный на ортогональные диаграммы ар…

  22. Релиз GLM 5.3-flash с открытым весом означает, что дешёвые и мощные модели ИИ, способные к опасным взломам, теперь доступны каждому, без обычных ограничений. Автор объясняет, почему это создаёт крити…

  23. Автор протестировал квантизации Qwen3.8 27B от Unsloth на бенчмарках GPQA Diamond, IFBench и Terminal-Bench 2.1. Полная модель BF16 весит 55 ГБ, а Q4_K_M (17 ГБ) показывает практически идентичные рез…

  24. Форк Deltafin под названием ARGODRIVE запускает полную, необрезанную модель Kimi K3 (2.8 трлн параметров, 16 экспертов) на Apple Silicon, используя потоковую передачу с SSD. На MacBook Pro M1 Max дос…

  25. Создатели South Park Трей Паркер и Мэтт Стоун объявили о переименовании шоу в South America. Они объяснили это «храбростью и патриотизмом» Apple и Google, а также поблагодарили Paramount — «Skydance…

  26. Исследования показывают, что контакт с почвой, травой и растениями улучшает микробиом кожи и укрепляет иммунную систему. Финские ученые обнаружили, что даже 20 секунд контакта с землей повышают разно…

  27. История святых Варлаама и Иоасафа, почитаемых в христианстве, почти дословно повторяет жизнеописание Будды. Впервые этот сюжет появился в X веке в Грузии, но его корни уходят в санскритское слово «бо…

  28. Inception Labs представила Mercury 2.5 — самую мощную и крупнейшую из когда-либо обученных диффузионных языковых моделей. Она на 40% умнее предшественника Mercury 2, достигает 1107 токенов в секунду…

  29. Copperhead — это агент ИИ с открытым исходным кодом для проектирования печатных плат. Он работает как парный программист, но вместо кода редактирует файлы KiCad. Copperhead начинает с документации, т…

  30. Веб постоянно меняется, и HTML тоже. Эта статья — ностальгический обзор забытых HTML-сниппетов, которые когда-то были необходимы для совместимости с браузерами, расширениями и платформами. От X-UA-Co…

  31. Инженеры Sikorsky решили проблему контроля целостности лопастей несущего винта вертолёта CH-53 с помощью радиоактивного стронция-90. Лопасти герметичны и заполнены азотом: при появлении трещины давле…

  32. Новое исследование показывает, что большие языковые модели (LLM) могут формировать новые социальные предубеждения, не заложенные в обучающих данных, в процессе адаптивного исследования. Это ставит по…

  33. Вышла версия 2.0 Bedrock — минималистичного стартового набора для Emacs, созданного вручную и не использующего сторонних пакетов в базовой конфигурации. Обновление требует Emacs 31 и включает улучшен…

  34. Дэн Луу проверил, помогают ли агентам простые указания использовать конкретные техники тестирования или библиотеки. В 26 условиях (от TDD до формальных методов и фаззинга) агенты должны были реализов…

  35. Правительство Австралии представило проект закона о цифровой обязанности заботы (Digital Duty of Care), который обяжет соцсети предлагать пользователям старше 16 лет выбор: видеть в ленте персональны…

  36. В Нью-Йоркском университете 92-летний математик и 14-летний подросток объединили усилия, чтобы решить задачи, которые десятилетиями ставили в тупик учёных. Их сотрудничество, начавшееся с переписки,…

  37. NYU professor Tristan Buckmaster announced three proofs, a step toward solving the Navier-Stokes existence and smoothness problem, one of the Millennium Prize problems. He alleges OpenAI, after learn…

  38. LLM Attention Visualizer — это интерактивный инструмент, который наглядно показывает, как большие языковые модели (LLM) используют механизм внимания при генерации текста. Вы можете нажимать или навод…

  39. Проект FreeBSD объявил о выходе FreeBSD 14.5-RELEASE — шестого релиза ветки stable/14. В этом выпуске, вышедшем в конце жизненного цикла ветки, приоритет отдан обслуживанию: исправления ошибок, обнов…

  40. Автор рассказывает, как в своём интерпретаторе Plush заменил 128-битный enum на 64-битное значение с низкобитовой разметкой. Это сократило память и, вопреки опасениям, ускорило выполнение на 17%. В с…

  41. Интерактивная страница воспроизводит стиль книги Фрэнсиса «A Topological Picture Book»: поверхности (Бой, Морин, Эннепер и др.) отрисовываются штрихами, а не пикселями. Контуры, двойные кривые и штри…

  42. Архитектурный критик и фотограф Джон Марголис (1940–2016) почти сорок лет документировал необычные здания и вывески, которые местные жители возводили вдоль американских дорог. Его архив из 11 710 цве…

  43. Новый отчет PISA 2025 фиксирует значительное снижение результатов 15-летних учащихся по чтению и математике в среднем по странам OECD. Это продолжение негативного тренда, начавшегося до пандемии COVI…

  44. Технический сбой в системе Nats, обеспечивающей диспетчеров данными о рейсах, привел к массовой отмене и задержке рейсов по всей Великобритании. В Хитроу не смогли принять более 20 рейсов, их перенап…

  45. Автор прогнал одну и ту же задачу — построить sci-fi ангар на Three.js с дронами, анимированными огнями и туманом — через десять комбинаций моделей (GLM, Luna, SOL, Astra, Qwen) и инструментов-обвязо…

  46. TradingAgents — это открытая мультиагентная платформа для торговли, которая имитирует структуру реальной торговой фирмы. В ней несколько LLM-агентов, включая аналитиков (фундаментальных, новостных, т…

  47. Расследование Gamers Nexus и Level1Techs показало, что LG OLED-телевизоры продолжают шпионить за пользователями: записывают разговоры даже в режиме ожидания, сканируют домашнюю сеть и отправляют данн…

  48. Служебные записки, полученные The Guardian, показывают, что полицейские управления по всей Америке обеспокоены тем, что умные очки Ray-Ban Meta, оснащенные камерами и микрофонами, могут использоватьс…

  49. Автор разбирает двухчасовое расследование GamersNexus о безопасности LG Smart TV. Видео содержит громкие заявления: телевизоры LG могут использоваться как подслушивающие устройства, а также якобы соб…

  50. Автор рассказывает о своих экспериментах с 1-битным динамиком ZX Spectrum, пытаясь воспроизвести продвинутые техники, ранее опробованные на IBM PC. Он реализует воспроизведение PCM-звука с частотой д…

  51. Herdr, инструмент для управления агентами и локальными машинами с более чем 700 000 загрузок и почти 1 000 плагинов, выпустил версию 0.9 с поддержкой нескольких машин. Теперь можно подключать удаленн…

  52. Google DeepMind запустила AlphaGenome Atlas — открытую платформу с предсказаниями молекулярных эффектов для каждого из 9 миллиардов возможных однонуклеотидных вариантов в человеческом геноме. Ресурс…

  53. Arm представила Mali G2-Ultra NX — первый AI-native GPU в семействе Mali, который интегрирует нейроускорители прямо в шейдерные ядра. Это позволяет использовать нейрографику (NSS, NFRU, NSSD) для пов…

  54. Y Combinator запускает Early Access Network — закрытую группу для старших технологических руководителей, которые хотят первыми увидеть перспективные enterprise-AI стартапы. Четыре раза в год YC будет…

  55. Исследователи представили C* — расширение языка C, которое встраивает доказательства прямо в код. Благодаря символьному исполнению и LCF-ядру программисты могут проверять свои программы в реальном вр…

  56. Инженер Rohan Adwankar разобрал внутренности виртуальных машин, на которых работают мобильные агенты вроде Claude Code и Instinct. Обе платформы используют Firecracker microVM, но по-разному: Claude…

  57. Applied Compute Agent Cloud (AC2) — это исследовательский инструмент для сквозной разработки моделей, инференса и непрерывного обучения. Платформа предлагает SDK для работы с данными, запуска экспери…

  58. Мартин Уэкер объясняет, как GCC реализует вложенные функции, которые позволяют определять функции внутри других функций. В отличие от традиционного подхода с указателем на стековый кадр, GCC собирает…

  59. Книга Джошуа Ганса (Joshua Gans) из Rotman School of Management предлагает всесторонний микроэкономический анализ ИИ. Автор утверждает, что современные достижения в ИИ — это прежде всего достижения в…

  60. Статья подробно разбирает иерархию компьютерной памяти: от регистров и кэша процессора до DRAM и твердотельных накопителей. Объясняется, почему невозможно создать одну идеальную память, как работает…

  61. Статья объясняет, как работает анимация в игровом движке Bevy, начиная с базовой интуиции и заканчивая разбором официального примера. Автор, столкнувшись с трудностями при изучении, делится ментально…

  62. Кристина Водтке, преподаватель и дизайнер, размышляет о том, почему дизайнеры в технологических компаниях чувствуют себя самыми выгоревшими и разочарованными. Она связывает это с внутренним конфликто…

  63. Автор исследует возможность использования J-пространства (jacobian space) для получения steering vectors из простых токенов, связанных с целевым поведением. На модели Qwen3-1.7B он демонстрирует, что…

  64. Разработчик игр решает переиздать любимую книгу «Professor Mmaa's Lecture» и делится опытом: от заключения контракта до подготовки текста. Он использует LLM для OCR и очистки сканов, сталкивается с о…

  65. Разбор головоломки Jane Street по обратному проектированию ASIC-чипа. Автор объясняет, как читать GDS-файлы, определять техпроцесс по именам ячеек (SkyWater 130 нм) и восстанавливать логическую схему…

  66. OUI-1 — это открытая модель на базе DiffusionGemma, которая генерирует пользовательские интерфейсы на языке openui-lang. Она достигает 71,7% на Generative UI Benchmark, что в 5,5 раза выше базовой мо…

  67. Автор разбирает один вызов np.add(a, b) для float64-массивов, прослеживая путь от Python до низкоуровневого цикла. Он объясняет, как ufunc-объекты хранят внутренние циклы, как работает переопределени…

  68. Новое исследование черепов сумчатого волка показало, что его укус был уникальным среди млекопитающих. Ученые выяснили, что тасманийский тигр охотился на мелкую добычу, а не на овец, как считали колон…

  69. Автор рассказывает, как его деловой партнер за один день «вайб-кодил» весь модуль платежного бэкенда с помощью ИИ, не обсудив детали с фронтенд-разработчиком и не проверив работоспособность. В PR на…

  70. Гостевая статья Криса Ласоцки на блоге YosysHQ рассказывает о Colorlight 5A-75B — недорогой плате на базе Lattice ECP5, которая изначально была приёмной картой для светодиодных экранов. Благодаря уси…

  71. Отчёт AlphaGeo анализирует климатическую устойчивость 72 крупнейших городов мира с помощью индекса CRRI, разделяя физическую подверженность рискам и скорректированный с учётом адаптации риск (RAJ). К…

  72. Колонка в Financial Times утверждает, что поколение, выросшее после окончания холодной войны, не имеет опыта жизни в условиях последовательной и предсказуемой внешней политики США. Автор связывает эт…

  73. Крупнейшее рандомизированное исследование во французских лицеях показало: годовая бесплатная цифровая подписка на ведущую национальную газету и уроки медиаграмотности заметно повышают интерес подрост…

  74. В статье разбирается популярная аналогия «цветов функций» из эссе 2015 года и опровергается утверждение, что аргументы функций (например, context.Context в Go) можно считать такими же «цветами». Авто…

  75. Проект weowntheglass.com превращает экран телевизора в «метафорические вилы»: он показывает произведения искусства, изображающие народные восстания, в ответ на технологию ACR (Automated Content Recog…

  76. Автор подкаста Switched To Linux выражает скепсис по поводу недавнего партнёрства между GrapheneOS и Motorola. Он задаётся вопросами о том, как это повлияет на приватность, поддержку устройств и фило…

  77. Майкл Харли рассказывает о стратегии подготовки своей семьи к чрезвычайным ситуациям. Вместо сценариев «полного коллапса» они сосредоточены на реальных угрозах: отключениях воды и электричества, кото…

  78. Автор, спираючись на дослідження Гарварду 2010 року про блукання розуму, аналізує, як надмірна кількість кар'єрних можливостей у tech-індустрії призводить до хронічного невдоволення. Він пояснює, чом…

  79. Автор рассказывает о своей кастомной IDE, где центральная панель занята не кодом, а плавающей сферой — бесполезным, но завораживающим скринсейвером. Он размышляет о том, что в эпоху бесплатных инстру…

  80. Исследователи из Brown University обучили робота писать японские иероглифы, а затем он самостоятельно скопировал слова на хинди, греческом и английском, просто взглянув на примеры. Система использует…

  81. Модель компании Falcons AI из Рас-эль-Хаймы, предназначенная для классификации изображений NSFW, набрала более 50,8 млн загрузок на Hugging Face за последние 28 дней. Это шестой результат среди более…

  82. DriveSync — это быстрый CLI-инструмент на Rust для синхронизации локальной папки с Google Drive. Он работает в стиле Git: команды push, pull и diff позволяют загружать изменения, скачивать их или про…

  83. Автор LogiCola 3 рассказывает, как он восстановил дизайн оригинальной программы 2008 года, чтобы вернуть ей живость и доступность. Он реверс-инжинирил цветовые схемы, вычисляемые через Windows API, и…

  84. Генеральный директор Arm Holdings Рене Хаас заявил, что искусственный интеллект сможет найти лекарство от рака, которое человечество не найдёт за всю свою жизнь. Однако он предупредил, что нехватка ч…

  85. NYC MapTap — это интерактивная игра для изучения районов Нью-Йорка. Вам показывают название района, а вы должны указать его на карте. Приложение включает линии метро, что помогает запомнить маршруты…

  86. The Feather Atlas от U.S. Fish & Wildlife Service — это онлайн-инструмент, который помогает идентифицировать птиц по перьям. Вы можете фильтровать по цвету, размеру, положению пера (первичные, вторич…

  87. aispace.sh — это сервис для передачи файлов, ориентированный на AI-агентов: он предоставляет CLI с предсказуемым JSON-выводом, ссылки с истекающим сроком действия и опциональное локальное шифрование…

  88. anystation — это публичная доска объявлений в форме дерева, где каждый пост имеет уникальный адрес, а ответы образуют ветви. Для чтения и публикации не нужен аккаунт: можно использовать HTTP, SSH, DN…

  89. Автор, создавший ранее инструмент Onionservatory для проверки безопасности Onion-сервисов, представляет новую утилиту Onionspector. Она анализирует, какую информацию о посетителе может собрать Onion-…