FStar
An ML-like language aimed at program verification
China is starting 'purifying' its world online
2021-09-30
Ask HN: Video Doorbell Without Subscription?
2021-09-30
Starting up in science Two researchers. Three years. One pandemic
2021-09-30
Hot Startup Theranos Has Struggled with Its Blood-Test Technology
2021-09-30
Ask HN: Market/Customers for No-Code Products?
2021-09-30
Ask HN: Will many small businesses be interested in this?
2021-09-30
Ask HN: Why does it feel like MMO server tech hasn't changed?
2021-09-30
How to gain conviction to work on a startup idea for 10 years
2021-09-29
Ask HN: You just started a company. What SaaS do you sign up for?
2021-09-29
Ray Ozzie's startup Blues Wireless releases new Feather-compatible MCU today
2021-09-29
