Hacker News Digest

ИИ уже умеет писать код и находить ошибки, которые пропустил опытный разработчик. Пять лет назад это казалось фантастикой, а теперь эксперты всё ещё ошибаются в прогнозах. Рост может замедлиться, но это только усилит исследования новых архитектур.

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

Возможно, ИИ приведёт к новой экономической системе. Пока рынки игнорируют риски, акции растут, но в исторической перспективе биржи неважны: любые институты рано или поздно исчезают, когда общество и знания меняются кардинально.

• Участники спорят, насколько быстро и радикально ИИ изменит рынок труда: одни видят экспоненциальный рост способностей, другие ― плато и регресс.
• Ключевой риск: если ИИ сможет учиться на новые задачи быстрее человека, прежняя логика «технологии создают больше занятости» может рухнуть.
• Уже сегодня административные и низкоквалифицированные роли сокращаются: 4 сотрудника заменяются одним супервайзером над агентами-ИИ.
• Ряд комментаторов предлагает UBI или иной пересмотр экономической системы, иначе неизбежны рост неравенства и социальная нестабильность.
• Скептики напоминают: раньше каждая волна технологий порождала новые профессии, но теперь ИИ может освоить и эти новые задачи, поэтому «человек больше не нужен» как ресурс.

PYX — новый Python-реестр от создателей uv.
Ускоряет установку из PyPI и приватных источников в разы, фильтрует пакеты по популярности, возрасту и уязвимостям, поддерживает современные стандарты и GPU-фреймворки (PyTorch, vLLM, FlashAttention, DeepSpeed) с готовыми сборками под ваше железо.

Запишитесь в лист ожидания и станьте первым, кто попробует будущее Python.

• Astral анонсировала коммерческий приватный реестр Pyx, чтобы упростить установку тяжёлых GPU-зависимых пакетов.
• Часть сообщества рада скорости uv и удобству, другие опасаются VC-финансирования, будущего «закрытия» и повторения судьбы предыдущих проектов.
• Критика: имя Pyx конфликтует с Cython, неясны детали работы, а расходы компании вызывают сомнения в жизнеспособности без поглощения.
• Сравнения с Anaconda/conda-forge, Artifactory и Docker-контейнерами: многие считают, что проблема решается и без нового реестра.
• Итог: Pyx выглядит как ещё одна попытка «серебряной пули» в хаосе Python-упаковки, и сообщество ждёт подробностей и гарантий открытости.

Почему я выбрал OCaml как основной язык

С 2012 года OCaml стал моим главным инструментом для личных и профессиональных задач. Меня даже дружески называют «евангелистом OCaml» — звание, которым я горжусь. Несмотря на стереотипы, язык активно применяют Meta, Microsoft, Bloomberg, Jane Street, Tezos и многие другие.

Язык

• Статическая типизация без боли: компилятор выводит типы и не даёт ошибиться.
• Мультипарадигменность: функциональный стиль, ОО, императивные вставки.
• Алгебраические типы и pattern-matching делают моделирование данных естественным.
• Мощная модульная система позволяет собирать большие проекты без головной боли.
• Внедрение зависимостей через модули или эффекты без runtime-фреймворков.
• Будущее: multicore уже в релизе, эффекты, производительность растёт.

Недостатки: малый рынок труда, скромный набор библиотек, синтаксис «не для всех».

Экосистема

• Компилятор генерирует быстрый нативный код, есть JavaScript (js_of_ocaml) и MirageOS (уникальная unikernel-платформа).
• OPAM — удобный менеджер пакетов.
• Dune — современная сборка на S-expr; внутри реализованы Selective Applicative Functors.
• Merlin + LSP = IDE-фичи в VS Code, Vim, Emacs.
• Odoc генерирует документацию из кода.
• Библиотеки: Core, Lwt, Async, Irmin, Dream — покрывают большинство задач.

Сообщество

Компактное, дружелюбное, сильно ориентировано на open source. Конференции ICFP, OCaml Workshop, обсуждения в Discord и Discuss.

Мифы

• OCaml ≠ F#: разные экосистемы, рантаймы, цели.
• Операторы +. и +. — не проблема, есть ppx-решения.
• Разделение .ml/.mli не обязательно: интерфейсы можно описать прямо в .ml.

Итог

OCaml — это прагматичный выбор, когда не нужен ручной контроль памяти как в Rust. Он даёт скорость разработки, надёжность и удовольствие от кода.

• Google перешли с Python на Rust не ради скорости, а ради базовых FP-фич — ADT и pattern matching.
• Многие отмечают, что OCaml приятен, но страдает из-за слабой экосистемы, плохого tooling’а и Windows-поддержки.
• Часть разработчиков предпочитает F# или Rust: у первого богатый .NET-стек, у второго — библиотеки и производительность.
• Синтаксис OCaml вызывает споры: кто-то считает его «инопланетным», кто-то привыкает за неделю.
• Несколько человек задумались, подходят ли FP-языки лучше для работы с LLM из-за компактности кода и строгой типизации.

