Skip to content

Top New Best Ask Show Jobs

philzook | Better HN

philzook

941 karmaJoined September 19, 2017296 submissions

Website: https://www.philipzucker.com Twitter: https://twitter.com/SandMouth

Recent submissions

1

Compositional Datalog on SQL: Relational Algebra of the Environment (opens in new tab)

(philipzucker.com)

47philzook8mo ago3

2

A Python CLI for Verifying Assembly (opens in new tab)

(philipzucker.com)

1philzook8mo ago0

3

A Python Frozenset Interpretation of Dependent Type Theory (opens in new tab)

(philipzucker.com)

5philzook11mo ago0

4

"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra (opens in new tab)

(philipzucker.com)

2philzook1y ago0

5

A Small Prolog on the Z3 AST (opens in new tab)

(philipzucker.com)

3philzook1y ago0

6

Symbolic Execution by Overloading bool (opens in new tab)

(philipzucker.com)

81philzook1y ago10