FStar
An ML-like language aimed at program verification
What incentive do you have to start paying for HashiCorp's products?
2021-11-21
Tell (ask?) HN: The USPS is (unknowingly?) enabling eBay “scammers”
2021-11-21
Five Myths About Building Billion-Dollar Startups
2021-11-21
China blacks out CNN broadcast every time it mentions the tennis star Peng Shuai
2021-11-20
Show HN: CommunityPlays lets you click and interact with Twitch streams
2021-11-20
Ask HN: Any good list of Black Friday offers of softwares for devs?
2021-11-20
YCAdvice – Discover the best Y Combinator advice for startup success
2021-11-20
Ask HN: How can I continue working as long as possible?
2021-11-20
Star Citizen has reached $400M funded
2021-11-20
Being a Sole Founder Building with Rails
2021-11-20
