FStar
An ML-like language aimed at program verification
Ask HN: Looking for advice, our pre-pivot model is getting traction, mid-pivot
2020-04-07
“I'm Going Crazy” Quarantine Music Video Starring Cats
2020-04-07
Boeing will re-fly uncrewed Starliner mission
2020-04-07
Launch HN: Edlyft (YC W20) – Paid Support Program for CS College Students
2020-04-07
Ask HN: Any recommendations for local social media marketing?
2020-04-07
How’s the View from a Spinning Star?
2020-04-07
Heart Damage in Covid Patients Puzzles Doctors
2020-04-07
How Covid-19 Is Changing Y Combinator Startups
2020-04-07
TagMango (YC W20) – Book personalised video shoutouts from your favourite people
2020-04-06
Find a Job/Hire During Covid-19: Startup, Hire Me
2020-04-06
