Тема

Программирование и языки

60 материалов

Он нарисовал семь лет активности на GitHub. ИИ сделал 2026-й самым загруженным годом с 2020-го (oioannou.com)

Иоанну, инженер Bold.org, выгрузил историю своей активности на GitHub. Медианный рабочий день вырос с 3–4 действий до 7. Дней без активности стало 18 за этот год против 40–46 в год раньше. Виноваты дешёвые старты: агенты делают каждый новый проект лёгким в начале и трудным в том, чтобы его отпустить.

Самые резкие ответы в треде пришли от тех, кто считает, что автор с самого начала неверно понял сделку.

Не просто заголовок — разбор дискуссии

Главные треды HN: факты из обсуждений, разные стороны, голоса инсайдеров. Email, Telegram или RSS.

JIT-компилятор Python вышел в 3.13, а его авторы отозвали PEP, который должен был его сохранить (lwn.net)

JIT, влитый в 2024 году без стандартного PEP, в июне 2026-го поставили на паузу до принятия PEP. Его мейнтейнеры составили PEP 836, но совет хотел конкретных планов по поддержке, производительности и безопасности и возразил против проверки совместимости, назначенной на август 2028 года. 19 октября авторы сдались.

Читатели разделились между сожалением и пожиманием плечами, и один указал на закономерность.

Стратегия 90-х падала при 255 юнитах, и это одна из причин, почему блогер защищает современный софт (bitlog.com)

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

Комментаторы приняли историю, но оспорили один показатель.

Lean проверил все 43,1 миллиона строк классификации конечных простых групп и нашёл один пробел (cfsg.axiommath.ai)

Каждый логический шаг классификации, то есть теоремы о том, что любая конечная простая группа — циклическая простого порядка, знакопеременная, типа Ли или одна из 26 спорадических групп, — проверен ядром Lean. Формализация содержит 2,05 миллиона деклараций и 100 вех, а команда опубликовала альтернативный путь для затронутого случая.

Математики в треде удивились, что пробелов оказалось так мало.

FreeCell 1993 года запускается в современной Windows, а CD-плеер 1992-го почти (blog.enlyth.com)

Предварительная сборка CD-плеера для NT 3.1, собранная 16 ноября 1992 года, тоже работает, используя системную библиотеку crtdll.dll. Более ранние сборки NT падают, потому что использовали соглашение cdecl, а Windows 11 ждёт stdcall.

С 16-битным эмулятором otvdm запускается даже «Реверси» из Windows 1.01 1985 года, и автор признаётся, что это похоже на читерство.

Бесплатный 11-часовой курс Рашки обучает модель рассуждений на базе Qwen3 0.6B (magazine.sebastianraschka.com)

Курс дообучает уже предобученную модель Qwen3 0.6B, а не обучает с нуля. Ранние разделы запускаются на процессоре, код лежит в репозитории GitHub.

Комментаторы разделились: одни читали его книгу о LLM и были в восторге, другие скептически спрашивали, для кого этот курс.

Биткоин-кошелёк за $500 часами висел на PHP-сервере, и никто его не забрал (stealmybitcoin.com)

Это была проверка тезиса, что ИИ делает эксплуатацию PHP тривиальной. За часы незнакомцы пополнили кошелёк до $2000, а приз так и остался невостребованным.

Один комментатор запустил сгенерированный LLM прототип эксплойта, и сайт упал. Падение — это ещё не шелл.

Дэн Лу: ИИ сократил год работы до нескольких часов, так что возьмитесь за что-то сложнее (danluu.com)

Его довод опирается на pgrust Михаила Малиса, переписанный Postgres, который уже выявил настоящие баги Postgres, в том числе переполнение денежных значений.

Ветка разделилась: люди скучают или им просто это не нравится?

Чистый функциональный язык отстаёт от лучшей C-библиотеки DEFLATE всего на 2,6–8,9% (rtfeldman.com)

