Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On
Curry On, Rome July 18th 2016. http://curry-on.org
▶︎
Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry On
▶︎
Jan Vitek - Getting everything wrong without doing anything right!
▶︎
Four Solutions to a Trivial Problem - Guy Steele Jr.
▶︎
Ron Pressler - The Practice and Theory of TLA+
▶︎
🚀 TDD, Where Did It All Go Wrong (Ian Cooper)
▶︎
A Philosophy of Software Design | John Ousterhout | Talks at Google
▶︎
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
▶︎
James Simons - Mathematics, Common Sense, and Good Luck: My Life and Careers
▶︎
Category Theory for the Working Hacker by Philip Wadler
▶︎
Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
Tomas Petricek - The search for fundamental software engineering principles
▶︎
A Crash Course in Category Theory - Bartosz Milewski
▶︎
Pawel Szulc - Formal verification applied (with TLA+)
▶︎
An Introduction to C++ Coroutines - James McNellis - Meeting C++ 2015
▶︎
Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On
▶︎
Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
▶︎
The Verification of a Distributed System • Caitie McCaffrey • GOTO 2016
▶︎
Continuations - Under the Covers #JVMLS
▶︎