The Curious Engineer

All blogs / Math

Hey There Buddo!

philipzucker.com

A blog about life, programming, math, logic, and physics.

MathFunctional / PL theoryAlgorithms / data structures

’15’16’17’18’19’20’21’22’23’24’25’26
Posts
485 from 10 Jan 2015 to 16 Oct 2026
Posting
weekly (42 in the last year)
Kind
personal blog
Feed
https://www.philipzucker.com/feed.xml

2026 33

  1. Ghidra + CBMC = Assembly Model Checker
  2. Category Theory of Terms Emphasizes the Argument List
  3. Refinement E-Graphs
  4. A Lean Proof Printing Python Union Find
  5. Lambda MicroEgg
  6. Lean Metaprogramming Etudes: Execution is Elaboration
  7. Validating GDB Interrupt Traces Against a TLA+ Spec
  8. Grobner / Buchberger / Knuth Bendix for Semirings and Seven Trees in One
  9. An Intuitionistic Micro Proof Assistant
  10. Finite Algebraic Effects as dicts and such
  11. Making TLA+ and x86 Kiss Via Z3Py
  12. Lifting Terms: Making Well Scoped Syntax Dumber
  13. A Theory of Arrays (ToA) Union Find
  14. Arenas, Cyclic Terms, and Flat Equational Systems
  15. Lifting E-Graphs
  16. Reading Proof Objects and Completed Rewrite Systems from eprover into Knuckledragger
  17. Family Orienting Python Frozenset Dependent Type Theory
  18. Lifting and Lowering Functions with The Dump Calculus
  19. Thinning/Lifting E-Graphs for Alpha Equivalence: Checkpoint I
  20. Alpha Equivalent Hash Consing with Thinnings
  21. Monus, Factor, and Thinning Union Finds
  22. Refinement Modeling and Verification of RISC-V Assembly using Knuckledragger
  23. Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping
  24. State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
  25. An Associative-Commutative (AC) Hash Cons with AC matching
  26. Weighted Union Find and Ground Knuth Bendix Completion
  27. SMTLIB as a Compiler IR I
  28. Calling Lean Functions As Python Functions
  29. Term Ordering Etudes: Ground Lexicographic Path Ordering
  30. Subterms Modulo Theories I
  31. Contextual Union Finds
  32. Dagstuhl Egraphs
  33. Phil Wrapped 2025

2025 50

  1. SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style
  2. An Inequality Union Find Inspired by Atomic Asymmetric Completion
  3. Our Latest Ouvres: The GCB and The Incident
  4. Some Lean Syntax for Knuckledragger
  5. Semi-Interactive Assembly Verification in Knuckledragger
  6. SAT Etudes 2: Toy DPLL
  7. Primitive, Leveled, and Quantifier Union Finds
  8. Implementing E Unification using SMT
  9. My House Mildly Burned Down
  10. ZF style set theory in Knuckledragger I
  11. Toy Binary Decision Diagrams
  12. Proving the Infinitude of Primes in Knuckledragger
  13. Proof Rules for MetaSMT
  14. A Slotted Hash Cons for Alpha Invariance
  15. Compositional Datalog on SQL: Relational Algebra of the Environment
  16. A Python CLI for Verifying Assembly
  17. Knuckledragger Analysis Etudes
  18. Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
  19. Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code
  20. Semi-Automated Assembly Verification in Python using pypcode Semantics
  21. Using Lean like an External SMT Solver from Python
  22. Doing Lean Dirty: Lean as a Jupyter Notebook Replacement
  23. Inequality Union Finds: Baby Steps to Refinement E-graphs
  24. Telescopes Are Tries: A Dependent Type Shellac on SQLite
  25. PLDI 2025 and E-Graphs Modulo Theories Talk
  26. Categorical Substitution Etudes
  27. Unification Modulo E-Graphs
  28. Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context
  29. A Python frozenset interpretation of Dependent Type Theory
  30. Brute Force E-Graphs Modulo Theories via SMT
  31. NEPLS 2025 and a Short Talk on Knuckledragger
  32. Proof Objects I Have Loved
  33. The Inverse Method is a Good Fit for Datalog Theorem Proving
  34. A Wimshurst Machine
  35. "Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra
  36. A Small Prolog on the Z3 AST
  37. Measuring the Gain Pattern of a Yagi-Uda Antenna with an RTL-SDR
  38. Shallow Embedding Logics in Z3 pt. I
  39. Knuth Bendix Solver on Z3 AST
  40. Generics and Typeclasses in Knuckledragger
  41. Building a Watt Balance
  42. Where are all the Rewrite Rules?
  43. Comparing Two Verilog CPU Implementations using EBMC
  44. Treeifying Graphs: Tree Decomposition
  45. Egg-style Equality Saturation using only Z3
  46. More Knuckledragger: Simp, Inductive Relations, Sympy NbE, and Software Foundations
  47. Ten Years of Blog
  48. SAT Solver Etudes I
  49. Our Latest Ouvre: The Birthday Scimitar
  50. Translating Cody's Lean Sheffer Stroke Proof to Knuckledragger with ChatGPT

