HNHacker News
TopNewBestAskShowJobs

sidereal

323 karma · joined September 2, 2013

submissionscomments

SMT Solving on an iPhone

homes.cs.washington.edu·174 pts·sidereal·
35

Can you train a neural network using an SMT solver?

homes.cs.washington.edu·5 pts·sidereal·
0

Building a Program Synthesizer

homes.cs.washington.edu·132 pts·sidereal·
24

How a Diablo expansion led to behind-the-scenes trouble

polygon.com·118 pts·sidereal·
71

Mars Code [pdf]

spinroot.com·2 pts·sidereal·
0

A DNA-Based Archival Storage System

homes.cs.washington.edu·9 pts·sidereal·
0

Memory Consistency Models: A Primer

homes.cs.washington.edu·2 pts·sidereal·
0

Software Defined Batteries [pdf]

research.microsoft.com·1 pts·sidereal·
0

Scholarly markdown (with R) for fun and (non-monetary) profit

homes.cs.washington.edu·7 pts·sidereal·
0

How Not to Measure Computer System Performance

homes.cs.washington.edu·97 pts·sidereal·
13