Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping(philipzucker.com)12 points by matt_d 7 months ago | 0 comments
SQL, Homomorphisms and Constraint Satisfaction Problems(philipzucker.com)134 points by xlinux 1 year ago | 16 comments
DIY open-source ultrasound hardware on the rp2040/rp2350(un0rick.cc)70 points by kelu124 5 months ago | 6 comments
The C bounded model checker: criminally underused(philipzucker.com)178 points by philzook 2 years ago | 97 comments