FStar
An ML-like language aimed at program verification
Awesome ChatGPT
2022-12-07
Apple Starts Work on 20-Inch Foldable Display
2022-12-07
Show HN: Depoxy – DataOps UI for the AWS data stack
2022-12-07
Wirecard: How Germany's fraudulent fintech star was exposed
2022-12-07
After interviewing 30+founders: How to find the perfect partner for your startup
2022-12-07
Ask HN: Dmarc for personal domains and startups – easy guide?
2022-12-07
Women-Led Startups Are the Future of Investing
2022-12-07
Ask HN: Referrals for Private Businesses?
2022-12-07
Ask HN: Why did AWS suddenly restart our Aurora database?
2022-12-07
KoBoToolbox has not started yet This is can be normal with low CPU/RAM computers
2022-12-06
