FStar
An ML-like language aimed at program verification
Start now, take your time: Removing the Pinecone waitlist and inactivity policy
2023-07-12
Chinese Startup Launches World’s First Methane Rocket
2023-07-12
What's the Deal with Non-Disparagement Provisions?
2023-07-12
Ask HN: Guide to being an open source contributer
2023-07-12
Ask HN: React Native or Flutter for a new app in 2023?
2023-07-12
Practical Event Modeling
2023-07-12
Ask HN: Advice on quitting job to work on side projects?
2023-07-12
Star nursery is latest JWST image to amaze astronomers
2023-07-12
Ask HN: Any remote companies that don't do offsites/retreats?
2023-07-12
OpenAI founder Sam Altman just took a nuclear energy startup for $500M
2023-07-12
