FStar
An ML-like language aimed at program verification
Launch HN: PropelAuth (YC W22) – End-to-end auth service for B2B products
2022-03-16
Collaboration is a good fit for wearable sensor startup
2022-03-16
Ask HN: Are there any startups looking to solve the problem of war?
2022-03-16
Slack starts to disconnect Russian accounts
2022-03-16
Crypto Startup That Wants to Scan Everyone’s Eyeballs Is Having Some Trouble
2022-03-16
Grovara Named CB Insights Top Most Promising Companies
2022-03-16
Ask HN: Is it normal to be ghosted for senior position job interviews?
2022-03-16
Launch HN: Sarus (YC W22) – Work on sensitive data with differential privacy
2022-03-16
Ask HN: Who's Investing in Startups? (March 2022)
2022-03-16
African Agritech
2022-03-16
