Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Title Page
Table of Contents
Introduction
The kind of thing this is gonna be
On Hating Your Tools
New Post: Formally Modeling Database Migrations
On Documentation
Data and Reality, 2nd Edition
Software isn’t designed for power users
Automation vs Augmentation
New Post! Plus Upkeep
We Are Not Special
Canonical Examples
Back on Windows
What is a “beautiful” proof?
A few smaller updates
New Essay! (Also Workshop Field Notes)
Workshop Improvements
Increment Magazine
Science Turf War
Computer Things: YOW Roundup Edition
Why Python is my Favorite Language
Why Python Is My Favorite Language
On Marketing Formal Methods
Back up your arguments plz
Bill Kentstravaganza
New Essay, Intentional Errors, and a TLA+ CLI
Three Ways Juggling is Like Programming
A Totally Polished and not-at-all half-baked Take on Static vs Dynamic Typing
New Essay: The Business Case For Formal Methods
On Emulation
Project updates, request for help, braindump
New Essay: Feature Interaction Bugs
10 Most(ly dead) important programming languages (first draft)
Happy Precedence Day!
Donald Knuth Was Framed
On Scaling Mental Models
The Opposite of Documentation is Superstition
Online Workshops, Project Updates, New Post
On Customization
Special Purpose Languages
Please don’t write your documentation in Markdown
Language Warts and Vim Trix
What’s the Most Expensive Software Per Byte?
A Very Brief Intro to Formal Methods (aka my job)
Announcing Alloydocs, updates on major projects
Making Illegal States Unrepresentable
Workshop Announcement, Vim is a bad modal editor
New Essay, Office Hours, and a short essay
Sneak Peek: Constructive vs Predicative Data
How I Write Talks
Rage Against the God Machine
New Essay: In Praise of AutoHotKey
If Inheritance is so bad, why does everyone use it?
Workshop Innovations and New Website Essay
Defects are not the fault of programmers
Some Ranting About Examples
Monads and Transducers are Literally 100% The Same Thing
New TLA+ Workshop, New PBT Essay
Understanding Fairness
Why You Should Always Blindly Chase Industry Trends
Why You Should Always Blindly Chase Industry Trends
Situated Software
I have become ideas guy
Merchants on the Ivory Road
J sieves as a tool of thought
Syntax highlighting is a waste of an information channel
New essay and some thoughts on humility
Software correctness is a lot like flossing
How knowing math helps you write better software
Test Inference
New Essay and a Very Peculiar Optimization
What’s the Deal with Message Passing, Anyway
Please read the paper before you comment
Formal Specification Languages
Treasure Hunting in the Noosphere
Finding Go Concurrency Bugs with TLA+
That Time I Almost Joined a Software Cult
Write Notes for Your Code
Updates on the Crossover Project
Software Engineers Don’t Have Disciplines
New essay, new “book” thingy
Mystery Knowledge
We’re Bad at SAT Solvers
We have met the Excelnemy and he is us
Edge Case Poisoning
The Pendulum Swings Eternal
Sneak Peek: Two Workers are Quadratically Better than One
Two Workers are Quadratically Better than one
TLA+ Helped Me Count to Six
New Essay, Universal Examples, Old Essay
Programs Writing Programs
Programs Writing Programs
No, your clean code won’t save the planet
Why I Still Use Vim
Weird Examples and Weird Tools
Knights, Puzzles, and Hypermodels
There’s always more history
Computer Things: Vacation Phone-In Edition
Safety and Liveness Properties
Oracle Testing
New Essay, New Workshop, Thoughts on Cleverness
The Most Important Video Game Ever Made
Cross-Branch Testing
Notes
← Prev
Back
Next →
← Prev
Back
Next →