Исследование: соцсети, похоже, неисправимы.
Проблемы — поляризация, эхо-камеры, доминирование экстремистов — заложены в самой архитектуре платформ, а не в алгоритмах или человеческой склонности к негативу.

Учёные из Амстердама создали симуляцию с ИИ-«пользователями» и проверили шесть популярных идей по «исправлению» соцсетей:

• хронологическая лента;
• понижение вирусных постов;
• разнообразие мнений;
• «мостовые» алгоритмы, стимулирующие взаимопонимание;
• скрытие лайков/репостов;
• удаление биографий.

Результат: ни одна мера не устранила корневые механизмы; часть идей ухудшила ситуацию. Например, хронология снизила неравенство внимания, но усилила экстремизм; «мостовые» алгоритмы уменьшили поляризацию, но увеличили неравенство.

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

• Исследование, где LLM имитируют поведение людей в соцсетях, вызывает скепсис: модели не люди и выбор поведения слишком ограничен.
• Многие считают, что «починить» соцсети можно только убрав алгоритмы, оставив хронологическую ленту и подписки.
• Другие уверены: корень зла — человеческая жадность и стремление к конфликту, а не технологии.
• Проблема усиливается монетизацией: платформы зарабатывают на вовлечённости, поэтому поощряют скандалы и «рейджбейт».
• Умеренные меры (строгая модерация, отказ от рекомендаций, некоммерческое управление) могут смягчить, но не устранить структурные проблемы.

Этот сайт для людей.
Выбери тему: garden, midnight city, miami sunset, minimalist, 2003, vaporwave, 1999.

Меню: About, Blog, Speaking, Links, etc.

---

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

Я подписана на Smitten Kitchen и Meera Sodha через RSS: рецепты проверены, вкус гарантирован. ChatGPT выдаёт усреднённую подделку без личности автора.

Говорят о «Google Zero» — дне, когда трафик с поиска упадёт до нуля. Если ИИ отвечает сразу, зачем заходить на сайт?

А мне нужно, чтобы вы заходили. Читали статьи, находили другие тексты, ссылки, странные темы. Чтобы после статьи звали на конференции. Многие живут за счёт рекламы.

Я пишу для людей, не для роботов. Делюсь опытом, учу, люблю обсуждать. На посты ухожу часы, ИИ тратит секунды.

Я не пишу для венчурных ИИ, которые сожрут текст и выдадут бездушную выжимку.

Этот сайт для людей. LLM не приветствуются.

© Sophie Koonin 2025
rss mastodon bluesky email

• Блог «for humans» вызвал восторг дизайном и «душой», но спор о том, как защитить контент от ИИ.
• Критика ИИ: «блендер, перемалывающий чужой труд»; рецепты-«месиво» без доверия и личности.
• Пользователи хотят быстрых ответов, поэтому боты побеждают; авторы же страдают от «Google Zero».
• Технические меры (robots.txt, /llms.txt, обфускация) легко обходятся; юридические — нереальны.
• Некоторые видят будущее, где сайты останутся «для любителей», а массы довольствуются «ИИ-шлаком».

DEF CON 33 превратился в парад Пентагона: на «Arcade Party» военные раздавали светящиеся браслеты и листовки «Loyalty to the United States», а фаундер Джефф «Dark Tangent» Мосс поднимал тост «Go Army!» с бывшим главой NSA Полом Накасоном.

Конференция официально сотрудничает с CACI и Peraton, несмотря на $42 млн штрафа CACI за пытки в Абу-Грейб. Планы DEF CON открыть филиалы в Бахрейне и Сингапуре — странах-партнёрах США по военной киберполитике — вызвали бойкот части хакеров.

Полицейские вывели активиста Джереми Хэммонда, крикнувшего «Free Palestine!».

• DEF CON перестал быть контркультурным и превратился в корпоративно-государственный ивент, где «ловят не федов, а хакеров».
• Аплодисменты рекрутерам CISA и армейским конкурсам подтверждают смену духа.
• Многие считают, что рост и деньги неизбежно поглотили субкультуру; кто-то ищет «настоящий» DEF CON в менее официальных треках.
• Участники спорят: связь с разведкой и армией была всегда, но теперь она открытая и без иронии.
• Часть сообщества мигрирует на CCC, Recon или закрытые встречи; другие предлагают уменьшить конференцию и вернуться в отель.

• YouTube
• О проекте
• Пресс-центр
• Авторские права
• Связаться
• Авторам
• Реклама
• Разработчикам
• Условия
• Конфиденциальность
• Правила и безопасность
• Как работает YouTube
• Тест новых функций
• NFL Sunday Ticket

