jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry
github.com·3d
Vibe coding is a moving target (so don’t marry the tool)
nothingeasyaboutthis.com·7h
Subterms Modulo Theories I
philipzucker.com·3d
When working with agent, close the loop
szymonkrajewski.pl·9h
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
BPF Verifier State Pruning: Timeline
pchaigno.github.io·2d
Loading...Loading more...