Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

sidereal

323 karmajoined September 2, 2013On HN

Recent submissions

SMT Solving on an iPhone homes.cs.washington.edu
174sidereal7y35 comments
Can you train a neural network using an SMT solver?homes.cs.washington.edu
5sidereal8ydiscuss
Building a Program Synthesizer homes.cs.washington.edu
132sidereal8y24 comments
How a Diablo expansion led to behind-the-scenes trouble polygon.com
118sidereal8y71 comments
Mars Code [pdf]spinroot.com
2sidereal9ydiscuss
A DNA-Based Archival Storage System homes.cs.washington.edu
9sidereal10ydiscuss
Memory Consistency Models: A Primer homes.cs.washington.edu
2sidereal10ydiscuss
Software Defined Batteries [pdf]research.microsoft.com
1sidereal10ydiscuss
Scholarly markdown (with R) for fun and (non-monetary) profit homes.cs.washington.edu
7sidereal11ydiscuss
How Not to Measure Computer System Performance homes.cs.washington.edu
97sidereal11y13 comments

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.