Hey There Buddo! | Hot Leaves in a Cold Worlds.

2024

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

2023

Dec 20, 2023 - Our Latest Ouvre: The Woodpecker
Jul 1, 2023 - Answer Set Programming for E-Graph DAG Extraction
Jun 22, 2023 - PLDI 2023 notes
Jun 14, 2023 - E-graphs are Ground Rewrite Systems 2: E-matching
May 21, 2023 - A Road to Lambda: E-graphs are Ground Completion
Apr 23, 2023 - Relational AC Matching
Apr 16, 2023 - Checkpoint: Harrop Clauses and Scoped Dynamic Databases in Regular Prolog
Mar 11, 2023 - MiniLitelog: Easy Breezy SQLite Datalog
Jan 22, 2023 - POPL 2023 and Puzzle Hunt 2023

2022

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

2021

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

2020

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

2019

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

2018

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

2017

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

2016

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

2015

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