iiinova — where your digital self keeps evolving

Thomas Marsh

@thomasmarsh.bsky.social

136 followers 413 following 117 posts

FP, formal methods, urban planning

Posts Replies Media

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 · 30/05/2026

Scary type inference problem in my opaque domain: Claude instantly offers a pure, crystalline, non-obvious truth. Ask it to add a row to my markdown table: Claude eagerly rolls up sleeves and gets right to work. RIP my tokens.

000

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 · 16/08/2025

I wrote my first Quint spec today. It was fun and easy to pick up! It's like TLA+ and TypeScript had a baby. Has some obvious room to grow: you have to be gentle with the syntax and type errors to get good diagnostics. Otherwise, seems like a good alternative to Alloy or TLA+ for simple specs!

quint-lang.org

Quint - Executable Specification Language

A modern and executable specification language

120

Reposted by Thomas Marsh

Susan Potter @susanpotter.net · 25/05/2025

Nobody cares about correctness and do cheap things first are great takeaways from this but this article illustrates these and other points especially well: www.galois.com/articles/wha...

galois.com

What Works (and Doesn't) Selling Formal Methods

0112

Reposted by Thomas Marsh

Topos Institute @toposinstitute.bsky.social · 25/02/2025

🎉 Announcing CatColab 0.2: Wren! CatColab is a structured model editor for visualizing complex systems with domain-specific logics. Since October, we've implemented: - Users & permissions - Enhanced docs - New theories (e.g. Discrete exterior calculus) - and more!

1124

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

I might prefer the 1914 narrative regarding vaccines.

150

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

Are there any prominent examples of using AI for anti-enshittification? For example, LLMs are great at extracting legitimate headlines from clickbait articles

000

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

I now work at a windows/teams shop after being on Mac for over a decade. I don’t understand how Microsoft can arrive at such obviously inefficient design choices. Putting in my MacBook request asap

000