Erasable Dependent Types

August 11, 2021 plt type theory

Erasing runtime irrelevant information while retaining the verification of dependent types.

Row Polymorphism without the Jargon

April 15, 2020 tutorials type theory

This obscure class of polymorphism acts as an interesting replacement for subtyping.

Introduction to Algebraic Data Types

April 14, 2020 tutorials type theory

What are Algebraic Data Types and what can we do with them?

Introduction to Type Theory

November 25, 2019 tutorials type theory

What is type theory and how is it used?

Teaching Computer Science Topics

November 19, 2019 tutorials

Introductory articles without the jargon.

Reverse Engineering Super Smash Flash

August 24, 2018 modding

A new version of Super Smash Flash 2 has obfuscated some things!

Old toy languages

June 12, 2018 plt codegolf

I've made a lot of toy language projects, here's a list of them!

Escape Analysis Optimization

December 4, 2017 plt

Description of an algorithm to replace Heap Allocations with Stack Allocations.

Golfing with GolfScript

June 23, 2015 codegolf

Getting started in CodeGolf with the GolfScript language.