nextos

Karma: 12,324
Created: 12 years ago

About

hn (dot) capital203 (at) passinbox (dot) com

Oxford, UK

Recent Submissions

1. ▲ Tony Hoare has died (lefenetrou.blogspot.com) 268 points · 2 days ago · 34 comments
2. ▲ Agents of Chaos (arxiv.org) 3 points · 14 days ago · 0 comments
3. ▲ Agentic Proof-Oriented Programming (risemsr.github.io) 1 point · 1 month ago · 0 comments

All submissions on HN · View profile on HN