Hacker News

1.		Motorola GrapheneOS devices will be bootloader unlockable/relockable (grapheneos.social)
		194 points by pabs3 3 hours ago \| hide \| 45 comments
2.		Graphics Programming Resources (develop--gpvm-website.netlify.app)
		25 points by abetusk 1 hour ago \| hide \| 2 comments
3.		California's Digital Age Assurance Act, and FOSS (runxiyu.org)
		12 points by todsacerdoti 35 minutes ago \| hide \| 1 comment
4.		Weave – A language aware merge algorithm based on entities (github.com/ataraxy-labs)
		32 points by rs545837 2 hours ago \| hide \| 12 comments
5.		MacBook Pro with M5 Pro and M5 Max (apple.com)
		708 points by scrlk 14 hours ago \| hide \| 706 comments
6.		TikTok will not introduce end-to-end encryption, saying it makes users less safe (bbc.com)
		29 points by 1659447091 2 hours ago \| hide \| 14 comments
7.		Speculative Speculative Decoding (SSD) (arxiv.org)
		7 points by E-Reverance 47 minutes ago \| hide \| discuss
8.		The largest acidic geyser has been putting on quite a show (usgs.gov)
		27 points by 1659447091 2 hours ago \| hide \| 1 comment
9.		Mac external displays for designers and developers, part 2 (bjango.com)
		17 points by fragmede 1 hour ago \| hide \| 7 comments
10.		Claude's Cycles [pdf] (stanford.edu)
		532 points by fs123 17 hours ago \| hide \| 225 comments
11.		Voxile: A ray-traced game made in its own engine and programming language (elbowgreasegames.substack.com)
		134 points by spacemarine1 7 hours ago \| hide \| 32 comments
12.		Textadept (orbitalquark.github.io)
		89 points by giancarlostoro 7 hours ago \| hide \| 19 comments
13.		You can use newline characters in URLs (lemire.me)
		35 points by chmaynard 3 hours ago \| hide \| 18 comments
14.		Mount Mayhem at Netflix: Scaling Containers on Modern CPUs (netflixtechblog.com)
		14 points by vquemener 2 hours ago \| hide \| 5 comments
15.		GPT‑5.3 Instant (openai.com)
		311 points by meetpateltech 10 hours ago \| hide \| 237 comments
16.		Intel's make-or-break 18A process node debuts for data center with 288-core Xeon (tomshardware.com)
		260 points by vanburen 9 hours ago \| hide \| 216 comments
17.		When AI writes the software, who verifies it? (leodemoura.github.io)
		174 points by todsacerdoti 11 hours ago \| hide \| 157 comments
18.		An Interactive Intro to CRDTs (2023) (jakelazaroff.com)
		105 points by evakhoury 8 hours ago \| hide \| 21 comments
19.		A pretty looking web for a quantum mechanics tool (github.com/jamessfks)
		3 points by Jamessfks123 1 hour ago \| hide \| discuss
20.		Vibe coding for PMs (ddmckinnon.com)
		35 points by dmckinno 4 hours ago \| hide \| 27 comments
21.		Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
		75 points by atarus 13 hours ago \| hide \| 19 comments
22.		130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
		19 points by PaulHoule 4 hours ago \| hide \| 7 comments
23.		We've freed Cookie's Bustle from copyright hell (gamehistory.org)
		105 points by sb057 7 hours ago \| hide \| 14 comments
24.		Don't become an engineering manager (manager.dev)
		322 points by flail 13 hours ago \| hide \| 235 comments
25.		Lenovo’s new ThinkPads score 10/10 for repairability (ifixit.com)
		297 points by wrxd 4 hours ago \| hide \| 141 comments
26.		TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
		79 points by matt_d 12 hours ago \| hide \| 10 comments
27.		Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (youtube.com)
		446 points by pcdavid 12 hours ago \| hide \| 70 comments
28.		What’s in a name? (2014) (sailsandcommas.com)
		14 points by Curiositry 5 hours ago \| hide \| 6 comments
29.		LLMs can unmask pseudonymous users at scale with surprising accuracy (arstechnica.com)
		12 points by Gagarin1917 1 hour ago \| hide \| discuss
30.		Time, Space, and Life as We Know It (2017) (raganwald.com)
		13 points by vismit2000 4 hours ago \| hide \| discuss
		More