sidereal

Recent Submissions

1. 1. ▲ SMT Solving on an iPhone (homes.cs.washington.edu) 174 points · 8 years ago · 35 comments
2. 2. ▲ Can you train a neural network using an SMT solver? (homes.cs.washington.edu) 5 points · 8 years ago · 0 comments
3. 3. ▲ Building a Program Synthesizer (homes.cs.washington.edu) 132 points · 8 years ago · 24 comments
4. 4. ▲ How a Diablo expansion led to behind-the-scenes trouble (polygon.com) 118 points · 8 years ago · 71 comments
5. 5. ▲ Mars Code [pdf] (spinroot.com) 2 points · 9 years ago · 0 comments
6. 6. ▲ A DNA-Based Archival Storage System (homes.cs.washington.edu) 9 points · 10 years ago · 0 comments
7. 7. ▲ Memory Consistency Models: A Primer (homes.cs.washington.edu) 2 points · 10 years ago · 0 comments
8. 8. ▲ Software Defined Batteries [pdf] (research.microsoft.com) 1 point · 11 years ago · 0 comments
9. 9. ▲ Scholarly markdown (with R) for fun and (non-monetary) profit (homes.cs.washington.edu) 7 points · 11 years ago · 0 comments
10. 10. ▲ How Not to Measure Computer System Performance (homes.cs.washington.edu) 97 points · 11 years ago · 13 comments