2024 53

  1. Review of 2024
  2. Symbolic Execution by Overloading `__bool__`
  3. 'Lean-style' Tactics in Knuckledragger
  4. Dyckhoff Intuitionistic Propositional Prover
  5. Superposition as a Super Datalog
  6. Ground Lambda Prolog
  7. SQL, Homomorphisms and Constraint Satisfaction Problems
  8. Higher Order Pattern Unification on the Z3py AST
  9. Tensors and Graphs: Canonization by Search
  10. Don't Implement Unification by Recursion
  11. Coset Enumeration using Equality Saturation
  12. Towards an AC Egraph: Groebner, Graver and Ground Multiset Rewriting
  13. Using the C Bounded Model Checker as a TLA+
  14. Rule Synthesis Etudes for Tao's Algebra Problem
  15. Knuckledragger Solvers for Terence Tao's Equational Reasoning Challenge
  16. Term Ordering Etudes
  17. Acyclic Egraphs and Smart Constructors
  18. String Knuth Bendix
  19. Oscillator Etudes: Frequency Sweeping
  20. Ordinals aren't much worse than Quaternions
  21. Bounding Euler's Constant
  22. State of Knuckledragger, a Semi-Automated Python Proof Assistant
  23. Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas
  24. Naive Automata Minimization
  25. Gauss and Groebner Egraphs: Intrinsic Linear and Polynomial Equations
  26. An External Z3 Egraph for Egraphs Modulo Theories
  27. EGraphs as Ground Completion Talk and EGRAPHS 2024 notes
  28. Conditional Simplification of Z3py Expressions with Egglog
  29. Justified SMT 1: The Minikanren inside Z3
  30. Knuckledraggin' Kleene Algebra
  31. Ground Knuth Bendix Ordering is Basically Size with Tie Breaking
  32. Proving Sum n = n*(n-1)/2 and that 1/n tends to 0.
  33. Hashing Modulo Theories
  34. Peano Nats in Interactive SMT
  35. Experiments in the Irrationality of Sqrt 2 with SMT
  36. DWARF Verification via Ghidra and CBMC
  37. EGRAPHS 2024 submission: E-graphs and Automated Reasoning
  38. Resolution Proving I
  39. Finite Set Theory in Python
  40. Knuckledragger Update: ATP for Python Interactive Theorem Proving
  41. Compiling With Constraints
  42. Termination Checkers: Playing with AProVE
  43. Copy and Micropatch: Writing Binary Patches in C with Clang preserve_none
  44. Bottom Up Egraph Ematching Plays Nicer with Theories (AC, etc)
  45. Automated Equational Reasoning with Twee Pt 1.
  46. Applicative Python a la ACL2
  47. Guide to the TD4 4-bit DIY CPU
  48. Tools for Detecting Undefined Behavior in My Bad C Example
  49. The C Bounded Model Checker: Criminally Underused
  50. Metamath for Datalog Provenance
  51. Harrison Handbook in Python pt 1
  52. PCode2C: Steps Towards Translation Validation with Ghidra and CBMC
  53. Knuckledragger: Experimenting with a Python Proof Assistant

