Skip to content
You must be logged in to sponsor philzook58

Become a sponsor to Philip Zucker

Hi! I'm Philip Zucker!
I like functional programming, optimal control, physics, formal methods, and long walks on the beach. I produce educational content and fun blog posts from time to time. If you really appreciate them, you can send me a tip, or donate to a charity of your choice and tell me so that I in turn can tell God that I helped when I get into heaven. I've heard that Malaria nets are a good bang for buck https://www.againstmalaria.com/

Current sponsors 1

@breandan
Past sponsors 1
Private Sponsor

Featured work

  1. philzook58/z3_tutorial

    Jupyter notebooks for tutorial on the Z3 SMT solver

    Jupyter Notebook 154
  2. philzook58/FlapPyBird-MPC

    Model Predictive Control of a Flappy Bird Clone using Mixed Integer Programming

    Python 77
  3. philzook58/nand2coq

    Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).

    Coq 54
  4. philzook58/egglog0

    Datalog + Egg = Good

    Rust 65
  5. philzook58/fib-anyon

    An implementation of Fibonacci Anyons in Haskell

    Haskell 22

Select a tier

$ one time

Choose a custom amount.

$350 one time

Select
  • One hour consulting or mentorship