Jekyll2026-08-07T18:19:08+00:00https://www.philipzucker.com/feed.xmlHey There Buddo!A blog about life, programming, math, logic, and physics.An Intuitionistic Micro Proof Assistant2026-08-07T00:00:00+00:002026-08-07T00:00:00+00:00https://www.philipzucker.com/kd_intuFinite Algebraic Effects as dicts and such2026-07-29T00:00:00+00:002026-07-29T00:00:00+00:00https://www.philipzucker.com/bdd_term_alg_effectsMaking TLA+ and x86 Kiss Via Z3Py2026-07-17T00:00:00+00:002026-07-17T00:00:00+00:00https://www.philipzucker.com/kissin_tlaLifting Terms: Making Well Scoped Syntax Dumber2026-07-10T00:00:00+00:002026-07-10T00:00:00+00:00https://www.philipzucker.com/thin_termA Theory of Arrays (ToA) Union Find2026-07-03T00:00:00+00:002026-07-03T00:00:00+00:00https://www.philipzucker.com/toa_unionfindArenas, Cyclic Terms, and Flat Equational Systems2026-06-01T00:00:00+00:002026-06-01T00:00:00+00:00https://www.philipzucker.com/arena_coegraph2_rationalLifting E-Graphs2026-05-25T00:00:00+00:002026-05-25T00:00:00+00:00https://www.philipzucker.com/lifting_egraphReading Proof Objects and Completed Rewrite Systems from eprover into Knuckledragger2026-05-17T00:00:00+00:002026-05-17T00:00:00+00:00https://www.philipzucker.com/proof_processingFamily Orienting Python Frozenset Dependent Type Theory2026-05-10T00:00:00+00:002026-05-10T00:00:00+00:00https://www.philipzucker.com/dtt_python_familyLifting and Lowering Functions with The Dump Calculus2026-05-01T00:00:00+00:002026-05-01T00:00:00+00:00https://www.philipzucker.com/dump_calculus