Hacker Newsnew | comments | show | ask | jobs | submit | ahelwer's submissions login
1.
TLA+ (wikipedia.org)
105 points by ahelwer 3 days ago | 21 comments
2.
Expert to Expert interview: Erik Meijer and Leslie Lamport (2010) (msdn.com)
1 point by ahelwer 7 days ago | discuss
3.
Pakistan Axact scandal: Police raid 'fake degree' firm (bbc.com)
1 point by ahelwer 9 days ago | discuss
4.
Microsoft to stop producing Windows versions (bbc.com)
418 points by ahelwer 18 days ago | 312 comments
5.
Programming should be more than coding (Leslie Lamport talk at Stanford) (youtube.com)
1 point by ahelwer 48 days ago
6.
Ricardo's Difficult Idea (1996) (mit.edu)
4 points by ahelwer 118 days ago
7.
YouTube shuts down popular pen testing channel (plus.google.com)
10 points by ahelwer 234 days ago | 1 comment
8.
Arbiters and Metastability (wikipedia.org)
2 points by ahelwer 281 days ago
9.
Solving the river crossing puzzle with TLA+ (lorinhochstein.wordpress.com)
1 point by ahelwer 305 days ago | 1 comment
10.
The Problems of Philosophy (Bertrand Russell, 1912) (gutenberg.org)
2 points by ahelwer 366 days ago
11.
Twitter posts $132m net loss amid slow user growth (bbc.com)
1 point by ahelwer 394 days ago
12.
Heartbleed bug accused charged by RCMP after SIN breach (cbc.ca)
1 point by ahelwer 407 days ago
13.
Coverity acquired by Synopsis for $375 million (coverity.com)
2 points by ahelwer 429 days ago
14.
The polynomial remainder theorem - remainder of p(x)/(x-a) is p(a) (wikipedia.org)
2 points by ahelwer 782 days ago
15.
IBM announces major initiative into mobile (bits.blogs.nytimes.com)
1 point by ahelwer 827 days ago
16.
Team Fortress 2 is released for Linux (teamfortress.com)
3 points by ahelwer 833 days ago

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: