Stories by zdw

Solving Wordle with Z3

In practice, Debian and Ubuntu have fixed minimum system UIDs and GIDs

Let’s Use an Automated Theorem Prover to Verify Video Games

Do You Speak the Lingo?

An annoyance with Debian postinstall scripts during package upgrades

Exploring the Land Value Tax

Keyboard lets people type so fast it’s banned from typing competitions

Strava exposes secret US Military base locations (2018)

Chatbots: Still dumb after all these years

Programming in 1987 versus Today

Secret Military Telephone Buttons

Problematic Employers in Tech

List of games that Buddha would not play

Clint Burton / Hawkeye's Laboratory

Open Source Security Process Wishlist

The Current State of Play in Autonomous Cars

OpenBSD presentation on taking all platforms to 64-bit time_t in 2013

How Secure Boot Works on M1 Series Macs

The Pinouts Book

A Manifesto for Applicable Formal Methods