На корпусе Silesia roc-deflate отстаёт от libdeflate по медиане на 8,9% на Ryzen 9 3900X и на 2,6% на MacBook Pro с M1.

Goose — системный язык без кучи, и его автор пришёл отвечать на вопросы (aardappel.github.io)

В репозитории заявлено примерно 3,5-кратное превосходство над идиоматичным C++ и 1,1-кратное над лучшим безопасным Rust на 16 собственных бенчмарках. В README реализацию компилятора, бенчмарки и документацию приписывают ИИ-модели.

🌍Other ★ 247 · 💬 167 · 3 дня назад · #open source#программирование#C++#Goose#Rust+1

ClickHouse удалил pgrust из бенчмарка: в бинарнике нашёлся код под каждый запрос (github.com)

Сопровождающий ClickBench убрал pgrust, переписанный на Rust Postgres, сказав, что запись измеряет «таблицу поиска под бенчмарк, а не базу данных». Пробы с немного изменёнными запросами отклонялись с ошибками.

Создатель pgrust пришёл в тред, чтобы сказать, что обвинения ложны. Комментаторов интересовало, почему пути к этим файлам оказались в бинарнике.

UUIDv7 гарантирует только уникальность, а Python может обогнать ваши часы (alexsci.com)

Alex Scott в посте доказывает, что три свойства, которые людям приписывают в UUIDv7, — монотонный порядок, надёжное время создания и непредсказуемость — RFC 9562 не гарантирует. Даже Postgres предупреждает, что извлечённая временная метка может не совпадать со временем создания.

Комментаторы сказали, что это упускает главную причину им пользоваться: держать новые строки вместе в индексе.

Он нарушил эмбарго на PHP RCE и говорит, что его источник сказал, будто эмбарго не было (news.ycombinator.com)

Он следит за четырёхнедельным циклом релизов PHP и собирает из исходников, поэтому хотел предупредить таких же, как он, чтобы обновились. После его поста график раскрытия изменился.

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

Claude доказал, что 239 точек входа библиотек не падают, на основе около 180 миллионов строк Rocq (anthropic.com)

Свойство скромное: ни падения, ни провалившегося утверждения для любого входа меньше 64 МБ. Типичное доказательство — около 600 000 строк для бинарника примерно из 18 000 инструкций; процесс нашёл сотни багов, включая один, для которого нужен вход около 20 МБ.

Доказательства покрывают статические сборки musl на RISC-V, а не x86 и glibc, которыми пользуется большинство.

Ear clipping обогнал Delaunay в шесть раз на 3,7 миллиона полигонов карты (globus.software)

Автор написал earstrip — заголовочный файл C++ со сборкой для WebAssembly. К ear clipping он добавил быстрый путь для выпуклых полигонов, вывод полос и подсчёт без ветвлений. В нативной сборке это примерно на 14% быстрее earcut.hpp.

Полигоны, которые касаются сами себя, и полигоны с 128 и более дырами переходят на Delaunay.

FORTRAN тоже должен был покончить с программированием: в 1954-м так заявила IBM (hrih.si)

Эссе на hrih.si утверждает, что ИИ повторяет путь FORTRAN, только быстрее: испытание METR показало, что опытные разработчики с ИИ работали на 19% медленнее, при этом считали, что быстрее, а данные Faros AI показали больше pull request'ов, но намного более долгие ревью.

Комментаторы атакуют саму аналогию. Один говорит, что компиляторы сначала называли «автоматическими кодировщиками»; другой — что компилятор сопоставляет вход с выходом примерно 1:1, а LLM так не делает.

Go будет отказываться от цепочек сертификатов через набор недоверенных промежуточных ЦС (github.com)

Исправление, которое проходит как CVE-2026-111943, отбрасывает цепочки сертификатов с недоверенными промежуточными ЦС; бэкпорты открыли для Go 1.26 и 1.27.

Cloudflare переписала TypeScript на Rust: в 8 раз быстрее и на 70% меньше памяти (blog.cloudflare.com)

