FStar
An ML-like language aimed at program verification
Telehealth Startup Ro Nabs $200M
2020-07-28
Ask HN: When someone makes bad remarks on your project, how do you go about it?
2020-07-28
Ask HN: Why are you not using Kubernetes?
2020-07-28
Show HN: TILvids – An ad-free edutainment video community powered by PeerTube
2020-07-28
Scalable Swag Shipments for Startups
2020-07-28
Some TikTok stars leaving platform for rival app over data privacy concerns
2020-07-28
Show HN: Barebackups – My New Startup: MySQL Backups Service with Forever Access
2020-07-28
Ask HN: How do you know if the startup you are working at will succeed?
2020-07-28
Forget VCs, this accelerator lets you invest directly in startups fighting Covid
2020-07-28
Kodak Shifts into Drug Production with Help of a $765M U.S. Loan
2020-07-28
