YHacker Newsscreenshots

philipzucker.com on Hacker News

15 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of philipzucker.com: Lambda MicroEgg

Lambda MicroEgg (philipzucker.com)

53 points by philzook 1 month ago | 5 comments

Screenshot of philipzucker.com: Guide to the TD4 4-bit DIY CPU

Guide to the TD4 4-bit DIY CPU (philipzucker.com)

56 points by andrewstuart 4 months ago | 6 comments

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: Compositional Datalog on SQL: Relational Algebra of the Environment

Compositional Datalog on SQL: Relational Algebra of the Environment (philipzucker.com)

35 points by philzook 1 year ago | 2 comments

Screenshot of philipzucker.com: Where are all the Rewrite Rules?

Where are all the Rewrite Rules?(philipzucker.com)

48 points by todsacerdoti 1 year ago | 26 comments

Screenshot of philipzucker.com: SAT Solver Etudes I

SAT Solver Etudes I (philipzucker.com)

36 points by mathgenius 1 year ago | 12 comments

Screenshot of philipzucker.com: Symbolic Execution by Overloading __bool__

Symbolic Execution by Overloading bool(philipzucker.com)

63 points by philzook 1 year ago | 8 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 philipzucker.com: Don't implement unification by recursion

Don't implement unification by recursion (philipzucker.com)

68 points by mathgenius 2 years ago | 39 comments

Screenshot of philipzucker.com: Ordinals aren't much worse than Quaternions

Ordinals aren't much worse than Quaternions (philipzucker.com)

43 points by philzook 2 years ago | 20 comments

Screenshot of philipzucker.com: Knuckledragger, a Semi-Automated Python Proof Assistant

Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com)

64 points by philzook 2 years ago | 14 comments

Screenshot of philipzucker.com: Hashing Modulo Theories

Hashing Modulo Theories (philipzucker.com)

48 points by philzook 2 years ago | 3 comments

Screenshot of philipzucker.com: Linear Algebra of Types (2019)

Linear Algebra of Types (2019)(philipzucker.com)

94 points by g0xA52A2A 2 years ago | 7 comments

Screenshot of philipzucker.com: Compiling with Constraints

Compiling with Constraints (philipzucker.com)

108 points by philzook 2 years ago | 31 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