Экспериментальный порт компилятора TypeScript на Rust от Cloudflare заявляет до 8x ускорения и примерно на 70% меньше памяти, чем у TypeScript 7.0; код за несколько дней написали передовые модели.

Участник команды TypeScript говорит, что многое ускорение не связано с выбором языка, а часть уже попадает в TypeScript 7.1.

Разработчик Ruby заархивировал все свои гемы: причина в переходе Мацумото к эре ИИ (po-ru.com)

Пол Баттли, лондонский разработчик, заархивировал все свои гемы на Ruby и написал, что больше не хочет кормить общий ресурс, который крупные компании выкачивают для машин. Он указывает на основную команду Ruby, которая, по его словам, теперь пишет язык в основном с помощью LLM-агентов.

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

Ask HN: что делать, когда выпускаешь код, написанный ИИ, который не понимаешь? (news.ycombinator.com)

В треде Ask HN спросили, как инженеры справляются с выпуском кода, написанного LLM, который они до конца не читали. Инженер Hasura признаёт, что после перехода от автодополнения в IDE к CLI Claude и Codex его собственная система стала расплывчатой. Решение, по его мнению, в формально верифицируемом коде.

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

Linux 7.3 вышел с 18 765 коммитами и 807 новичками в ядре (lwn.net)

LWN называет Linux 7.3 рекордным релизом: 18 765 коммитов без слияний от 3021 разработчика, из них 807 впервые участвуют в разработке ядра. В числе основных изменений новый системный вызов fchroot(), глобальные данные per-CPU для BPF и завершённый подпланировщик sched_ext.

Есть и failfs, файловая система, которая намеренно проваливает каждую операцию, созданная для тестирования.

🚀Tech ★ 591 · 💬 276 · 20 октября · #open source#программирование#BPF#Linux#LWN+1

Парсер-комбинаторы на TypeScript: разбираем реальный вывод команды ping (t3.at)

Парсер здесь — это функция, которая принимает строку и возвращает значение и непрочитанный остаток. Маленькие парсеры объединяются в большие с помощью pSeq, pMap и pRepeat, а типизированный результат — это кортеж или объект, а не массив совпадений.

Готовый пример разбирает заголовок, строки по каждому пакету и сводку реального запуска ping в один типизированный объект.

Цикл Linux 7.2 стал одним из самых напряжённых в истории, а LWN обеспокоен тем, кто понимает патчи (lwn.net)

1 111 изменений несут теги Assisted-by, против 301 в 7.1, а 252 коммита засчитывают отчёт системе проверки Sashiko. LWN говорит, что всплеск тегов Fixes выглядит так, будто люди используют LLM, чтобы искать баги в старом коде.

Его тревога: если поток патчей продолжится, в ядре может появиться код, который никто полностью не понимает.

Vercel Labs скомпилировала TypeScript-порт компилятора TypeScript в нативный бинарник (github.com)

Каждый этап компилятора сравнили с tsgo на собственном тестовом наборе TypeScript из примерно 12 500 файлов, и проект сообщает о совпадении результатов на проверенных случаях. Результатов бенчмарка не опубликовано, только скрипт для их получения.

Комментатор, который сравнивал её со сборкой на Go, подтвердил, что она быстрее, но предупредил: код рассчитан на подмножество TypeScript, которое поддерживает scriptc, так что результат, возможно, подстроен под этот инструментарий.

Claude пишет 90% кода Claude Code, и его команда перестроила ревью вокруг уровней риска (claude.dev)

Anthropic говорит, что количество слитых PR для Claude Code с июня по сентябрь выросло более чем вдвое, а доля откатов сократилась больше чем на 40%. Классификатор теперь относит изменения к проверке без человека, одним или двумя людьми; одобрение агента никогда не засчитывается как одобрение человека.

На HN в основном сомневались, что пропускная способность что-то измеряет.

