HNHacker News
TopNewBestAskShowJobs

philzook

955 karma · joined September 19, 2017

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

Annihilating My Friend Will with a Python Fluid Simulation, Like the Cur He Is

philipzucker.com·3 pts·philzook·
0

Proving some Inductive Facts about Lists using Z3 Python (2019)

philipzucker.com·4 pts·philzook·
0

Relations and the Algebra of Programming (2019)

philipzucker.com·2 pts·philzook·
0

Lens as a Divisibility Relation: Goofin’ Off with the Algebra of Types

philipzucker.com·1 pts·philzook·
0

A Touch of Topological Quantum Computation 3: Categorical Interlude

philipzucker.com·2 pts·philzook·
0

A Touch of Topological Quantum Computation in Haskell Pt. II

philipzucker.com·1 pts·philzook·
0

A Touch of Topological Quantum Computation in Haskell Pt. I

philipzucker.com·3 pts·philzook·
0
← PreviousPage 3 of 3