Hacker News
- Linear Algebra of Types (2019) https://www.philipzucker.com/linear-algebra-of-types/ 8 comments
- Compiling with Constraints https://www.philipzucker.com/compile_constraints/ 36 comments
- The C bounded model checker: criminally underused https://www.philipzucker.com/cbmc_tut/ 125 comments
- Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021) https://www.philipzucker.com/https:/www.philipzucker.com/nand2tetris-chc/ 4 comments
- Making a “MiniKanren” using Z3Py https://www.philipzucker.com/minikanren-z3py/ 5 comments
- A Simplified E-graph Implementation https://www.philipzucker.com/a-simplified-egraph/ 7 comments
- Translating My Z3 Tutorial to Coq https://www.philipzucker.com/translating-z3-to-coq/ 18 comments
- Automated Propositional Sequent Proofs in the Browser with Tau Prolog https://www.philipzucker.com/javascript-automated-proving/ 3 comments
- Modeling TLA+ in Z3Py https://www.philipzucker.com/Modelling_TLA_in_z3py/ 9 comments
- Computational Category Theory in Python III: Monoids, Groups, and Preorders http://www.philipzucker.com/computational-category-theory-in-python-3-monoids-groups-and-preorders/ 56 comments
- Why I think Haskell is the best general purpose language as of June 22 2019 http://www.philipzucker.com/why-i-as-of-june-22-2019-think-haskell-is-the-best-general-purpose-language-as-of-june-22-2019/ 99 comments
Lobsters
- Datalite: A Simple Datalog Built Around SQLite in Python https://www.philipzucker.com/datalite/ 3 comments databases , programming
- Why I think Haskell is the best general purpose language (as of June 22 2019) http://www.philipzucker.com/why-i-as-of-june-22-2019-think-haskell-is-the-best-general-purpose-language-as-of-june-22-2019/ 2 comments haskell , plt
- The C bounded model checker: criminally underused https://www.philipzucker.com/cbmc_tut/ 2 comments programming
- PCode2C: Steps Towards Translation Validation with Ghidra and CBMC https://www.philipzucker.com/pcode2c/ 2 comments reverseengineering
- Datalite: A Simple Datalog Built Around SQLite in Python https://www.philipzucker.com/datalite/ 2 comments datalog
- The Almighty DWARF: A Trojan Horse for Program Analysis, Verification, and Recompilation https://www.philipzucker.com/dwarf-patching/ 2 comments reverseengineering
- Proving a Theorem with Rust and Egraphs https://www.philipzucker.com/egglog2-monic/ 2 comments rust
- Computing Syzygy Modules in Sympy - Hey There Buddo! http://www.philipzucker.com/computing-syzygy-modules-in-sympy/ 3 comments math
- Gröbner Bases and Optics - Hey There Buddo! http://www.philipzucker.com/grobner-bases-and-optics/ 4 comments math
- Linear Algebra of Types - Hey There Buddo! http://www.philipzucker.com/linear-algebra-of-types/ 4 comments haskell
- Relational Algebra with Fancy Types - Hey There Buddo! http://www.philipzucker.com/relational-algebra-with-fancy-types/ 9 comments haskell
- A Short Skinny on Relations towards the Algebra of Programming - Hey There Buddo! http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/?preview=true 8 comments haskell
- Why I think Haskell is the best general purpose language http://www.philipzucker.com/why-i-as-of-june-22-2019-think-haskell-is-the-best-general-purpose-language-as-of-june-22-2019/ 55 comments haskell
- Lens as a Divisibility Relation: Goofin' Off With the Algebra of Types - Hey There Buddo! http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/ 9 comments haskell
- Proving Addition is Commutative in Haskell using Singletons http://www.philipzucker.com/proving-addition-is-commutative-in-haskell-using-singletons/ 4 comments haskell
- My n00b Thoughts on Faking GADTs in Rust http://www.philipzucker.com/thoughts-on-faking-some-of-gadts-in-rust/ 14 comments rust
- A Touch of Topological Quantum Computation in Haskell Pt. I - Hey There Buddo! http://www.philipzucker.com/a-touch-of-topological-quantum-computation-in-haskell-pt-i/ 17 comments haskell
- Reverse Mode Differentiation is Kind of Like a Lens II - Hey There Buddo! http://www.philipzucker.com/reverse-mode-differentiation-is-kind-of-like-a-lens-ii/ 25 comments haskell
- Approximating Compiling to Categories using Type-level Haskell: Take 2 http://www.philipzucker.com/approximating-compiling-categories-using-typelevel-haskell-take-2/ 9 comments haskell