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

YHacker Newsscreenshots

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

First screen, captured 2 years ago.

Looks similar

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: Lambda MicroEgg

Lambda MicroEgg (philipzucker.com)

53 points by philzook 1 month ago | 5 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: 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: 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: SQL, Homomorphisms and Constraint Satisfaction Problems

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

134 points by xlinux 1 year ago | 16 comments