Типичный программист

Talos не разделяет код, который запускает WebAssembly, и код, который описывает её правила. В одном репозитории на Lean 4 одни и те же определения выполняют Wasm-инструкции и служат основой для рассуждений о них. Это значит, что спецификацию не нужно синхронизировать...

Автор Wall Street Raider три года восстанавливал финансовый симулятор, который впервые вышел ещё в 1986 году. Внутри не аккуратный учебный legacy, а огромная живая программа на BASIC, росшая десятилетиями. Интересно не только то, что игру вернули к жизни...

третьей части цикла об истории российского IT. Мобильный бум застал индустрию врасплох: было непонятно, как адаптировать сайты под маленькие экраны и что делать со слабой связью. Решением стали нативные приложения — их начали разрабатывать многие компании. Так мы пришли к эпохе супераппов, где собрано всё и сразу. Приложений, проектов и стартапов становилось больше — начался расцвет российского IT. Но разработчиков не хватало, и на сцену вышли курсы, школы и онлайн-уроки. Желающих войти в профессию оказалось огромное количество, и рынок быстро перегрелся...

ps aux показывает, что в системе что-то живёт.есс воопоказывает, что оно ест ресурсы. А вот вопрос “кто это поднял и зачем?” обычно начинается с прогулки по systemd, cron, контейнерам и истории шелла. witr пытается закрыть именно этот разрыв...

Epic Games показала Lore — open-source VCS для проектов, где рядом с кодом живут гигабайты ассетов, билдов и бинарников. В обычной разработке Git чаще всего страдает от истории и конфликтов. В геймдеве он ещё и упирается в тяжёлые файлы, partial checkout, хранение чанков и нормальную работу с большими деревьями...

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

Обычно VM воспринимается как тяжёлая штука: образ, загрузка, ожидание. smolvm пробует другой режим — маленькие переносимые машины с cold start меньше секунды. Идея в том, чтобы упаковать окружение в один артефакт и запускать изолированный код почти как обычный процесс...

IP-адреса ведут себя как временный пропуск: сегодня есть, завтра поменялся, послезавтра устройство сидит за NAT, firewall или мобильной сетью. Iroh предлагает другой подход — соединяться не с адресом, а с криптографическим ключом устройства. Это фундаментальная технология, призванная коренным образом изменить интернет. В версии 1.0 у них уже стабильный wire protocol, QUIC, NAT traversal, multipath, локальный поиск устройств без интернета и API для Rust, Python, Node...

Daniel Stenberg объявил «summer of bliss»: в июле 2026 года curl не будет принимать и обрабатывать vulnerability reports. HackerOne-форма закроется 1 июля, security-почта тоже не будет рабочим обходным путём, приём вернётся 3 августа. Звучит резко, но контекст важный: последние месяцы проект жил под сильным давлением из-за потока отчётов...

Большинство языков, даже самых новых, всё равно говорят с разработчиком на английском. Han интересен тем, что здесь не просто переименовали if и for, а попытались сделать полноценный компилируемый язык с корейским синтаксисом. Проект написан на Rust, использует LLVM, имеет REPL, LSP и примеры реального кода...

Разработчица собрала x86 CPU emulator без JavaScript, без WebAssembly и без привычного runtime — только на CSS. Это не кандидат на прод и не новая платформа для вычислений. Ценность в другом: CSS здесь...

оплата, все смотрят друг на друга. На самом деле подружить 1С с современными инструментами мониторинга вполне реально всего за один спринт. В блоге Centicore рассказали, как это сделать. В статье разбирается, как вытащить метрики из 1С через OData без единой строчки кода, написать Prometheus Exporter на Python и собрать бизнес- и технические метрики на одном дашборде...