FStar
An ML-like language aimed at program verification
Startpage Acquired by System1, Privacy One Group – Still Safe?
2020-01-07
Any tool out there to determine a GitHub repo's “reputation” / “stale-ness”?
2020-01-07
SpaceX’s Starlink satellites are messing with astronomy. It’s just the beginning
2020-01-07
ESA selects Arianespace for Euclid dark universe probe launch
2020-01-07
Looking for talent to disrupt financial services
2020-01-07
How to Animate SVG Signature
2020-01-07
Lawyer required in the Bay Area. Meeting early next week?
2020-01-07
How to Get Started Contributing to OpenFaaS
2020-01-06
Show HN: Simple and beautiful profiles outside of Facebook or Linkedin
2020-01-06
Opening the Door to Unicorns Invites Risk for Average Investors
2020-01-06
