FStar
An ML-like language aimed at program verification
Atlanta scheduling startup Calendly raises $350M, surpasses $3B valuation
2021-01-27
Elon Musk blasts Bezos’ Amazon, alleging effort to hamstring SpaceX’s Starlink
2021-01-27
Show HN: I've started an environmental and health technology podcast
2021-01-27
We need to throw out a mindblowing amount of science and start again
2021-01-26
Zero Grocery Expanding to LA
2021-01-26
Elon Musk blasts Amazon, alleging effort to ‘hamstring’ SpaceX’s Starlink
2021-01-26
Tell HN: We launched Solo v2 – open security key
2021-01-26
Ask HN: How to measure Product/Market Fit from marketing
2021-01-26
Gitlab reshuffles its paid subscription plans, drops its Bronze/Starter tier
2021-01-26
What’s in startup Philly Fighting Covid’s privacy policy?
2021-01-26
