FStar
An ML-like language aimed at program verification
AMD makes Ryzen 7000 official: Launching September 27, starting at $299
2022-08-30
Understanding Startup Stock Options
2022-08-29
Ask HN: What Makes a Hackathon Successful?
2022-08-29
Ask HN: Advice on starting an open source coding project?
2022-08-29
Ask HN: Is forcing users to use a photo of themselves (Slack, etc.) ethical?
2022-08-29
How Co-Working Spaces Lead to More Innovation for Tech Startups
2022-08-29
View Sirius, the Brightest Star in the Night Sky
2022-08-29
Ask HN: Hiring a Career/Executive Coach
2022-08-29
Starlink could be an ecological disaster
2022-08-29
Ask HN: Best practices for starting off as a consultant in 2022?
2022-08-29
