Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On

Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On

Основной доклад на Rails Conf 2012: Простота имеет значение, Рич Хики

Pawel Szulc - Formal verification applied (with TLA+)

Ron Pressler - The Practice and Theory of TLA+

Jan Vitek - Getting everything wrong without doing anything right!

"Categories for the Working Hacker" by Philip Wadler

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

Принц Персии: разбираем код гениальной игры, вытирая слезы счастья

Leslie Lamport: Thinking Above the Code

🚀 TDD, Where Did It All Go Wrong (Ian Cooper)

The Hurricane's Butterfly: Debugging Pathologically Performing Systems

Математическая тревожность, нейросети, задачи тысячелетия / Андрей Коняев

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Computer Science ∩ Mathematics (Type Theory) - Computerphile

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

Четыре коротких увлекательных фильма о физике и математике

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

A Crash Course in Category Theory - Bartosz Milewski

Brian Beckman: Don't fear the Monad

Category Theory for the Working Hacker by Philip Wadler