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

YHacker Newsscreenshots

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

First screen, captured 1 year ago.

Looks similar

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

Lambda MicroEgg (philipzucker.com)

53 points by philzook 1 month ago | 5 comments

Screenshot of jornvernee.github.io: Notes on debugging HotSpot's JIT compilation (2023)

Notes on debugging HotSpot's JIT compilation (2023)(jornvernee.github.io)

54 points by lichtenberger 2 years ago | 26 comments

Screenshot of peter.eisentraut.org: Grouping digits in SQL

Grouping digits in SQL (peter.eisentraut.org)

85 points by ingve 3 years ago | 12 comments