FStar
An ML-like language aimed at program verification
Starfish Site
2023-02-28
Launch HN: Pyq (YC W23) – Simple APIs to Popular AI Models
2023-02-28
Show HN: ComposeDB – Web3 Graph Database for Composable Data
2023-02-28
Show HN: Crul – Query Any Webpage or API
2023-02-28
Ask HN: B2B firm needs our tech to raise their $5M Series A
2023-02-28
The first 12 months of my startup journey
2023-02-28
Ask HN: Options to configure Linux as an arcade cabinet for a game I write?
2023-02-28
I have 60k downloads but got only 900 GitHub stars for my package
2023-02-28
Natural Explanations Are Being Eliminated for Tabby's Star
2023-02-28
Author of Pydantic started a cloud product company
2023-02-28
