HN Explorer

philzook

↗ HN profile [ 2240 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Compositional Datalog on SQL: Relational Algebra of the Environment (philipzucker.com)
    47 points 3
  2. A Python CLI for Verifying Assembly (philipzucker.com)
    1 points 0
  3. A Python Frozenset Interpretation of Dependent Type Theory (philipzucker.com)
    5 points 0
  4. "Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra (philipzucker.com)
    2 points 0
  5. A Small Prolog on the Z3 AST (philipzucker.com)
    3 points 0
  6. Symbolic Execution by Overloading __bool__ (philipzucker.com)
    81 points 10
  7. Higher Order Pattern Unification on the Z3py AST (philipzucker.com)
    2 points 0
  8. Tensors and Graphs: Canonization by Search (philipzucker.com)
    1 points 0
  9. Acyclic Egraphs and Smart Constructors (philipzucker.com)
    4 points 0
  10. String Knuth Bendix (philipzucker.com)
    2 points 0
  11. Ordinals aren't much worse than Quaternions (philipzucker.com)
    62 points 32
  12. Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com)
    71 points 24
  13. Hashing Modulo Theories (philipzucker.com)
    59 points 5
  14. Compiling with Constraints (philipzucker.com)
    126 points 34
  15. Copy and Micropatch: Writing Binary Patches in C with Clang Preserve_none (philipzucker.com)
    3 points 0
  16. The C bounded model checker: criminally underused (philipzucker.com)
    209 points 128
  17. MiniLitelog: Easy Breezy SQLite Datalog (philipzucker.com)
    3 points 0
  18. Datalite: A Simple Datalog Built Around SQLite (philipzucker.com)
    4 points 0
  19. Duckegg: A Datalog / Egraph Implementation Built Around DuckDB (philipzucker.com)
    4 points 0
  20. The Almighty Dwarf: A Trojan Horse for PL Research (philipzucker.com)
    2 points 0
  21. Embedding E-Graph Rewriting in Constraint Handling Rules (philipzucker.com)
    2 points 0
  22. Constrained Horn Clauses for Bap (2022) (philipzucker.com)
    2 points 0
  23. Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021) (philipzucker.com)
    22 points 4
  24. Egglog Examples: Pullbacks, Ski, Lists, and Arithmetic (2021) (philipzucker.com)
    1 points 0
  25. Proving a Category Theory Theorem with Rust and Egraphs (philipzucker.com)
    2 points 0