FStar
An ML-like language aimed at program verification
Physics undergrads crunched numbers for Star Trek’s tribble problem
2020-02-23
Why I'm Working on a Startup
2020-02-22
TikTok viral stars could make up to $1m per post, say researchers
2020-02-22
Warren Buffett Has Started the Biggest Energy Revolution
2020-02-22
Spicy Valley – The Tech Startup News You Can Trust (Satire)
2020-02-22
Startup buys startup: PullRequest snags remote dev hiring platform Moonlight
2020-02-22
Ask HN: How to get an iOS app for a web SaaS product approved?
2020-02-22
100 Things I learned over the course of 5 startups
2020-02-22
Marc Andreessen’s Secret Weapon for Finding Startup Investments
2020-02-22
Will Starlink Be Fast? Connectivity and Latency on Early Gen Satellites
2020-02-22
