Статті автора Ілля Рочев

Як я намагався штурмувати P vs NP разом з Claude — і чому «код компілюється» це ще не «доведено»

Ілля Рочев 31 липня, 19:00 1233

Хоча задача P vs NP досі залишається нерозв’язаною, спроба її штурмувати принесла розробнику Іллі Рочеву несподівано корисний інсайт. У своєму матеріалі він пояснює, чому не варто сліпо довіряти ані ChatGPT чи Claude, ані навіть компіляторам формальних доказових асистентів. 7

DOU #tech · AI, Claude, tech, досвід, математика

Чому тести не ловлять race conditions і що з цим робити

Ілля Рочев 10 липня, 19:00 2844

Ілля Рочев у своїй статті розбирає, чому звичайні тести безсилі проти race conditions та deadlocks в асинхронних мікросервісах. Автор пропонує альтернативу — поєднання математичних моделей TLA+ та chaos engineering. У статті автор розповідає про реальні кейси виявлення прихованих багів у Celery, RabbitMQ та Kafka, які роками жили в продакшені. 46

DOU #tech · DevOps, Python, QA, tech, архітектура, мікросервіси

Developer Farm: Як я зробив AI-конвеєр, який фізично не може «обдурити» тести

Ілля Рочев 8 червня, 19:00 2089

Промпти не працюють, якщо немає архітектурних гарантій. У статті автор показує 4-шарову систему на базі Ollama, де спроба ШІ підглянути критерії викликає помилку компіляції. Досвід збірки автономного кодера на старій відеокарті, що надійніший за SaaS. 11

DOU #tech · AI, LLM, Open source, Python, tech