FStar
An ML-like language aimed at program verification
Post-Startup: From Crying at a Café to Peace of Mind
2022-09-02
Ask HN: What is an example of a simple SaaS that is profitable in 2022?
2022-09-01
Ask HN: YouTube channels that you enjoyed but whose name you forgot
2022-09-01
Cellphone tracking tool offers police mass surveillance [] by using data
2022-09-01
Show HN: Stalkmyself.com, parse Gmail exports in the browser thanks to Pyodide
2022-09-01
MS Teams Linux client is being retired. To be replaced by a progressive web app
2022-09-01
Launch HN: SideGuide (YC S22) – Learn APIs by running them in live environments
2022-09-01
Startup plans to create realistic human embryos
2022-09-01
Fintech startup Alloy leans on fraud prevention to land new $1.55B valuation
2022-09-01
Folio Photonics wants to kill Blu-ray, tape with 'cheap' 1TB optical disc
2022-09-01
