Hacker News

1.		Tony Hoare has died (computationalcomplexity.org)
		905 points by speckx 4 hours ago \| hide \| 131 comments
2.		Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com/runanywhereai)
		112 points by sanchitmonga22 1 hour ago \| hide \| 37 comments
3.		Yann LeCun raises $1B to build AI that understands the physical world (wired.com)
		73 points by helloplanets 1 hour ago \| hide \| 234 comments
4.		Debian decides not to decide on AI-generated contributions (lwn.net)
		179 points by jwilk 4 hours ago \| hide \| 146 comments
5.		Billion-Parameter Theories (worldgov.org)
		37 points by seanlinehan 1 hour ago \| hide \| 20 comments
6.		Throwing away 18 months of code and starting over (tompiagg.io)
		28 points by tomaspiaggio12 2 hours ago \| hide \| 10 comments
7.		I built a programming language using Claude Code (ankursethi.com)
		54 points by GeneralMaximus 2 hours ago \| hide \| 67 comments
8.		Intel Demos Chip to Compute with Encrypted Data (ieee.org)
		174 points by sohkamyung 5 hours ago \| hide \| 56 comments
9.		Rebasing in Magit (entropicthoughts.com)
		141 points by ibobev 5 hours ago \| hide \| 102 comments
10.		Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (redox-os.org)
		307 points by pjmlp 10 hours ago \| hide \| 321 comments
11.		Launch HN: Didit (YC W26) – Stripe for Identity Verification
		37 points by rosasalberto 3 hours ago \| hide \| 38 comments
12.		I put my whole life into a single database (howisfelix.today)
		353 points by lukakopajtic 8 hours ago \| hide \| 171 comments
13.		Meta acquires Moltbook (axios.com)
		253 points by mmayberry 4 hours ago \| hide \| 162 comments
14.		Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)
		162 points by dnhkng 5 hours ago \| hide \| 52 comments
15.		Open Weights Isn't Open Training (workshoplabs.ai)
		26 points by addiefoote8 2 hours ago \| hide \| 9 comments
16.		I used pulsar detection techniques to turn a phone into a watch timegrapher (chronolog.watch)
		37 points by tylerjaywood 3 hours ago \| hide \| 9 comments
17.		The Enterprise Context Layer (andychen32.substack.com)
		20 points by zachperkel 1 hour ago \| hide \| 1 comment
18.		Defeat as Method (cabinetmagazine.org)
		12 points by akbarnama 1 hour ago \| hide \| discuss
19.		RFC 454545 – Human Em Dash Standard (gist.github.com)
		90 points by jdauriemma 4 hours ago \| hide \| 67 comments
20.		Levels of Agentic Engineering (bassimeledath.com)
		20 points by bombastic311 1 hour ago \| hide \| 11 comments
21.		Bypassing Apache Fop PostScript Escaping to Reach GhostScript (almond.consulting)
		5 points by notmine1337 1 hour ago \| hide \| discuss
22.		Online age-verification tools for child safety are surveilling adults (cnbc.com)
		373 points by bilsbie 6 hours ago \| hide \| 229 comments
23.		Surpassing vLLM with a Generated Inference Stack (infinity.inc)
		10 points by lukebechtel 1 hour ago \| hide \| 2 comments
24.		The Gervais Principle, or the Office According to "The Office" (2009) (ribbonfarm.com)
		242 points by janandonly 11 hours ago \| hide \| 100 comments
25.		We are building data breach machines and nobody cares (idealloc.me)
		29 points by idealloc_haris 4 hours ago \| hide \| 10 comments
26.		PgAdmin 4 9.13 with AI Assistant Panel (pgadmin.org)
		74 points by __natty__ 7 hours ago \| hide \| 20 comments
27.		How many options fit into a boolean? (herecomesthemoon.net)
		43 points by luu 4 hours ago \| hide \| 19 comments
28.		MariaDB innovation: vector index performance (smalldatum.blogspot.com)
		21 points by gslin 2 hours ago \| hide \| discuss
29.		A new Oracle Solaris Common Build Environment (CBE) release (oracle.com)
		41 points by naves 6 hours ago \| hide \| 25 comments
30.		Isotopic Evidence for a Cold and Distant Origin of Interstellar Object 3I/Atlas (arxiv.org)
		9 points by bikenaga 1 hour ago \| hide \| discuss
		More