1. Programming Z3 (z3prover.github.io)
  2. Starship V3 (www.spacex.com)
  3. Exploring 8 Shaft Weaving (algorithmicpattern.org)
  4. 9 points by NaOH 4 days | discuss