cotalks.dev

"Categories for the Working Hacker" by Philip Wadler

(link)