January Session -- MIRAI

Verus -- SMT-based verification of Rust systems code

Gillian Rust: A hybrid approach to unsafe Rust verification

🤷 AI обучен на говнокоде! Разработчиков компиляторов, протоколов и СУБД не хватает, а LLM не может

Dec 2025 -- Xabier Barandiaran -- Generative midtended cognition and Artificial Intelligence

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Белый хакер разбирает сцены из фильмов «Хакеры», «Матрица», «Мистер Робот», «Черное зеркало» и др

БЕЛЫЕ СПИСКИ: какой VPN-протокол справится? Сравниваю все

🧪🧪🧪🧪Как увидеть гиперпространство (4-е измерение)

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

Предел развития НЕЙРОСЕТЕЙ

Но что такое нейронная сеть? | Глава 1. Глубокое обучение

Как производятся микрочипы? 🖥️🛠️ Этапы производства процессоров

11-летняя девочка поражает своей игрой! Алиса Генриетта Юнкер - Будущая Звезда Мировых Шахмат!

Преломление и «замедление» света | По мотивам лекции Ричарда Фейнмана

физтех отжигает на псевдонаучке ФизФака МГУ Full HD

Что такое "Reverse Engineering". Показываю как ломают софт.

Вы думали, что допинг — это плохо? Подождите, пока не услышите об электромагнитных велосипедах.

🧑‍💻 Собеседования и найм: алгоритмы, высокие нагрузки, использование LLM, IDE, стресс и лайвкодинг

Почему «Трансформеры» заменяют CNN?

Теорема Байеса, геометрия изменения убеждений