Hacker News Digest

Обновлённые правила и политики Bluesky

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

1. Правила сообщества (проект)

• Четкая структура: 4 принципа — безопасность, уважение, подлинность, соблюдение правил.
• Категории вреда: примеры под UK OSA, EU DSA, US TAKE IT DOWN Act.
• Модерация: прогрессивная система наказаний и прозрачность.
• Апелляции: вне- и внесудебные механизмы для жителей ЕС.

Комментарии принимаются до 28 августа; вступят в силу 15 октября. Форма обратной связи.

2. Условия предоставления услуг (вступают 15 сентября)

• Возрастные ограничения и проверки (COPPA, OSA, DSA).
• Детали модерации и реакции на незаконный контент.
• Процедура апелляций.
• Упрощённое разрешение споров: сначала звонок, затем — по выбору пользователя: суд или арбитраж (по схеме 1-1-1).

3. Политика конфиденциальности

• Права пользователей (GDPR, UK GDPR).
• Международные передачи данных и защита.
• Удаление данных: ограничения из-за децентрализованной архитектуры.
• Специальные разделы по юрисдикциям.

4. Политика авторского права

• Упрощённая процедура удаления (DMCA, DSA).
• Защита от злоупотреблений жалобами.
• Данные для прозрачных отчётов.

Все обновлённые документы доступны на странице поддержки.

Мы нанимаем!
Присоединяйтесь к команде, строящей открытый и децентрализованный интернет. Вакансии.

• Участники жалуются на неясную модель монетизации Bluesky и сомневаются, что децентрализация когда-нибудь будет реализована.
• Основная претензия к любой площадке — эхо-камеры, политизация и низкое качество дискуссий; «хорошие» сообщества есть, но их мало.
• Многие рассматривают уход из-за возможных требований к верификации возраста и отсутствия прозрачной апелляции при блокировках.
• Часть пользователей всё ещё находит ценные технические треды в X/Twitter, но считает участие в платформе морально сомнительным.
• Общий вывод: не привязывайтесь к одной сети, ведь «ничто не останется хорошим навсегда».

Gemma 3 270M — самая маленькая модель семейства Gemma 3, всего 270 млн параметров.
Подходит для запуска на смартфонах, микроконтроллерах и в браузере без облака.

• Производительность: на MMLU и HumanEval обгоняет Gemma 2 2B и Llama 3.2 3B, уступает Gemma 3 1B.
• Скорость: на Pixel 8 Pro — 1,2 токена/с, на RTX 4090 — 200 токенов/с.
• Форматы: Keras, JAX, PyTorch, Gemma.cpp, Ollama, Transformers.
• Лицензия: Gemma Terms of Use, коммерческое применение разрешено.

Доступна в Kaggle, Hugging Face, Ollama и через gemma-3-270m-it в Vertex AI.

• Команда представила Gemma 3 270M — сверхкомпактную модель (241 МБ) для локального запуска и тонкой настройки под узкие задачи.
• Пользователи уже тестируют её на телефонах, но жалуются на холлюцинации и слабое следование инструкциям.
• Обсуждаются примеры применения: тегирование статей WordPress, NER/перевод, генерация SVG, «умные» клавиатуры, обработка 50 млн строк в день.
• Многие спрашивают туториалы по дообучению и сравнение с Qwen 0.6B, который показывает лучшее качество при схожем размере.
• Авторы подчеркивают: модель «из коробки» слаба, но после fine-tuning может стать мощным специализированным инструментом.

Я написал What the Fork — кроссплатформенный визуализатор сборки C/C++ (и не только).
Запуск: wtf make, wtf cargo build, wtf gradle build, wtf -x для Xcode и т.д.

Инструмент показывает все процессы, включая скрытые вызовы ld, и ищет типичные проблемы:

• отсутствие -j у make,
• однопоточная компиляция,
• повторяющиеся cmake/make-шаги,
• непараллельные CI-сборки.

