FStar
An ML-like language aimed at program verification
How to move from Product back to Engineering?
2021-12-21
Ask HN: Who is looking for a co-founder? (December 2021)
2021-12-21
BioNTech's mRNA Cancer Vaccine Has Started Phase 2 Clinical Trial
2021-12-21
New York Times Covers Up Its Debunked Lies About Peng Shuai by Adding New Ones
2021-12-21
Ask HN: What does the perfect employee look like?
2021-12-21
Ask HN: What's the most goto stack for back end?
2021-12-20
A Funding Guide for Startups
2021-12-20
Launch HN: FlutterFlow (YC W21) – Build Apps Visually
2021-12-20
Ask HN: Have you gotten a 2nd full-time remote job since the start of lockdown?
2021-12-20
Ask HN: What to do when having second thoughts about a new job?
2021-12-20
