FStar
An ML-like language aimed at program verification
To find a technical cofounder, start building and prove that the idea will work
2023-08-31
Call of Duty enlists AI to eavesdrop on voice chat and help ban toxic players
2023-08-31
Star Labs active pen accessory for the Star Lite MK V Linux tablet
2023-08-31
Ask HN: What's your favourite hobby and how did it start?
2023-08-31
Lighter Capital raises $130M to ignite revenue-based financing for startups
2023-08-31
How Realistic Is Starfield? We Ask the European Space Agency
2023-08-31
Show HN: TurboScribe – Unlimited audio/video transcription with Whisper
2023-08-31
No Love for Negative Permissions – DAC/ACL Bypass on Linux
2023-08-31
The physics of why the first clock in America failed
2023-08-31
Show HN: It's time to rip out your iframed Typeform
2023-08-31
