FStar
An ML-like language aimed at program verification
Recession survival guide for Startups and Entrepreneurs
2020-03-19
Raising Capital in the Time of Coronavirus
2020-03-19
Ask HN: How can software engineers help with the Covid-19 pandemic?
2020-03-19
Sea of Stars is a turn-based RPG inspired by the classics
2020-03-19
Sea of Stars – Official Reveal Trailer
2020-03-19
Ask HN: Advice for family getting started with Lego building?
2020-03-19
SpaceX launches Starlink satellites, misses booster landing for second time
2020-03-19
The End of Starsky Robotics
2020-03-19
An anecdotal story as a reminder to listen to your users
2020-03-19
Canadian tech workers – public lay-off list from Covid-19
2020-03-19
