FStar
An ML-like language aimed at program verification
Show HN: Phase – open-source encryption and key management for developers
2023-06-26
The Crunchbase Tech Layoffs Tracker
2023-06-26
Energy Harvesting Roads: A Game Changer for Electric Vehicles?
2023-06-26
Climate Tech Innovators Building a Net Zero World
2023-06-26
Launch HN: Argonaut (YC S21) – Easily Deploy Apps and Infra to AWS and GCP
2023-06-26
I'm Done with Red Hat (Enterprise Linux)
2023-06-26
Protest anthem for Hong Kong starts to vanish from sites through government ban
2023-06-26
Databricks Strikes $1.3B Deal for Generative AI Startup MosaicML
2023-06-26
Ask HN: How to specialize instead of being a generalist?
2023-06-26
SpaceX changing Starship stage separation ahead of next launch
2023-06-25
