| 1. | | Using SMT Solvers to Analyze the Premier League Table (spramod.info) |
| 56 points by microarchitect on April 12, 2015 | past | 4 comments |
|
| 2. | | End-to-end analysis of the spam value chain [pdf] (princeton.edu) |
| 1 point by microarchitect on Dec 10, 2012 | past |
|
| 3. | | Is aggregate data always private? (techatftc.wordpress.com) |
| 1 point by microarchitect on May 22, 2012 | past |
|
| 4. | | About 33 bits (33bits.org) |
| 201 points by microarchitect on March 1, 2012 | past | 37 comments |
|
| 5. | | Shared Memory Consistency Models: A Tutorial [pdf] (illinois.edu) |
| 2 points by microarchitect on Jan 4, 2012 | past |
|
| 6. | | How Gene Marks Could Have Done Better (isisthescientist.com) |
| 1 point by microarchitect on Dec 18, 2011 | past |
|
| 7. | | Attaboy: Not standard HN Fare, but I really believe hackers will appreciate this (youtube.com) |
| 1 point by microarchitect on Nov 3, 2011 | past |
|
| 8. | | Arvind Gupta's toys (arvindguptatoys.com) |
| 2 points by microarchitect on June 22, 2011 | past | 2 comments |
|
| 9. | | AMD withdraws from Sysmark 2012 (amd.com) |
| 1 point by microarchitect on June 21, 2011 | past |
|
