FStar
An ML-like language aimed at program verification
Tattúínárdǿla Saga: If Star Wars Were an Icelandic Saga (2010)
2023-08-28
Ask HN: Which hardware to ship to customer as SSH “jumpbox”?
2023-08-28
Ask HN: How can I get Google Maps to stop routing people to the wrong address?
2023-08-28
Our startup received GDPR violation “notice”
2023-08-28
Holy shit, my co-founder is diagnosed with 'raging ADHD'
2023-08-28
High resolution satellite image animation of hurricanes Franklin and Idalia
2023-08-28
Show HN: Fully automated codebase migrations and upgrades using AI
2023-08-28
Startup receives grant for clinical trial of a promising eye treatment
2023-08-28
Ask HN: Is Hacker News becoming more medical/health related?
2023-08-28
Deno denial of service attack resolved with promise to address dependency impact
2023-08-28
