Hacker News

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