https://www.philipzucker.com/notes/Languages/Rust/ 2020-06-25T20:45:34+00:00 https://www.philipzucker.com/notes/Languages/Julia/ 2020-10-16T23:49:48+00:00 https://www.philipzucker.com/notes/CS/2020-11-19-Computer_Architecture/ 2020-11-19T15:49:32+00:00 https://www.philipzucker.com/notes/CS/2020-11-20-Relational_Specs_Crypto_Protocols/ 2020-11-20T19:07:10+00:00 https://www.philipzucker.com/notes/CS/Concurrency/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CS/constraint-programming/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CS/databases/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CS/hybrid-systems/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CS/mathematical-programming/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CS/optimization/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CS/regex-automata-coinduction-bisimulation/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CS/termination/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CyberSecurity/CTF_stuff/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CyberSecurity/bap/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CyberSecurity/cryptography/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CyberSecurity/debuggers/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CyberSecurity/fuzzing/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/CyberSecurity/ghidra/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Docket/binary-patching/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Docket/machine-learning/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Docket/metamath/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Docket/numbers/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Docket/operating_systems/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Engineering/Circuits-Radio/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Engineering/Control/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Engineering/Making/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Engineering/systems/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Graveyard/knuckledragger/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/C++/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/C/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/Coq/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/HOL/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/Java/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/NET/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/agda-idris/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/assembly/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/curry/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/dafny/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/datalog/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/egglog/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/erlang/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/haskell/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/javascript/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/lean/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/lisp-scheme-racket/ 2021-02-06T19:08:24+00:00 https://www.philipzucker.com/notes/Languages/lua/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/matlab/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/ocaml/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/other/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/2020-07-10-Binding_Forms/ 2020-07-10T13:57:58+00:00 https://www.philipzucker.com/notes/Languages/prolog/ 2020-09-22T15:37:08+00:00 https://www.philipzucker.com/notes/Languages/python/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/smalltalk/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/verilog/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/wasm/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Languages/zig/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/Proof-Theory/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/Type-theory/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/answer-set-programming/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/automated-theorem-proving/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/egraphs/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/mathematical-logic/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/nonclassical/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/sat/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/smt/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/software-verification/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/synthesis_induction/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/term-rewriting/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/tptp/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/typeclasses/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Logic/unification/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/abstract-algebra/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/calculus-analysis/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/category-theory/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/complex-analysis/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/computer-algebra/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/computer-numbers/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/differential-equations/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/discrete/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/geometry/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/graph-theory/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/linear-algebra/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/nonlinear-algebra/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/probability/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Math/topology/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/Cooking/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/blogs/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/books/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/github/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/goodreads/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/google_keep/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/hikes/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/history/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/music/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/puzzles/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/seo/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/woodworking/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Misc/youtube/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/Mechanics/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/chemistry/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/electricity-magnetism/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/gravity-relativity/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/optics/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/physics-sims/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/quantum/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/solid-state/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/stat-mech/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/thermodynamics/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Physics/waves-vibrations/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/Compilers/ 2020-11-12T20:17:39+00:00 https://www.philipzucker.com/notes/Programming/2021-09-15-modules/ 2021-09-15T00:00:00+00:00 https://www.philipzucker.com/notes/Programming/Graphics-CAD/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/Implementing_Functional_Languages/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/Parsing/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/automatic-differentiation/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/bioinformatics/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/continuations-effects/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/incremental/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/linkers/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/macros-partial-eval/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/memory-management/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/network/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/parallel/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/perf/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/programs/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/notes/Programming/web-stuff/ 2026-03-27T15:00:04+00:00 https://www.philipzucker.com/getting-wordpress-to-work/ 2015-01-10T21:39:35+00:00 https://www.philipzucker.com/javascript-test/ 2015-06-12T17:32:26+00:00 https://www.philipzucker.com/a-start-on-greens-functions/ 2015-06-19T15:09:34+00:00 https://www.philipzucker.com/a-haskell-is-good/ 2015-06-20T21:17:12+00:00 https://www.philipzucker.com/greens-functions-functions-are-vectors/ 2015-06-21T23:09:38+00:00 https://www.philipzucker.com/monads-are-fed-up/ 2015-07-28T18:36:43+00:00 https://www.philipzucker.com/aws-and-computing-clusters-and-mpi/ 2015-07-28T18:54:17+00:00 https://www.philipzucker.com/the-particle-photon-a-cloud-enabled-arduino/ 2015-07-28T19:01:30+00:00 https://www.philipzucker.com/peltier-coolers-and-thermal-circuits/ 2015-07-29T12:49:29+00:00 https://www.philipzucker.com/internet-learns/ 2015-08-02T20:55:33+00:00 https://www.philipzucker.com/routers-and-switches/ 2015-08-02T23:37:09+00:00 https://www.philipzucker.com/goddamn-you-h-bridge/ 2015-08-12T13:46:36+00:00 https://www.philipzucker.com/queues/ 2015-08-14T20:21:14+00:00 https://www.philipzucker.com/xbox-controller-beaglebone/ 2015-08-27T04:18:24+00:00 https://www.philipzucker.com/installing-icestorm-on-a-mac/ 2015-08-31T03:50:13+00:00 https://www.philipzucker.com/havin-some-problems-with-beaglebone/ 2015-09-03T14:16:05+00:00 https://www.philipzucker.com/python-wave-file-fun-and-audio-on-arduino/ 2015-09-04T18:05:27+00:00 https://www.philipzucker.com/curses-and-ncurses/ 2015-09-08T19:36:36+00:00 https://www.philipzucker.com/recording-audio-in-python/ 2015-09-09T21:19:34+00:00 https://www.philipzucker.com/some-thoughts-on-many-body-quantum-mechanics/ 2015-09-10T16:07:29+00:00 https://www.philipzucker.com/random-potentials-and-qft-i/ 2015-09-11T19:06:44+00:00 https://www.philipzucker.com/ngspice-huh/ 2015-09-17T14:08:25+00:00 https://www.philipzucker.com/getting-going-with-rtl-sdr-a-computer-radio-thingy/ 2015-09-26T22:14:34+00:00 https://www.philipzucker.com/playin-around-with-esp8266/ 2015-09-27T19:12:13+00:00 https://www.philipzucker.com/more-with-rtl-sdr/ 2015-09-28T00:07:40+00:00 https://www.philipzucker.com/superconductivity-whaddup/ 2015-10-02T14:43:32+00:00 https://www.philipzucker.com/folgertech-prusa-i3-printer/ 2015-10-05T00:13:56+00:00 https://www.philipzucker.com/problem-1-free-particle/ 2015-10-07T14:07:29+00:00 https://www.philipzucker.com/problem-2-schutz-chap-5/ 2015-10-07T14:38:05+00:00 https://www.philipzucker.com/folgertech-prusa-update/ 2015-10-14T04:40:20+00:00 https://www.philipzucker.com/bootstrapping-myself-into-rf/ 2015-10-21T00:08:26+00:00 https://www.philipzucker.com/radio-update/ 2015-10-27T03:50:17+00:00 https://www.philipzucker.com/avr-gcc-and-arduino/ 2015-10-27T05:21:57+00:00 https://www.philipzucker.com/svg-to-c-data-using-python/ 2015-10-30T17:58:11+00:00 https://www.philipzucker.com/aiming-a-laser-project/ 2015-11-04T23:21:45+00:00 https://www.philipzucker.com/da-laser-back-end-baby/ 2015-11-05T20:49:28+00:00 https://www.philipzucker.com/chinese-arduino-problems-on-mac/ 2015-11-06T19:45:11+00:00 https://www.philipzucker.com/writing-a-wordpress-sketch-plugin-mr-sketchy-poo/ 2015-11-10T04:48:58+00:00 https://www.philipzucker.com/folgertech-prusa-update-2/ 2015-11-22T21:16:52+00:00 https://www.philipzucker.com/raspberry-pi/ 2015-11-22T21:24:29+00:00 https://www.philipzucker.com/opencv/ 2015-11-22T21:25:11+00:00 https://www.philipzucker.com/root-beer-one/ 2015-11-22T22:57:23+00:00 https://www.philipzucker.com/high-speed-dac-aliexpress/ 2015-11-26T03:08:04+00:00 https://www.philipzucker.com/orange-pi/ 2015-11-26T03:08:48+00:00 https://www.philipzucker.com/magnet-sensor-arduino/ 2015-11-29T03:18:14+00:00 https://www.philipzucker.com/gettin-back-goin-on-fpga/ 2015-11-30T01:29:30+00:00 https://www.philipzucker.com/pausing-prints/ 2015-12-08T03:53:26+00:00 https://www.philipzucker.com/liveusb-windows-stick-for-macbook/ 2015-12-08T04:46:45+00:00 https://www.philipzucker.com/parabola-oh-god-parabola-no-no-nooooooo/ 2015-12-08T04:48:55+00:00 https://www.philipzucker.com/lm358/ 2015-12-10T05:51:33+00:00 https://www.philipzucker.com/im-a-ham-now-deal-with-it/ 2015-12-12T21:36:45+00:00 https://www.philipzucker.com/kivy-and-buildozer/ 2015-12-12T21:37:20+00:00 https://www.philipzucker.com/perfect-latkes/ 2015-12-13T00:24:18+00:00 https://www.philipzucker.com/rtl_power-gnuradio/ 2015-12-14T19:47:56+00:00 https://www.philipzucker.com/a-fun-little-man-of-rutherford-scattering/ 2015-12-14T21:30:29+00:00 https://www.philipzucker.com/interesting-command-line-guys-sox-and-socat/ 2015-12-15T19:19:02+00:00 https://www.philipzucker.com/nmr-a-baby-birds-first-fall-from-the-nest/ 2015-12-16T21:26:25+00:00 https://www.philipzucker.com/performing-some-laplace-experiments/ 2015-12-16T21:27:50+00:00 https://www.philipzucker.com/ipywidgets-useful-little-buggers/ 2015-12-16T22:26:04+00:00 https://www.philipzucker.com/ubuntu-virtualbox/ 2015-12-23T03:41:30+00:00 https://www.philipzucker.com/more-opencv/ 2015-12-28T17:10:54+00:00 https://www.philipzucker.com/knife-bot-2/ 2015-12-28T23:43:29+00:00 https://www.philipzucker.com/opencv-feature-detection-and-tracking/ 2015-12-30T05:08:25+00:00 https://www.philipzucker.com/hackrf/ 2016-01-07T18:39:50+00:00 https://www.philipzucker.com/gnuradio-delay-correlation/ 2016-01-13T22:05:40+00:00 https://www.philipzucker.com/openscad-text-cut/ 2016-01-16T22:29:02+00:00 https://www.philipzucker.com/using-eda-playground/ 2016-01-27T22:17:39+00:00 https://www.philipzucker.com/quantum-harmonic-oscillator-algebra-in-sympy/ 2016-02-10T16:57:11+00:00 https://www.philipzucker.com/a-little-automatic-differentiation-in-python/ 2016-02-12T19:38:09+00:00 https://www.philipzucker.com/attaching-the-jordan-wigner-string-in-numpy/ 2016-02-17T22:17:22+00:00 https://www.philipzucker.com/annihilation-creation-with-wick-contraction-in-python/ 2016-02-18T19:56:37+00:00 https://www.philipzucker.com/vomitting-out-some-machine-learning-with-torch/ 2016-02-29T19:13:02+00:00 https://www.philipzucker.com/bilding-a-drone-fartmachine9-flies-free-and-true/ 2016-03-20T19:12:22+00:00 https://www.philipzucker.com/machine-learning-on-aws-and-not/ 2016-03-22T15:38:01+00:00 https://www.philipzucker.com/metropolis-sampling-of-quantum-hall-wavefunction/ 2016-03-25T20:14:55+00:00 https://www.philipzucker.com/gears-and-drawing-them-in-onshape-and-in-general-i-guess/ 2016-04-26T14:18:43+00:00 https://www.philipzucker.com/monads-are-still-fed-up-but-good/ 2016-04-29T14:00:28+00:00 https://www.philipzucker.com/fem-and-multiphysics-oh-my/ 2016-04-29T14:09:35+00:00 https://www.philipzucker.com/keras-and-learning-sine/ 2016-05-10T19:56:53+00:00 https://www.philipzucker.com/a-stack-monad-in-python/ 2016-05-20T20:01:56+00:00 https://www.philipzucker.com/getting-goddamn-wifi-on-the-goddamn-orange-pi-pc/ 2016-05-23T14:37:26+00:00 https://www.philipzucker.com/visual-odometry-and-epipolar-stuff/ 2016-05-25T18:52:31+00:00 https://www.philipzucker.com/ros-robot-operating-system/ 2016-05-26T21:18:25+00:00 https://www.philipzucker.com/some-opencv-testing-code/ 2016-06-09T20:53:21+00:00 https://www.philipzucker.com/some-projective-geometry-for-our-laser-scanner/ 2016-06-23T22:33:00+00:00 https://www.philipzucker.com/usb-nrf24l01/ 2016-06-29T14:27:51+00:00 https://www.philipzucker.com/python-generators-and-infinite-power-series/ 2016-07-08T19:42:56+00:00 https://www.philipzucker.com/triple-booting-macbook-for-ubuntu-on-flash-drive/ 2016-08-01T03:06:19+00:00 https://www.philipzucker.com/installing-opencv-on-ubuntu-16/ 2016-08-01T03:06:47+00:00 https://www.philipzucker.com/aruco-in-opencv/ 2016-08-01T03:16:27+00:00 https://www.philipzucker.com/whole-new-world-propositions-types-idris-rule-rewriting/ 2016-08-14T19:46:23+00:00 https://www.philipzucker.com/some-parsing-in-haskell/ 2016-08-26T02:59:05+00:00 https://www.philipzucker.com/haskell-where-am-i-at/ 2016-08-28T22:32:53+00:00 https://www.philipzucker.com/extra-simple-simply-typed-lambda-calculus-haskell/ 2016-09-20T23:56:11+00:00 https://www.philipzucker.com/band-theory-mobius-strip/ 2016-10-21T14:52:47+00:00 https://www.philipzucker.com/shaders-raymarching/ 2016-10-31T03:20:25+00:00 https://www.philipzucker.com/band-structure/ 2016-11-10T23:59:14+00:00 https://www.philipzucker.com/python-xbox-controller-mac/ 2016-11-20T05:49:42+00:00 https://www.philipzucker.com/pipe-raspberry-pi-video-ffmpeg-opencv/ 2016-11-22T06:09:18+00:00 https://www.philipzucker.com/topologically-non-trivial-circuit-making-haldane-model-gyrator/ 2016-11-22T21:13:30+00:00 https://www.philipzucker.com/hash-vectors-interacting-particles/ 2016-11-23T22:12:32+00:00 https://www.philipzucker.com/from-whence-superconductivity/ 2016-11-25T16:47:16+00:00 https://www.philipzucker.com/calling-c-function-python/ 2016-11-26T02:42:11+00:00 https://www.philipzucker.com/installing-opencv-3-aruco-raspberry-pi-3/ 2016-11-26T22:26:47+00:00 https://www.philipzucker.com/classical-landauer-buttiker/ 2016-11-28T19:38:05+00:00 https://www.philipzucker.com/fpga-renaissance/ 2016-12-29T20:23:47+00:00 https://www.philipzucker.com/simple-fpga-stuff/ 2017-01-15T18:09:21+00:00 https://www.philipzucker.com/single-bit-quantization/ 2017-01-26T04:20:32+00:00 https://www.philipzucker.com/install-webpack-ise-14-7-ubuntu-spartan-ax309-fpga-board/ 2017-02-02T15:59:35+00:00 https://www.philipzucker.com/hackathon-matter-js/ 2017-02-08T22:25:57+00:00 https://www.philipzucker.com/fenics-and-gmsh/ 2017-02-08T22:37:01+00:00 https://www.philipzucker.com/sat-solving-smt/ 2017-02-08T22:37:32+00:00 https://www.philipzucker.com/topological-data-analysis/ 2017-02-09T22:46:08+00:00 https://www.philipzucker.com/opencv-android/ 2017-02-09T22:46:43+00:00 https://www.philipzucker.com/fem-again/ 2017-02-09T22:47:27+00:00 https://www.philipzucker.com/vga-fpga/ 2017-02-09T22:47:55+00:00 https://www.philipzucker.com/topological-bands-i/ 2017-02-20T19:20:15+00:00 https://www.philipzucker.com/low-level-haskell-watchlist/ 2017-02-28T20:15:45+00:00 https://www.philipzucker.com/scientific-programming-haskell-hmatrix/ 2017-03-01T21:59:04+00:00 https://www.philipzucker.com/simple-st-monad-examples/ 2017-03-30T19:59:17+00:00 https://www.philipzucker.com/resources-automatic-differentiation-power-series-haskell/ 2017-04-06T20:09:54+00:00 https://www.philipzucker.com/chebyshev-polynomials/ 2017-04-13T21:27:50+00:00 https://www.philipzucker.com/deep-learning-basic-shapes/ 2017-04-17T03:28:54+00:00 https://www.philipzucker.com/convolution-tensor-product/ 2017-05-07T00:14:27+00:00 https://www.philipzucker.com/contracts-category-theory/ 2017-05-26T11:29:41+00:00 https://www.philipzucker.com/euro-trip-start/ 2017-06-05T08:14:38+00:00 https://www.philipzucker.com/copenhagen-babies-bikes-smorresbrod/ 2017-06-08T14:46:56+00:00 https://www.philipzucker.com/brussels-hell-town/ 2017-06-09T19:52:44+00:00 https://www.philipzucker.com/ghent-disneyland/ 2017-07-10T11:52:23+00:00 https://www.philipzucker.com/berlin-sausages-spetzle-nazis/ 2017-07-10T11:52:46+00:00 https://www.philipzucker.com/amsterdam/ 2017-07-10T11:53:07+00:00 https://www.philipzucker.com/euro-trip-post-analysis/ 2017-07-10T15:48:35+00:00 https://www.philipzucker.com/blockchain/ 2017-07-20T15:10:19+00:00 https://www.philipzucker.com/movidius-neural-compute-stick/ 2017-08-10T22:38:25+00:00 https://www.philipzucker.com/drone-notes/ 2017-08-10T22:38:56+00:00 https://www.philipzucker.com/quantum-information-computation-resources/ 2017-08-15T17:11:38+00:00 https://www.philipzucker.com/nerve-elixir-os-packager-raspberry-pi/ 2017-08-16T17:51:57+00:00 https://www.philipzucker.com/making-a-podcast/ 2017-08-19T13:51:53+00:00 https://www.philipzucker.com/gstreamer/ 2017-08-21T15:16:05+00:00 https://www.philipzucker.com/couple-interesting-deep-learning-topics/ 2017-08-21T17:39:47+00:00 https://www.philipzucker.com/elm-eikonal-sol-lewitt/ 2017-08-21T21:17:52+00:00 https://www.philipzucker.com/simple-gnuradio-sonar-rangefinding/ 2017-08-27T16:47:02+00:00 https://www.philipzucker.com/great-talk-np-solvers-clojure-puzzles/ 2017-08-27T18:02:26+00:00 https://www.philipzucker.com/caffe-getting-started/ 2017-08-28T15:24:50+00:00 https://www.philipzucker.com/propagators/ 2017-08-29T16:42:32+00:00 https://www.philipzucker.com/using-z3-solve-simple-logic-puzzle/ 2017-08-31T17:15:14+00:00 https://www.philipzucker.com/notes-ros-orb-slam-2/ 2017-09-01T14:04:50+00:00 https://www.philipzucker.com/3d-printing-linkages/ 2017-09-03T14:38:56+00:00 https://www.philipzucker.com/limesdr-gettin-going/ 2017-09-04T17:54:25+00:00 https://www.philipzucker.com/position-tracking-using-wifi/ 2017-09-05T17:43:41+00:00 https://www.philipzucker.com/ordered-pairs-idris/ 2017-09-12T22:10:07+00:00 https://www.philipzucker.com/cellular-automata-haskell/ 2017-09-21T21:07:51+00:00 https://www.philipzucker.com/maker-faire-nyc/ 2017-09-26T17:34:07+00:00 https://www.philipzucker.com/fixing-jekyll-problems-jupyter/ 2017-10-02T19:23:11+00:00 https://www.philipzucker.com/deep-learning-coursera-notes/ 2017-10-02T19:23:53+00:00 https://www.philipzucker.com/many-body-physics-part-1/ 2017-10-08T16:27:12+00:00 https://www.philipzucker.com/downloading-collecting-coursera-videos/ 2017-12-01T03:56:10+00:00 https://www.philipzucker.com/LQR/ 2017-12-07T16:27:12+00:00 https://www.philipzucker.com/using-purescript-servant-bridge/ 2017-12-12T14:03:41+00:00 https://www.philipzucker.com/resources-string-diagrams-adjunctions-kan-extensions/ 2017-12-12T22:20:51+00:00 https://www.philipzucker.com/ruined-today-reading-haskell-posts/ 2017-12-18T14:29:06+00:00 https://www.philipzucker.com/functor-vector-basis/ 2017-12-31T23:27:12+00:00 https://www.philipzucker.com/checkin-openai-baselines/ 2018-01-02T16:18:04+00:00 https://www.philipzucker.com/ignoramus-thinking-compiling-categories/ 2018-02-14T13:42:25+00:00 https://www.philipzucker.com/functor-vector-number3/ 2018-02-16T16:27:12+00:00 https://www.philipzucker.com/haskell-gloss-awesome/ 2018-02-16T21:58:45+00:00 https://www.philipzucker.com/3d-printed-soda-can-stirling-engine/ 2018-02-19T18:47:30+00:00 https://www.philipzucker.com/linksprite-cnc-machine/ 2018-03-02T04:43:37+00:00 https://www.philipzucker.com/cart-pole-using-lyapunov-lqr-control-openai-gym/ 2018-03-03T23:03:07+00:00 https://www.philipzucker.com/trying-platform-io/ 2018-03-03T23:03:34+00:00 https://www.philipzucker.com/stm32f411-discovery-board-getting-started/ 2018-03-08T17:53:12+00:00 https://www.philipzucker.com/lqr-with-cvxpy/ 2018-03-09T01:40:33+00:00 https://www.philipzucker.com/making-van-der-graaf-generator/ 2018-03-25T18:20:18+00:00 https://www.philipzucker.com/cart-pole-trajectory-optimization-using-cvxpy/ 2018-03-25T23:07:57+00:00 https://www.philipzucker.com/random-links-uses-convex-relaxations-particular-semidefinite-programming/ 2018-03-29T17:42:57+00:00 https://www.philipzucker.com/cartpole-workin-boyeee/ 2018-04-09T02:37:52+00:00 https://www.philipzucker.com/reverse-mode-auto-differentiation-kind-like-lens/ 2018-04-23T16:36:24+00:00 https://www.philipzucker.com/noise-fluctuation-dissipation-theorem/ 2018-04-27T14:21:52+00:00 https://www.philipzucker.com/analytic-center-python-using-scipy-numpy/ 2018-05-11T16:04:01+00:00 https://www.philipzucker.com/cartpole-maths/ 2018-05-13T20:26:03+00:00 https://www.philipzucker.com/pytorch-trajectory-optimization/ 2018-06-22T14:20:57+00:00 https://www.philipzucker.com/garbage-can-compiling-categories-inspectable-lambdas/ 2018-06-22T14:25:50+00:00 https://www.philipzucker.com/pytorch-trajectory-optimization-part-2-work-progress/ 2018-07-04T05:16:39+00:00 https://www.philipzucker.com/extracting-banded-hessian-pytorch/ 2018-07-08T05:19:42+00:00 https://www.philipzucker.com/cartpole-camera-system-opencv-ps-eye-ir/ 2018-07-08T20:38:02+00:00 https://www.philipzucker.com/pytorch-trajectory-optimization-3-plugging-hessian/ 2018-07-15T02:57:03+00:00 https://www.philipzucker.com/pytorch-trajectory-optimization-part-5-cleaner-code-50hz/ 2018-07-15T22:50:17+00:00 https://www.philipzucker.com/deducing-row-sparse-matrices-matrix-vector-product-samples/ 2018-07-19T20:44:39+00:00 https://www.philipzucker.com/shit-compiling-categories-using-type-level-programming-haskell/ 2018-07-28T21:52:35+00:00 https://www.philipzucker.com/variational-method-quantum-simple-harmonic-oscillator-using-pytorch/ 2018-07-30T02:20:36+00:00 https://www.philipzucker.com/approximating-compiling-categories-using-typelevel-haskell-take-2/ 2018-08-13T12:10:12+00:00 https://www.philipzucker.com/osqp-sparsegrad-fast-model-predictive-control-python-inverted-pendulum/ 2018-08-19T23:51:35+00:00 https://www.philipzucker.com/solving-the-ising-model-using-a-mixed-integer-linear-program-solver-gurobi/ 2018-08-27T12:01:32+00:00 https://www.philipzucker.com/rc-airplane/ 2018-09-04T12:22:36+00:00 https://www.philipzucker.com/division-of-polynomials-in-haskell/ 2018-10-07T22:59:16+00:00 https://www.philipzucker.com/model-predictive-control-of-cartpole-in-openai-gym-using-osqp/ 2018-10-14T23:26:23+00:00 https://www.philipzucker.com/reverse-mode-differentiation-is-kind-of-like-a-lens-ii/ 2018-10-15T12:32:11+00:00 https://www.philipzucker.com/deriving-the-chebyshev-polynomials-using-sum-of-squares-optimization-with-sympy-and-cvxpy/ 2018-10-29T12:14:11+00:00 https://www.philipzucker.com/a-touch-of-topological-quantum-computation-in-haskell-pt-i/ 2018-11-14T06:23:04+00:00 https://www.philipzucker.com/q-learning-with-linear-programming-cvxpy-openai-gym-pendulum/ 2018-11-19T04:46:50+00:00 https://www.philipzucker.com/more-reinforcement-learning-with-cvxpy/ 2018-11-23T04:34:25+00:00 https://www.philipzucker.com/gettin-that-robot-some-tasty-apples-solving-a-simple-geometrical-puzzle-in-z3-python/ 2018-11-28T18:05:37+00:00 https://www.philipzucker.com/trajectory-optimization-of-a-pendulum-with-mixed-integer-linear-programming/ 2018-12-03T05:34:50+00:00 https://www.philipzucker.com/nand2tetris-in-verilog-and-fpga-and-coq/ 2018-12-14T18:02:40+00:00 https://www.philipzucker.com/a-simple-interior-point-linear-programming-solver-in-python/ 2018-12-23T03:10:13+00:00 https://www.philipzucker.com/bouncing-a-ball-with-mixed-integer-programming/ 2018-12-27T04:26:21+00:00 https://www.philipzucker.com/compiling-to-categories-3-a-bit-cuter/ 2018-12-27T04:31:15+00:00 https://www.philipzucker.com/a-touch-of-topological-quantum-computation-in-haskell-pt-ii-automating-drudgery/ 2019-01-14T03:34:45+00:00 https://www.philipzucker.com/bidirectional-applicative-programming-and-automatic-differentation/ 2019-01-28T04:47:31+00:00 https://www.philipzucker.com/a-touch-of-topological-computation-3-categorical-interlude/ 2019-02-18T23:00:30+00:00 https://www.philipzucker.com/a-little-bloop-on-typed-template-haskell/ 2019-03-04T00:05:55+00:00 https://www.philipzucker.com/cvxpy-and-networkx-flow-problems/ 2019-03-04T23:23:44+00:00 https://www.philipzucker.com/thoughts-on-faking-some-of-gadts-in-rust/ 2019-03-12T19:21:06+00:00 https://www.philipzucker.com/casadi-pretty-damn-slick/ 2019-03-13T17:21:55+00:00 https://www.philipzucker.com/proving-addition-is-commutative-in-haskell-using-singletons/ 2019-04-02T16:41:15+00:00 https://www.philipzucker.com/chile-nice-place/ 2019-04-23T04:40:18+00:00 https://www.philipzucker.com/giving-the-mostly-printed-cnc-a-try-mpcnc/ 2019-05-05T17:48:58+00:00 https://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/ 2019-05-06T02:36:05+00:00 https://www.philipzucker.com/the-beauty-of-the-cone-how-convex-cones-simplify-convex-programming/ 2019-05-21T16:46:24+00:00 https://www.philipzucker.com/2d-robot-arm-inverse-kinematics-using-mixed-integer-programming-in-cvxpy/ 2019-05-30T17:15:47+00:00 https://www.philipzucker.com/solving-the-xy-model-using-mixed-integer-optimization-in-python/ 2019-06-05T23:38:45+00:00 https://www.philipzucker.com/mixed-integer-programming-quantization-error/ 2019-06-11T18:45:10+00:00 https://www.philipzucker.com/a-basic-branch-and-bound-solver-in-python-using-cvxpy/ 2019-06-13T20:29:54+00:00 https://www.philipzucker.com/why-i-as-of-june-22-2019-think-haskell-is-the-best-general-purpose-language-as-of-june-22-2019/ 2019-06-22T23:23:17+00:00 https://www.philipzucker.com/some-notes-on-drake-a-robotic-control-toolbox/ 2019-06-28T00:33:26+00:00 https://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/ 2019-07-02T16:23:17+00:00 https://www.philipzucker.com/proving-some-inductive-facts-about-lists-using-z3-python/ 2019-07-12T14:03:11+00:00 https://www.philipzucker.com/annihilating-my-friend-will-with-a-python-fluid-simulation-like-the-cur-he-is/ 2019-07-21T21:00:34+00:00 https://www.philipzucker.com/fools-rules-regatta-2019/ 2019-08-11T01:33:10+00:00 https://www.philipzucker.com/dump-of-nonlinear-algebra-algebraic-geometry-notes-good-links-though/ 2019-08-11T17:47:28+00:00 https://www.philipzucker.com/cav-2019-notes-probably-nothin-interestin-for-you/ 2019-08-11T17:54:33+00:00 https://www.philipzucker.com/doing-basic-ass-stuff-in-haskell/ 2019-08-11T18:28:34+00:00 https://www.philipzucker.com/the-classical-coulomb-gas-as-a-mixed-integer-quadratic-program/ 2019-08-19T02:04:35+00:00 https://www.philipzucker.com/notes-on-getting-started-in-ocaml/ 2019-08-20T01:21:43+00:00 https://www.philipzucker.com/relational-algebra-with-fancy-types/ 2019-09-04T23:26:02+00:00 https://www.philipzucker.com/linear-algebra-of-types/ 2019-09-23T02:35:07+00:00 https://www.philipzucker.com/flappy-bird-as-a-mixed-integer-program/ 2019-10-06T20:26:07+00:00 https://www.philipzucker.com/concolic-weakest-precondition-is-kind-of-like-a-lens/ 2019-10-10T03:54:18+00:00 https://www.philipzucker.com/functors-and-vectors/ 2019-10-14T20:10:37+00:00 https://www.philipzucker.com/grobner-bases-and-optics/ 2019-10-27T19:11:34+00:00 https://www.philipzucker.com/neural-networks-with-weighty-lenses-dioptics/ 2019-10-30T23:23:34+00:00 https://www.philipzucker.com/learn-coq-in-y/ 2019-11-01T15:34:05+00:00 https://www.philipzucker.com/failing-to-bound-kissing-numbers/ 2019-11-05T03:14:49+00:00 https://www.philipzucker.com/linear-relation-algebra-of-circuits-with-hmatrix/ 2019-11-11T03:38:22+00:00 https://www.philipzucker.com/categorical-lqr-control-with-linear-relations/ 2019-11-26T20:41:17+00:00 https://www.philipzucker.com/sum-of-squares-optimization-for-minimax-optimal-differential-eq-residuals/ 2019-12-12T03:58:31+00:00 https://www.philipzucker.com/solving-the-laplace-equations-with-linear-relations/ 2019-12-22T19:07:55+00:00 https://www.philipzucker.com/our-latest-film-ouvre-the-wassenroid/ 2019-12-23T02:04:59+00:00 https://www.philipzucker.com/programming-and-interactive-proving-with-z3py/ 2019-12-23T04:15:35+00:00 https://www.philipzucker.com/stupid-z3py-tricks-verifying-sorting-networks-off-of-wikipedia/ 2019-12-24T23:33:24+00:00 https://www.philipzucker.com/more-stupid-z3py-tricks-simple-proofs/ 2019-12-29T04:33:06+00:00 https://www.philipzucker.com/stupid-z3py-tricks-strikes-back-verifying-a-keras-neural-network/ 2019-12-30T00:29:06+00:00 https://www.philipzucker.com/fiddling-around-with-validated-ode-integration-sum-of-squares-taylor-models/ 2020-01-07T02:54:18+00:00 https://www.philipzucker.com/a-sketch-of-categorical-relation-algebra-combinators-in-z3py/ 2020-01-25T19:27:13+00:00 https://www.philipzucker.com/has-my-blog-been-hacked/ 2020-01-28T14:54:09+00:00 https://www.philipzucker.com/a-sketch-of-gimped-interval-propagation-with-lenses/ 2020-02-07T15:52:53+00:00 https://www.philipzucker.com/stupid-is-as-stupid-does-floating-point-in-z3py/ 2020-02-09T05:44:21+00:00 https://www.philipzucker.com/categorical-combinators-for-graphviz-in-python/ 2020-02-16T20:33:09+00:00 https://www.philipzucker.com/rough-ideas-on-categorical-combinators-for-model-checking-petri-nets-using-cvxpy/ 2020-02-29T20:16:36+00:00 https://www.philipzucker.com/notes-on-finally-tagless/ 2020-03-04T05:35:17+00:00 https://www.philipzucker.com/naive-synthesis-of-sorting-networks-using-z3py/ 2020-03-08T19:52:23+00:00 https://www.philipzucker.com/categorical-combinators-for-convex-optimization-and-model-predictive-control-using-cvxpy/ 2020-03-10T02:35:44+00:00 https://www.philipzucker.com/computing-syzygy-modules-in-sympy/ 2020-03-23T03:29:00+00:00 https://www.philipzucker.com/uniform-continuity-is-kind-of-like-a-lens/ 2020-03-29T17:34:27+00:00 https://www.philipzucker.com/computational-category-theory-in-python-i-dictionaries-for-finset/ 2020-04-07T03:40:41+00:00 https://www.philipzucker.com/computational-category-theory-in-python-ii-numpy-for-finvect/ 2020-04-13T00:24:04+00:00 https://www.philipzucker.com/computational-category-theory-in-python-3-monoids-groups-and-preorders/ 2020-05-02T14:36:29+00:00 https://www.philipzucker.com/a-smattering-of-physics-in-sympy/ 2020-05-10T00:08:36+00:00 https://www.philipzucker.com/walk-on-spheres-method-in-julia/ 2020-05-23T20:06:44+00:00 https://www.philipzucker.com/metaocaml-style-partial-evaluation-in-coq/ 2020-06-06T23:44:18+00:00 https://www.philipzucker.com/unification-in-julia/ 2020-07-03T16:50:32+00:00 https://www.philipzucker.com/category-theory-in-the-e-automated-theorem-prover/ 2020-07-05T17:08:52+00:00 https://www.philipzucker.com/a-buchberger-in-julia/ 2020-07-19T20:41:19+00:00 https://www.philipzucker.com/system-identification-of-a-pendulum-with-scikit-learn/ 2020-08-01T15:06:58+00:00 https://www.philipzucker.com/checkpoint-implementing-linear-relations-for-linear-time-invariant-systems/ 2020-08-03T03:33:45+00:00 https://www.philipzucker.com/defunctionalizing-arithmetic-to-an-abstract-machine/ 2020-08-08T18:31:45+00:00 https://www.philipzucker.com/ray-tracing-algebraic-surfaces/ 2020-08-21T02:31:09+00:00 https://www.philipzucker.com/google-ctf-2020-write-up/ 2020-08-24T21:06:10+00:00 https://www.philipzucker.com/yet-another-microkanren-in-julia/ 2020-09-07T19:22:46+00:00 https://www.philipzucker.com/notes-on-synthesis-and-equation-proving-for-catlab-jl/ 2020-09-26T15:28:37+00:00 https://www.philipzucker.com/theorem-proving-for-catlab-2-lets-try-z3-this-time-nope/ 2020-10-18T21:52:12+00:00 https://www.philipzucker.com/i-gave-a-talk-on-executing-categories/ 2020-11-11T19:09:58+00:00 https://www.philipzucker.com/dataframes-jl-style-linear-relations/ 2020-11-20T01:05:56+00:00 https://www.philipzucker.com/i-moved-my-blog-from-wordpress/ 2020-11-21T01:05:56+00:00 https://www.philipzucker.com/egraph-1/ 2020-11-27T00:00:00+00:00 https://www.philipzucker.com/egraph-2/ 2020-12-06T00:00:00+00:00 https://www.philipzucker.com/Modelling_TLA_in_z3py/ 2020-12-20T00:00:00+00:00 https://www.philipzucker.com/a-new-masterpiece-the-accident/ 2020-12-20T00:00:00+00:00 https://www.philipzucker.com/weakest-precondition-z3py/ 2020-12-25T00:00:00+00:00 https://www.philipzucker.com/Reals_from_intervals/ 2021-01-02T00:00:00+00:00 https://www.philipzucker.com/javascript-automated-proving/ 2021-02-07T10:45:34+00:00 https://www.philipzucker.com/the-empathy-machine/ 2021-02-08T00:00:00+00:00 https://www.philipzucker.com/z3-and-the-word-problem/ 2021-02-13T00:00:00+00:00 https://www.philipzucker.com/z3-cegar-interval/ 2021-02-18T13:52:20+00:00 https://www.philipzucker.com/translating-z3-to-coq/ 2021-02-27T09:35:44+00:00 https://www.philipzucker.com/metatheory-progress/ 2021-03-10T00:00:00+00:00 https://www.philipzucker.com/rust-category/ 2021-03-12T00:00:00+00:00 https://www.philipzucker.com/z3-talk-notes/ 2021-03-16T00:00:00+00:00 https://www.philipzucker.com/union-find-dict/ 2021-03-27T00:00:00+00:00 https://www.philipzucker.com/a-simplified-egraph/ 2021-04-03T00:00:00+00:00 https://www.philipzucker.com/staging-patterns/ 2021-04-10T00:00:00+00:00 https://www.philipzucker.com/simple-coq-union-find/ 2021-04-11T00:00:00+00:00 https://www.philipzucker.com/egraph-datalog/ 2021-05-09T00:00:00+00:00 https://www.philipzucker.com/aesthetic-javascript-eduction/ 2021-05-19T00:00:00+00:00 https://www.philipzucker.com/minikanren-z3py/ 2021-05-22T00:00:00+00:00 https://www.philipzucker.com/executable-seperation/ 2021-05-30T00:00:00+00:00 https://www.philipzucker.com/aop-minikanren/ 2021-06-10T00:00:00+00:00 https://www.philipzucker.com/markov-slackbot/ 2021-07-27T00:00:00+00:00 https://www.philipzucker.com/egglog-checkpoint/ 2021-07-27T00:00:00+00:00 https://www.philipzucker.com/juliacon-talk/ 2021-07-31T00:00:00+00:00 https://www.philipzucker.com/egglog2-monic/ 2021-08-01T00:00:00+00:00 https://www.philipzucker.com/replacing-rise4fun/ 2021-08-14T00:00:00+00:00 https://www.philipzucker.com/egglog-3/ 2021-08-22T00:00:00+00:00 https://www.philipzucker.com/marble-machine-progress/ 2021-10-28T00:00:00+00:00 https://www.philipzucker.com/nand2tetris-cpu/ 2021-11-12T00:00:00+00:00 https://www.philipzucker.com/nand2tetris-chc/ 2021-11-27T00:00:00+00:00 https://www.philipzucker.com/z3_diff/ 2021-12-08T00:00:00+00:00 https://www.philipzucker.com/imatch-datalog/ 2021-12-17T00:00:00+00:00 https://www.philipzucker.com/cars-5/ 2021-12-20T00:00:00+00:00 https://www.philipzucker.com/datalog-egraph-deux/ 2021-12-23T00:00:00+00:00 https://www.philipzucker.com/bap-js-1/ 2022-01-01T00:00:00+00:00 https://www.philipzucker.com/bap-chc/ 2022-02-10T00:00:00+00:00 https://www.philipzucker.com/souffle-functor-hack/ 2022-03-03T00:00:00+00:00 https://www.philipzucker.com/egraph-chr/ 2022-04-14T00:00:00+00:00 https://www.philipzucker.com/dwarf-patching/ 2022-04-22T00:00:00+00:00 https://www.philipzucker.com/hashlog-1/ 2022-05-29T00:00:00+00:00 https://www.philipzucker.com/souffle-egg4/ 2022-06-11T00:00:00+00:00 https://www.philipzucker.com/backtracking-datalog/ 2022-06-22T00:00:00+00:00 https://www.philipzucker.com/contextual-datalog/ 2022-06-28T00:00:00+00:00 https://www.philipzucker.com/souffle-herbie/ 2022-07-03T00:00:00+00:00 https://www.philipzucker.com/first-class-uf/ 2022-07-08T00:00:00+00:00 https://www.philipzucker.com/lambda-datalog-souffle/ 2022-07-13T00:00:00+00:00 https://www.philipzucker.com/pldi22-notes/ 2022-08-03T00:00:00+00:00 https://www.philipzucker.com/thousand-year-beep/ 2022-08-07T00:00:00+00:00 https://www.philipzucker.com/duckegg-post/ 2022-10-03T00:00:00+00:00 https://www.philipzucker.com/datalite/ 2022-10-03T00:00:00+00:00 https://www.philipzucker.com/snakelog-post/ 2022-10-21T00:00:00+00:00 https://www.philipzucker.com/union-find-groupoid/ 2022-11-25T00:00:00+00:00 https://www.philipzucker.com/datalog-theorem-harrop/ 2022-12-11T00:00:00+00:00 https://www.philipzucker.com/dinty-finyins/ 2022-12-20T00:00:00+00:00 https://www.philipzucker.com/popl-2023/ 2023-01-22T00:00:00+00:00 https://www.philipzucker.com/tiny-sqlite-datalog/ 2023-03-11T00:00:00+00:00 https://www.philipzucker.com/harrop-checkpoint/ 2023-04-16T00:00:00+00:00 https://www.philipzucker.com/relational-ac-matching/ 2023-04-23T00:00:00+00:00 https://www.philipzucker.com/egraph-ground-rewrite/ 2023-05-21T00:00:00+00:00 https://www.philipzucker.com/ground-rewrite-2/ 2023-06-14T00:00:00+00:00 https://www.philipzucker.com/pldi2023-notes/ 2023-06-22T00:00:00+00:00 https://www.philipzucker.com/asp-for-egraph-extraction/ 2023-07-01T00:00:00+00:00 https://www.philipzucker.com/ouvre-woodpecker/ 2023-12-20T00:00:00+00:00 https://www.philipzucker.com/python-itp/ 2024-01-01T00:00:00+00:00 https://www.philipzucker.com/pcode2c/ 2024-01-05T00:00:00+00:00 https://www.philipzucker.com/harrison-handbook-in-python-pt-i/ 2024-01-15T00:00:00+00:00 https://www.philipzucker.com/metamath-datalog-provenenance/ 2024-01-22T00:00:00+00:00 https://www.philipzucker.com/cbmc_tut/ 2024-01-29T00:00:00+00:00 https://www.philipzucker.com/undefined_behavior/ 2024-02-05T00:00:00+00:00 https://www.philipzucker.com/td4-4bit-cpu/ 2024-02-12T00:00:00+00:00 https://www.philipzucker.com/applicative_python/ 2024-02-19T00:00:00+00:00 https://www.philipzucker.com/twee/ 2024-02-26T00:00:00+00:00 https://www.philipzucker.com/bottom_up/ 2024-03-04T00:00:00+00:00 https://www.philipzucker.com/permutation_compile/ 2024-03-08T00:00:00+00:00 https://www.philipzucker.com/termination_checker/ 2024-03-11T00:00:00+00:00 https://www.philipzucker.com/compile_constraints/ 2024-03-18T00:00:00+00:00 https://www.philipzucker.com/knuckledrag2/ 2024-03-24T00:00:00+00:00 https://www.philipzucker.com/finiteset/ 2024-03-25T00:00:00+00:00 https://www.philipzucker.com/resolution1/ 2024-04-01T00:00:00+00:00 https://www.philipzucker.com/egraph2024_talk/ 2024-04-12T00:00:00+00:00 https://www.philipzucker.com/pcode2c-dwarf/ 2024-04-15T00:00:00+00:00 https://www.philipzucker.com/sqrt2/ 2024-04-29T00:00:00+00:00 https://www.philipzucker.com/sqrt2_2/ 2024-05-06T00:00:00+00:00 https://www.philipzucker.com/hashing-modulo/ 2024-05-14T00:00:00+00:00 https://www.philipzucker.com/analysis_knuckle/ 2024-05-20T00:00:00+00:00 https://www.philipzucker.com/ground_kbo/ 2024-05-27T00:00:00+00:00 https://www.philipzucker.com/bryzzowski_kat/ 2024-06-10T00:00:00+00:00 https://www.philipzucker.com/minikanren_inside_z3/ 2024-06-13T00:00:00+00:00 https://www.philipzucker.com/egglog_z3_simp/ 2024-06-17T00:00:00+00:00 https://www.philipzucker.com/egraph2024_talk_done/ 2024-07-01T00:00:00+00:00 https://www.philipzucker.com/ext_z3_egraph/ 2024-07-07T00:00:00+00:00 https://www.philipzucker.com/linear_grobner_egraph/ 2024-07-15T00:00:00+00:00 https://www.philipzucker.com/naive_automata/ 2024-07-23T00:00:00+00:00 https://www.philipzucker.com/coegraph/ 2024-07-29T00:00:00+00:00 https://www.philipzucker.com/state_o_knuck/ 2024-08-05T00:00:00+00:00 https://www.philipzucker.com/knuck_exp/ 2024-08-12T00:00:00+00:00 https://www.philipzucker.com/ordinals/ 2024-08-22T00:00:00+00:00 https://www.philipzucker.com/oscillate/ 2024-08-26T00:00:00+00:00 https://www.philipzucker.com/string_knuth/ 2024-09-09T00:00:00+00:00 https://www.philipzucker.com/smart_constructor_aegraph/ 2024-09-16T00:00:00+00:00 https://www.philipzucker.com/term_ordering/ 2024-09-23T00:00:00+00:00 https://www.philipzucker.com/tao_algebra/ 2024-09-26T00:00:00+00:00 https://www.philipzucker.com/ruler/ 2024-09-30T00:00:00+00:00 https://www.philipzucker.com/high_cbmc/ 2024-10-07T00:00:00+00:00 https://www.philipzucker.com/multiset_rw/ 2024-10-16T00:00:00+00:00 https://www.philipzucker.com/coset_enum_egraph/ 2024-10-21T00:00:00+00:00 https://www.philipzucker.com/unify/ 2024-10-28T00:00:00+00:00 https://www.philipzucker.com/canon_search/ 2024-11-04T00:00:00+00:00 https://www.philipzucker.com/ho_unify/ 2024-11-11T00:00:00+00:00 https://www.philipzucker.com/sql_graph_csp/ 2024-11-18T00:00:00+00:00 https://www.philipzucker.com/ground_lambda_prolog/ 2024-11-25T00:00:00+00:00 https://www.philipzucker.com/superpose_datalog/ 2024-12-02T00:00:00+00:00 https://www.philipzucker.com/ljt/ 2024-12-09T00:00:00+00:00 https://www.philipzucker.com/knuckle_lemma/ 2024-12-16T00:00:00+00:00 https://www.philipzucker.com/overload_bool/ 2024-12-23T00:00:00+00:00 https://www.philipzucker.com/2024_year/ 2024-12-31T00:00:00+00:00 https://www.philipzucker.com/cody_sheffer/ 2025-01-01T00:00:00+00:00 https://www.philipzucker.com/scimitar_movie/ 2025-01-05T00:00:00+00:00 https://www.philipzucker.com/python_sat/ 2025-01-06T00:00:00+00:00 https://www.philipzucker.com/ten_year_blog/ 2025-01-10T00:00:00+00:00 https://www.philipzucker.com/knuckle_update_nbe/ 2025-01-20T00:00:00+00:00 https://www.philipzucker.com/z3_eq_sat/ 2025-01-27T00:00:00+00:00 https://www.philipzucker.com/tree_decomp_etudes/ 2025-02-03T00:00:00+00:00 https://www.philipzucker.com/td4_ebmc/ 2025-02-10T00:00:00+00:00 https://www.philipzucker.com/rewrite_rules/ 2025-02-18T00:00:00+00:00 https://www.philipzucker.com/kibble_balance/ 2025-02-24T00:00:00+00:00 https://www.philipzucker.com/knuckle_typeclass/ 2025-03-03T00:00:00+00:00 https://www.philipzucker.com/knuth_bendix_knuck/ 2025-03-11T00:00:00+00:00 https://www.philipzucker.com/shallow_logic_knuckle/ 2025-03-19T00:00:00+00:00 https://www.philipzucker.com/yagi_uda/ 2025-03-24T00:00:00+00:00 https://www.philipzucker.com/knuck_prolog/ 2025-03-31T00:00:00+00:00 https://www.philipzucker.com/knuckle_C_pcode/ 2025-04-08T00:00:00+00:00 https://www.philipzucker.com/wimshurst/ 2025-04-15T00:00:00+00:00 https://www.philipzucker.com/inverse_method/ 2025-04-21T00:00:00+00:00 https://www.philipzucker.com/proof_objects/ 2025-04-28T00:00:00+00:00 https://www.philipzucker.com/nepls_2025/ 2025-05-09T00:00:00+00:00 https://www.philipzucker.com/brute_eggmt/ 2025-05-12T00:00:00+00:00 https://www.philipzucker.com/frozenset_dtt/ 2025-05-19T00:00:00+00:00 https://www.philipzucker.com/egraph-mt2/ 2025-05-26T00:00:00+00:00 https://www.philipzucker.com/unify_mod_egraphs/ 2025-06-02T00:00:00+00:00 https://www.philipzucker.com/tele/ 2025-06-09T00:00:00+00:00 https://www.philipzucker.com/pldi_2025/ 2025-06-21T00:00:00+00:00 https://www.philipzucker.com/telescope_tries/ 2025-06-22T00:00:00+00:00 https://www.philipzucker.com/le_find/ 2025-06-29T00:00:00+00:00 https://www.philipzucker.com/dirty_lean/ 2025-07-03T00:00:00+00:00 https://www.philipzucker.com/lean_smt/ 2025-07-14T00:00:00+00:00 https://www.philipzucker.com/assembly_verify/ 2025-07-21T00:00:00+00:00 https://www.philipzucker.com/asm_verify2/ 2025-07-29T00:00:00+00:00 https://www.philipzucker.com/refinement_kdrag1/ 2025-08-04T00:00:00+00:00 https://www.philipzucker.com/knuckle_analysis1/ 2025-08-11T00:00:00+00:00 https://www.philipzucker.com/asm_verify3/ 2025-08-18T00:00:00+00:00 https://www.philipzucker.com/compose_datalog/ 2025-08-26T00:00:00+00:00 https://www.philipzucker.com/slotted_hash_cons/ 2025-09-15T00:00:00+00:00 https://www.philipzucker.com/kdrag_proof_rules/ 2025-09-22T00:00:00+00:00 https://www.philipzucker.com/knuckle_primes/ 2025-09-28T00:00:00+00:00 https://www.philipzucker.com/toy_bdd/ 2025-10-06T00:00:00+00:00 https://www.philipzucker.com/zf_knuckle1/ 2025-10-13T00:00:00+00:00 https://www.philipzucker.com/house_fire/ 2025-11-02T00:00:00+00:00 https://www.philipzucker.com/smt_unify/ 2025-11-10T00:00:00+00:00 https://www.philipzucker.com/prim_level_uf/ 2025-11-29T00:00:00+00:00 https://www.philipzucker.com/smt_sat_solver2/ 2025-12-01T00:00:00+00:00 https://www.philipzucker.com/asm_verify4/ 2025-12-08T00:00:00+00:00 https://www.philipzucker.com/kd_microlean/ 2025-12-15T00:00:00+00:00 https://www.philipzucker.com/dmb-and-gcb/ 2025-12-21T00:00:00+00:00 https://www.philipzucker.com/asymmetric_complete/ 2025-12-22T00:00:00+00:00 https://www.philipzucker.com/glue-cvc5-z3/ 2025-12-29T00:00:00+00:00 https://www.philipzucker.com/year-review-2025/ 2026-01-01T00:00:00+00:00 https://www.philipzucker.com/dagstuhl-2026/ 2026-01-12T00:00:00+00:00 https://www.philipzucker.com/context_uf2/ 2026-01-14T00:00:00+00:00 https://www.philipzucker.com/subterm_mod_miller/ 2026-01-19T00:00:00+00:00 https://www.philipzucker.com/lpo_etudes/ 2026-01-26T00:00:00+00:00 https://www.philipzucker.com/leancall/ 2026-02-02T00:00:00+00:00 https://www.philipzucker.com/smt_compiler_i/ 2026-02-09T00:00:00+00:00 https://www.philipzucker.com/weighted_uf/ 2026-02-18T00:00:00+00:00 https://www.philipzucker.com/ac_hashcons/ 2026-02-22T00:00:00+00:00 https://www.philipzucker.com/state_o_knuck_3/ 2026-03-02T00:00:00+00:00 https://www.philipzucker.com/thin1/ 2026-03-08T00:00:00+00:00 https://www.philipzucker.com/refine_assembly/ 2026-03-10T00:00:00+00:00 https://www.philipzucker.com/thin_monus_uf/ 2026-03-14T00:00:00+00:00 https://www.philipzucker.com/thin_hash_cons_codebruijn/ 2026-03-26T00:00:00+00:00 https://www.philipzucker.com/about/ https://www.philipzucker.com/ https://www.philipzucker.com/knuckledragger/ https://www.philipzucker.com/notes/ https://www.philipzucker.com/talks/ https://www.philipzucker.com/AGENTS/ https://www.philipzucker.com/donate/ https://www.philipzucker.com/nuggets/ https://www.philipzucker.com/pynb/LQR2-Copy1/ https://www.philipzucker.com/assets/eggmt_talk.pdf 2026-03-27T15:00:02+00:00 https://www.philipzucker.com/pynb/LQR2-Copy1.html 2026-03-27T15:00:02+00:00