FStar
An ML-like language aimed at program verification
EV startup Lucid plans to lay off hundreds of workers
2023-03-30
Ask HN: How to track growth metrics without invading user privacy?
2023-03-30
The Starship Social Enterprise
2023-03-30
The Thermosphere Is a Drag: The 2022 Starlink Incident
2023-03-29
Ask HN: Are GitHub Docs Useless for PATS/Personal Access Tokens and the CLI?
2023-03-29
Show HN: Astra: The Command Line App That Connects You to ChatGPT
2023-03-29
Show HN: Nextflick.io – Watch a random movie trailer
2023-03-29
Starbucks' Howard Schultz insists he's no union buster
2023-03-29
The woolly mammoth is back – in the form of a meatball
2023-03-29
SpaceX satellites responsible for over half of close encounters in orbit
2023-03-29
