TypeSystem Shenanigans - Ronen Amiel
40:03
Building AI System VS. Software Engineering - Yuval Nissan
30:04
Type Testing Do We Really Need It? - Matan Cohen
1:07:27
The Carbon Language: Road to 0.1 - Chandler Carruth - NDC TechTown 2024
27:42
Building a type checker in Haskell by Christoffer Ekeroth
17:30
Automate file management in R with the {fs} package
29:03
Internos da interface - Keith Randall
18:40
Concurrency in Go
7:53:42