FStar
An ML-like language aimed at program verification
Ask HN: To techdriven founders/startups – pains and fears in accounting/tax?
2021-02-01
Ask HN: Is this simple landing page clear enough?
2021-02-01
Ask HN: How do you test and develop time-dependent/flow-dependent applications?
2021-02-01
Scraping, analyzing and generating jobs and startups from YC's Work at a Startup
2021-02-01
Launch HN: Albedo (YC W21) – Highest resolution satellite imagery
2021-02-01
Diversity and Function of Sourdough Starter Microbiomes
2021-02-01
A Simple Way to Start Measuring Developer Efficiency
2021-02-01
How do we fix the startup ecosystem?
2021-02-01
A curious observer’s guide to quantum mechanics, pt. 4: Looking at the stars
2021-02-01
National security team reviewing startups with China investors
2021-01-31