Ветераны Lean: спешка с математическими библиотеками, написанными ИИ, хуже их отсутствия (xenaproject.wordpress.com)

Пост проекта Xena называет формализацию Великой теоремы Ферма на 13 миллионов строк, сгенерированную Claude, и попытку с упаковкой сфер вкладом с малой долговременной ценностью, тогда как 950 участников Mathlib и 65 рецензентов поддерживают планку качества.

В C++26 появились контракты. Создатель D говорит, что от них мало толку (cppstories.com)

Контракты позволяют функции заявить, что должны гарантировать вызывающие и что она обещает взамен. Нарушение можно проигнорировать, наблюдать, принудительно проверить или проверить с быстрым завершением. Выбор делается на уровне сборки, переносимого переключателя для отдельного утверждения нет. Руководство предупреждает, что контракты не заменяют валидацию входных данных.

Уолтер Брайт, который говорит, что добавлял контракты в Zortech C++ в 1990-х и позже в D, написал, что они «оказались не очень полезными». Встраиваемый разработчик хочет обратного: проверки включены на рабочей станции и выключены на слабых производственных процессорах.

LISTEN/NOTIFY в Postgres масштабируется — если точно определить масштаб (dbos.dev)

LISTEN/NOTIFY может обслуживать высокую нагрузку при правильной архитектуре, но лимит уведомления 8 КБ определяет область применимости.

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

12-строчный SIMD-патч мейнтейнера терминала дал пятикратное ускорение — и он записал паттерн, который работает всегда (mitchellh.com)

Митчелл Хашимото утверждает, что SIMD — обработка 4, 8 или 16+ значений за одну инструкцию CPU вместо одного — проще, чем принято думать, потому что почти весь реальный векторизованный код следует одному и тому же пятишаговому паттерну.

Он доказывает это на продакшн-коде терминала Ghostty: скалярный цикл в одну строку для поиска последовательностей печатаемых символов превращается в векторизованную версию из двенадцати строк, давая примерно пятикратный реальный прирост пропускной способности на AVX2.

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

Игра на BASIC из 80-х прятала машинный код внутри комментария. Объяснить это удалось только через 40 лет (beej.us)

Загадочный комментарий REM, открывающий подземельную игру на BASIC 1980-х, оказался сырым машинным кодом Z80, а не текстом — размещённым точно по адресу, откуда его должен был выполнить вызов функции USR().

Трюк эксплуатировал то, как интерпретатор BASIC на Exidy Sorcerer хранил исходник в памяти — байты комментария попадали ровно туда, где нужен был исполняемый код, замаскированные под нечитаемую ремарку.

Полезная нагрузка делала кое-что изящное: читала постоянно растущий регистр R процессора Z80 как дешёвый источник случайности для сида RNG игры — за десятилетия до аппаратных чипов случайности.

FreeInk называет свою плату для самодельной читалки сборкой за $60. Чеки говорят иное (freeink.org)

FreeInk выпускает открытый стек для читалок на e-paper: софт, прошивку и плату для самостоятельной сборки, рассчитанную на чипы класса ESP32 — те же, что стоят внутри дешёвых китайских читалок вроде Xteink X4.

Половина треда на Hacker News всё равно просила порт под Kindle, Kobo или reMarkable. Инженер-электронщик с многолетним стажем каждому отвечал одно и то же: совсем другой чип, никакое обновление прошивки это не исправит.

Инженер почти не читал DNS-сервер, который написал Claude — читатель проверил его вживую (blog.exe.dev)

Старый однорегиональный DNS-сервер exe.dev ломался при расширении, и Джош Блишер Снайдер поручил Claude спроектировать и построить распределённую замену почти в одиночку. Он сообщает о нуле инцидентов с тех пор и говорит, что Claude вёл весь проект от начала до конца — он называет это «vibe-инжинирингом».

Тема не приняла эту подачу на веру. Один читатель отправил живой dig-запрос к реальным DNS-записям exe.dev, чтобы проверить исправление, а принципал-инженер возразил: нестабильность промпта, а не неверные ответы — вот почему LLM никогда не станет компилятором.