Как работает
Сборка = дерево команд. Чтобы увидеть всё, ловим системные вызовы fork/exec/exit:

• macOS — Endpoint Security API,
• Linux — ptrace,
• Windows — Event Tracing (самое мерзкое API).

Что уже нашли

• cargo собирал зависимость одним потоком вместо 10× ускорения.
• ninja при сборке LLVM держит 12 задач на 10 ядрах — почти идеал.
• CMake 85 раз подряд вызывает xcode-select, sw_vers, cmake/make → clang, не используя параллелизм.

Инструмент открыт для тестов — попробуйте на своём проекте.

• Пользователи восторженно реагируют на новый визуализатор сборки, особенно те, кто застрял на CMake/GCC/Make без clang/ninja и не может понять, почему сборка тормозит.
• Просят сразу показать GIF-демонстрацию под заголовком статьи и спрашивают, будет ли macOS-версия и открытый код.
• Некоторые делятся опытом: strace/dtruss, ninjatracing, vcperf, cargo --timings, Instruments и другие инструменты уже решали похожие задачи.
• Предложения расширить функциональность: добавить flame-графы процессов, поддержку fork(), интеграцию с Bazel Build Event Protocol, оценку «осталось времени» по историческим данным.
• Отдельные комментарии касаются маркетинга (сменить название), сравнения с VS/Xcode, а также шуток про TEEP/OEE завода и «LLVM, завари кофе».

OWhisper — это «Ollama для распознавания речи»: локальный или облачный STT-сервер, работающий в потоковом и пакетном режимах.

Появился из запросов пользователей Hyprnote «подключить свой STT, как LLM». Подходит для:

• быстрого локального прототипа;
• развёртывания крупных моделей на собственной инфраструктуре.

CLI — для локального запуска, Proxy — для облачных/крупных моделей.

FAQ

• Код: в репозитории Hyprnote (owhisper).
• Лицензия: GPLv3, планируется MIT.

• Пользователи просят стриминговый вывод, headless-режим и поддержку Linux; сборка уже есть, но тестировалась мало.
• Горячо обсуждается speaker diarization: пока нет, но это «на дорожной карте».
• Кто-то указывает, что проект использует внешние API (Deepgram) и не полностью локален, в отличие от Ollama.
• Автор отвечает: OWhisper умеет запускать локальные модели Whisper и Moonshine, работает как прокси к облачным провайдерам и выдаёт совместимый с Deepgram API.
• Поддерживаемые модели перечислены в CLI (owhisper pull --help) и скоро появятся на сайте.

embed-pdf-viewer — легковесный компонент для просмотра PDF, который встраивается в любой JS-проект без зависимостей.

• Установка: npm i embed-pdf-viewer
• Использование:

import { EmbedPDF } from 'embed-pdf-viewer';
new EmbedPDF('#viewer', { url: 'file.pdf' });

• Фичи: масштаб, пагинация, печать, полноэкранный режим, темы.
• Лицензия: MIT.

