FStar
An ML-like language aimed at program verification
Starting Over – A FOSS proposal for a new type of OS for a new type of computer
2022-03-26
Elon Musk's Starlink arrives in Ukraine but what next?
2022-03-26
The Brazilian Maid Who Became a Chess Star
2022-03-26
Ex-Google AI skeptic Timnit Gebru starts anew
2022-03-26
Red Heaven: China sets its sights on the stars (part 1)
2022-03-26
Ask HN: Feature Request: Categories for Favorites
2022-03-26
Steam Starts Collecting Feedback from Users on Steam Deck Verified Titles
2022-03-26
Report about space weather causing reentry of Starlink satellites in February
2022-03-26
Show HN: Automation the KISS way. No YAML involved
2022-03-25
Startup Idea/Question: Custom web search (only blogs/media/users you trust)?
2022-03-25
