FStar
An ML-like language aimed at program verification
I left Stanford and bought a small website, tripled revenue in 6 months
2023-02-27
Ask HN: What Git branching strategy do you use in 2023, and why?
2023-02-27
Universal LLM App Starter (Expo, Next.js, Promptable.js, Solito and Nativewind)
2023-02-27
Ask HN: iPhone Issues?
2023-02-27
You don't need Rails to start using Hotwire
2023-02-27
Waymo is starting fully autonomous testing in LA
2023-02-27
Show HN: Collection of 2k+ Startup Incubators and Accelerators (global)
2023-02-27
Chinese researchers propose “measures to deal with Starlink”
2023-02-27
Show HN: Love, Lust and Passion – AI generated mild eroticas
2023-02-27
First Image from Sony Star Sphere Satellite Released
2023-02-27
