Hacker News

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