FStar
An ML-like language aimed at program verification
Rackspace Exchange hosting down ~18 hours; “solution” is to start over on O365
2022-12-03
The Red Lake Nation football team hasn't won a game in years
2022-12-03
Defense startup Anduril raises $1.48B in Series E funding
2022-12-02
ESA Fully Funds Moonlight, a GPS and Starlink-Like Lunar Constellation
2022-12-02
Starlink speeds in US dropped from 105Mbps to 53Mbps in the past year
2022-12-02
Defense startup Anduril raises $1.48B in Series E funding
2022-12-02
Ask HN: Getting up after repeated failures?
2022-12-02
Alameda/FTX Invested $1.2B in Crypto Mining Startup Genesis Digital
2022-12-02
Google Messages starts rolling out end-to-end encryption for RCS group chats
2022-12-02
Beginner SvelteKit: complete course to start your journey building Svelte appls
2022-12-02
