🤖 Ironclad – формально верифицированный реального‑времени Unix‑подобный ядро ОС
Разработчики выпустили Ironclad – ядро Unix‑семейства, написанное на SPARK и Ada, полностью проверенное формально и совместимое с POSIX. Оно распространяется как 100% свободное ПО, подходит и для обычных, и для встраиваемых систем, обещая реальное‑временное реагирование без «багов‑привидений». Ну что, время наконец‑то перестанет лететь по‑плохому, а будет лететь точно по‑спецификации!
🛳️ Самый большой в мире грузовой парусник впервые успешно пересёк Атлантику
Крупный RoRo‑корабль Neoliner Origin, построенный во Франции, завершил свой первый трансатлантический рейс длиной 136 метров, даже несмотря на то, что во время плавания несколько парусов «попрощались» с ветром. Капитан, видимо, решил, что небольшие травмы парусов — это лишь «плюс к адреналину». Ну что, теперь паруса могут претендовать на звание «самый быстрый экологичный транспорт». Как говорится, без ветра и паруса — всё равно катаем, только в более дорогих яхтах.
🤖 Состояние ИИ: энергия — король, а США отстают
Financial Times совместно с MIT Technology Review запустили проект «State of AI», где каждую неделю в течение шести недель эксперты будут спорить о том, как генеративный ИИ меняет глобальный баланс сил. В первой серии они уже заявили, что энергия — король, а США, судя по всему, уже отстают, будто пытаются включить свет в темной комнате без розетки. Ну и как сказали бы наши предки: без труда не вытащишь и ИИ из розетки, а теперь нам остаётся лишь ждать, когда кто‑то включит эту розетку.
🤖 Marco – декларативный язык на базе HTML
Новый язык Marco расширяет синтаксис HTML, позволяя писать динамические и отзывчивые веб‑интерфейсы без привычного JavaScript‑хака. Стриминговый рендеринг отсылает контент с сервера мгновенно, так что страница появляется ещё до загрузки клиентских бандлов. Для старых HTML‑штукатуров – как глоток свежего воздуха, только без запаха пластика.
🤖 Что такое Adobe Firefly? Как использовать мощный генеративный ИИ‑инструмент
Adobe запустила Firefly — генеративный ИИ‑плейграунд, где из простого запроса получаются картинки, видео и даже анимация. Если хотите почувствовать себя богом творчества, просто вбивайте запрос и ждите чудо‑результата. Ну вот, как говорили древние: «Больше функций — меньше мозгов», так что готовьте креативные оправдания.
🤖 UV Workspaces спасает Python‑монорепо от хаоса
Разработчики UV Workspaces показали, как с помощью функции Workspaces накрутить порядок в монорепо с множеством Python‑приложений. Теперь каждый проект живёт в своей «рабочей зоне», а не в бесконечном конфликте зависимостей. Ну и что, теперь можно спать спокойно. Как говорится, «лучше один раз настроить, чем сто раз поправлять», а в нашем случае – «один раз сконфигурить, а потом наслаждаться безболезненным деплоем».
🧬 Скрытая математика океанских волн
Итальянские математики наконец решили, что волны – не просто морская поэзия, а коварные уравнения, от которых у большинства студентов лопаются мозги. Их новый подход почти заставил океан признаться в своих тайнах, а нам остаётся лишь ждать, когда они превратят эту теорию в приложение для пляжных серферов. Ну что ж, держим курс на берег знаний, а как говорится: без труда не вытащишь… формулу из прибоя.
🤖 Show GN: кодовый баттл‑игра в стиле «прокачай свою IDE»
Неожиданно в мир гиков ворвался студент‑непрограммист, решивший превратить текстовый баттл в битву кода. На вооружении у него Gemini‑prompt, Claude Sonnet 4.5 как агент‑помощник и Supabase для логов, так что готовьтесь к «кровавому» дебагу. Ну вот, включаем IDE и надеемся, что баги сами исчезнут — как в сказке про волка, съевшего себя.
🤖 Ask GN: Делимся опытом сборки локального LLM на домашнем ПК
Nvidia DGX Spark обещал чудеса, но в реальном тесте выяснилось, что узким местом стала пропускная способность памяти – производительность сопоставима, а иногда и уступает, AMD Strix Halo. При этом базовый вариант поставляется с 64 ГБ ОЗУ, но есть опция до 128 ГБ и vRAM 96 ГБ, что, конечно, звучит заманчиво, пока не увидишь реальные цифры.
🤖 DevTUI — швейцарский нож для разработчиков
DevTUI собирает под одной TUI/CLI шапкой целый арсенал утилит: Base64‑энкодер/декодер, форматтеры YAML/JSON/TOML/CSS/HTML/GraphQL/XML, парсер cron‑jobs, markdown‑рендерер, генератор/декодер UUID и конвертеры между форматами. Всё это работает полностью офлайн, так что ваш терминал теперь выглядит как швейцарский нож, только без лезвий‑потенциальных проблем.
🤖 Valdi – кросс‑платформенный UI‑фреймворк с нативной производительностью
Valdi решила, что веб‑вью уже в прошлом, и предлагает UI‑фреймворк, который компилирует декларативный TypeScript прямиком в нативные представления iOS, Android и macOS. Всё без JavaScript‑моста — ваш телефон теперь может дышать свободно. Ну что, пора прощаться с веб‑вьюшками?
🤖 OpenMW 0.50.0 вышел — открытый проект воссоздания Morrowind
Команда OpenMW выпустила версию 0.50.0, добавив поддержку геймпада и убрав жёстко закодированный бой. Lua‑API расширилась так, что теперь можно управлять погодой, ландшафтом и даже журналом, будто вы — бог Моровинда. Ну вот, кто бы мог подумать, что «пыль в очках» превратится в «пыль в коде» – как говорится, «не всё то золото, что блестит, а иногда и код блестит».
Разработчики выпустили собственный traceroute‑тул «ktr», который в реальном времени визуализирует путь ваших пакетов без единой строки JavaScript, используя TTL‑значения ICMP. Интерактивная страница выглядит так, будто её сделали в 90‑х, но зато работает быстрее, чем ваш старый роутер с графикой из Windows 95. Ну, теперь можно наблюдать за тем, как ваш трафик блуждает по сети, словно в лабиринте без карты.