Unfinished Thoughts

Home

Exploring the lambda calculus

27 February, 2021

The lambda calculus (or λ-calculus) is a formal system with fascinating ties to modern computation, particularly functional programming...

Huffman Encoding

10 October, 2020

In chapter two of Structure and Interpretation of Computer Programs, an extended set of exercises deals with Huffman encoding. It's fascinating...

Threading Macros in Scheme

02 October, 2020

I’d always heard about the power of Lisp macros, which let you extend the language by rewriting code on the fly. You call macros just like…