Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

woggy

218 karmajoined June 6, 2018On HN

Recent submissions

Agentic Proof-Oriented Programming fstar-lang.org
1woggy30ddiscuss
A field report of using Alloy with agent-based development alloytools.discourse.group
1woggy1modiscuss
The TLA+ Video Course lamport.azurewebsites.net
5woggy1modiscuss
How Agents Quietly Break Architecture [video]youtube.com
2woggy2modiscuss
We're all just content for ICE garbageday.email
52woggy7mo44 comments

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.