FStar
An ML-like language aimed at program verification
James Webb Telescope captures ‘cosmic fingerprint’ formed by two giant stars
2022-10-12
How did you find your technical co-founder?
2022-10-12
Too Many Songs, Not Enough Hits: Pop Music Is Struggling to Create New Stars
2022-10-12
Detect Starlink satellites with a Pi-powered Tricorder
2022-10-12
Microsoft launches Designer, its answer to highly valued startup Canva
2022-10-12
Ask HN: Do I publish code that affects millions of wireless security cameras?
2022-10-12
Black Hole Spews Out Material Years After Shredding Star
2022-10-12
The world is starting to hate the Fed
2022-10-12
Sci-Fi Visions for Interstellar Travel Just Might Work
2022-10-12
Google starts rolling out passkey support for Android and Chrome
2022-10-12
