FStar
An ML-like language aimed at program verification
Streaming startup Parsec raises $7m in funding
2020-05-12
Microsoft Skype Security Is Deeply Flawed
2020-05-12
Ask HN: What do you want to see out of business case studies?
2020-05-12
Silicon Valley start-up Carta looks to launch private share trading platform
2020-05-12
Ask HN: What can I do to help prep for my new manager before they arrive?
2020-05-12
Birding from Your Window Is a Joy. It’s Easy to Get Started
2020-05-12
Apple to launch iPhone 12 with 5G starting at $649
2020-05-12
Astaroth malware hides command servers in YouTube channel descriptions
2020-05-12
He Was a Science Star. Then He Promoted a Questionable Cure for Covid-19
2020-05-12
Raising Capital for Your Startup: Detailed Process Docs
2020-05-12
