FStar
An ML-like language aimed at program verification
Things I Wish I Knew When I Started My Career in Data
2020-02-16
Ask HN: Do you think Dropbox is expensive?
2020-02-16
The most recommended startup books of all time
2020-02-15
Tesla starts selling rear-heated seats on Model 3 SR as $300 OTA upgrade
2020-02-15
Show HN: A startup ideas generator using GPT-2 and descriptions of YCs startups
2020-02-15
SoftBank’s $375M Bet on Pizza Went Bad Fast
2020-02-15
Ask HN: Bootstrapping side projects through consulancies when working part time?
2020-02-15
Clinc, the AI startup facing troubling allegations of sexual harassment
2020-02-15
Palantir will start paying employee bonuses in stock units instead of cash
2020-02-15
What resources do you recommend for getting started with Machine Learning?
2020-02-15
