|
|
| 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] (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
|
