FStar
An ML-like language aimed at program verification
Microsoft Starts Testing Kids Mode for Microsoft Edge
2021-02-17
Startup Freshworks Hits $300M in Sales with IPO Looming
2021-02-17
Show HN: The CSS File Size and Count Report for Premier League Sites
2021-02-17
Hackers Are Starting to Code Malware Specifically for Apple’s M1 Computers
2021-02-17
Tell HN: I am acting like parasite at my job and no one cares
2021-02-17
Getting Started with Terraform Code with Terragrunt
2021-02-17
I started believing in Cycle Time over Estimation
2021-02-17
Show HN: (2015) Dead Yet? – Keep an eye on dying startups
2021-02-16
How I Raised VC for Plastic-Free Grocery Delivery Startup ZeroGrocery
2021-02-16
Tencent backs digital rights startup Pex in $57M round
2021-02-16
