FStar
An ML-like language aimed at program verification
Why there may never be a libjpeg-turbo 3.1
2023-07-04
Ask HN: What is the purpose of scalpel being a part of a video app?
2023-07-03
Wyoming Should Have Fed Starving Deer, Says Retired Wildlife Official
2023-07-03
Ask HN: What are the best free resources for startups?
2023-07-03
Office Systems Technology (all the Xerox Star docs) [pdf]
2023-07-03
Startup20 Group to up investments in startups to $1T by 2030
2023-07-03
Silicon Valley is facing a Darwinian moment for startups
2023-07-03
Mugs by and for Indie Makers, Creators, Startup Founders, Solopreneurs
2023-07-03
Show HN: JobLens – AI-powered job search for 'Who Is Hiring'
2023-07-03
Show HN: Find your next house plan
2023-07-03
