Compiling with Constraints (philipzucker.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of philipzucker.com: Compiling with Constraints

First screen, captured 2 years ago.

Looks similar

Screenshot of philipzucker.com: Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (philipzucker.com)

12 points by matt_d 7 months ago | 0 comments

Screenshot of philipzucker.com: SQL, Homomorphisms and Constraint Satisfaction Problems

SQL, Homomorphisms and Constraint Satisfaction Problems (philipzucker.com)

134 points by xlinux 1 year ago | 16 comments

Screenshot of kobzol.github.io: Compiling Rust Is Testing

Compiling Rust Is Testing (kobzol.github.io)

50 points by ingve 2 years ago | 38 comments

Screenshot of healeycodes.com: I added some optimizations to my compiler that turns Lisp into JavaScript

I added some optimizations to my compiler that turns Lisp into JavaScript (healeycodes.com)

102 points by healeycodes 2 years ago | 17 comments

Screenshot of philipzucker.com: The C bounded model checker: criminally underused

The C bounded model checker: criminally underused (philipzucker.com)

178 points by philzook 2 years ago | 97 comments

Screenshot of philipzucker.com: Hashing Modulo Theories

Hashing Modulo Theories (philipzucker.com)

48 points by philzook 2 years ago | 3 comments