FStar
An ML-like language aimed at program verification
NASA starts designing futuristic space telescope to hunt for alien Earths
2023-01-13
Microsoft investigating Windows Start menu and taskbar shortcuts disappearing
2023-01-13
Hubble finds hungry black hole twisting captured star in donut shape
2023-01-13
OpenAI starts testing ChatGPT premium
2023-01-13
Show HN: Podcast on timelines, implications & responses to AGI
2023-01-12
Space mining startups see a rich future on asteroids and the moon
2023-01-12
Show HN: Hoshi, a little fun Star battle puzzle with daily challenges
2023-01-12
They're rebuilding the Death Star of complexity (DevOps)
2023-01-12
Show HN: Sleuth, open-source enterprise search in natural language
2023-01-12
Have a startup accountability email list (2020)
2023-01-12
