Y Hacker News new | ask | show | jobs

user: sidereal created: 2013-09-02 karma: 323 submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments SMT Solving on an iPhone 174 points | 35 comments 0 points | 0 comments Can you train a neural network using an SMT solver? 5 points | 0 comments Building a Program Synthesizer 132 points | 24 comments How a Diablo expansion led to behind-the-scenes trouble 118 points | 71 comments 0 points | 0 comments 0 points | 0 comments Mars Code [pdf] 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments A DNA-Based Archival Storage System 9 points | 0 comments Memory Consistency Models: A Primer 2 points | 0 comments Software Defined Batteries [pdf] 1 points | 0 comments Scholarly markdown (with R) for fun and (non-monetary) profit 7 points | 0 comments How Not to Measure Computer System Performance 97 points | 13 comments