FStar
An ML-like language aimed at program verification
Ask HN: Has anyone used Proxmox for a daily-driver laptop?
2023-09-09
SpaceX’s Starship grounded pending improvements after launch explosion
2023-09-09
Did the Average Person in Star Wars Era Know the Jedi and the Sith?
2023-09-09
Peter Thiel-Linked Startup Courting NY Scenesters and a Libertarian Paradise
2023-09-08
Getting Started with Creative Coding
2023-09-08
Musk says he limited Ukraine’s Starlink to prevent attack on Russia
2023-09-08
Ask HN: If you turn research into business, could you share your story/insights?
2023-09-08
Dittofeed 0.3.0 – New Features in Open-Source Marketing Platform
2023-09-08
Show HN: Fs-dir-cache – easy and correct CLI file system based caching
2023-09-08
Show HN: Binx, an AI Agent which helps you write more
2023-09-08
