FStar
An ML-like language aimed at program verification
Should I code my own AI model or use people's solutions for an MVP?
2023-05-01
Show HN: Flight finder for as low as 2.99 USD/month
2023-05-01
Show HN: I built an open-source alternative to TypeForm [MIT]
2023-05-01
SpaceX's Starship didn't immediately respond to a self-destruct command
2023-05-01
We Spoke to People Who Started Using ChatGPT as Their Therapist
2023-05-01
Ask HN: What AI tools you use often?
2023-05-01
“Godfather of AI” (Geoffrey Hinton) talks impact and potential [video]
2023-05-01
User Interface Irritations
2023-05-01
Ask HN: Are We Being Censored?
2023-05-01
Startup evolution – from idea to IPO in 10 hard steps
2023-05-01
