FStar
An ML-like language aimed at program verification
Ask HN: How much savings did you have before starting your startup?
2020-01-30
Digital Freight Startup Next Trucking Lays Off 70
2020-01-30
Tell HN: Mailgun lowers free-tier API from 10k to 625 emails per month
2020-01-30
Ask HN: Does anyone use their MBP touch bar for anything?
2020-01-30
I hired my first programmer – I'm not freaking out. any tips on onboarding?
2020-01-30
Homeless Developer in Los Angeles Needs Work, Can You Please Help?
2020-01-30
Free startup idea from 4 years ago. Take it, it's yours
2020-01-29
Bubblewrap
2020-01-29
Starlink Is a Big Deal
2020-01-29
How contagious is 2019-nCoV and can you spread it before symptoms start?
2020-01-29
