FStar
An ML-like language aimed at program verification
Get started quickly on Kaggle with AI agents
2023-08-10
Most distant observed star is blue – and it isn't alone
2023-08-10
Tell HN: 6 months after the NYT acquisition, Wordle has started showing ads
2023-08-10
SpaceX Starship delays could shift Artemis III away from moon landing
2023-08-10
Ask HN: Looking for tech founder thoughts on the “startup coaching” industry
2023-08-10
Ask HN: Shared messages, chat, task tracking, calendar for family
2023-08-09
Show HN: Remindme – A tool to set short-term reminders from the terminal
2023-08-09
Valve starts selling refurbished Steam Decks for up to $130 less than new models
2023-08-09
Ask HN: Starting a software business while employed full-time
2023-08-09
Max Levchin: Strengthen Your Startup Skeleton
2023-08-09
