Type-based formal verification - Alejandro Serrano
1:30:21
Do more with your types: GADTs and LiquidHaskell
55:02
Colombia Scala Meetup: Lessons Learned from Implementing an Efficient Functional Mutex
13:22
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
1:48:42
Clean Code - Uncle Bob / Lesson 1
13:36
Is Coding still worth it in 2024? (as an ex-Google programmer)
1:55:27
Worst Fails of the Year | Try Not to Laugh 💩
12:30
02 - Channels and Home Manager | Nix Series
15:29