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

Ron Pressler - The Practice and Theory of TLA+

"Categories for the Working Hacker" by Philip Wadler

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

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

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

Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)

Invited Talk - Guy Steele

Category Theory for the Working Hacker by Philip Wadler

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

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

Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey

На меня напали… Розыгрыш в спортзале «Анатолий» пошел не так… | Притворился уборщиком

Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry On

Continuations - Under the Covers #JVMLS

"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)

Unbelievable Workers | Working with Talented Engineers . EP6 #construction #adamrose #workers #smart

Я удалил ';' из C

Category Theory, The essence of interface-based design - Erik Meijer

Four Solutions to a Trivial Problem - Guy Steele Jr.

How Living in Poland Changed Me (Coming from the UK)