© 2025 Google LLC

• Восхищённые и скептики делятся воспоминаниями о первом Pebble: кто-то купил демо-юнит на хакатоне, кто-то участвовал в краудфандинге и помнит, как компания закрылась.
• Главные плюсы новинки: 30 дней батареи, «не лезет в облака», открытый код, совместимость со старыми приложениями.
• Ключевые минусы и сомнения: нет GPS, слабое здоровье-отслеживание, цветной экран хуже по контрасту, крупные размеры, дорогая доставка.
• Пользователи Garmin и Apple Watch считают Pebble слишком простым, а фанаты Pebble наоборот — «слишком умные» часы отвлекают и разряжаются за день.
• Многие всё же предзаказали: «взял на память», «поддержу проект», «надеюсь на Health Connect и ремешки».

Репозиторий FFmpeg

• 120 755 коммитов, 38 веток, 408 тегов, размер 271 МиБ
• Языки: C 90 %, Assembly 8 %, Makefile 1 %, остальное <1 %

Ветка master

• Последний коммит: a2cfaf1 — avformat/mov: передавать индекс потока в sanity_checks для HEIF
• CI: все проверки успешны (linux-amd64, linux-aarch64, Windows, lint)

Ссылки

• ZIP | TAR.GZ | BUNDLE

Последние изменения

• libavformat: передача индекса потока в sanity_checks для HEIF (James Almer)
• libavcodec: очистка pu_info в rv60dec
• fftools/ffmpeg_mux_init: 64-битные вычисления score
• libswscale: выравнивание на 8 строк для planarCopyWrapper
• doc/examples: замена sleep на av_usleep
• presets: удалены устаревшие пресеты iPod

• FFmpeg ушёл с GitHub на самостоятельный Forgejo, отказавшись от рассылок и ускорив навигацию по файлам.
• Пользователи жалуются на защиту Anubis с «аниме-девочкой»: ошибки «Invalid Response», пропадающий CSS, проблемы на Android.
• Критика мотива «не Microsoft» и вопросы: почему именно Forgejo, а не GitLab/Gitea.
• Сторонники отмечают суверенитет и удобство, противники — нестабильность и «нелепый» брендинг.

libavfilter: фильтр Whisper
Добавлен аудиофильтр для транскрибирования речи через модель Whisper. Требует библиотеку whisper.cpp ≥ 1.7.5; включается ./configure --enable-whisper.

Ключевые параметры

• model – путь к файлу модели (обязателен)
• language – язык (auto по умолчанию)
• queue – максимальный размер очереди перед обработкой

Патч включает документацию, примеры и обновления configure, Changelog, doc/filters.texi.

• Whisper теперь доступен как фильтр в FFmpeg, что упрощает встраивание расшифровки в любые ffmpeg-совместимые приложения.
• Пользователи отмечают высокое качество Whisper, но жалуются на сложность сборки и необходимость ручного скачивания моделей.
• Появляются запросы о поддержке потоковой транскрипции, распознавании нескольких языков и идентификации говорящих.
• Некоторые уже используют Whisper для реального времени (полицейские рации, сайты), другие ждут интеграции в Audacity, OBS, mpv.
• Обсуждаются альтернативы (Parakeet, Apple Speech API) и «хаки» (ускорение 10×, редактирование «ice cream» → «I scream»).

• Исследование: 30 % спутников Starlink фиксируются в диапазоне SKA-Low (50–350 МГц), где запрещены любые передачи.
• Данные: 11 часов наблюдений Murchison Widefield Array (Австралия), 2023 г.
• Результат: обнаружено 2 300 «светящихся» спутников; мощность излучения в 10 млн раз выше допустимого порога для SKA-Low.
• Последствия: угроза для изучения космической эпохи реионизации и поиска экзопланет; помехи нельзя устранить фильтрацией, так как они широкополосные.
• Решения:
  – технические: улучшить экранировку спутников, перейти на более высокие частоты;
  – политические: усилить международные стандарты и контроль.

• Starlink создаёт мощное непреднамеренное электромагнитное излучение (UEMR), которое в 5 порядков превышает чувствительность SKA-Low и может парализовать ключевую науку о эпохе реионизации.
• Пользователи отмечают двойные стандарты FCC: штрафы для частников, но передача спорных диапазонов компаниям вроде SpaceX.
• Некоторые считают, что LEO всё равно станет перегружен, и предлагают смягчать конфликт «ориентированным избеганием» и доработкой спутников; другие требуют компенсации в виде орбитальных обсерваторий.
• Обсуждается военная логика: создавая тысячи спутников, страны стремятся к устойчивым коммуникациям в войне, что может спровоцировать гонку противоспутникового оружия.
• Сторонники спутникового интернета подчёркивают пользу для удалённых районов, критики — что муниципальный интернет дешевле и не мешает науке.