FStar
An ML-like language aimed at program verification
Ask HN: How Does a Canadian SWE/Data Scientist Make a Move to the US?
2021-02-05
Launch HN: Text Blaze (YC W21) Programmable snippets to automate tedious typing
2021-02-05
Launch HN: MagicBell (YC W21) – embedded notification system for your product
2021-02-05
FCC doc reveals Starlink has 10k+ users, avg latency less 31ms, and 100/20mbps [pdf]
2021-02-05
OpenEBS and NFS Server Provisioner on RKE Cluster with Rancher
2021-02-05
The start of a crazy journey: the SunFire V245
2021-02-05
Show HN: A modern React.js template for your projects in 2021
2021-02-05
Ask HN: Good projects with LiveView and Phoenix for a newbie
2021-02-05
Maybe it's time to port VSCode to native?
2021-02-05
HubSpot acquires media startup The Hustle
2021-02-04
