FStar
An ML-like language aimed at program verification
I started SaaS companies in 2013 and 2021. Here's how things have changed
2022-07-20
Show HN: Open-Source Guides to React, React Native and TypeScript
2022-07-20
Crunchbase looks to grow its database of startups with $50M in new cash
2022-07-20
Early Film Leads to Weapons for US Navy
2022-07-20
Highly differentiated startups raise 117% more funding
2022-07-20
EU asks member states to start rationing gas
2022-07-20
Ask HN: Developer jobs that help people?
2022-07-20
Show HS: DevToys – A Swiss Army Knife for Developers
2022-07-20
The Astrophysicist Who Sculpts Stars Before They Are Born
2022-07-20
Ask HN: How's your recent experience with the Bootstrap and jQuery stack?
2022-07-20