2023 9

  1. Our Latest Ouvre: The Woodpecker
  2. Answer Set Programming for E-Graph DAG Extraction
  3. PLDI 2023 notes
  4. E-graphs are Ground Rewrite Systems 2: E-matching
  5. A Road to Lambda: E-graphs are Ground Completion
  6. Relational AC Matching
  7. Checkpoint: Harrop Clauses and Scoped Dynamic Databases in Regular Prolog
  8. MiniLitelog: Easy Breezy SQLite Datalog
  9. POPL 2023 and Puzzle Hunt 2023

2022 20

  1. Our Latest Ouvre: Dinty Finyins
  2. Datalog as a Theorem Prover: Harrop Clauses-lite
  3. Groupoid Annotated Union Finds
  4. Snakelog: A Python DSL for Datalogs
  5. Duckegg: A Datalog / Egraph Implementation Built Around DuckDB
  6. Datalite: A Simple Datalog Built Around SQLite in Python
  7. Fifty Year Beep
  8. Egglog0 Talk at EGRAPHS 2022 and PLDI 22 Notes
  9. Lambda Normalization for Souffle Datalog
  10. Chocolate in Peanut Butter: Prolog-ish Unification in Datalog with First Class Union Finds
  11. Souffle Herbie: Hacking Rationals into Datalog to Estimate Float Errors
  12. Contextual Datalog: Steps Towards Lambda Datalog
  13. Backtracking a Datalog
  14. E-Graphs in Souffle IV: It's actually kind of fast this time
  15. Hashlog: A Simple Datalog in OCaml
  16. The Almighty DWARF: A Trojan Horse for Program Analysis, Verification, and Recompilation
  17. Embedding E-graph Rewriting and Egglog in Constraint Handling Rules
  18. A Questionable Idea: Hacking findParent into Souffle with User Defined Functors
  19. Constrained Horn Clauses for Bap
  20. Getting Bap in the Browser 1

2021 31

  1. Naive E-graph Rewriting in Souffle Datalog
  2. Our Latest Ouvre: Cars 5
  3. Instruction Matching with Souffle Datalog
  4. Thoughts on Differentiation in Z3
  5. Verifying Nand2Tetris Assembly Programs with Constrained Horn Clauses
  6. Simple Nand2Tetris Verilog CPU
  7. Marble Machine Progress: The Slowest Mirror Ever
  8. Egglog Examples: Pullbacks, SKI, Lists, and Arithmetic
  9. Replicating Rise4Fun Z3 with z3-wasm
  10. Egglog 2: Automatically Proving the Pullback of a Monic is Monic
  11. JuliaCon 2021 Talk on Metatheory.jl and Snippets From the Cutting Room Floor
  12. Replace Your Friends with a Markov Chain Slackbot
  13. Egglog: a Prolog Syntax for Egg, Checkpoint I
  14. An Interpreter of the Algebra of Programming in MiniKanren
  15. Modeling Separation Logic with Python Dicts and Z3
  16. Making a "MiniKanren" using Z3Py
  17. 2D Optics Demos in Javascript
  18. Encoding E-graphs to Souffle Datalog
  19. A Simple, Probably-Not-Exp-Time Disjoint Set in Coq
  20. Partial Evaluation of a Pattern Matcher for E-graphs
  21. A Simplified E-graph Implementation
  22. Union Find Dicts: Dictionaries Keyed on Equivalence Classes
  23. Z3 Tutorial For FMIE 2021
  24. Rewriting Monoidal Categories in the Browser with Egg
  25. Progress on Automated Reasoning for Catlab with Metatheory.jl Egraphs
  26. Translating My Z3 Tutorial to Coq
  27. CEGARing Exponentials into Z3 with Intervals and Python Coroutines
  28. Z3, The Word Problem, and Path Homotopy as Equality
  29. The Empathy Machine
  30. Automated Propositional Sequent Proofs in Your Browser with Tau Prolog
  31. Sketchy Exact Reals from Interval Arithmetic

