|
|
| 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 | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
