Blog Posts

Individual articles covering a topic or my unorganized thoughts.

Erasable Dependent Types

2021·08·11 · language design · type theory

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

Row Polymorphism without the Jargon

2020·04·15 · tutorials · type theory

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

Introduction to Algebraic Data Types

2020·04·14 · tutorials · type theory

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

Distributed Actor Model on the GPU

2020·04·03 · language design

Preliminary designs for a GPU-accelerated, distributed, actor model language

Introduction to Type Theory

2019·11·25 · tutorials · type theory

What is type theory and how is it used?

Computer Science Topics without the Jargon

2019·11·19 · tutorials

Introductory articles without the jargon.

Reverse Engineering SSF2 Beta v1.1

2018·08·24 · modding

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

My Previous Programming Languages

2018·06·12 · language design

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

Modules, Packages, & Versions

2018·06·10 · language design

Discussion of how we can improve dependency management.

Rebuttal for Kotlin

2018·06·09 · language design · jvm · java

Making the JVM a better place.