| user: | sidereal |
| created: | September 2, 2013 |
| karma: | 323 |
| 1. | SMT Solving on an iPhone(homes.cs.washington.edu) |
| 2. | Can you train a neural network using an SMT solver?(homes.cs.washington.edu) |
| 3. | Building a Program Synthesizer(homes.cs.washington.edu) |
| 4. | |
| 5. | 7 years ago | discuss |
| 6. | Mars Code [pdf](spinroot.com) |
| 7. | A DNA-Based Archival Storage System(homes.cs.washington.edu) |
| 8. | Memory Consistency Models: A Primer(homes.cs.washington.edu) |
| 9. | Software Defined Batteries [pdf](research.microsoft.com) |
| 10. | Scholarly markdown (with R) for fun and (non-monetary) profit(homes.cs.washington.edu) |
| 11. | How Not to Measure Computer System Performance(homes.cs.washington.edu) |