AI & ML

From Unsafe Terminals to Verified Agents: How Low-Level Rust, 6502 Retrocomputing, and LSP-Based Trust Are Reshaping Modern Developer Tooling

Originally published on tamiz.pro . The modern developer tooling landscape is undergoing a quiet but profound philosophical shift. For years, the do…

Я дал LLM писать unsafe Rust полгода. Miri плакал

Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают ст…

Я заставил LLM писать Rust полгода. Вот что они стабильно ломают

Полгода использовал Claude, GPT и Cursor как полноценного второго разработчика на Rust в проде. Собрал семь категорий ошибок, которые модели стабиль…