FStar
An ML-like language aimed at program verification
Are startup founders the new purchased commissions?
2021-08-28
“Just a mess”: A $3bn startup CEO's effort to get an employee out of Afghanistan
2021-08-28
Freshworks (previously Freshdesk) files for IPO
2021-08-28
Amazon and SpaceX fight over Starlink plan for 30k more satellites
2021-08-27
NSOs – After Leaving Employment
2021-08-27
If political convictions require false beliefs about startups, you will fail
2021-08-27
Ask HN: What are the most underrated GitHub projects?
2021-08-27
Show HN: Getlanding.io – The easiest way to get a CTA landing page
2021-08-27
Pandemic’s labor reshuffle likely just starting
2021-08-27
I Built a $300K/Year Vue.js Component Library (Vuetify.js)
2021-08-27
