jado🏔

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.