NASA's System Modeling Language, FPP

Aiki reaches recursive self-interpretation

On Knowledge Representation

How should Futhark expose irregular arrays to the programmer?

Modelling Actors with Redex: Part I

Multistack Concatenative Programming Languages

Aiki Alpha 2 Released

Everyone says assembly is untyped—everyone is wrong

Postmortem for Kernel Soundness Bug #14576

Two Case Studies of NaN