Y
Hacker News
new
|
ask
|
show
|
jobs
user:
nextos
created:
2013-08-06
karma:
12793
hn (dot) capital203 (at) passinbox (dot) com
Oxford, UK
submissions:
Formal Methods and the Future of Programming
2 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Warren's Abstract Machine: A Tutorial Reconstruction
52 points
|
6 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Hantavirus latest: Virus-hit cruise ship leaves Cape Verde for Canary Islands
4 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments