Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at matthew@mastracci.com

Betteridge's Law of Software Engineering Specialness

Verification-First Development

It's Time to Stop Building KV Databases

Five Kinds of Nondeterminism

Five Kinds of Nondeterminism

Are efficiency and horizontal scalability at odds?

The Juggler's Curse

Channel Sharding in Go

Why do regexes use `$` and `^` as line anchors? (2024)

What are the Magical Clocks for?

Thoughts on DuckDB's Grammar Patching Thing

Why do we call it "boilerplate code?" (2022)

Formally Modeling Dreidel, the Sequel

Thoughts on DuckDB's Grammar Patching Thing

TLA from first principles

Adventures in Probability

What makes concurrency so hard?

Unusual Raku Features

The Prequel to SQL is SEQUEL

Write Code That Delivers Value to Clients (2021)

Fine, I'll Play With Skiplists

ChatGPT Has No Place in the Classroom

The CVM Algorithm

The Opposite of Documentation is Superstition (2020)

Turing kicked us out of Heaven (2023)

Thoughts on Django’s Core

Adventures in Probability

Ternary Operators

It's not enough for a program to work – it has to work for the right reasons

Decoupling design from engineering

More →