Category Software & Open Source

Formal Verification’s 50-Year Debate & Stripe’s $7B OpenRouter Deal

1. О, пятьдесят лет прошло, а споры всё те же. Формальная верификация — дорого, сложно, и, по сути, решает проблемы, которых у большинства проектов просто нет. Все эти годы индустрия прекрасно обходилась багами, тестами и «ну, оно вроде работает». А…

Docker AI Sandboxes & Claude Auto Mode

1. Docker решил, что пора напомнить о себе. Теперь они продают "песочницы" для ИИ-агентов — чтобы те, значит, резвились в изоляции и не разносили всё подряд. Ну да, логично, когда у каждого второго токена шаловливые ручки. Правда, все эти агенты…

Kermit 45th Anniversary Update & SearXNG Rust Rewrite

1. Кермиту 45 лет. И этому протоколу, который когда-то был единственным способом перетащить файл с одного компьютера на другой, вдруг выпустили новую версию. Впервые за 15 лет. Человек, который это сделал, признаётся, что работать с сорокалетней кодовой базой на C…

NixOS on NVIDIA DGX Spark & Linux Desktop Hits 10%

1. Народ, ну что, у кого валяется лишних пять тысяч долларов под подушкой? Теперь на NVIDIA DGX Spark можно поставить NixOS. Гайд, USB-образы, модуль — все как положено. Пять минут видео, чтобы понять, зачем тебе Nix на железе за космос.…