HN Explorer

sidereal

↗ HN profile [ 268 ms ] full profile
Karma
323
Created
September 2, 2013 (12y ago)
Submissions
0
  1. SMT Solving on an iPhone (homes.cs.washington.edu)
    174 points 35
  2. Can you train a neural network using an SMT solver? (homes.cs.washington.edu)
    5 points 0
  3. Building a Program Synthesizer (homes.cs.washington.edu)
    132 points 26
  4. How a Diablo expansion led to behind-the-scenes trouble (polygon.com)
    118 points 79
  5. Mars Code [pdf] (spinroot.com)
    2 points 0
  6. A DNA-Based Archival Storage System (homes.cs.washington.edu)
    9 points 0
  7. Memory Consistency Models: A Primer (homes.cs.washington.edu)
    2 points 0
  8. Software Defined Batteries [pdf] (research.microsoft.com)
    1 points 0
  9. Scholarly markdown (with R) for fun and (non-monetary) profit (homes.cs.washington.edu)
    7 points 0
  10. How Not to Measure Computer System Performance (homes.cs.washington.edu)
    97 points 13