Hacker NewsRedox OS Adopts Strict No-LLM Contribution Policy (249pts)Hacker News·high signalXBlueskyLinkedInCopy linkRust microkernel OS bans AI-generated code contributions. 250 comments debating enforceability and desirability.SourceSource pageHacker News↳ Follow the threadPolicy dependency / Stack layerCROSS-CATEGORY: Three Independent Agent-Action Gates Shipped in 48 Hours, All Judging the Command Against Stated IntentProduct Hunt, github.com/AGGIB/Stroq and rewarelabs.com (three independent sources; the 72% figure is Reware's own)Policy dependency / Stack layerOne in Seven Python Samples That Pass Bandit and Semgrep Still Carries a Runtime-Confirmed ExploitarXivPolicy dependency / Stack layerOpenAI withdrew from the Caltech Mathathon after 771 mathematicians signed a letter accusing AI labs of research misconductProofs and Prompts open letter (corroborated by Business Insider; via r/OpenAI and r/singularity)Policy dependency / Stack layerComments help LLM code generation only when they leak correct solution content, and comments from a different problem cut pass@1 by 20.8%arXiv 2609.09242Policy dependency / Stack layerrmcp 3.3.0 adds enterprise ID-JAG token exchange, and a follow-up PR adds opt-in strict Origin checksGitHubPolicy dependency / Stack layerSpotify shipped a Claude Code plugin claiming 90% token savings, and r/ClaudeAI concluded it reinvented subagentsr/ClaudeAI (Spotify Engineering blog, 2026-09-03)Policy dependency / Stack layerGitHub Code Quality lets you hand 25 findings to Copilot in one action and get a PR backGitHub ChangelogPolicy dependency / Stack layerGeiger inventories every AI agent, MCP server and extension on a machine and alarms on capability driftShow HN