Loading...

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

You Can Choose Tools That Make You Happy

You can choose tools that make you happy

Two Years of Rust

Austral: A Systems Language with Linear Types and Capabilities (2022)

Mass market non-fiction has bad incentives

Composable SQL

Implementing FSRS in 100 Lines

Ephemerality in User Interfaces

How I Use Claude

Linear Types and Exceptions

Implementing SM-2 in Rust

Second-Class References

The Design Space of Wikis

Emacs Microfeature

You Need More Constraints

Type Inference Was a Mistake

Why Checked Exceptions Failed

Type Systems for Memory Safety

Why checked exceptions failed

Test Against Reality

Depth-First Procrastination

Why Lisp Syntax Works

Second-Class References

NixOS for the Impatient

Sketch of a Post-ORM

Language Pragmatics Engineering

Two Years of OCaml

How Capabilities Work in Austral

Effective Spaced Repetition

The Best of Orion's Arm

More →