- First Proof (arxiv.org)proof theorymathematical logicformal systems
- Let's compile Quake like it's 1997 (fabiensanglard.net)quakeretro gaminggame development
- In one swoop, Trump kills US greenhouse gas regulations (www.theverge.com)
- Tool Shaped Objects (twitter.com)
- Show HN: Building My Own Google Analytics for $0 (www.adwait.me)
- billing bypasssubagentsagent definitions
- Today is my last day at Anthropic. I resigned (twitter.com)ai technologymachine learningcareer transitions
- presidential approval ratingsgallup pollshistorical data analytics
- Matrix messaging gaining ground in government IT (www.theregister.com)matrix messaginggovernment itdigital transformation
- AI doesn’t reduce work, it intensifies it (simonwillison.net)artificial intelligencework life balanceproductivity
- Show HN: Stack Overflow for AI Coding Agents (shareful.ai)
- Go 1.26 Release Notes (go.dev)go 1.26 release notesgo languageprogramming updates
- cloudflare workersauthenticationsecurity
- NanoClaw solves one of OpenClaw's biggest security issues (venturebeat.com)securityopen-sourceblockchain
- 'Another way to gamble money': prediction markets prompt confusion and concern (www.theguardian.com)
- Show HN: Open-Source SDK for AI Knowledge Work (github.com)artificial intelligencemachine learningsoftware development kit
- A simpler way to remove explicit images from Search (blog.google)search removal explicit images
- browser gamesretro gamingclassic reboot
- Can my SPARC server host a website? (rup12.net)
- Obsidian Introduces Obsidian CLI (help.obsidian.md)obsidian-climarkdown-note-takingproductivity-tool
- Arcan Explained – A browser for different webs (arcan-fe.com)browser softwarealternative browsersweb client
- From watchdogs to mouthpieces: Washington Post and the wreckage of legacy media (www.thejournal.ie)legacy mediajournalismmedia criticism
- &udm=14 – the search engine Konami code (udm14.org)
- The AI boom is causing shortages everywhere else (www.washingtonpost.com)artificial intelligenceshortageseconomy
- Eddie Bauer declares bankruptcy (www.cbsnews.com)eddie bauer bankruptcyoutdoor apparel retailerretail industry
- Microsoft account bugs locked me out of Notepad – Are thin clients ruining PCs? (www.windowscentral.com)microsoft accountwindows desktoppc peripherals
- Erythritol May Damage Critical Brain Barrier, Risking Stroke (www.sciencealert.com)brain barrierstroke riskerythritol effects
- Administration working to strip citizenship from foreign-born Americans (www.nbcnews.com)immigration policyus citizenshipnaturalization process
- Brookhaven Lab's RHIC concludes 25-year run with final collisions (www.hpcwire.com)particle physicsbrookhaven national laboratorycollider technology
- Bash scripts are brittle – simple error handling in bash (notifox.com)bash scriptingerror handlingscripting best practices