Baroque.me visualizes the first Prelude from Bach’s Cello Suitesblog.chenalexander.com·3 pts·davidmathers·0
The Holy Trinity of Computation: logic, languages, categoriesexistentialtype.wordpress.com·2 pts·davidmathers·0
Request for Typestate, Part 1: Typestate-oriented programming and Linear Typesrequestforlogic.blogspot.com·2 pts·davidmathers·0