FStar
An ML-like language aimed at program verification
VR fitness app Supernatural announces annual pricing starting at $149
2020-05-14
Ask HN: Successful cases of boostrapping a b2c startup in recent years?
2020-05-14
We started a podcast to navigate Covid 19
2020-05-13
The most difficult hurdle in learning startups?
2020-05-13
Ask HN: IP ownership on a startup while working full time
2020-05-13
Ransomware Shuts Down Large Law Firm, Hackers Grab 756Gb of Star Info
2020-05-13
Alameda County starts to back down in fight over Tesla Fremont factory
2020-05-13
Get Started with Your First Blog
2020-05-13
A platform to connect startup investors between the coasts
2020-05-13
Jeffrey Katzenberg Blames Pandemic for Quibi’s Rough Start
2020-05-13
