Submissions from github.com/anthropics

		[dupe] Claude Opus 5.5 (anthropic.com)
		273 points by throwaway371647 4 days ago \| rank \| 743 comments
		Fermat's Last Theorem in Lean 4 (github.com/anthropics)
		146 points by aaraujo002 22 days ago \| rank \| 33 comments
		Claude Session URL appended to commit messages and PR descriptions by default (github.com/anthropics)
		209 points by sparsesignal 28 days ago \| rank \| 238 comments
		Feature Request: Support AGENTS.md (github.com/anthropics)
		377 points by fg137 38 days ago \| rank \| 220 comments
		Opus 5.0 drives incoherence into the stratosphere (github.com/anthropics)
		182 points by Bluestein 38 days ago \| rank \| 164 comments
		Claude Code is leaking real email address as a User-Agent string in curl command (github.com/anthropics)
		20 points by matada_ 46 days ago \| rank \| 7 comments
		Anthropic publishes a practical key-recovery attack on HAWK-256 (github.com/anthropics)
		55 points by bakigul 60 days ago \| rank \| 2 comments