Contextualizing Clojure in the small and the large
Mar 24
What I've learned about a large Clojure organization by working at a small one
2022
Couplings in Clojure testing tools
Mar 18
Exploring how Clojure test frameworks couple test evaluation with reporting
2021
JavaScriptCore Intricacies During Feature Development
Oct 08
How to get test coverage and debug a new JS feature in JavaScriptCore
Hanging in the Shadow Realm with JavaScriptCore
Oct 06
An introduction to implementing new JS features in JavaScriptCore
2013
Contract Verification using Symbolic Execution
Feb 19
An introduction to contracts, symbolic execution, and how to use the latter the verify the former.
An Introduction to Compiler Verification
Jan 28
What does it mean to verify a compiler correct? Why is compiler verification important? Here I will provide an introduction to the area of compiler verification.
2012
Modeling "The Essence of Compiling with Continuations"
Dec 06
On applying lightweight modeling to a classic Programming Languages paper studying the connection between A-Normal Form and Continuation Passing Style.
Monads: How do they work?
Mar 05
One more blog post on Monads joins the millions already present on the Internet. These are my notes on Monads as I prepare to give an intro lecture on them.