2020 37

  1. Weakest Precondition with Z3Py
  2. Modeling TLA+ in Z3Py
  3. A New Masterpiece, The Accident
  4. E-Graph Pattern Matching (Part II)
  5. E-graphs in Julia (Part I)
  6. I Moved My Blog From Wordpress
  7. DataFrames.jl Style Linear Relations
  8. I Gave a Talk on "Executing Categories"
  9. Theorem Proving For Catlab 2: Let's Try Z3 This Time. Nope.
  10. Notes on Synthesis and Equation Proving for Catlab.jl
  11. Yet Another MicroKanren in Julia
  12. Google CTF 2020 Write Up
  13. Ray Tracing Algebraic Surfaces
  14. Defunctionalizing Arithmetic to an Abstract Machine
  15. Checkpoint: Implementing Linear Relations for Linear Time Invariant Systems
  16. System Identification of a Pendulum with scikit-learn
  17. A Buchberger in Julia
  18. Category Theory in the E Automated Theorem Prover
  19. Unification in Julia
  20. MetaOCaml style Partial Evaluation in Coq
  21. Walk on Spheres Method in Julia
  22. A Smattering of Physics in Sympy
  23. Computational Category Theory in Python III: Monoids, Groups, and Preorders
  24. Computational Category Theory in Python II: Numpy for FinVect
  25. Computational Category Theory in Python I: Dictionaries for FinSet
  26. Uniform Continuity is Kind of Like a Lens
  27. Computing Syzygy Modules in Sympy
  28. Categorical Combinators for Convex Optimization and Model Predictive Control using Cvxpy
  29. Naive Synthesis of Sorting Networks using Z3Py
  30. Notes on Finally Tagless
  31. Rough Ideas on Categorical Combinators for Model Checking Petri Nets using Cvxpy
  32. Categorical Combinators for Graphviz in Python
  33. Stupid is as Stupid Does: Floating Point in Z3Py
  34. A Sketch of Gimped Interval Propagation with Lenses
  35. Has My Blog Been Hacked?
  36. A Sketch of Categorical Relation Algebra Combinators in Z3Py
  37. Fiddling around with validated ODE integration, Sum of Squares, Taylor Models.

