FStar
An ML-like language aimed at program verification
Will the US succeed in starving China of semiconductors?
2023-05-31
On the need for critical startup journalism
2023-05-31
Software offers new way to listen for signals from the stars
2023-05-31
Annoying microtransactions can't ruin nigh-endless looter fun of Diablo IV
2023-05-31
Seeking Tech Co-Founder to Help Me Reform Criminal Justice with AI
2023-05-30
A Sun-like star orbiting a boson star
2023-05-30
Ask HN: Whatever Happened to Acquisitions?
2023-05-30
The Latest Startup School Talks Are Now Available to All
2023-05-30
Show HN: I open sourced the QR designer from my failed startup
2023-05-30
Show HN: Generate Student Report Card Comments Using AI and NoCode
2023-05-30