На HN заподозрили, что эссе ACM про ИИ и код само написано ИИ (cacm.acm.org)

Один ветеран HN прямо отверг рамку эссе: кодить стало проще, сказал он, просто он никогда не удерживает этот выигрыш, потому что конкурентный рынок его поглощает. Инженер-фрилансер из той же темы пожаловался в противоположном направлении: его кодовые базы никогда не были здоровее, а работа никогда не нравилась ему меньше.

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

Jane Street выложила OCaml-библиотеку — на Goldman это называли иначе 30 лет назад (github.com)

На ноутбуке автора обновление одного узла обходится примерно в 30 наносекунд — это бенчмарк графа, который Jane Street теперь использует для оценки риска портфеля в реальном времени.

Инженер Notion добавил, что весь этот паттерн уже давно живёт под другим именем — «сигналы» — внутри Vue, Svelte, Angular и React. Впечатлило не всех: квант написал, что построил точно такую же систему для своего фонда семь лет назад.

Программа из браузерного эмулятора заработала на настоящем железе-оригинале (pcjs.org)

PCjs — браузерный архив компьютеров 1970-х и 80-х, который в одиночку собрал разработчик Джефф Парсонс, — оказался настолько точным, что софт, собранный внутри него, продолжает работать и снаружи: это настоящий бинарник, а не скриншот или запись экрана.

У одного из комментаторов реальный IBM PC из 1980-х начал выдавать ошибки чтения жёсткого диска и сбои чётности RAM. Он всерьёз рассматривает переход на браузерную версию вместо оригинала: копия начала переживать оригинал.

Nix хотел $ORIGIN прямо в ядре — получил замену загрузчика через eBPF (fzakaria.com)

$ORIGIN — это токен, который говорит загрузчику Linux искать зависимости относительно собственной папки; ld.so поддерживает его уже много лет. Nix хотел, чтобы то же самое умело ядро, — чтобы пакеты перестали жёстко зашивать пути /nix/store. В итоге получилась замена загрузчика через binfmt_misc и eBPF, переопределяющая только PT_INTERP, так что /proc/self/exe по-прежнему указывает на настоящий бинарник.

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

ИИ опроверг вековую математическую гипотезу во время финала чемпионата мира (xenaproject.wordpress.com)

От аспирантов теперь ожидают $200 в месяц за доступ к моделям вроде Sol и Fable — Гарвард уже оплачивает подписку каждому студенту, постдоку и преподавателю на математическом факультете.

Не всех в треде впечатлил результат: один комментатор поднял историю цитирований гипотезы Якобиана и обнаружил, что математики сузили пространство поиска ещё в 1983 году — ИИ не открыл новую территорию, а просто наконец её обошёл.

Hyprland перевёл конфиги на Lua — тред вместо этого спорил про dwm (hypr.land)

Конфиги на hyprlang пока работают: готовый конвертер сообщества и плагин для neovim уже переводят их в Lua построчно, а комментаторы говорят, что и LLM справляются с миграцией без особых проблем.

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

Блог заявил: у совершенства один ответ. HN построил бетонный домик на дереве (var0.xyz)

Старший инженер Google, который работает над трейсером Perfetto, назвал саму идею «слишком упрощённой»: ограничения конкурируют друг с другом и редко сводятся к одному ответу.

Другой комментатор вспомнил худший код в своей карьере: команда городила микросервисную архитектуру для веб-приложения с меньшей аудиторией, чем у его собственного хобби-сайта.

98% поддержки браузеров звучит надёжно. Тред посчитал — и это не так (whynothugo.nl)

Его тезис звучит как правило: «по-настоящему надёжная инженерия — не про то, что работает для большинства, а про то, как изящно обработать крайние случаи». Тред разделился уже на том, верна ли сама эта рамка.

