FStar
An ML-like language aimed at program verification
Despite ‘Delta’ Alarmism, US Covid Deaths Are at Lowest Level Since March 2020
2021-08-04
Ask HN: Smaller option pool = less dilution?
2021-08-03
As Cyberattacks Surge, Security Startups Reap the Rewards
2021-08-03
I Failed My Startup and Tactical Advice So You Don’t Fail Yours (1 of 4)
2021-08-03
Nvidia is tracking more than 8,500 AI startups with $60B in funding
2021-08-03
Ask HN: What do you want your ISP to do better?
2021-08-03
Prediction: YC startup Mighty will be new default infrastructure as web VIP pass
2021-08-03
Ask HN: Do Y Combinator startups hire outside US
2021-08-03
Project Managament Sytem Story
2021-08-03
Launch YC: 3D Web; Training; Child privacy; Pregnancy; Life science; Desk rental
2021-08-03
