FStar
An ML-like language aimed at program verification
European Commission makes its first equity investments in startups
2021-01-07
Windows 10 WSL now can run Linux commands on WSL startup
2021-01-07
Ask HN: Dealing with offers to work for your startup *part-time
2021-01-07
Android Startup Tip: Don’t Use Kotlin Coroutines
2021-01-07
Ask HN: How would you convince your friends and family to switch from WhatsApp?
2021-01-07
Highest-funded agrifoodtech startups of 2020
2021-01-07
I created a sub-Reddit to help form local groups to facilitate remote learning
2021-01-07
Ask HN: How to get into decentralized web applications?
2021-01-07
Ask HN: Is Kubernetes really gonna be the next big thing?
2021-01-07
Why can’t the stormtroopers in Star Wars shoot straight?
2021-01-07
