thomasmarsh.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

thomasmarsh.bsky.social

FP, formal methods, urban planning

48 posts 58 followers 246 following

Posts 4 Comments 45

🎉 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 5 days ago • 1 comment

I might prefer the 1914 narrative regarding vaccines.

submitted 30 days ago • 0 comments

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

submitted 35 days ago • 0 comments

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

submitted 44 days ago • 0 comments