FStar
An ML-like language aimed at program verification
Ask HN: When should I start marketing in my startup journey?
2023-03-09
Stardodge, based on the '88 classic made for Amstrad CPC, coded in Turbo Pascal
2023-03-09
YouTube star sentenced to 5½ years, ordered to forfeit $30M
2023-03-08
Show HN: Hack Investor Pitch Using ChatGPT
2023-03-08
Show HN: Location based querying on your phone with almost any dataset
2023-03-08
Show HN: Saltie – a recipe app for people with diabetes
2023-03-08
Ask HN: What and where is the best place to start with self-hosted smart home?
2023-03-08
Tell HN: Stripe raising price on international charges, keeping chargeback fees
2023-03-08
Show HN: BBC “In Our Time”, categorised by Dewey Decimal, heavy lifting by GPT
2023-03-08
Airplane launches startup program to help new companies build internal tools
2023-03-08
