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

2022-07-06 02:27:23

Hey There Buddo!AboutNotes Jun 28, 2022 - Contextual Datalog: Steps Towards Lambda Datalog Jun 11, 2022 - E-Graphs in Souffle IV: It's actually kind of fast this time Apr 22, 2022 - The Almighty DWARF: A Trojan Horse for Program Analysis, Verification, and Recompilation Mar 3, 2022 - A Questionable Idea: Hacking findParent into Souffle with User Defined Functors Jan 1, 2022 - Getting Bap in the Browser 1 Dec 20, 2021 - Our Latest Ouvre: Cars 5 Dec 8, 2021 - Thoughts on Differentiation in Z3 Nov 12, 2021 - Simple Nand2Tetris Verilog CPU Aug 22, 2021 - Egglog Examples: Pullbacks, SKI, Lists, and Arithmetic Aug 1, 2021 - Egglog 2: Automatically Proving the Pullback of a Monic is Monic Jul 27, 2021 - Egglog: a Prolog Syntax for Egg, Checkpoint I Jun 10, 2021 - An Interpreter of the Algebra of Programming in MiniKanren May 22, 2021 - Making a "MiniKanren" using Z3Py May 9, 2021 - Encoding E-graphs to Souffle Datalog Apr 10, 2021 - Partial Evaluation of a Pattern Matcher for E-graphs Mar 27, 2021 - Union Find Dicts: Dictionaries Keyed on Equivalence Classes Mar 12, 2021 - Rewriting Monoidal Categories in the Browser with Egg Feb 27, 2021 - Translating My Z3 Tutorial to Coq Feb 13, 2021 - Z3, The Word Problem, and Path Homotopy as Equality Feb 7, 2021 - Automated Propositional Sequent Proofs in Your Browser with Tau Prolog Dec 25, 2020 - Weakest Precondition with Z3Py Dec 20, 2020 - Modeling TLA+ in Z3Py Nov 27, 2020 - E-graphs in Julia (Part I) Nov 20, 2020 - DataFrames.jl Style Linear Relations Oct 18, 2020 - Theorem Proving For Catlab 2: Let's Try Z3 This Time. Nope. Sep 7, 2020 - Yet Another MicroKanren in Julia Aug 21, 2020 - Ray Tracing Algebraic Surfaces Aug 3, 2020 - Checkpoint: Implementing Linear Relations for Linear Time Invariant Systems Jul 19, 2020 - A Buchberger in Julia Jul 3, 2020 - Unification in Julia May 23, 2020 - Walk on Spheres Method in Julia May 2, 2020 - Computational Category Theory in Python III: Monoids, Groups, and Preorders Apr 7, 2020 - Computational Category Theory in Python I: Dictionaries for FinSet Mar 23, 2020 - Computing Syzygy Modules in Sympy Mar 8, 2020 - Naive Synthesis of Sorting Networks using Z3Py Feb 29, 2020 - Rough Ideas on Categorical Combinators for Model Checking Petri Nets using Cvxpy Feb 9, 2020 - Stupid is as Stupid Does: Floating Point in Z3Py Jan 28, 2020 - Has My Blog Been Hacked? Jan 7, 2020 - Fiddling around with validated ODE integration, Sum of Squares, Taylor Models. Dec 29, 2019 - More Stupid Z3Py Tricks: Simple Proofs Dec 23, 2019 - Programming and Interactive Proving With Z3Py Dec 22, 2019 - Solving the Laplace Equations with Linear Relations Nov 26, 2019 - Categorical LQR Control with Linear Relations Nov 5, 2019 - Failing to Bound Kissing Numbers Oct 30, 2019 - Neural Networks with Weighty Lenses (DiOptics?) Oct 14, 2019 - Functors, Vectors, and Quantum Circuits Oct 6, 2019 - Flappy Bird as a Mixed Integer Program Sep 4, 2019 - Relational Algebra with Fancy Types Aug 19, 2019 - The Classical Coulomb Gas as a Mixed Integer Quadratic Program Aug 11, 2019 - CAV 2019 Notes: Probably Nothin Interestin' for You. A bit of noodling with Liquid Haskell Aug 11, 2019 - Fool's Rules Regatta 2019 Jul 12, 2019 - Proving some Inductive Facts about Lists using Z3 python Jun 28, 2019 - Some Notes on Drake: A Robotic Control ToolBox Jun 13, 2019 - A Basic Branch and Bound Solver in Python using Cvxpy Jun 5, 2019 - Solving the XY Model using Mixed Integer Optimization in Python May 21, 2019 - The Beauty of the Cone: How Convex Cones Simplify Convex Programming May 5, 2019 - Giving the Mostly Printed CNC a try (MPCNC) Apr 2, 2019 - Proving Addition is Commutative in Haskell using Singletons Mar 12, 2019 - Thoughts on Faking Some of GADTs in Rust Mar 4, 2019 - A Little Bloop on Typed Template Haskell Jan 28, 2019 - Applicative Bidirectional Programming and Automatic Differentiation Dec 27, 2018 - Compiling to Categories 3: A Bit Cuter Dec 23, 2018 - A Simple Interior Point Linear Programming Solver in Python Dec 3, 2018 - Trajectory Optimization of a Pendulum with Mixed Integer Linear Programming Nov 23, 2018 - More Reinforcement Learning with cvxpy Nov 14, 2018 - A Touch of Topological Quantum Computation in Haskell Pt. I Oct 15, 2018 - Reverse Mode Differentiation is Kind of Like a Lens II Oct 7, 2018 - Division of Polynomials in Haskell Aug 27, 2018 - Solving the Ising Model using a Mixed Integer Linear Program Solver (Gurobi) Aug 13, 2018 - Approximating Compiling to Categories using Type-level Haskell: Take 2 Jul 28, 2018 - Shit Compiling to Categories using Type level Programming in Haskell Jul 15, 2018 - Pytorch Trajectory Optimization Part 4: Cleaner code, 50Hz Jul 8, 2018 - Cartpole Camera System - OpenCV + PS EYE + IR Jul 4, 2018 - PyTorch Trajectory Optimization Part 2: Work in Progress Jun 22, 2018 - Pytorch Trajectory Optimization May 11, 2018 - Analytic Center in Python using Scipy and Numpy Apr 23, 2018 - Reverse Mode Auto Differentiation is Kind of Like a Lens Mar 29, 2018 - Some random links on uses of Convex relaxations, in particular Semidefinite programming Mar 25, 2018 - Making a Van Der Graaf Generator Mar 8, 2018 - STM32F411 Discovery Board Getting started Mar 3, 2018 - Cart Pole using Lyapunov and LQR control, OpenAI gym Feb 19, 2018 - 3d Printed Soda Can Stirling Engine Feb 16, 2018 - Functor Vector Part 2: Function Vectors Jan 2, 2018 - Checkin out the OpenAI Baselines Dec 18, 2017 - How I Ruined Today Reading Haskell Posts Dec 12, 2017 - Using the Purescript Servant Bridge Dec 1, 2017 - Downloading and Collecting Coursera videos Oct 2, 2017 - Deep Learning Coursera Notes Sep 26, 2017 - Maker Faire NYC Sep 12, 2017 - Ordered pairs in Idris Sep 4, 2017 - LimeSDR, gettin going Sep 1, 2017 - Notes on ROS and ORB SLAM 2 Aug 29, 2017 - Propagators Aug 27, 2017 - What a great talk! NP solvers in Clojure for puzzles Aug 21, 2017 - Elm, Eikonal, and Sol LeWitt Aug 21, 2017 - Gstreamer Aug 16, 2017 - Nerve: Elixir OS packager for Raspberry Pi Aug 10, 2017 - Drone Notes Jul 20, 2017 - Blockchain Jul 10, 2017 - Amsterdam Jul 10, 2017 - Ghent: Disneyland? Jun 8, 2017 - Copenhagen: Babies Bikes and Smorresbrod May 26, 2017 - Contracts and Category Theory Apr 17, 2017 - Deep Learning Basic Shapes Apr 6, 2017 - Some Resources on Automatic Differentiation & Power Series in Haskell Mar 1, 2017 - Scientific Programming in Haskell with hmatrix Feb 20, 2017 - Topological Bands I. Feb 9, 2017 - FEM again Feb 9, 2017 - Topological Data Analysis Feb 8, 2017 - Fenics and gmsh Feb 2, 2017 - Install WebPack ISE 14.7 on Ubuntu & Spartan AX309 FPGA Board Jan 15, 2017 - Some simple FPGA stuff Nov 28, 2016 - Classical Landauer-Buttiker Nov 26, 2016 - Calling a C function from Python Nov 23, 2016 - Hash Vectors and Interacting Particles Nov 22, 2016 - Pipe Raspberry Pi Video into ffmpeg and opencv: A Failure So Far Nov 10, 2016 - Band Structure Oct 21, 2016 - Band Theory on a Mobius Strip Aug 28, 2016 - Haskell - Where am I at? Aug 14, 2016 - A whole new world. Propositions as types. Idris. Rule-rewriting Aug 1, 2016 - Installing opencv on ubuntu 16 Jul 8, 2016 - python generators and infinite power series Jun 23, 2016 - Some Projective Geometry for our laser scanner May 26, 2016 - ROS: robot operating system May 23, 2016 - Getting goddamn wifi on the goddamn orange pi pc May 10, 2016 - Keras and Learning Sine Apr 29, 2016 - Monads are still f'ed up, but good? Mar 25, 2016 - Metropolis sampling of quantum hall wavefunction Mar 20, 2016 - BILDING A DRONE. FartMachine9 FLIES FREE AND TRUE Feb 18, 2016 - Annihilation Creation with Wick Contraction in Python Feb 12, 2016 - A little Automatic Differentiation in Python Jan 27, 2016 - Using EDA Playground Jan 13, 2016 - Gnuradio Delay Correlation Dec 30, 2015 - OpenCV feature detection and tracking Dec 28, 2015 - More Opencv Dec 16, 2015 - ipywidgets: useful little buggers Dec 16, 2015 - NMR: a baby birds first fall from the nest Dec 14, 2015 - A fun little man of rutherford scattering Dec 13, 2015 - Perfect Latkes Dec 12, 2015 - I'm a ham now. DEAL WITH IT Dec 8, 2015 - Parabola. OH GOD PARABOLA. No. NO. NOOOOOOO Dec 8, 2015 - Pausing Prints Nov 29, 2015 - Magnet Sensor arduino Nov 26, 2015 - High Speed DAC Aliexpress Nov 22, 2015 - OpenCV Nov 22, 2015 - Folgertech prusa update Nov 6, 2015 - Chinese Arduino Problems on Mac Nov 4, 2015 - Aiming a Laser Project Oct 27, 2015 - Avr-gcc and Arduino Oct 21, 2015 - Bootstrapping myself into RF Oct 7, 2015 - Problem 2: Schutz chap 5 Oct 5, 2015 - Folgertech Prusa i3 Printer Sep 28, 2015 - More with RTL-SDR Sep 26, 2015 - Getting Going with RTL-SDR (A computer radio thingy) Sep 11, 2015 - Random Potentials and QFT I Sep 9, 2015 - Recording Audio in Python Sep 4, 2015 - Python Wave File Fun and Audio on Arduino Aug 31, 2015 - Installing icestorm on a mac Aug 14, 2015 - Queues Aug 2, 2015 - Routers and Switches Jul 29, 2015 - Peltier Coolers and Thermal Circuits Jul 28, 2015 - AWS and Computing Clusters and MPI Jun 21, 2015 - Green's Functions: Functions Are Vectors Jun 19, 2015 - A Start on Green's Functions Jan 10, 2015 - Getting Wordpress to Work Hey There Buddo! Hey There Buddo! philzook58 sandmouth A blog about life, programming, math, logic, and physics.