FStar
An ML-like language aimed at program verification
Startpage and Vivaldi bring more privacy to your search
2020-05-20
Show HN: Library of quality content on marketplace startups
2020-05-19
ADHD tech stack: auto time tracking to get actionable feedback, not guilt
2020-05-19
Ask HN: What do you expect from SWE interns?
2020-05-19
Slate Star Codex Corona Links 5/18/20
2020-05-19
Ask HN: Non-disparagement agreements in cofounder separation agreements?
2020-05-19
Windows will start supporting Linux GUI apps
2020-05-19
TikTok rating plummets to 2.0 stars
2020-05-19
Startup in a Nutshell
2020-05-19
'Apple Glass' Rumored to Start at $499, Support Prescription Lenses, and More
2020-05-19
