FStar
An ML-like language aimed at program verification
OnlyFans to block sexually explicit videos starting in October
2021-08-19
Ask HN: Leaving Fang for Consulting?
2021-08-19
Apple’s attempt at podcast subscriptions is off to a messy start
2021-08-19
Startup Fundraising Bootcamp this weekend – starts tomorrow
2021-08-19
India's living dead: 'They stared at me like I was a ghost'
2021-08-19
University of Colorado Boulder – Software Project Manager
2021-08-19
Show HN: Visionrare, an NFT-fuelled startup investment game
2021-08-19
Launch YC S21: Meet the Batch, Thread #8
2021-08-19
The Taliban may have seized biometric data that can ID US allies in Afghanistan
2021-08-19
How to get hired at a startup when you don't know anyone (2016)
2021-08-19
