Loading...

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

The many JavaScript runtimes of the last decade

Words about Arrays and Tables

Giving Benchmarks a Boat

How email tracking works behind the scenes

Unified Memory Management

Solving LinkedIn Queens with SMT

Caching is an abstraction, not an optimization

How to Leave the House

Monotone Functions and Cache Lines

AI is a gamechanger for TLA+ users

What does “Undecidable” mean, anyway

Why Property Testing Finds Bugs Unit Testing Does Not (2021)

How To Understand That Jepsen Report

Finding hard 24 puzzles with planner programming

Write the most clever code you possibly can

E-COM: The $40M USPS project to send email on paper

Multiplexing

Kicking the Tires on CedarDB's SQL

How to Not Get Poisoned in America

Requirements change until they don't

AMP and why emails are not (and should never be) interactive

Propositional Parlor Puzzle

The Halting Problem is a terrible example of NP-Harder

Solving a “Layton Puzzle” with Prolog

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?

More →