Get started
Explore
Docs
Blog
Sponsor
Consulting
Log in / Sign up
Retro_Dev (retrodev)
Joined on March 18, 2025
Recent recordings
Browse all
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