Даже если там под капотом просто LLM с условным «REPL» в Lean – это очень и…

"Ещё одна важная новость из мира эйай: Стартап Harmonic запустил приложение с чатботом, став первым общедоступным математическим эйай-сервисом с формальной…

"Я пообщался с ребятами на Reddit (и не только) по поводу испытываемых ими болей при разработке AI систем.

"А еще вся эта история про общение с зарубежными коллегами заставила продолжать переосмысливать формат моего блога, и платной и бесплатной части.

"GPT-5 хорошая крутая. Cursor выпустил свой cli, который никуда не годится в сравнение с claude-code – странно ""ходит"" по проекту, даже не пытается его как…

Давненько не было постов, особенно не про AI а про махровую, вечную и светлую программную инженерию.