| 1. | | SMT Solving on an iPhone (washington.edu) |
| 174 points by sidereal on Nov 5, 2018 | past | 35 comments |
|
| 2. | | Can you train a neural network using an SMT solver? (washington.edu) |
| 5 points by sidereal on Aug 2, 2018 | past |
|
| 3. | | Building a Program Synthesizer (washington.edu) |
| 132 points by sidereal on July 10, 2018 | past | 24 comments |
|
| 4. | | How a Diablo expansion led to behind-the-scenes trouble (polygon.com) |
| 118 points by sidereal on June 30, 2018 | past | 71 comments |
|
| 5. | | Mars Code [pdf] (spinroot.com) |
| 2 points by sidereal on July 31, 2017 | past |
|
| 6. | | A DNA-Based Archival Storage System (washington.edu) |
| 9 points by sidereal on Feb 18, 2016 | past |
|
| 7. | | Memory Consistency Models: A Primer (washington.edu) |
| 2 points by sidereal on Feb 16, 2016 | past |
|
| 8. | | Software Defined Batteries [pdf] (research.microsoft.com) |
| 1 point by sidereal on Oct 28, 2015 | past |
|
| 9. | | Scholarly markdown (with R) for fun and (non-monetary) profit (washington.edu) |
| 7 points by sidereal on Feb 25, 2015 | past |
|
| 10. | | How Not to Measure Computer System Performance (washington.edu) |
| 97 points by sidereal on Nov 18, 2014 | past | 13 comments |
|
