FStar
An ML-like language aimed at program verification
Launch HN: GitDuck (YC S20) – Zoom for developers with real-time code sharing
2020-08-20
The Myth of the Young Startup Founder
2020-08-20
From Instant Pot to Instagram: Critical Lessons in Startup Community Building
2020-08-20
Ask HN: Anyone in NYC (manhattan) want to share an office work studio?
2020-08-20
$3.3M raised during a pandemic for NLP focused startup
2020-08-20
Content creators are going to be in high demand in coming years
2020-08-20
QWERTY BlackBerry Android phones are coming back
2020-08-20
Loose project deadlines are driving my anxiety to the wall
2020-08-20
Building longevity startups with Laura Deming, founder of Longevity Fund [video]
2020-08-20
Ask HN: Yelp has blocked 90% (n20) of our legit 5 star reviews. What do we do?
2020-08-20
