FStar
An ML-like language aimed at program verification
Ask HN: What educational YouTube channels do you watch?
2020-09-04
Climate Primer: tools for startups to reduce their climate impact
2020-09-04
When did people first start thinking 'C is portable assembler'?
2020-09-04
From Being Fired to Building a Multi-Million Dollar Fintech Startup
2020-09-04
The Problems Debian Is Facing in 2020
2020-09-04
Make Hardware Startups Easier
2020-09-04
Amazon’s top UK reviewers appear to profit from fake 5-star posts
2020-09-04
Small Enzyme-Mimicking Polymers May Have Helped Start Life
2020-09-04
Startup Perks Go Remote–and Take a More Inclusive Approach
2020-09-04
Ask HN: Is it possible to create a custom made barcode standard?
2020-09-04
