The spells are spent

What you know that just ain't so

Extending MVCC to be serializable, in TLA+

Questions for Orienting Your SaaS Strategy

Publish Your Blogroll Now

Having fun with modern C++

Multi-version concurrency control in TLA+

I Have a Blogroll Now!

The carefulness knob

Specifying serializability in TLA+

Rob the Whole World; Give It Back

Book Club 10/2024: Fallacies of Distributed Computing

Many Dimensions of Heterogeneity

The Desire Called Synthesis

Update HTML Elements with Htmx Triggers and ASP.NET Core

If you don’t examine what worked, how will you know what works?

How fast can you parse a CSV file in C#?

Our cloud-exit savings will now top ten million over five years

A liveness example in TLA+

How to build god and get away with it

Error, Noise, & Randomness at EAI

Problems with the JVM

Categorial progress …

Table lookups are efficient

Capture less than you create

To the crazy ones

Open source royalty and mad kings

Town Hall #26: Rounding

Eric Normand on Code with Jason

The Wonders of Abstraction

A History of Microwave Ovens

Runnable Specifications

Guerrila DevEx Testing

From software to reality?

A Georgist's Guerilla Gardening Guide

Automattic is doing open source dirty

Geoffrey Hinton, the Godfather of Deep Learning, wins Nobel Prize in Physics!

Add EF Core Migrations to .NET Aspire Solutions

Book note: Kunen, Foundations of Mathematics

Iterating through matched characters in modern C++

Futexes in TLA+

On de Swart’s Philosophical and Mathematical Logic

Postgres: Use Views to Refactor to Soft Delete

Van Gogh: Poets & Lovers

Kamal 2: Thou need not PaaS

Revisiting Bell & Machover

Legalize Life (and Living)

Functional Programming Languages

Wonderful Rails World Vibes

Two shorter book notes

From Bugs to BEAM

I've Stopped Using Visual Studio

“The best logic textbook ever”?

Why I don’t like discussing action items during incident reviews

It is never too late to write your own C/C++ command-line utilities

Book Club 9/2024: Blogroll

Revisiting Cori & Lascar

Kimba Syndrome

Boris Giltburg, Beethoven sonatas I

Htmx and Playwright Tests in C#

the soundless interstitium

Linearizability! Refinement! Prophecy!

Skipping past five books …

Irresponsible Servers: From Slop Talk to Shop Talk

Learn the Old Languages

Ears rarely open until a rapport is established

Seizing the Means of Re-Production

Wonderful vi

Town Hall #25: Simularium

Stop Trying To Replace Your SaaS Products With AI

Reactive Relational Algebra

growing the graveyard of "better spreadsheets"

a one man war of attrition

The PhD Paradox: A Journey into Academia’s Upside-Down World

Profitable Plant Propagation Prevents Poaching

Back in the market (Sonos Edition)

Intersperse Values for Enumerable Collections

Replace strings by views when you can

Passwords have problems, but passkeys have more

Why I Have This Blog

Optimize for bio cores first, silicon cores second

Proplifting, Plant Piracy, and Dumpster Chocolates

Offensive Horticulture

Compressing floating-point numbers quickly by converting them to brain floats

Why don't more people use Linux?

Book Club 8/2024: Labor

Free speech isn't guaranteed to be forever

Safety first!

For what it'll make of you

We once more have no full-time managers at 37signals

There's Always Money in the Banana Stand

So Many Silver Landmines

Children of You

Checked and Unchecked Arithmetic Operations in .NET

Parsing tiny and very large floating-point values: a programming-language comparison

Merchants of complexity

bang! bang! he murdered math! {the musical!}

There Are Infinite Administrators

Confirmation Dialogs with Htmx and SweetAlert

Software estimates have never worked and never will