Самые острые ответы пошли дальше самого поста: 98% незаметно накапливается. При 99% точности на шаг дашборд из 20 панелей ломается почти при каждой пятой загрузке, а LLM, которая на 99% верно вызывает инструменты, всё равно спотыкается почти в каждой сессии.

Rust-компилятор Astro 7 обещает сборку быстрее на 15–61% — но не для всех (astro.build)

Переделка глубокая: движок рендеринга ускорился примерно в 2,4 раза, а Astro перешла на Vite 8 с новым бандлером Rolldown — команда заявляет ускорение в 10–30 раз по сравнению с Rollup. Некоторые сайты теперь собираются больше чем вдвое быстрее, чем на v6.

Но тред заметил нюансы: строгая компиляция HTML падает с ошибкой на незакрытых тегах, а значит блокирует апгрейд сайтов с неаккуратным внешним контентом. У одного разработчика сборка не ускорилась, а слегка замедлилась. Инженер, написавший новый Rust-компилятор, сам отвечает на вопросы в треде.

Разработчик разобрал сайт главы YC на 37 тысяч строк в день. Тред разобрал разбор. (fastcompany.com)

Фронтенд весит 6,42 МБ и грузится за 169 запросов; Hacker News, тоже проект YC, отдаёт главную страницу за семь запросов и 12 КБ. Автор проверки, Gregorein, подтвердил весь список, скормив файлы одной сессии Claude.

Тут тред и переключился на самого автора проверки: такую же проверку, отметили несколько человек, может провести любой с подпиской на Claude, а страница самого Fast Company тянет 29 МБ за 300+ запросов. Но критика, которая пережила эту перепалку, была не про раздутый вес сайта: она была про саму идею измерять работу строками кода.

60 лет, семь томов в планах: Кнут всё ещё пишет «Искусство программирования» (www-cs-faculty.stanford.edu)

Том 4B вышел в 2023 году на 714 страницах, а в 2025-м появился выпуск про удовлетворение ограничений. На странице Кнута по-прежнему значатся тома 5, 6 и 7, техники компиляции последними, как то, что он ещё намерен написать.

Затем читатель нашёл свежий препринт самого Кнута. ИИ решил гипотезу, которую он оставил открытой, и Кнут написал, что пора «пересмотреть взгляды на генеративный ИИ», назвав это радостью, а не угрозой.

Новый рантайм для kdb+ вышел закрытым, без бенчмарков и «попахивает ИИ» (lv1.sh)

Предложение конкретное: запускать существующий код k4/q/qSQL без изменений, обрабатывать 86,5 млн строк на одном CPU «без прохода декодирования», сжимать данные на всех уровнях. Для компаний, которые вынужденно платят Kx за лицензию kdb+, независимый совместимый рантайм — долгожданный запасной выход.

Самый популярный ответ проигнорировал скорость. Он назвал фразу «вектор как единица мышления» псевдонаучной и «почти наверняка написанной ИИ», а также отметил, что l закрыт и не сравнивался в бенчмарках ни с Shakti, ни с самой kdb+.

Инструкция кричит: НЕ ПАРСИ ВРУЧНУЮ. Claude всё равно парсит вручную (replicated.live)

Тезис поста: LLM — «блестящие, но неуклюжие», их непредсказуемость нужно обернуть в формальные инструменты. Ragel мгновенно выдаёт корректный парсер на 10 000 строк; Claude, которому капсом запретили парсить руками, всё равно это делает, а однажды дважды закоммитил каталог build/.

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

Одна база данных на всё: доводы против Redis, Mongo и Pinecone (postgresisenough.dev)

Каталог конкретен: UNLOGGED-таблицы вместо Redis, SKIP LOCKED вместо очереди задач, pgvector вместо Pinecone, PostGIS вместо вашего гео-стека — с правилом, что покинуть Postgres можно только после того, как задокументируешь, почему его не хватило.

Разработчик, у которого email-CRM работает на Redis, не покупается на посылку: его тривиально настроить, и он никогда не падает, так о какой сложности вообще говорит этот жанр?

