FStar
An ML-like language aimed at program verification
If Star Wars games had lore accurate Lightsabers [video]
2023-06-17
Tell HN: Amazon Music UX is embarrassingly unusable
2023-06-17
Use StarNet++ to Make Starless Astrophotography Images
2023-06-17
I Used AI Tools to Create a Promo Video for My Startup, Styrate
2023-06-17
Starlink v2 reached the brightness reduction target recommended by astronomers
2023-06-17
Show HN: I built an AI language partner to help you master speaking
2023-06-17
Show HN: A journal / notes browser extension I made
2023-06-17
SpaceX hires boy, 14, who became youngest graduate at California university
2023-06-17
Emulating IoT Firmware Made Easy: Start Hacking Without the Physical Device
2023-06-17
Ask HN: Alternatives to Fitbit
2023-06-17
