Y Hacker News new | ask | show | jobs

user: philzook created: 2017-09-19 karma: 941 Website: https://www.philipzucker.com Twitter: https://twitter.com/SandMouth submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Compositional Datalog on SQL: Relational Algebra of the Environment 47 points | 3 comments A Python CLI for Verifying Assembly 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments A Python Frozenset Interpretation of Dependent Type Theory 5 points | 0 comments "Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra 2 points | 0 comments A Small Prolog on the Z3 AST 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Symbolic Execution by Overloading __bool__ 81 points | 10 comments