Hackernews posts about AFP
- Archive of Formal Proofs (isa-afp.org)
- DNS-based Tracking Evasion (2021) (arxiv.org)
- Apple introduces M6 and M5 Ultra (www.apple.com)
- I like 'em thick: an apology to my English teachers (www.experimental-history.com)
- U.S. State Department pauses immigrant visa applications (www.wsj.com)
- Stealing Reasoning Traces from Proprietary LLM APIs (stolen-thoughts.com)
- Windows 11's built-in Weather app wastes more than 1 GB of RAM (www.notebookcheck.net)
- Cloudflare OS: an open platform for agents, apps, and work (blog.cloudflare.com)
- Kobo can run apps now (bandarlabs.github.io)
- An ongoing 3D-printer AGPL violation (lwn.net)
- Codex in ChatGPT desktop app for Linux is now in preview (community.openai.com)
- CIA funding helped keep NeXT afloat in the 80s (www.wsj.com)
- Z.ai confirms Ox Alpha is a new GLM-series model and will release its weights (www.bloomberg.com)
- Show HN: Huzzah – a novel approach to coding with AI (www.danielvaughn.dev)
- App Store Rejection of the Week: Dark Hours (daringfireball.net)
- Retraction: The App Store Rejection of the Week That Was a Correct Rejection (daringfireball.net)
- Show HN: iPhone app takes simultaneous images from 2 lenses, fuses into 1 photo (photosynthesis.camera)
- AI fuels more than half of cybercrime in Africa as scams surge – Interpol (www.africanews.com)
- Apple announces changes for apps in the European Union (www.apple.com)
- Apple is getting this wrong (openai.com)
- Woman pulled over twice after Flock-linked software connected her to homicide (guessingheadlights.com)