FStar
An ML-like language aimed at program verification
Why Is 4-Year Stock Option Vesting Getting an Overhaul?
2021-09-20
There are six internet links on my office on wheels—seven when Starlink arrives
2021-09-20
SpaceX’s Starlink will come out of beta next month, Elon Musk says
2021-09-20
Login per Hour (LPH)
2021-09-20
Amazon starts probe over bribe to gov’t officials by its lawyers in India
2021-09-20
Build on AWS for Startups
2021-09-20
Star Atlas: The Most Ambitious Blockchain Game
2021-09-20
Challenge HN: I'll completely redesign all of any 4 random sites within 3 hours
2021-09-20
Elections are flawed -it’s time to start choosing our representatives by lottery
2021-09-20
Ask HN: What's your favorite framework for making apps (with GUIs) for yourself?
2021-09-20
