specification

Proofs and Intuitions

A blog about mathematics, computing, formal verification, and the ideas behind them

Mike Jones: self-issued

Musings on Digital Identity

Steve Baskauf's blog

API Handyman

Hi! I'm Arnaud Lauret, the API Handyman and author of The Design of Web APIs. I like to share what I do, struggle with, learn, and teach while working in the API space.