For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | andrewtable's submissionsregister
1.
Show HN: AgentMaps – Turn maps into living societies (github.com/noncomputable)
112 points by andrewtable on Sept 4, 2018 | past | 8 comments
2.
“The Senate Committee on Formal Methods Published a Coq Proof of Budgets Safety” (twitter.com/mrkgrnao)
2 points by andrewtable on March 11, 2018 | past

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

Search:

HN For You