FStar
An ML-like language aimed at program verification
At least 50% of startup stock options are now worthless
2022-05-29
The odd story of how Brian Eno composed the Windows 95 startup sound (2021)
2022-05-29
A Startup Wants to Rescue You from Browser Tab Hell
2022-05-29
Car rental startup Kyte didn't know money was running out, rescinds offer(s)
2022-05-29
Show HN: WebRTC Nuts and Bolts, A holistic way of understanding how WebRTC runs
2022-05-29
High speed train between Paris and Berlin could start operating as soon as 2023
2022-05-29
Ask HN: What are possible images you can think of?
2022-05-29
Invitation: New York K-Startup Pitch Competition
2022-05-29
The Good Times Are over for Startups
2022-05-29
StarCraft as Statecraft
2022-05-29
