nextos | Dark Hacker News

user:	nextos
created:	August 6, 2013
karma:	12.9k
about:	hn (dot) capital203 (at) passinbox (dot) com Oxford, UK

1.	Diagram of Distribution Relationships(johndcook.com) 4 points by nextos 11 days ago \| 0 comments
2.	Formal Methods and the Future of Programming(blog.janestreet.com) 107 points by nextos 21 days ago \| 4 comments
3.	Warren's Abstract Machine: A Tutorial Reconstruction(github.com) 52 points by nextos 27 days ago \| 6 comments
4.	1 points by nextos 44 days ago \| discuss
5.	Hantavirus latest: Virus-hit cruise ship leaves Cape Verde for Canary Islands(bbc.com) 4 points by nextos 57 days ago \| 0 comments