Rob's blogComputers and miscellany from Rob Simmonshttps://typesafety.netThe Magic is Peoplehttps://typesafety.net/rob/blog/lean-magichttps://typesafety.net/rob/blog/lean-magicA story about my dad discovering Google Docs, and why it makes me excited to be working with the developers of the Lean programming language and theorem prover.Mon, 29 Sep 2025 00:00:00 GMTFinite-choice logic programming @ POPLhttps://typesafety.net/rob/blog/fclp-at-poplhttps://typesafety.net/rob/blog/fclp-at-poplOur heroes embark upon a thrilling journey through the mathematics of a new kind of logic programming. There are hats.Fri, 24 Jan 2025 00:00:00 GMTAdvent of Dusa, 2024 Editionhttps://typesafety.net/rob/blog/advent-of-dusa-2024https://typesafety.net/rob/blog/advent-of-dusa-2024In which I attempt to do Advent of Code in the weird programming language I designed, again.Sun, 01 Dec 2024 00:00:00 GMTWriting a pretty good paper in sixteen years if you're mehttps://typesafety.net/rob/blog/writing-a-paper-if-youre-mehttps://typesafety.net/rob/blog/writing-a-paper-if-youre-meA year of creating Dusa and writing a paper about it.Mon, 25 Nov 2024 00:00:00 GMTLaTeX notes with ACM stylehttps://typesafety.net/rob/blog/acmart-for-noteshttps://typesafety.net/rob/blog/acmart-for-notesAbsolute minimal LaTeX template using the acmart style in 2024.Wed, 29 May 2024 00:00:00 GMTThe next 700 tiny web-based text editorshttps://typesafety.net/rob/blog/endless-sketchzonehttps://typesafety.net/rob/blog/endless-sketchzoneObserving, and trying to address, a particular niche that has bugged me for several decades: a webpage that lets you edit some text, and then do something interesting with that textTue, 14 May 2024 00:00:00 GMTWe still don't know what “API” means. That's okay!https://typesafety.net/rob/blog/api-is-still-strangehttps://typesafety.net/rob/blog/api-is-still-strangeI repeated my 2019 survey of what the letters in “API” meant in 2024. The changes may or may not surprise you! (Oh wait, clickbait... um... the results will SHOCK and AMAZE you! Yeah, there we go.)Fri, 22 Mar 2024 00:00:00 GMTWhat even is “API” - Part 1https://typesafety.net/rob/blog/what-even-is-api-1https://typesafety.net/rob/blog/what-even-is-api-1Answering the question “what do the letters in API stand for?” by... just asking people and seeing what happens.Tue, 29 Jan 2019 00:00:00 GMT