FStar
An ML-like language aimed at program verification
SpaceX projected 20M Starlink users by 2022–it ended up with 1M
2023-09-19
Ask HN: What are some good resources to understand medical device cybersecurity?
2023-09-19
Ukraine places trust in White House to prevent Musk pulling plug on Starlink
2023-09-19
Ask HN: Is EdTech a Good Bet for Venture Capital?
2023-09-19
Ask HN: Running a Defense Startup in EU
2023-09-19
Plenty of Startups Are Looking at IPOs, but Few Are Prepared to Go
2023-09-19
How Soon AI Will Start Firing Programmers?
2023-09-19
Musk's Neuralink to start human trial for brain implant chip
2023-09-19
Showcasing Startups on Replit
2023-09-19
Element Starter: open-source meets on-premise collaboration
2023-09-19
