FStar
An ML-like language aimed at program verification
How to Run a Transparent Startup
2022-11-01
A Mathematician Who Fled to Freedom but Still Stares Down Doubts
2022-11-01
Show HN: An open-source React framework(4.2K stars) for building CRUD apps
2022-11-01
SpaceX expects first Starship launch to orbit this year
2022-11-01
Ask HN: Getting a Lobster.s Invite in '22
2022-11-01
Quantum entanglement wins 2022’s Nobel Prize in physics
2022-11-01
Ask HN: How are you documenting the strategy of your startup?
2022-11-01
NASA predicts Starship orbital launch as soon as December
2022-11-01
Starbucks will get reporters’ messages with union, federal judge rules
2022-11-01
Ask HN: How would you design an alternative Twitter
2022-11-01
