HN Explorer

philzook

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