FStar
An ML-like language aimed at program verification
Facedrive’s stock falls 98% & employees say the tech never worked like it should
2021-10-30
Boston Dynamics robot dog delivers spot-on Mick Jagger impression
2021-10-30
Startup That Wants to Let You Fly Helicopter with an iPad Gets $200M
2021-10-30
Show HN: Tofuproxy: HTTP/S proxy, TLS terminator X.509 TOFU, WARC/Gemini browser
2021-10-30
Ask HN: If I disable JavaScript, am I worth less to advertisers?
2021-10-30
Goat-rescuing, firefighting nonprofit is a reason to like social media
2021-10-30
Startup Claims It Can Triple the Power of Electric Engines
2021-10-30
Node.js feature flags: a practical getting started guide with Express.js example
2021-10-30
‘Yeah, we’re spooked’: AI starting to have big real-world impact, says expert
2021-10-30
Firefox 94 to start using EGL on Linux
2021-10-30
