FStar
An ML-like language aimed at program verification
Why I am starting a hardcore tech company in my 50s
2023-07-26
Boeing has now lost $1.1B on Starliner, with no crew flight in sight
2023-07-26
Ask HN: Is Antimalware Service Executable driving you crazy?
2023-07-26
Starting Now – Discover AWS' Cedar with Its Creator and Community Leaders [video]
2023-07-26
Hunting Down Twitter Sh’tposters with Node.js/Puppeteer
2023-07-26
Ask HN: How should non-technical users “pull request” data changes?
2023-07-26
Google, Microsoft, OpenAI and startup form body to regulate AI development
2023-07-26
High-NA Lithography Starting to Take Shape
2023-07-26
Show HN: HumHire, a marketplace for AI-free creativity
2023-07-26
Ask HN: How are you monetizing your OSS project?
2023-07-26
