specification

William Schultz

My personal website.

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

Nitay Neeman's Website

Recent content on Nitay Neeman's Website

Alastair Reid

Researcher at Intel

Eduardo Aguilar Pelaez

AI security, formal verification, and contained agency. Essays by Eduardo Aguilar Pelaez, CTO and Co-founder of Legal Engine.

Gojko's blog

Gojko Adzic's blog. Specification by Example, Impact Mapping, and more...

Stories from a Software Tester

Twice upon a time, in another space, no distance in any direction from here ...

Yagiz Nizipli's blog

Yagiz Nizipli is a software engineer who writes about software engineering, programming, and technology. His research and work is focused on software performance.

Dev ramblings

Recent content on Dev ramblings

717 Madison Place

Oral Arguments and the Federal Circuit

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.

Jan's Blog

News from the world I am part of

Modern JSON Schema and APIs

Explorations and explanations of OpenAPI and JSON Schema from a co-author of the specifications.

Phoboslab

Latest news

Practical Analyst

Practical Insights for Business Problem Solvers

Stephen Marz

Operating Systems and General Computer Science Topics

Workbench

Programming, Publishing, Politics and Popes