woggy
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Agentic Proof-Oriented Programming (fstar-lang.org)
- A field report of using Alloy with agent-based development (alloytools.discourse.group)
- The TLA+ Video Course (lamport.azurewebsites.net)
- How Agents Quietly Break Architecture [video] (youtube.com)
- We're all just content for ICE (garbageday.email)
- An Introduction to Tensor Calculus (grinfeld.org)