Skip to content

Top New Best Ask Show Jobs

philzook | Better HN

philzook

939 karmaJoined September 19, 2017295 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)

47philzook7mo ago3

2

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

(philipzucker.com)

1philzook7mo ago0

3

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

(philipzucker.com)

5philzook10mo ago0

4

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

(philipzucker.com)

2philzook11mo ago0

5

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

(philipzucker.com)

3philzook11mo ago0

6

Symbolic Execution by Overloading bool (opens in new tab)

(philipzucker.com)

81philzook1y ago10

7

Higher Order Pattern Unification on the Z3py AST (opens in new tab)

(philipzucker.com)

2philzook1y ago0