![Blog Logo](/assets/logo.png)
- 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
- 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
- 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
- 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
- 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.
- 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
- 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
- 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
- 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
- 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