Hacker News

1.		Motorola GrapheneOS devices will be bootloader unlockable/relockable (grapheneos.social)
		317 points by pabs3 4 hours ago \| hide \| 75 comments
2.		Nobody Gets Promoted for Simplicity (terriblesoftware.org)
		75 points by SerCe 2 hours ago \| hide \| 29 comments
3.		TikTok will not introduce end-to-end encryption, saying it makes users less safe (bbc.com)
		91 points by 1659447091 4 hours ago \| hide \| 57 comments
4.		Graphics Programming Resources (develop--gpvm-website.netlify.app)
		44 points by abetusk 3 hours ago \| hide \| 3 comments
5.		Weave – A language aware merge algorithm based on entities (github.com/ataraxy-labs)
		71 points by rs545837 3 hours ago \| hide \| 36 comments
6.		Speculative Speculative Decoding (SSD) (arxiv.org)
		24 points by E-Reverance 2 hours ago \| hide \| 1 comment
7.		California's Digital Age Assurance Act, and FOSS (runxiyu.org)
		65 points by todsacerdoti 2 hours ago \| hide \| 41 comments
8.		MacBook Pro with M5 Pro and M5 Max (apple.com)
		730 points by scrlk 15 hours ago \| hide \| 737 comments
9.		Welcoming Elizabeth Barron as the New Executive Director of the PHP Foundation (thephp.foundation)
		10 points by ulrischa 1 hour ago \| hide \| 2 comments
10.		Claude's Cycles [pdf] (stanford.edu)
		560 points by fs123 18 hours ago \| hide \| 232 comments
11.		Voxile: A ray-traced game made in its own engine and programming language (elbowgreasegames.substack.com)
		151 points by spacemarine1 8 hours ago \| hide \| 38 comments
12.		The largest acidic geyser has been putting on quite a show (usgs.gov)
		37 points by 1659447091 4 hours ago \| hide \| 1 comment
13.		Mount Mayhem at Netflix: Scaling Containers on Modern CPUs (netflixtechblog.com)
		28 points by vquemener 3 hours ago \| hide \| 8 comments
14.		Textadept (orbitalquark.github.io)
		100 points by giancarlostoro 8 hours ago \| hide \| 19 comments
15.		You can use newline characters in URLs (lemire.me)
		43 points by chmaynard 4 hours ago \| hide \| 21 comments
16.		When AI writes the software, who verifies it? (leodemoura.github.io)
		191 points by todsacerdoti 13 hours ago \| hide \| 180 comments
17.		An Interactive Intro to CRDTs (2023) (jakelazaroff.com)
		116 points by evakhoury 10 hours ago \| hide \| 22 comments
18.		Mac external displays for designers and developers, part 2 (2022) (bjango.com)
		31 points by fragmede 2 hours ago \| hide \| 14 comments
19.		GPT‑5.3 Instant (openai.com)
		319 points by meetpateltech 11 hours ago \| hide \| 250 comments
20.		A pretty looking web for a quantum mechanics tool (github.com/jamessfks)
		7 points by Jamessfks123 2 hours ago \| hide \| discuss
21.		Intel's make-or-break 18A process node debuts for data center with 288-core Xeon (tomshardware.com)
		270 points by vanburen 10 hours ago \| hide \| 228 comments
22.		Number Research Inc (numberresearch.xyz)
		17 points by eieio 3 hours ago \| hide \| 8 comments
23.		My spicy take on vibe coding for PMs (ddmckinnon.com)
		41 points by dmckinno 6 hours ago \| hide \| 41 comments
24.		Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
		76 points by atarus 15 hours ago \| hide \| 19 comments
25.		LLMs can unmask pseudonymous users at scale with surprising accuracy (arstechnica.com)
		36 points by Gagarin1917 2 hours ago \| hide \| 15 comments
26.		We've freed Cookie's Bustle from copyright hell (gamehistory.org)
		110 points by sb057 9 hours ago \| hide \| 16 comments
27.		Don't become an engineering manager (manager.dev)
		332 points by flail 15 hours ago \| hide \| 242 comments
28.		Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (youtube.com)
		458 points by pcdavid 13 hours ago \| hide \| 76 comments
29.		TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
		82 points by matt_d 13 hours ago \| hide \| 11 comments
30.		130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
		20 points by PaulHoule 6 hours ago \| hide \| 9 comments
		More