I am a software engineer living in Columbus, Ohio, and a lifelong student of computer science, with specific interests in programming languages, type theory, compilers, and math. More about me.
Recent Posts
- Building a Synthesizer: A Field Guide to Oscillators - February 21, 2024
- Building a Synthesizer: Building the Envelope Generator - January 31, 2024
- On Authoring Presets for u-He Diva - November 11, 2023
- On Learning Compilers and Creating Programming Languages - October 13, 2023
- Building a Synthesizer: Building the Mixer - September 21, 2023
- Building a Synthesizer: The Logic Circuits Model of Computation - August 11, 2023
- Building a Synthesizer: Building the VCO - May 22, 2023
- Building a Synthesizer: A Gentle Introduction to Op Amps - April 3, 2023
- Building a Synthesizer: Breadboarding the VCO - March 2, 2023
- Building a Synthesizer: Glossary and Electrical Connections - February 23, 2023
- Building a Synthesizer: Building the Power Supply - February 22, 2023
- Building a Synthesizer: The mki x es.EDU DIY System - February 21, 2023
- Building a Synthesizer: The World of DIY Synthesizers - February 20, 2023
- How I Made a Giant Mistake with Terraform (and How Azure Made It Worse) - July 8, 2021
- Presentation by D. Richard Hipp, "SQLite: The World's Most Widely Used Database Engine" - November 30, 2020
- Telling the Truth About Security - August 3, 2020
- Equality Is Hard - March 9, 2020
- Gray Failure - January 29, 2020
- Security Talks at Stir Trek and Central Ohio ISSA - April 29, 2018
- Speaking at CodeMash - January 9, 2017
- Identity Theft on Upwork - July 8, 2016
- "Static vs. Dynamic" Is the Wrong Question for Working Programmers - June 18, 2016
- Andreas Stefik on Programming Language Human Factors Research - June 17, 2016
- Hosting a Hakyll Blog On GitHub With a Custom Domain - June 14, 2016
- Designing for Problems Too Big to Test - December 23, 2015
- Provable Optimization with Microsoft Z3 - March 5, 2015
- "Test-Only Development" with the Z3 Theorem Prover - July 7, 2014
- Troubleshooting Entity Framework Connection Strings - August 13, 2010
- A Math Primer for Gentry’s Fully Homomorphic Encryption - April 8, 2010
- What Is Homomorphic Encryption, and Why Should I Care? - March 18, 2010
…or you can find more in the archives.