• Проект использует PDFium (движок Google/Foxit), а не собственный парсер.
• Основная цель — лёгкая интеграция в сайты и более плавный зум/рендеринг, чем у pdf.js.
• В Chrome аннотации работают, в Firefox и Safari частично: ломается выделение текста, закладки, печать.
• Планы монетизации: бесплатный MIT-вьювер + платные enterprise-фичи (хостинг, аналитика, контроль доступа).
• Разработка идёт 7 месяцев; roadmap включает подписание (PKCS#11/12) и, возможно, нативные приложения.

• Kodak не прекращает работу и не собирается подавать на банкротство.
• «Предупреждение о непрерывности» — лишь формальное требование бухгалтерии.
• Компания уверена, что до срока погасит или рефинансирует долг ($477 млн) и привилегированные акции ($100 млн).
• После закрытия сделки по пенсионному плану в декабре 2025 г. Kodak получит ≈ $500 млн активов (≈ $300 млн наличными и ≈ $200 млн инвестициями), которые пойдут на погашение долгов.
• Бизнес стабилен: во II кв. 2025 г. «сжёг» всего $3 млн на рост, и операции не зависят от пенсионных средств.
• Выплаты участникам пенсионного фонда будут выполнены в полном объёме.

• Пользователи предлагают Kodak «спасательный» продукт: тонкий камерофон с UX, ориентированным на мгновенную печать, архивацию и платные «физические» бэкапы.
• Кто-то хочет ultra-minimalist камеру без экрана, только SD-карта и USB-C.
• Обсуждают, что Kodak всё ещё монополист в цветной плёнке (Portra) и может зарабатывать на «ретро-буме», как Fujifilm на Instax.
• Основные доходы сейчас — коммерческая печать, химикаты и даже фармацевтика.
• «Going concern»-предупреждение вызвало панику: кто-то видит возможность для шорта или скупки акций, другие опасаются потери гарантий.

• Radicle — Git-репозиторий с криптографическими ссылками и социальными артефактами.
• Jujutsu — VCS-поверх Git: изменение jj всегда ссылается на коммит, но сам коммит может меняться.
• Git — транспортный слой: git fetch rad, git push rad.

Git-конфиг

[remote "rad"]
    url = rad://z371PVmDHdjJucejRoRYJcDEvD5pp
    pushurl = rad://…/z6MkireRatUThvd3qzfKht1S44wpm4FEWSSa4PRMTSQZ3voM
[alias]
    patch = push rad HEAD:refs/patches

Jujutsu-флоу

• jj new — новое изменение
• jj edit — правка описания
• jj squash — объединить в один коммит
• jj rebase — перестроить историю

.jj/config

[user]
    name = "fintohaps"
    email = "…"
[git]
    push = "rad"
    fetch = "rad"

Патчи в Radicle

1. Создать: git patch → открывается редактор для описания.
2. Обновить: jj rebase, затем git patch повторно.
3. Поддерживать: jj squash для чистой истории, jj rebase для синхронизации с rad/master.

Итого: Radicle + Jujutsu = Git без веток, но с криптографией и удобной работой с патчами.

• Пользователи делятся на два лагеря: одни (JimDabell, wirybeige, WolfeReader, LadyLag) хвалят Jujutsu за низкий порог входа, улучшенный flow и полезные алиасы.
• Другие (theusus, roman_soldier, frizlab) считают переход бесполезным или даже проблемным, отмечая отсутствие преимуществ и сложность исправления ошибок.
• Обсуждаются интеграция с GitHub/PR (vlovich123, watusername), поддержка сабмодулей (mac-monet, IshKebab) и удобство undo (Zambyte, rootnod3).
• Отмечены плюсы: автоснапшоты при сохранении файлов (diarrhea) и лёгкая работа со стеком PR (watusername).
• Недостатки: неясность пользы (prerok), проблемы в IDE-флоу (sestep) и сложность освоения.

Краткий перевод и сжатие

Суть претензии к статье ASU
Авторы обучили крошечную модель (600 k параметров) решать алфавитные задачи вида «A B C D [M1] → B C D E» и выводить цепочки мыслей. Они показали, что при малейшем сдвиге распределения (новая последовательность операций, лишний токен, увеличение длины) модель ломается. Отсюда вывод: «рассуждения» — это лишь копирование шаблонов из обучения, а не логический вывод.

Почему это неубедительно

1. Без языка нет рассуждений
   Настоящие цепочки мыслей полны «подожди», «а если…» и самокоррекции. Задача «сдвинь буквы» — это вычисление, а не рассуждение.
2. Слишком маленькая модель
   У 600 k параметров просто не хватит «мозгов» разложить сложное правило на части. Способность к рассуждению появляется у крупных моделей.
3. Сравнение с человеком отсутствует
   Люди тоже путаются при новых формулировках и учатся на примерах. Без измерения человеческих ошибок утверждение «это мираж» не имеет опоры.

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

• Критикуемая статья исследует 4-слойную «игрушечную» модель, поэтому многие сомневаются, что выводы распространяются на большие LLM.
• Спор идёт о том, заслуживает ли цепочка мыслей (CoT) названия «рассуждение»: кто-то видит в ней лишь стилизованное продолжение текста, кто-то — полезный механизм динамического выделения вычислений.
• Часть участников считает «рассуждение» без причинно-следственных связей философским миражом; другие указывают, что для практики важен результат, а не внутренний процесс.
• Поднимается вопрос: не лучше ли отказаться от токен-ориентированного текста и «думать» в скрытом пространстве или подключать символьные логические движки.
• Общий вывод: CoT пока работает как эвристика для улучшения ответов, но не является надёжным или масштабируемым заменителем «настоящего» рассуждения.

• Судья отменил большую часть флоридского закона о запрете книг, заявив: «Ни одна из этих книг не является непристойной».
• Решение касается закона HB 1069, который позволял родителям требовать удаления книг из школьных библиотек, если они считали их «непристойными» или «неподходящими».
• Судья назвал закон «необоснованно расплывчатым» и нарушающим Первую поправку.
• Под запрет попали книги с ЛГБТК+ тематикой, расовыми вопросами и историей США; многие из них уже вернулись на полки.

• Участники возмущены массовыми запретами книг во Флориде по HB 1069: под удар попали признанные литературные шедевры, что выглядит злоупотреблением властью.
• Многие подчеркивают лицемерие: Библия полна сцен секса и насилия, но её никто не изымает из школьных библиотек.
• «Абсолютисты свободы слова» подверглись критике за молчаливое согласие с цензурой, тогда как реальную защиту прав ведут обычные активисты.
• Часть комментаторов считает, что запреты — часть стратегии «культурных войн» и привлечения избирателей, а не забота о детях.
• Некоторые указывают, что формально закон не запрещает частное владение книгами, но создаёт страх и самоцензуру среди библиотекарей.

Почему LLM не могут строить ПО

Эффективный инженер постоянно прокручивает цикл:

1. формирует ментальную модель требований,
2. пишет код,
3. проверяет, что он реально делает,
4. сверяет модели и правит код или требования.

LLM умеют писать и обновлять код, запускать тесты, логировать, но не умеют держать в голове ясную модель. Они путаются: считают, что всё работает, не понимают, где ошибка — в коде или в тесте, и при раздражении сносят всё и начинают заново. Человек же, столкнувшись с проблемой, может «свернуть» контекст, сфокусироваться на детали, затем вернуться к общей картине.

Даже если модели станут мощнее, им нужно научиться так же «держать в памяти» и переключаться между уровнями детализации. Сейчас они страдают от выпадения контекста, пристрастия к свежим фактам и галлюцинаций. Работа над «памятью» идёт, но пока LLM не понимают происходящего и не могут сравнивать две похожие модели, чтобы решить, что менять.

LLM полезны: быстро генерируют код и документацию, справляются с простыми задачами. В сложных случаях человек всё равно должен контролировать требования и проверять результат. В Zed верят в совместную работу человека и агента, но руль остаётся за инженером, а LLM — лишь инструмент.

• LLM хороши как инструменты-ассистенты: быстро пишут boilerplate, находят мелкие ошибки, экономят время на рутине.
• Главный недостаток — неспособность удерживать и «поддерживать» целостную ментальную модель задачи; контекст «размывается» или меняется непредсказуемо.
• Поэтому при росте кодовой базы отладка превращается в «чтение спагетти», и инженер всё равно вынужден начинать заново.
• Решение — не «больше контекста», а системы-обёртки: TDD-циклы, пошаговое планирование, документация-модель, строгие промпты.
• Вывод: сейчас LLM заменяют джунов и Google-поиск, но полноценное ПО без человека, который держит «теорию» проекта в голове, построить не могут.