Hacker News Digest

Каждый несвязный без мостов граф содержит набор циклов, покрывающих каждую дугу ровно дважды. Для доказательства достаточно рассмотреть кубические (3‑регулярные) графы без мостов. Такие графы всегда обладают ничтожным 8‑потоком, что эквивалентно наличию ничтожного потока над полем Γ=𝔽₂³. На основе этого потока строится раскладка ребер множествами из двух элементов Γ так, чтобы у каждой вершине каждый элемент Γ встречался либо 0, либо 2 раза. Эта «расслабленная» 3‑красочная раскладка приводит к требуемому покрытию.

Для каждой вершины локально выбираются три элемента Γ из значений потока на её трёх инцидентных ребрах; из них формируются пары {t, t+x}, {t+x, t+z}, {t, t+z}. На каждом ребре эти пары совпадают, если выполнена система линейных уравнений над Γ⊕𝔽₂, которая всегда имеет решение (лемма 2.2). После выбора параметров t_v и ε_e получаем для каждого ребра набор из двух элементов Γ, удовлетворяющий условию (1). По построению множества M_s={e:s∈P_e} разбиваются на циклы, каждый элемент Γ появляется в ровно двух M_s около любой вершины, а их объединение покрывает все ребра двойным циклом. Таким образом любой безмостовой граф имеет цикл‑двойное покрытие.

• ИИ создал короткое доказательство задачи о двойном покрытии циклов, которое прошло проверку.
• Промпт включал множество метаинструкций и требовал от модели «продолжать» работу.
• Реакция сообщества разнообразна: от восхищения до скептицизма по поводу проверки и значимости.
• Ключевой вопрос — необходимость независимого математического рецензирования и прозрачности процесса.

Сокращённый перевод на русский (в 2 раза короче):

PDF-документ
Формат: PDF-1.6
Содержит:

• 1 страницу (612×792 pt)
• 4 объекта ресурсов (шрифты, изображения, цветовые пространства)
• 3 встроенных изображения (390×390 px, 8-бит, RGB)
• Потоки данных: сжатые FlateDecode, длина ~44 Кб и ~18 Кб
• Шрифты: TrueType (TT1–TT20)
• Изображения: Im1–Im4, интерполяция включена
• Структура: страница → ресурсы → содержимое → потоки

Итог:
Технический PDF с графикой и текстом, оптимизированный под визуализацию.

• Apple сертифицирует macOS как UNIX, чтобы избежать судебных исков за неправомерное использование торговой марки «Unix».
• Сертификация требует включения специального «Unix-режима» (case-sensitive FS, выключенный SIP и т.д.); тот macOS, что идёт на новых Маках, сертифицированным не является.
• Процесс дорог и непопулярен: большинство Linux-дистрибутивов и *BSD давно отказались от него, считая POSIX-совместимости достаточно.
• Участники обсуждения находят десятилетние баги (poll, fsync, pthread-часы), которые так и не исправлены, несмотря на формальное соответствие стандарту.
• Итог: сертификат нужен в основном маркетологам и юристам; разработчики ценят macOS за удобство и набор Unix-утилит, а не за штамп « Certified UNIX™».

• Claude теперь генерирует Excel, Word, PowerPoint и PDF прямо в чате.
• Доступно для Max/Team/Enterprise, Pro — позже.

Как использовать:

1. Включить «Upgraded file creation» в Settings > Features > Experimental.
2. Загрузить данные или описать задачу.
3. Скачать готовый файл или сохранить в Google Drive.

Возможности:

• Очистка данных, анализ, графики, пояснения.
• Финмодели, трекеры, бюджеты с формулами.
• PDF → слайды, заметки → документ, счета → таблицы.

Claude пишет код в изолированной среде, превращая идеи в файлы за минуты. Начните с простых отчётов, затем переходите к сложным моделям.

• Клод получил «Code Interpreter»-режим: в песочнице устанавливает pip-пакеты и запускает Python, чтобы создавать/редактировать локальные файлы (XLSX, PDF, диаграммы и т.д.).
• У пользователей растёт недовольство надёжностью: артефакты «залипают», правки не применяются, модель часто «тупит» и тормозит даже у подписчиков Pro/Max.
• Часть комментаторов считает фичу полезным дополнением к аналитике, другие — пиаром «старого» функционала, а кто-то опасается всплеска малвари и фишинга.
• Конкуренты (ChatGPT, Copilot) уже умеют запускать код и отдавать zip-архивы, поэтому новинка воспринимается как догоняющий, а не прорывной шаг.
• Основной запрос сообщества: «Сначала почините стабильность и качество модели, потом добавляйте новые фичи».

Adobe Reader vs SumatraPDF

• Adobe Reader 25.x (Win11, 64-bit): 687 МБ
  — встроенный «ИИ», автообновления, реклама Acrobat, два интерфейса.

• SumatraPDF 3.5.2: 8 МБ
  — нет «ИИ», автообновлений, рекламы; ставится через scoop.

График роста размера инсталлятора Adobe Reader за годы:

• Adobe Reader раздут до 600 МБ, медленный, навязчиво предлагает платные функции и ставит сторонний софт (McAfee).
• Подавляющее большинство пользователей отказались от него в пользу браузеров, macOS Preview, SumatraPDF, PDF-XChange, Okular и других лёгких альтернатив.
• Логарифмический масштаб графика скрывает реальный рост размера: Reader стал в 83 раз больше Sumatra.
• Для Windows рекомендуют SumatraPDF и PDF-XChange, для Mac — Preview и Skim; Linux-пользователи используют zathura, evince или Okular.