FStar
An ML-like language aimed at program verification
Online events startup Hopin hits $2.1bn valuation just 8 months after launch
2020-11-11
No more natural gas in new San Francisco buildings starting next year
2020-11-11
A crop of startups are trying to make for-profit local news work
2020-11-11
Show HN: I made a site that lets you find talented people to work in your startu
2020-11-11
Prank cursor that resulted in an employee being fired before they even started
2020-11-11
Media learns what musicians already know: Spotify only works for the stars
2020-11-11
Ask HN: Any suggestions for startup friendly law firms on the west coast?
2020-11-11
The Xenobot Future Is Coming–Start Planning Now
2020-11-10
The Unexpected Boom in Startups
2020-11-10
HK insurtech startup Coherent gets $14M Series A led by Cathay Innovation
2020-11-10
