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

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

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

Барри Мазур | О гипотезах Берча и Свиннертона-Дайера

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

Alex J Best: Aristotle, an AI theorem prover using Lean (29 January 2026)

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

Электробусы Москвы — эксперимент провалился

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

Почему 12 из 13 президентов Кореи очень плохо кончили?

Дарио Амодеи — «Мы близки к концу экспоненты»

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

Как PostgreSQL может сделать больно, когда не ожидаешь — Михаил Жилин

Etienne Marion - Formalization of the Ionescu-Tulcea theorem in Mathlib (Lean Together 2026)

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

МАТЕМАТИЧЕСКИЙ РАЗБОР ИГРЫ В МОНОПОЛИЮ!

Решил проблему, существовавшую 2000 лет, с помощью чистого интеллекта.

Wojciech Różowski - Coinductive predicates in Lean (Lean Together 2026)

Взломать за один промпт. Как OpenClaw открывает простор для киберпреступников

Алгоритмы и структуры данных ФУНДАМЕНТАЛЬНЫЙ КУРС от А до Я. Графы, деревья, хеш таблицы и тд

Почему рекомендации по техническим характеристикам печатных плат часто неверны.