Computer Things

Hillel Wayne's weekly-plus newsletter of essays on software, formal methods, TLA+, Alloy and logic for programmers.