Profile avatar
thomasmarsh.bsky.social
FP, formal methods, urban planning
78 posts 93 followers 379 following
Active Commenter
Posts 3 Comments 47

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...

submitted 12 days ago • 0 comments

🎉 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!

submitted 101 days ago • 1 comment

I might prefer the 1914 narrative regarding vaccines.

submitted 125 days ago • 0 comments