Hackernews posts about SBF
SBF is Sam Bankman-Fried, the founder and former CEO of FTX, a cryptocurrency trading platform that filed for bankruptcy in November 2022 after allegations of mishandling customer funds and misusing client assets.
- Danish government agency to ditch Microsoft software (2025) (therecord.media)
- Ageless Linux – Software for humans of indeterminate age (agelesslinux.org)
- Agent Safehouse – macOS-native sandboxing for local agents (agent-safehouse.dev)
- A sufficiently detailed spec is code (haskellforall.com)
- Good software knows when to stop (ogirardot.writizzy.com)
- How I write software with LLMs (www.stavros.io)
- 4Chan mocks £520k fine for UK online safety breaches (www.bbc.com)
- Waymo Safety Impact (waymo.com)
- When AI writes the software, who verifies it? (leodemoura.github.io)
- OpenClaw surpasses React to become the most-starred software project on GitHub (www.star-history.com)
- Physicist Astrid Eichhorn is a leader in the field of asymptotic safety (www.quantamagazine.org)
- Apple's intentional crippling of Mobile Safari (pwa.gripe)
- AI didn't simplify software engineering: It just made bad engineering easier (robenglander.com)
- Log messages are mostly for the people operating your software (utcc.utoronto.ca)
- The bespoke software revolution? I'm not buying it (world.hey.com)
- Reliable Software in the LLM Era (quint-lang.org)
- Astra: An open-source observatory control software (github.com)
- Android developer verification: Balancing openness and choice with safety (android-developers.googleblog.com)
- Faster C software with Dynamic Feature Detection (gist.github.com)
- Agentic Software Engineering Book (agenticse-book.github.io)
- Dijkstra's Crisis: The End of Algol and Beginning of Software Engineering (2010) [pdf] (www.tomandmaria.com)
- OpenAI's $110B funding round (investments from Amazon, Nvidia, SoftBank) (www.reuters.com)
- Give Up GitHub – Software Freedom Conservancy (sfconservancy.org)
- Android developer verification: Balancing openness and choice with safety (android-developers.googleblog.com)
- Lf-lean: The frontier of verified software engineering (theorem.dev)