FStar
An ML-like language aimed at program verification
Instacart opens on Nasdaq at $42 in IPO
2023-09-19
Reflections on Breakthrough Starshot
2023-09-19
Amazon vets raises $12.5M for Griptape to help companies build AI apps
2023-09-19
Show HN: Dittofeed – 1-Click deploy, self-host Mailchimp alternative
2023-09-19
The only way to guarantee startup success
2023-09-19
X-Wing Model from Original ‘Star Wars’ Movie Found in a Garage
2023-09-19
Show HN: Symphony – Use GPT-4 to call functions in sequence
2023-09-19
Instacart Sets Its IPO Price at $30 a Share. The Stock Starts Trading Soon
2023-09-19
Show HN: Graphite – Stacked Diffs on GitHub
2023-09-19
Ask HN: How to get over my constant fear of inadequacy
2023-09-19