Python без интерпретатора и без байткода, и ему неделя от роду (github.com)

Каждый модуль разбирается парсером ruff, опускается в одно общее IR и компилируется в нативный код через Cranelift.

Ревьюер кода, написанного ИИ, увидел «явные признаки вайба» и поставил на то, что полная совместимость с CPython не появится в разумные сроки.

Elm зашевелился после семи лет, и его же фанаты чувствуют, что их водят за нос (elm-lang.org)

Последний значимый релиз Elm, 0.19, вышел ещё около 2018 года, и многое из вышедшего с тех пор ограничивало, как пользователи могут дотянуться до JavaScript.

Директор по инженерии, который гонял Elm в продакшене, всё ещё не понимает, зачем компании заново выбирать его в 2026 году.

Основатель Val Town: учись кодить как свободному искусству, а не как билету к шестизначной зарплате (stevekrouse.com)

Утверждение Стива Крауса: код — творческая среда, которая сплавляет творчество письма, точность математики и мгновенную обратную связь видеоигры, а его настоящая отдача — метанавыки вроде отладки и вера, что нет ничего, чему нельзя научиться.

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

Он получил диплом CS с отличием на Coursera за £17 тыс. — а обладатель PhD в треде зовёт свои 11 лет пустой тратой (notesbylex.com)

Разбор конкретен: ~3 года 9 месяцев, ~£823 за модуль, три модуля заменены сертификатами Coursera, вычитается из налогов, дистанционный прокторинг через Inspera, один групповой проект саботировали «призрачные» участники — и результат с отличием, который он считает того стоящим.

Тред превращает это в референдум о самом дипломе: одиннадцать лет дипломов по CS названы «крупнейшей тратой времени» против рекрутеров, для которых диплом необсуждаемый входной билет.

Эссе 2019 года: скорость софта — прокси доверия, а тред спрашивает, значит ли быстро «правильно» или просто «рискованно» (craigmod.com)

Тезис Мода: скорость — «самый ценный и наименее ценимый актив» в софте, прокси инженерного качества и доверия. Медлительность читается как опасность; быстрые инструменты дарят поток. Примеры: мгновенный nvALT против диалогов Photoshop на 3–5 с, Figma почти как нативное в браузере.

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

Джуниоров стало на 19% меньше, а рынок разработки вырос на 10% (seldo.com)

Разработчики 22–25 лет потеряли 19% рабочих мест с конца 2022 года, хотя общая численность разработчиков в США выросла на 10%, до 1,69 млн. Лори Восс доказывает: обвал прячется внутри бума.

Его разворот: за прошлый год к GitHub присоединились 36 млн человек, и большинство не называют себя программистами. Профессия растворяется в навыке.

Тред расходится в том, есть ли на графиках вообще отпечатки ИИ.

Полевой справочник по каждой цифре в htop — от load average до зомби (peteris.rocks)

Разбор 2019 года расшифровывает каждое поле в htop и top: load average — это сглаженное среднее числа готовых к работе плюс непрерываемых задач, а не процент CPU, а колонка состояния S идёт от R до неубиваемого D и безобидного зомби Z.

Самая острая мысль: VIRT — это иллюзия. RES — настоящая резидентная память; виртуальный размер считает mmap-области, которых процесс никогда не касается.

Комментарии превратили это в тред про инструменты: btop, nmon, настройки дерева процессов.

Command & Conquer Generals нативно перенесли на iPhone, iPad и Apple Silicon (github.com)

Аммаар Реши взял исходники Generals от EA под GPL v3, оттолкнулся от порта GeneralsX для macOS/Linux и выпустил нативные сборки Zero Hour под ARM64 для iOS и iPadOS с сенсорным управлением для RTS.

Движок не тронут; рендеринг идёт от DirectX 8 к DXVK, потом Vulkan, MoltenVK и Metal — пять слоёв вглубь. Ресурсы в комплект не входят; свою копию из Steam приносишь сам.

