Splitting files to reduce imports in Mathlib

Lean Together 2025: Michael Rothgang, Scaling Mathlib.

Выучите R за 39 минут

Lean Together 2025: Marcus Rossel, Egg: An Equality Saturation Tactic in Lean

Lean Together 2025: The Lean FRO, The Lean FRO Year 2 Roadmap and Vision

F[Scala] 2025

Lean Together 2025: Joseph Rotella, Programming with Dependently Typed Tables in Lean

Как разобраться в IT-документации к непонятному? Приёмы и подходы • C • Live Coding

Решаю ТЕСТОВОЕ ЗАДАНИЕ JUNIOR Backend Разработчика на Python

Усилители класса D против High End

Почему гибнут дачники? И как спастись от смертельной утечки?

Понимание исчисления (для инженеров)

Список запретов в России на 2026 год – Как это коснется каждого?

Прорыв года! 16 летняя девушка творит чудеса за шахматной доской!

Программирование с использованием математики | Лямбда-исчисление

LIVE: Борис Пинхасович, Алексей Рубин, РНМСО || Boris Pinkhasovich, Alexey Rubin, RNYSO

Почему взрываются батарейки и аккумуляторы? [Veritasium]

Как Перельман доказал гипотезу Пуанкаре? // 900 секунд

Jireh Loreaux: Working with Mathlib

Архитектура микропроцессора 8086 — Бхарат Ачарья

The Thinking Game | Full documentary | Tribeca Film Festival official selection