Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Defining Safe Hardware Design [pdf]

The largest number representable in 64 bits

glang

TablaM

The State Of Garnet, 2026

Functors, Applicatives, and Monads: The Scary Words You Understand

Kip: A programming language based on grammatical cases of Turkish

Visitor as a sum type (2018)

Type-safe eval in Grace

Why not tail recursion?

Build your own programming language (2020)

The Jule Programming Language

Implementing the Transcendental Functions in Ivy

Notes on the expression problem and type design (2018)

Book of Verse

Reversing abstractions: an existential crisis

Category Theory and Inclusivity

On scannerless parsing again

The Manchester Garbage Collector and purple-garden's runtime

Implementing Co, a Small Language With Coroutines #5: Adding Sleep

Fun with Algebraic Effects - from Toy Examples to Hardcaml Simulations

The Manchester Garbage Collector and purple-garden's runtime

A Year of Typing: My NumPy Fellowship Retrospective

A Unique Performance Optimization for a 3D Geometry Language

The Importance of Sandboxing

The discoveries of continuations

Mitigating the Billion Dollar Mistake

Policy-Based Design versus Combinatorial Hell

Reasons to Love the Field of Programming Languages

Was it a billion dollar mistake?

More →