Hacker Newsnew | past | comments | ask | show | jobs | submit | woggy's submissions login

1. Agentic Proof-Oriented Programming (fstar-lang.org) 1 point by woggy 43 days ago | past 2. A field report of using Alloy with agent-based development (alloytools.discourse.group) 1 point by woggy 54 days ago | past 3. The TLA+ Video Course (lamport.azurewebsites.net) 5 points by woggy 59 days ago | past 4. How Agents Quietly Break Architecture [video] (youtube.com) 2 points by woggy 3 months ago | past 5. [flagged] We're all just content for ICE (garbageday.email) 52 points by woggy 8 months ago | past | 44 comments 6. An Introduction to Tensor Calculus (grinfeld.org) 65 points by woggy on Oct 17, 2021 | past | 14 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: