HN
Hacker News
Top
New
Best
Ask
Show
Jobs
woggy
239 karma · joined June 6, 2018
submissions
comments
Agentic Proof-Oriented Programming
fstar-lang.org
·
1 pts
·
woggy
·
0
A field report of using Alloy with agent-based development
alloytools.discourse.group
·
1 pts
·
woggy
·
0
The TLA+ Video Course
lamport.azurewebsites.net
·
5 pts
·
woggy
·
0
How Agents Quietly Break Architecture [video]
youtube.com
·
2 pts
·
woggy
·
0
We're all just content for ICE
garbageday.email
·
52 pts
·
woggy
·
44
An Introduction to Tensor Calculus
grinfeld.org
·
65 pts
·
woggy
·
14