FStar
An ML-like language aimed at program verification
QSBS – potentially keep up to $10m of startup stock gains tax free
2021-06-30
OpenVMS 9.1 x86 field test starts
2021-06-30
Ask HN: How do I get my brother into programming?
2021-06-30
Show HN: I taught myself to code and built a phone contract comparison site
2021-06-30
On Being a Loser, or Should You Start a Blog?
2021-06-30
Ask HN: Masters or Startup?
2021-06-30
Google and Microsoft agree to start suing each other again
2021-06-30
Ask HN: Can I have successful career in software engineering starting at 40?
2021-06-30
How to Disappear Completely from the Internet?
2021-06-30
Launch HN: Turing College (YC W21) – Online data science school
2021-06-30
