FStar
An ML-like language aimed at program verification
Ask HN: Analytics / Data Strategy – What good resources can you recommend?
2022-06-14
Gaia sees strange stars in most detailed Milky Way survey to date
2022-06-14
“Q1 2022 was a record quarter for [VC] in UK tech[,] $11.3B raised by startups”
2022-06-14
Apple will stream every Major League Soccer match for 10 years starting in 2023
2022-06-14
Ask HN: Any Sales Engineers out here?
2022-06-14
Jun 14: Plato's CRITO: Vol. 2, pp. 31-43
2022-06-14
Starlight: Fast Container Provisioning on the Edge and over the WAN
2022-06-14
Ant IPO and China's “Startup Debt” Problem
2022-06-14
Launch HN: Mintlify (YC W22) – Maintainable documentation for software teams
2022-06-14
Startup growth and the bullshit death spiral
2022-06-14
