FStar
An ML-like language aimed at program verification
Achieving gigabit communications between stars with gravitational lensing
2020-09-07
How to Create a Bad Name for Your Startup
2020-09-07
Ask HN: Millionaires not from FAANG RSUs/startup equity, how did you get there?
2020-09-07
Numbering should start at zero? [pdf]
2020-09-07
Ask HN: Visualizing a Sphere
2020-09-06
US tech startups accelerate hiring abroad in push to distribute workforce
2020-09-06
Starting a Jekyll Blog for Raspberry Pi Projects
2020-09-06
Ask HN: How did you discovered HN?
2020-09-06
Ask HN: Which resources have most positively influenced the way you live life?
2020-09-06
Show HN: A tribute to our startup cat, Franklin (2008-2020)
2020-09-06
