Metablog

Predicate Logic for Programmers

@buttondown.email | 3 years ago

Scaffolding TLA+

@buttondown.email | 3 years ago

The Jame of Life

@buttondown.email | 3 years ago

Office Politics: A Working Letter

@buttondown.email | 3 years ago

Esolangs

@buttondown.email | 3 years ago

Can formal methods succeed where UML failed?

@buttondown.email | 3 years ago

Can Formal Methods Succeed Where UML Failed?

@buttondown.email | 3 years ago

Being Nice, Virtual Networking and Life After Covid

@buttondown.email | 3 years ago

Why UML “Really” Died

@buttondown.email | 3 years ago

The unreasonable effectiveness of print debugging

@buttondown.email | 3 years ago

None of us are the same anymore, and some of us are dead

@buttondown.email | 3 years ago

“Naming Things” Is a Poor Name for Naming Things

@buttondown.email | 3 years ago

Why Property Testing Finds Bugs Unit Testing Does Not

@buttondown.email | 3 years ago

Some Rambling About Structured Text

@buttondown.email | 3 years ago

Notes on some PostgreSQL implementation details

@buttondown.email | 3 years ago

No Seriously, Hate Your Tools

@buttondown.email | 3 years ago

Vim Is Turing-Complete

@buttondown.email | 3 years ago

What Does a Cache Do?

@buttondown.email | 3 years ago

Run by a Human · Buttondown

@buttondown.email | 3 years ago

What math is waiting for the world to catch up to?

@buttondown.email | 3 years ago

OCaml Is the Worst OCaml

@buttondown.email | 3 years ago

Tagged Unions Are Overrated

@buttondown.email | 3 years ago

IPO brief of what's going public this week

@buttondown.email | 3 years ago

IPOs report for this following week

@buttondown.email | 3 years ago

What’s Breakfast Cereal Got to Do with the Future?

@buttondown.email | 3 years ago

Cross-Branch Testing

@buttondown.email | 3 years ago

Be on Hacker News Instead

@buttondown.email | 3 years ago

Cryptography Dispatches: Re-Deriving the Edwards25519 Decoding Formulas

@buttondown.email | 3 years ago

Cryptography Dispatches: Re-Deriving the Edwards25519 Decoding Formulas

@buttondown.email | 3 years ago

Living with Intention, Learning Chess and Django, and Short Books

@buttondown.email | 3 years ago

Companies going public this week (14 Dec – 18 Dec)

@buttondown.email | 3 years ago

Tuesday Letter #21 – Custom Magazines, Reading Guides and Side Projects

@buttondown.email | 3 years ago

Papers I Love: Gg

@buttondown.email | 3 years ago

Determinism in Software Engineering

@buttondown.email | 3 years ago

Software Engineers Don't Have Disciplines

@buttondown.email | 3 years ago

I Still Use Vim

@buttondown.email | 4 years ago

No, your clean code won't save the planet

@buttondown.email | 4 years ago

The Art of Questioning Everything

@buttondown.email | 4 years ago

The psychological components of good code

@buttondown.email | 4 years ago

Tuesday Letter #19 – Pragmatic Thinking, Zettelkasting, and Partnerships

@buttondown.email | 4 years ago

Edge Case Poisoning

@buttondown.email | 4 years ago

The Revolving Social Self

@buttondown.email | 4 years ago

What's in production? What is Used?

@buttondown.email | 4 years ago

Tuesday Letter #17 – Self Education, Changelogs and Templates

@buttondown.email | 4 years ago

Software Engineers Don't Have Disciplines

@buttondown.email | 4 years ago

OAuth 2.0 resources you can understand

@buttondown.email | 4 years ago

Write Notes for Your Code

@buttondown.email | 4 years ago

Cryptography Dispatches: NaCl Is Not a High-Level API

@buttondown.email | 4 years ago

Page 2