FStar
An ML-like language aimed at program verification
Release (YC W20) Founding Engineer Talks Joining a YC Startup During Covid
2021-01-28
What to consider when starting a community
2021-01-28
Ask HN: How to find production-ready open source projects to learn from?
2021-01-28
On $300B of Y Combinator Startup Success – By Jared Heyman
2021-01-28
Star Browser – A Qt-Based Browser for Symbian Belle
2021-01-28
Startup: Trade €1 for €2 personal development or €4 stock options
2021-01-28
“Warp speed,” “Prime Directive” predate Star Trek, per new reference tool
2021-01-28
Xiaomi and third parties will collect more data about you starting on Feb 25th
2021-01-28
WHO team leaves Wuhan quarantine to start Covid probe
2021-01-28
WHO advisor: Covid-19 pandemic likely started via lab leak
2021-01-28
