Blog

This is an archive of all of my posts, sorted with the most-recent posts up top.

Maybe you’d like to see posts by category? Click here.

• On the Use of Language in Science-Fiction Literature
• ICFP 2019 Retrospective
• A Pattern Match for Python
• Racket Summer School 2019
• In the Land of the Blind
• Solidifying Viper's Type System (Somewhat)
• Alternatives to Immutability in Viper
• Algebraic Data Types in Viper
• Further Thoughts on Viper's Type System
• Musings on Viper's Future Type System
• An Update on the State of Viper
• Introduction to Phonology, Part 3: Phonetic Features
• Introduction to Phonology, Part 2: Basic Phonetics
• Introduction to Phonology, Part 1
• The Return
• Book Review — Forward the Foundation
• Mountain View
• Oddities in Python's __new__ Method
• Parsing with Derivatives
• Lexing Viper
• Viper Introduction
• Book Review — Prelude to Foundation
• First Post

Subscribe via RSS.