FStar
An ML-like language aimed at program verification
Show HN: Crowd.dev – The open-source platform for community-led growth
2022-10-31
New-Car Prices Are Starting to Cool After Years of Soaring to New Records
2022-10-31
PitchBook Universities: Top colleges ranked by startup founders
2022-10-31
Chinese Nuclear Anti-Satellite Study Highlights Problem of Countering Starlink
2022-10-31
Ask HN: Alcoholism and Career in Software
2022-10-31
Marking Riven’s 25th Anniversary: An Update from the Starry Expanse Project
2022-10-31
Ask HN: Helping Managers and Leaders to keep their teams engaged
2022-10-31
Knowing what problems to solve could be the most important thing to run startups
2022-10-31
Of Course Instant Groceries Don't Work
2022-10-31
Raj Koothrappali Was Dave Koothrappali
2022-10-31
