FStar
An ML-like language aimed at program verification
YouTube has started showing Ad blocker warnings
2023-10-04
Meta starts rolling out generative AI tools for all advertisers
2023-10-04
Star Trek Borg Remastered
2023-10-04
Rapid US GTM for B2B startups
2023-10-04
Two Things to Keep in Mind Before You Start Building Another Database System
2023-10-04
Show HN: Explore the beloved StarCraft battlefield anew in 2.5D/3D and plugins
2023-10-04
AI in the Movies, from HAL to ‘Her’ – KQED
2023-10-04
Show HN: 3D Skate Tricks – Elearning mobile app for skateboarders
2023-10-04
Ask HN: Is there a list of startups building on top of ChatGPT out there?
2023-10-04
A Guide to Content Distribution for Indie Hackers and Tech Startups
2023-10-04
