Get started
Explore
Docs
Blog
Sponsor
Consulting
Log in / Sign up
Recordings by
retrodev
SAT solver dies a slow death
18:00
by
retrodev
1 month ago
Zig build error
53:33
by
retrodev
2 months ago
FORTH interpreter
1:01
by
retrodev
3 months ago
untitled
18:30
by
retrodev
7 months ago
untitled
0:16
by
retrodev
7 months ago
untitled
0:16
by
retrodev
7 months ago
untitled
0:13
by
retrodev
7 months ago
deepseek-r1 (32B) can prove 2+2 is 4
1:40
by
retrodev
8 months ago
deepseek-r1 slowly goes insane
17:37
by
retrodev
8 months ago
untitled
1:09
by
retrodev
9 months ago
untitled
5:36
by
retrodev
9 months ago