2019 45

  1. Stupid Z3Py Tricks Strikes Back: Verifying a Keras Neural Network
  2. More Stupid Z3Py Tricks: Simple Proofs
  3. Stupid Z3Py Tricks: Verifying Sorting Networks off of Wikipedia
  4. Our Latest Film Ouvre: The Wassenroid
  5. Programming and Interactive Proving With Z3Py
  6. Solving the Laplace Equations with Linear Relations
  7. Sum of Squares optimization for Minimax Optimal Differential Eq Residuals
  8. Categorical LQR Control with Linear Relations
  9. Linear Relation Algebra of Circuits with HMatrix
  10. Failing to Bound Kissing Numbers
  11. Learn Coq in Y
  12. Neural Networks with Weighty Lenses (DiOptics?)
  13. Gröbner Bases and Optics
  14. Functors, Vectors, and Quantum Circuits
  15. Concolic Weakest Precondition is Kind of Like a Lens
  16. Flappy Bird as a Mixed Integer Program
  17. Linear Algebra of Types
  18. Relational Algebra with Fancy Types
  19. Notes on Getting Started in OCaml
  20. The Classical Coulomb Gas as a Mixed Integer Quadratic Program
  21. Fool's Rules Regatta 2019
  22. Dump of Nonlinear Algebra / Algebraic geometry Notes. Good Links Though
  23. CAV 2019 Notes: Probably Nothin Interestin' for You. A bit of noodling with Liquid Haskell
  24. Doing Basic Ass Shit in Haskell
  25. Annihilating My Friend Will with a Python Fluid Simulation, Like the Cur He Is
  26. Proving some Inductive Facts about Lists using Z3 python
  27. A Short Skinny on Relations & the Algebra of Programming
  28. Some Notes on Drake: A Robotic Control ToolBox
  29. Why I (as of June 22 2019) think Haskell is the best general purpose language (as of June 22 2019)
  30. A Basic Branch and Bound Solver in Python using Cvxpy
  31. Mixed Integer Programming & Quantization Error
  32. Solving the XY Model using Mixed Integer Optimization in Python
  33. 2D Robot Arm Inverse Kinematics using Mixed Integer Programming in Cvxpy
  34. The Beauty of the Cone: How Convex Cones Simplify Convex Programming
  35. Lens as a Divisibility Relation: Goofin' Off With the Algebra of Types
  36. Giving the Mostly Printed CNC a try (MPCNC)
  37. Chile: Nice place
  38. Proving Addition is Commutative in Haskell using Singletons
  39. Casadi - Pretty Damn Slick
  40. Thoughts on Faking Some of GADTs in Rust
  41. A Little Bloop on Typed Template Haskell
  42. Cvxpy and NetworkX Flow Problems
  43. A Touch of Topological Quantum Computation 3: Categorical Interlude
  44. Applicative Bidirectional Programming and Automatic Differentiation
  45. A Touch of Topological Quantum Computation in Haskell Pt. II: Automating Drudgery

2018 45

  1. Bouncing a Ball with Mixed Integer Programming
  2. Compiling to Categories 3: A Bit Cuter
  3. A Simple Interior Point Linear Programming Solver in Python
  4. Nand2Tetris in Verilog and FPGA and Coq
  5. Trajectory Optimization of a Pendulum with Mixed Integer Linear Programming
  6. Gettin' that Robot some Tasty Apples: Solving a simple geometrical puzzle in Z3 python
  7. More Reinforcement Learning with cvxpy
  8. Q-Learning with Linear Programming (cvxpy, OpenAI Gym Pendulum)
  9. A Touch of Topological Quantum Computation in Haskell Pt. I
  10. Deriving the Chebyshev Polynomials using Sum of Squares optimization with Sympy and Cvxpy
  11. Reverse Mode Differentiation is Kind of Like a Lens II
  12. Model Predictive Control of CartPole in OpenAI Gym using OSQP
  13. Division of Polynomials in Haskell
  14. RC Airplane
  15. Solving the Ising Model using a Mixed Integer Linear Program Solver (Gurobi)
  16. OSQP and Sparsegrad: Fast Model Predictive Control in Python for an inverted pendulum
  17. Approximating Compiling to Categories using Type-level Haskell: Take 2
  18. Variational Method of the Quantum Simple Harmonic Oscillator using PyTorch
  19. Shit Compiling to Categories using Type level Programming in Haskell
  20. Deducing Row Sparse Matrices from Matrix Vector Product Samples
  21. Pytorch Trajectory Optimization 3: Plugging in the Hessian
  22. Pytorch Trajectory Optimization Part 4: Cleaner code, 50Hz
  23. Extracting a Banded Hessian in PyTorch
  24. Cartpole Camera System - OpenCV + PS EYE + IR
  25. PyTorch Trajectory Optimization Part 2: Work in Progress
  26. Pytorch Trajectory Optimization
  27. Garbage Can Compiling to Categories with Inspectable Lambdas
  28. CartPole Maths
  29. Analytic Center in Python using Scipy and Numpy
  30. Noise and The Fluctuation Dissipation Theorem
  31. Reverse Mode Auto Differentiation is Kind of Like a Lens
  32. CartPole WORKIN' BOYEEE
  33. Some random links on uses of Convex relaxations, in particular Semidefinite programming
  34. Making a Van Der Graaf Generator
  35. Cart Pole Trajectory optimization using Cvxpy
  36. LQR with CVXPY
  37. STM32F411 Discovery Board Getting started
  38. Cart Pole using Lyapunov and LQR control, OpenAI gym
  39. Trying Platform.io
  40. Linksprite CNC machine
  41. 3d Printed Soda Can Stirling Engine
  42. Functor Vector Part 2: Function Vectors
  43. Haskell Gloss is awesome
  44. An ignoramus thinking about Compiling to Categories
  45. Checkin out the OpenAI Baselines

