Everyone says assembly is untyped—everyone is wrong

Postmortem for Kernel Soundness Bug #14576

Two Case Studies of NaN

Thoughts on Integers (2023)

Spatial languages: Writing code in 2D

Odin 1.0 Announcement

Functional programming from first principles, part 1 – motivation

Rewriting the Futhark type checker

Algebraic effects and handlers in portable C99

Temper Language