Sharing in Dada

two mechanisms for dynamic type checks

Sliced by Go’s Slices

Concrete syntax matters, actually

Ideas for an Agent-Oriented Programming Language

The largest number representable in 64 bits

fixapl

Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match

Designing Odin's Casting Syntax

Evolving Languages Faster with Type Tailoring (2024)