2017 56

  1. Functor Vector Part 1: Functors in the Basis
  2. How I Ruined Today Reading Haskell Posts
  3. Using the Purescript Servant Bridge
  4. Resources on String Diagrams, and Adjunctions, and Kan Extensions
  5. Iterative LQR Controller
  6. Downloading and Collecting Coursera videos
  7. Many Body Physics (Part 1)
  8. Fixing up some jekyll problems for jupyter
  9. Deep Learning Coursera Notes
  10. Maker Faire NYC
  11. Cellular Automata in Haskell
  12. Ordered pairs in Idris
  13. Position Tracking using Wifi
  14. LimeSDR, gettin going
  15. 3d printing Linkages
  16. Notes on ROS and ORB SLAM 2
  17. Using Z3 to solve a simple logic puzzle
  18. Propagators
  19. Caffe: Getting Started
  20. Simple GnuRadio Sonar Rangefinding
  21. What a great talk! NP solvers in Clojure for puzzles
  22. Gstreamer
  23. A couple of interesting deep learning topics
  24. Elm, Eikonal, and Sol LeWitt
  25. Making a Podcast
  26. Nerve: Elixir OS packager for Raspberry Pi
  27. Quantum Information and Computation Resources
  28. Movidius Neural Compute Stick
  29. Drone Notes
  30. Blockchain
  31. Ghent: Disneyland?
  32. Berlin: Sausages, Spetzle and Nazis
  33. Amsterdam
  34. Euro Trip Post Analysis
  35. Brussels: a hell of a town
  36. Copenhagen: Babies Bikes and Smorresbrod
  37. Euro trip Start
  38. Contracts and Category Theory
  39. Convolution and Tensor Product
  40. Deep Learning Basic Shapes
  41. Chebyshev Polynomials
  42. Some Resources on Automatic Differentiation & Power Series in Haskell
  43. Some simple ST Monad examples
  44. Scientific Programming in Haskell with hmatrix
  45. A Low Level Haskell WatchList
  46. Topological Bands I.
  47. Topological Data Analysis
  48. OpenCV Android
  49. FEM again
  50. VGA FPGA
  51. Hackathon: Matter.js
  52. Fenics and gmsh
  53. SAT solving and SMT
  54. Install WebPack ISE 14.7 on Ubuntu & Spartan AX309 FPGA Board
  55. Single Bit Quantization
  56. Some simple FPGA stuff

