2024
-
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