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+

Pawel Szulc - Formal verification applied (with TLA+)

Tomas Petricek - The search for fundamental software engineering principles

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

Bryan Cantrill: The Hurricane's Butterfly: Debugging Pathologically Performing Systems

John Hughes - Don't Write Tests

"Performance Matters" by Emery Berger

A Philosophy of Software Design | John Ousterhout | Talks at Google

Invited Talk - Guy Steele

Jan Vitek - Getting everything wrong without doing anything right!

Leslie Lamport: Thinking Above the Code

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

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

Однополярный мир уходит с приходом Трампа | Почему так получается (English subtitles)

Category Theory for the Working Hacker by Philip Wadler

Stanford Seminar - Programing Should Be More Than Coding, Leslie Lamport of Microsoft Research

Adelbert Chang - Microservice Architecture, a programming languages perspective

The Strange Math That Predicts (Almost) Anything

Jordy Moos - The Tricks of Game Programming in a Pure Functional Language

Как Америка стала великой