2016 43

  1. FPGA renaissance
  2. Classical Landauer-Buttiker
  3. Calling a C function from Python
  4. Installing OpenCV 3 for Aruco on a Raspberry Pi 3
  5. From Whence Superconductivity?
  6. Hash Vectors and Interacting Particles
  7. Pipe Raspberry Pi Video into ffmpeg and opencv: A Failure So Far
  8. Topologically Non-Trivial Circuit or Making the Haldane Model with a Gyrator
  9. Python Xbox Controller Mac
  10. Band Structure
  11. Shaders, Raymarching
  12. Band Theory on a Mobius Strip
  13. Extra Simple Simply Typed Lambda Calculus in Haskell
  14. Haskell - Where am I at?
  15. Some parsing in Haskell
  16. A whole new world. Propositions as types. Idris. Rule-rewriting
  17. Triple Booting Macbook for ubuntu on flash drive
  18. Installing opencv on ubuntu 16
  19. Aruco in opencv
  20. python generators and infinite power series
  21. USB nrf24L01
  22. Some Projective Geometry for our laser scanner
  23. Some opencv testing code
  24. ROS: robot operating system
  25. Visual Odometry and Epipolar Stuff
  26. Getting goddamn wifi on the goddamn orange pi pc
  27. A Stack Monad in Python
  28. Keras and Learning Sine
  29. Monads are still f'ed up, but good?
  30. FEM and multiphysics oh my
  31. Gears and Drawing them in Onshape (and in general I guess)
  32. Metropolis sampling of quantum hall wavefunction
  33. Machine Learning on AWS and not
  34. BILDING A DRONE. FartMachine9 FLIES FREE AND TRUE
  35. Vomitting Out Some Machine Learning with Torch
  36. Annihilation Creation with Wick Contraction in Python
  37. Attaching the Jordan Wigner String in Numpy
  38. A little Automatic Differentiation in Python
  39. Quantum Harmonic Oscillator Algebra in Sympy
  40. Using EDA Playground
  41. Openscad Text Cut
  42. Gnuradio Delay Correlation
  43. Hackrf

2015 63

  1. OpenCV feature detection and tracking
  2. More Opencv
  3. Knife Bot
  4. Ubuntu Virtualbox
  5. NMR: a baby birds first fall from the nest
  6. Performing Some Laplace Experiments
  7. ipywidgets: useful little buggers
  8. Interesting Command Line Guys: Sox and Socat
  9. rtl_power & gnuradio
  10. A fun little man of rutherford scattering
  11. Perfect Latkes
  12. I'm a ham now. DEAL WITH IT
  13. Kivy and Buildozer
  14. Lm358
  15. Pausing Prints
  16. LiveUSB windows stick for Macbook
  17. Parabola. OH GOD PARABOLA. No. NO. NOOOOOOO
  18. Gettin Back Goin on FPGA
  19. Magnet Sensor arduino
  20. High Speed DAC Aliexpress
  21. Orange pi
  22. Folgertech prusa update
  23. Raspberry Pi
  24. Opencv
  25. Root Beer ONE
  26. Writing a Wordpress sketch Plugin: Mr. Sketchy-Poo
  27. Chinese Arduino Problems on Mac
  28. Da Laser BACK END BABY
  29. Aiming a Laser Project
  30. SVG to C data using python
  31. Radio Update
  32. Avr-gcc and Arduino
  33. Bootstrapping myself into RF
  34. Folgertech Prusa update
  35. Problem 1: Free Particle
  36. Problem 2: Schutz chap 5
  37. Folgertech Prusa i3 Printer
  38. Superconductivity, whaddup
  39. More with RTL-SDR
  40. Playin around with ESP8266
  41. Getting Going with RTL-SDR (A computer radio thingy)
  42. ngspice, huh
  43. Random Potentials and QFT I
  44. Some thoughts on many body quantum mechanics
  45. Recording Audio in Python
  46. Curses and Ncurses or whatevs.
  47. Python Wave File Fun and Audio on Arduino
  48. Havin' Some Problems with Beaglebone
  49. Installing icestorm on a mac
  50. Xbox Controller BeagleBone
  51. Queues
  52. Goddamn You H-Bridge
  53. Internet Learns
  54. Routers and Switches
  55. Peltier Coolers and Thermal Circuits
  56. Monads are f'ed up
  57. AWS and Computing Clusters and MPI
  58. The Particle Photon: A Cloud Enabled Arduino
  59. Green's Functions: Functions Are Vectors
  60. A Haskell is Good?
  61. A Start on Green's Functions
  62. Javascript Test
  63. Getting Wordpress to Work