FStar
An ML-like language aimed at program verification
Technology startups are headed for a fall
2020-04-03
Boston-based startup donates software to facilities overwhelmed by Covid-19
2020-04-03
NFX survey of 286 Founders and 114 VCs on the impact of Covid-19 on startups
2020-04-03
To quickly be an expert write 50 lines of code everyday
2020-04-03
The VC and Founder Sentiment Survey
2020-04-03
Launch HN: Belvo (YC W20) – Financial Data API Platform for Latin America
2020-04-03
I’m Peter Roberts, immigration attorney who does work for YC and startups. AMA
2020-04-03
The StarCraft Human 'N' AI League in open beta – play vs. custom AI by hobbyists
2020-04-03
Technology startups are headed for a fall
2020-04-02
Observations about Silicon Valley Two Weeks into Quarantine
2020-04-02
