iiinova — where your digital self keeps evolving

Thomas Marsh

@thomasmarsh.bsky.social

139 followers 415 following 118 posts

FP, formal methods, urban planning

Thomas Marsh @thomasmarsh.bsky.social · 14/09/2026

Apologies for the AI use, but I wanted to explore this in Oleg's visual style. Probably a lot of errors - I know spent too much time trying to get this even to this point. Script to generate it: gist.github.com/thomasmarsh/...

111

Thomas Marsh @thomasmarsh.bsky.social · 05/06/2026

I suggested to Claude that it just apply the coyoneda trick and it went straight into an infinite loop.

010

Thomas Marsh @thomasmarsh.bsky.social · 13/11/2025

I don’t understand quantum theory, but this book is always a joy to come back to.

Preface to “Picturing Quantum Processes” showing photos with caption “Some typical sights of Tulsa, Oklahoma” picturing a pawnshop dealing in Gold, Diamonds and Guns; a statue known as the world’s largest praying hands; a triple decker hamburger

A photo from the preface to “Picturing Quantum Processes” with caption “Aleks’ beard growth as correlated with textbook completion” (photos depicting same)

Cover of “Picturing Quantum Processes” by Bob Coecke and Aleks Kissinger

010

Thomas Marsh @thomasmarsh.bsky.social · 12/03/2025

Two things come to mind: 1) this DSL could fit in with the parser/printer framework to also consume SQL; and 2) I am reminded of Wisnesky/Spivak on work on schemas, specifically this slide. Are you thinking about more general LINQ like or other DSL interpretations?

100

Thomas Marsh @thomasmarsh.bsky.social · 31/01/2025

I might prefer the 1914 narrative regarding vaccines.

150