I tried Lean and instantly got PhD in Math
Vídeos relacionados
2:10:49
Stealing ideas from Go
4:06:57
Reverse Engineering Windows EXE files on Linux
1:36:25
They made Python in Python
28:24
One second to find the BILLIONth PRIME
8:05
Math News: The Sum-Product conjecture was disproven!!
4:38:35
Let's Talk About Some Compiler Optimizations
17:37
the worst trading algorithm ever created
2:27:31
Most underrated "C/C++ Killer"
35:32
Weird Things Happen When Math Gets Too Expressive
3:23:01
Smallest Pure Functional Language in C
45:16
Let's Talk About AI
25:40