FStar
An ML-like language aimed at program verification
Elon Musk's SpaceX expects first Starship launch to orbit this year -NASA
2022-11-15
In a world first, astronomers observed a star with a solid outer surface
2022-11-15
Ask HN: Shouldn't startups' leanness be a big advantage in the current market?
2022-11-15
Launch HN: Activeloop (YC S18) – Data lake for deep learning
2022-11-15
How an AI Startup Thrived During 2 Major Tech Layoffs, Update from the Founder
2022-11-15
Banking giants and New York Fed start 12-week digital dollar pilot
2022-11-15
FTX Wrangles More Than a Million Creditors Amid Chaotic Collapse
2022-11-15
Show HN: ThoughtfulPost Gift Recommendation Engine for Your Friends and Family
2022-11-15
NASA Will Buy Lunar Dust in the First Commercial Transaction on the Moon
2022-11-15
China’s rocket break-up sends space junk flying near Starlink orbit
2022-11-15