Формулировка «сделано с Fable» вызвала огонь: один геймдев насчитал лишь 19 из 2000 коммитов от модели и назвал заголовок кликбейтом.

Дэн Лу выкатывает ИИ-код без ревью, доверяя фаззингу больше, чем юнит-тестам (danluu.com)

Дэн Лу описывает процесс, где обращение в поддержку автоматически превращается в PR, и он выкатит его без человеческого ревью, если покрытие фаззингом достаточно глубокое. Он взял это у Centaur, чипмейкера, где 1000 тестовых машин обслуживали 40 инженеров, а серьёзных багов выходило меньше одного в год — без юнит-тестов.

После 50 прогонов он также выяснил, что вирусный трюк с токенами «режим пещерного человека» не даёт стабильного преимущества.

Тред спорит, может ли property-тестирование действительно заменить юнит-тесты.

Он построил продукт на идее «транскрипты — новая нефть». Теперь признаёт: пользы ноль (12gramsofcarbon.com)

Суть заявления: доступ агентов к собственным прошлым транскриптам не дал измеримого выигрыша в задачах разработки, если документация, PR и коммиты уже были под рукой. Хуже того, агенты жгли токены на перечитывание уже известного контекста и не могли вычищать устаревшие данные — начинался «дрейф намерения».

В комментариях разработчик с работающей системой логирования резко не согласен и перечисляет реальные плюсы — это заставляет автора вернуться и спросить, какой workflow вообще упирается в лимит контекста, который модели с окном на миллион токенов почти никогда не достигают.

Ubicloud: OOM killer в Linux способен разом оборвать все соединения Postgres. Сооснователь признал: перебор (ubicloud.com)

Механика: процессы Postgres делят общие сегменты памяти, поэтому OOM-killer, убив один процесс, вынуждает постмастер завершить все процессы разом. Ответ Ubicloud — строгий overcommit (vm.overcommit_memory=2): Linux сразу отказывает в выделении памяти сверх лимита с ошибкой ENOMEM, а Postgres просто отменяет ту транзакцию, что стала причиной.

Тред разделился. Один комментатор говорит, что статья неверно описывает режимы overcommit в ядре и не упоминает oom_score_adj; сооснователь самой компании признаёт, что подача получилась слишком резкой.

«Не могу поймать поток с LLM» — тред признаётся в том же, строя агентов покрупнее (news.ycombinator.com)

Автор поста хочет узнать, какие рабочие процессы нашли другие, и признаётся: с LLM поймать поток не выходит, не так, как при ручном написании кода. Это признание и становится настоящей темой треда.

Формируются два лагеря: одни хвастаются самодельными системами оркестрации (один запускает трёх автономных агентов, которые сами открывают PR), другие уверены, что поток теряется из-за пассивной роли «менеджера», а большинство оркестраторов — просто изощрённый способ сжигать токены.

Мейнтейнер потратил 100 часов, чтобы держать ИИ-код вне проекта, и может остаться без современного Git (joeyh.name)

К этому правилу он пришёл не от принципа. Разбирая зависимости, он находил крупные ИИ-правки, откаченные без объяснений, бессвязные сообщения коммитов и сомнительное копирование кода. А потом потратил ~100 часов, чтобы провести чистую границу вокруг своей цепочки поставок.

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

«Баги нельзя найти, читая код». Одна строка про ревью расколола экспертов (mathstodon.xyz)

Формулировка оказалась слишком резкой, и автор зашёл в тред её сузить: как математик он имел в виду, что нельзя найти все баги или какой-то конкретный баг, а не то, что баги не находятся вовсе.

Сооснователь WebAssembly не купился и на смягчённую версию, назвав тезис «самооправданием ленивого ревьюера». А ветеран с 90 тысячами кармы сформулировал главную находку: единой цели у ревью нет — все думали, что делают это по одним причинам, а на деле нет.