Metaprogramming in Lean | Damiano Testa

Formally Packing 8-Dimensional Spheres | Maryna Viazovska, Sidharth Hariharan

A Practical Introduction to Lean | Bhavik Mehta

Белорусская эквилибристика. Кто не пустил Лукашенко в Вашингтон

К чему готовится Путин? | Новая война, мобилизация или протесты (English subtitles)

The Three Horsemen: AI Agents Know How to Lean | Nehal Patel

LeanArchitect: Automating Blueprint Generation for Humans and AI | Pietro Monticone

KACZYŃSKI WYBRAŁ PREMIERA! MORAWIECKI UCIEKNIE Z PIS I ROZPAD POLSKI 2050 | Dudek o Polityce

LLM и GPT - как работают большие языковые модели? Визуальное введение в трансформеры

⚡️АСЛАНЯН: Весь мир ЗАМЕР! Теперь ЯСНО, что готовят СИ и ПУТИН. В КНДР ЖЕСТЬ: вот, ЧТО УСТРОИЛ Ким

Я Удалил ВСЕ Платные Нейросети (и вот что случилось)

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

Путин хочет передать власть. Трампа пытаются сломать. Зачем блокируют телеграм? | Пастухов, Еловский

Что такое генеративный ИИ и как он работает? – Лекции Тьюринга с Миреллой Лапатой

ТРАМП ДАВИТ НА ЗЕЛЕНСКОГО. БЕСЕДА С АНДРЕЕМ ПИОНТКОВСКИМ @Andrei_Piontkovsky

Aristotle Tutorial | Vikram Shanker, Lawrence Wu

So, Computers Can Prove Theorems (in Lean), What Next? | Alex Best

МОРОЗОВ: "Все идет к этому, а это будет страшным". Почему у Кремля больше не осталось тормозов

Арестович: Зеленский хочет пересидеть Трампа, а потом Путина?

(Functional) Analysis in Mathlib | Filippo Nuccio

Понимание GD&T