FStar
An ML-like language aimed at program verification
Elon Musk’s SpaceX uses Linux in Starlink satellite system
2020-06-09
The Idea: Build It, and They Can Find Coronavirus Tests
2020-06-09
Ask HN: FAANG to Founder
2020-06-09
Top Tesla investor bets on flying taxis, taking stake in German start-up Lilium
2020-06-09
Thank HN: My startup was born here and is now 10 years old
2020-06-09
Ask HN: Is there too many entrepreneurs in tech?
2020-06-09
Startup Tech and Product Hiring 2020
2020-06-09
Processing 10M queries / second on a single node using Jet and gRPC
2020-06-09
Ask HN: Should I Start an Email List?
2020-06-09
Payment processor for a global marketplace (Stripe Connect alternative)?
2020-06-08
