FStar
An ML-like language aimed at program verification
The World’s Biggest Startups: Top Unicorns of 2021
2021-12-09
Facebook skirts App Store fees yet again with new ‘Stars Store’
2021-12-09
Ask Ethan: If the Universe Is Expanding, Are We Expanding, Too?
2021-12-09
Capitalism, Rationality, and Steven Pinker
2021-12-09
How do you brainstorm ideas with your team remotely？
2021-12-09
Earth is getting a black box to record climate change actions; it just started
2021-12-05
Optimal Strategies for Exploring Nearby Stars
2021-12-05
Humble Book Bundle: Hacking by No Starch Press
2021-12-05
War Starts
2021-12-05
Ask HN: Tell us about your dead or never finished startup ideas
2021-12-05
