Thomas Marsh
@thomasmarsh.bsky.social
FP, formal methods, urban planning
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 - Executable Specification Language
A modern and executable specification language
quint-lang.org
August 16, 2025 at 9:20 PM
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!
Reposted by Thomas Marsh
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...
What Works (and Doesn't) Selling Formal Methods
www.galois.com
May 25, 2025 at 10:55 AM
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...
Reposted by Thomas Marsh
🎉 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!
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!
February 25, 2025 at 9:36 AM
🎉 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!
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!
I might prefer the 1914 narrative regarding vaccines.
January 31, 2025 at 8:17 PM
I might prefer the 1914 narrative regarding vaccines.
Are there any prominent examples of using AI for anti-enshittification? For example, LLMs are great at extracting legitimate headlines from clickbait articles
January 26, 2025 at 2:06 PM
Are there any prominent examples of using AI for anti-enshittification? For example, LLMs are great at extracting legitimate headlines from clickbait articles
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
January 17, 2025 at 2:17 PM
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