FStar
An ML-like language aimed at program verification
A framework for AI models and the startups that will be built on them
2023-01-06
H-bombs or chicken bones: the race to define the start of the Anthropocene
2023-01-06
Forget “12 startups in 12 months” I'm doing the 6by12 challenge
2023-01-06
Ask HN: What's your home network setup?
2023-01-06
Mercedes-Benz will build a $1B EV fast-charging network in the US
2023-01-06
Twitter is cutting employee benefits starting this quarter
2023-01-06
Is the urge to start a company caused by a brain parasite?
2023-01-06
Sickle cell gene editing startup halts trial after serious side effect
2023-01-06
Startupschool Forum Is Dead?
2023-01-06
Ask HN: what tech jobs are best for creatives to re-train into?
2023-01-06
