Верификация программ / Введение в Lean RU L10 | 25's | girafe-ai

Condensed mathematics/ Введение в Lean RU L11 | 25's | girafe-ai

Индексы (btree, hash) / SQL RU L06 | 25s | girafe-ai

Знакомство с Lean / Введение в Lean RU L01 | 25's | girafe-ai

Information retrieval, RAG; Sbert fine-tune / NLP & RL RU L13/S13 | 25s | girafe-ai

Sbert fine-tune / NLP&RL seminars RU S14 | 25s | girafe-ai

Сила Утреннего Ритуала Определяет Весь Твой День | Наполеон Хилл

Мария Колесникова – большое интервью после тюрьмы / вДудь

Теренс Тао: Сложнейшие задачи математики, физики и будущее ИИ | Лекс Фридман Подкаст #472

Мы стоим на пороге нового конфликта! Что нас ждет дальше? Андрей Безруков про США, Россию и кризис

Вселенная состоит из информации? Объясняю на пальцах

Как изучить язык программирования Lean | Теренс Тао и Лекс Фридман

FAQ про изучение программирования Часть 3

КАК ЗАЩИТИТЬ ЗАМОК ОТ ВСКРЫТИЯ/#инженер +380683803449

ТЯЖКО, НО ОНО ТОГО СТОИТ!!! ЯН НЕПОМНЯЩИЙ

КАК Япония Незаметно СТАЛА Мировой Станкостроительной ДЕРЖАВОЙ!

Почему Польша купила тысячу корейских танков вместо Абрамсов и Леопардов?

ЕКАТЕРИНА ГОРДОН. Развод Товстиков, адвокатский статус, антисемитизм, чипирование и мировой заговор

Почему эти 5 растворителей должны быть у каждого

Как на самом деле работают адвокаты в России | Суд и уголовные дела изнутри

Rocket Lab, Blue Origin и SpaceX vs Китай. Starship. Рекорд Falcon 9 | Новости не только SpaceX №50