Hacker News new | ask | show | jobs
by randomsearch 3326 days ago
More generally, anything by Sumit Gulwani's group at MSR should be of interest.