Julius Marx - MRiscX: Certified RISC-V interpreter with Hoare logic as a DSL (Lean Together 2026)

Sebastian Graf - Simpler do proofs with mvcgen (Lean Together 2026)

Leo de Moura - The State of Lean (Lean Together 2026)

Week in the Life of Software Engineer | First creator event

[Саминар] Языки программирования и теория компиляции 1. Введение. Сканер

Sebastian Ullrich - The Lean module system (Lean Together 2026)

NotebookLM на максималках. Как изучать всё быстрее чем 99% пользователей

David Ledvinka - Formalization of Brownian Motion in Lean (Lean Together 2026)

Надоели файлы? Вот, пожалуйста, сокеты • C • Live coding

Крупное обновление GO 1.26

Мир AI-агентов уже наступил. Что меняется прямо сейчас

История C# и TypeScript с Андерсом Хейлсбергом | GitHub

Как устроена компьютерная графика? OpenGL / C++

⚡️ Удар по скоплению силовиков || Жуткий теракт в центре Львова

Крупнейшая образовательная катастрофа 20 века в США

Генеративный ИИ в разработке ПО: Введение

Fabrizio Montesi - CSLib: The Lean Computer Science Library (Lean Together 2026)

Проблема нержавеющей стали

Alex Kontorovich - Teaching Real Analysis as a Video Game (Lean Together 2026)

Прекратите создавать некрасивые API: используйте шаблон проектирования Fluent Interface.

Harry Goldstein - Metaprogramming the Next Generation of Testing Tools (Lean Together 2026)