2Can you train a neural network using an SMT solver? (opens in new tab)homes.cs.washington.edu5sidereal7y ago0
4How a Diablo expansion led to behind-the-scenes trouble (opens in new tab)polygon.com118sidereal7y ago71
9Scholarly markdown (with R) for fun and (non-monetary) profit (opens in new tab)homes.cs.washington.edu7sidereal11y ago0
10How Not to Measure Computer System Performance (opens in new tab)homes.cs.washington.edu97sidereal11y ago13
