FStar
An ML-like language aimed at program verification
Ask HN: Best way to get started on a technical paper for a naive idea
2023-06-02
A 1200 Calorie Diet Isn't a Starvation Diet When You're 5'1“
2023-06-02
Show HN: Shuttle AI – Instant apps, from a single prompt
2023-06-02
Ask HN: How should we rethink the take-home assessment?
2023-06-02
Startup uses volcanic rock dust to suck carbon dioxide out of the air
2023-06-02
Render to start billing free accounts without any opt in
2023-06-02
Permanent Residents Eligible for Mobile Passport Control Starting on June 5
2023-06-02
Ask HN: Data on VC-backed startup survival rate and exit value by stage?
2023-06-02
CEO: Raspberry Pi stock to hit 1M units monthly, starting in July
2023-06-02
Ask HN: List of YC Startups in Europe
2023-06-02
