FStar
An ML-like language aimed at program verification
Not learning working at a legacy codebase, should I move to greenfield dev?
2020-02-05
Zenefits Was the Perfect Startup. Then It Self-Disrupted
2020-02-04
Artificial Intelligence Startup Labelbox Closes $25M in Series B Funding
2020-02-04
REM's Michael Stipe on his photos – of stars, lovers and Kurt Cobain's hands
2020-02-04
AI startup Cresta launches from stealth with millions from Greylock and A16Z
2020-02-04
Valentines Day Font
2020-02-04
Shale pioneer John Hess says key U.S. fields starting to plateau
2020-02-04
Show HN: Get Kevin Hart to summarize your readings
2020-02-04
Tech firm started by Clinton campaign veterans is linked to Iowa caucus debacle
2020-02-04
Ask HN: Software engineers, what do you look for in a good manager?
2020-02-04
