Hacker News

1.		Tony Hoare has died (computationalcomplexity.org)
		255 points by speckx 1 hour ago \| hide \| 18 comments
2.		Rebasing in Magit (entropicthoughts.com)
		91 points by ibobev 2 hours ago \| hide \| 56 comments
3.		Intel Demos Chip to Compute with Encrypted Data (ieee.org)
		109 points by sohkamyung 2 hours ago \| hide \| 25 comments
4.		I put my whole life into a single database (howisfelix.today)
		285 points by lukakopajtic 5 hours ago \| hide \| 131 comments
5.		Launch HN: Didit (YC W26) – Stripe for Identity Verification
		11 points by rosasalberto 51 minutes ago \| hide \| 14 comments
6.		RFC 454545 – Human Em Dash Standard (gist.github.com)
		48 points by jdauriemma 1 hour ago \| hide \| 33 comments
7.		Debian decides not to decide on AI-generated contributions (lwn.net)
		55 points by jwilk 1 hour ago \| hide \| 48 comments
8.		Online age-verification tools for child safety are surveilling adults (cnbc.com)
		203 points by bilsbie 3 hours ago \| hide \| 104 comments
9.		The Gervais Principle, or the Office According to "The Office" (2009) (ribbonfarm.com)
		190 points by janandonly 8 hours ago \| hide \| 75 comments
10.		Amazon is holding a mandatory meeting about AI breaking its systems (twitter.com/lukolejnik)
		71 points by lwhsiao 58 minutes ago \| hide \| 21 comments
11.		Meta acquires Moltbook (axios.com)
		41 points by mmayberry 1 hour ago \| hide \| 24 comments
12.		Sending Jabber/XMPP Messages via HTTP (gultsch.de)
		24 points by inputmice 2 hours ago \| hide \| 3 comments
13.		Yann LeCun's AI startup raises $1B in Europe's largest ever seed round (ft.com)
		307 points by ottomengis 5 hours ago \| hide \| 163 comments
14.		PgAdmin 4 9.13 with AI Assistant Panel (pgadmin.org)
		41 points by __natty__ 4 hours ago \| hide \| 14 comments
15.		Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)
		36 points by dnhkng 2 hours ago \| hide \| 18 comments
16.		A New Version of Our Oracle Solaris Environment for Developers (oracle.com)
		25 points by naves 3 hours ago \| hide \| 13 comments
17.		Practical Guide to Bare Metal C++ (arobenko.github.io)
		78 points by ibobev 6 hours ago \| hide \| 28 comments
18.		Caxlsx: Ruby gem for xlsx generation with charts, images, schema validation (github.com/caxlsx)
		37 points by earcar 4 hours ago \| hide \| 3 comments
19.		How many options fit into a boolean? (herecomesthemoon.net)
		4 points by luu 1 hour ago \| hide \| discuss
20.		Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit) (github.com/dougdonohoe)
		24 points by dougdonohoe 2 hours ago \| hide \| 7 comments
21.		LoGeR – 3D reconstruction from extremely long videos (DeepMind, UC Berkeley) (loger-project.github.io)
		105 points by helloplanets 9 hours ago \| hide \| 24 comments
22.		Two Years of Emacs Solo (rahuljuliato.com)
		319 points by celadevra_ 15 hours ago \| hide \| 118 comments
23.		TCXO Failure Analysis (serd.es)
		73 points by zdw 7 hours ago \| hide \| 33 comments
24.		Lotus 1-2-3 on the PC with DOS (stonetools.ghost.io)
		154 points by TMWNN 11 hours ago \| hide \| 58 comments
25.		No, it doesn't cost Anthropic $5k per Claude Code user (martinalderson.com)
		373 points by jnord 16 hours ago \| hide \| 265 comments
26.		Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (redox-os.org)
		279 points by pjmlp 7 hours ago \| hide \| 284 comments
27.		Building a Procedural Hex Map with Wave Function Collapse (felixturner.github.io)
		544 points by imadr 22 hours ago \| hide \| 79 comments
28.		Is legal the same as legitimate: AI reimplementation and the erosion of copyleft (hongminhee.org)
		539 points by dahlia 1 day ago \| hide \| 538 comments
29.		Optimizing Top K in Postgres (paradedb.com)
		128 points by philippemnoel 11 hours ago \| hide \| 15 comments
30.		JSLinux Now Supports x86_64 (bellard.org)
		360 points by TechTechTech 23 hours ago \| hide \| 116 comments
		More