Hacker News

1.		Motorola GrapheneOS devices will be bootloader unlockable/relockable (grapheneos.social)
		70 points by pabs3 2 hours ago \| hide \| 11 comments
2.		MacBook Pro with M5 Pro and M5 Max (apple.com)
		692 points by scrlk 12 hours ago \| hide \| 675 comments
3.		The largest acidic geyser has been putting on quite a show (usgs.gov)
		11 points by 1659447091 1 hour ago \| hide \| discuss
4.		Lenovo's New ThinkPads Score 10/10 for Repairability (ifixit.com)
		245 points by wrxd 3 hours ago \| hide \| 91 comments
5.		You can use newline characters in URLs (lemire.me)
		19 points by chmaynard 2 hours ago \| hide \| 6 comments
6.		Voxile: A ray-traced game made in its own engine and programming language (elbowgreasegames.substack.com)
		119 points by spacemarine1 5 hours ago \| hide \| 25 comments
7.		Claude's Cycles [pdf] (stanford.edu)
		494 points by fs123 16 hours ago \| hide \| 217 comments
8.		Textadept (orbitalquark.github.io)
		80 points by giancarlostoro 5 hours ago \| hide \| 16 comments
9.		Weave – A language aware merge algorithm based on entities (github.com/ataraxy-labs)
		11 points by rs545837 1 hour ago \| hide \| 2 comments
10.		Intel's make-or-break 18A process node debuts for data center with 288-core Xeon (tomshardware.com)
		254 points by vanburen 8 hours ago \| hide \| 203 comments
11.		GPT‑5.3 Instant (openai.com)
		303 points by meetpateltech 9 hours ago \| hide \| 232 comments
12.		Graphics Programming Resources (develop--gpvm-website.netlify.app)
		3 points by abetusk 36 minutes ago \| hide \| discuss
13.		An Interactive Intro to CRDTs (2023) (jakelazaroff.com)
		99 points by evakhoury 7 hours ago \| hide \| 18 comments
14.		When AI writes the software, who verifies it? (leodemoura.github.io)
		154 points by todsacerdoti 10 hours ago \| hide \| 144 comments
15.		The Xkcd thing, now interactive (p5js.org)
		1168 points by memalign 16 hours ago \| hide \| 153 comments
16.		My take on vibe coding for PMs (ddmckinnon.com)
		19 points by dmckinno 3 hours ago \| hide \| 6 comments
17.		Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
		72 points by atarus 12 hours ago \| hide \| 19 comments
18.		Don't become an engineering manager (manager.dev)
		316 points by flail 12 hours ago \| hide \| 228 comments
19.		We've freed Cookie's Bustle from copyright hell (gamehistory.org)
		99 points by sb057 6 hours ago \| hide \| 12 comments
20.		Time, Space, and Life as We Know It (2017) (raganwald.com)
		10 points by vismit2000 2 hours ago \| hide \| discuss
21.		130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
		13 points by PaulHoule 3 hours ago \| hide \| 4 comments
22.		Show HN: AgentBus – Centralized AI Agent-to-Agent Messaging via REST API (agentbus.org)
		5 points by notepstein 1 hour ago \| hide \| 1 comment
23.		What’s in a name? (2014) (sailsandcommas.com)
		11 points by Curiositry 3 hours ago \| hide \| 3 comments
24.		Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (youtube.com)
		433 points by pcdavid 11 hours ago \| hide \| 69 comments
25.		TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
		76 points by matt_d 10 hours ago \| hide \| 10 comments
26.		You can't use a code editor when you're under 18 now? (mastodon.online)
		45 points by pabs3 2 hours ago \| hide \| 18 comments
27.		Disable Your SSH access accidentally with scp (sny.sh)
		103 points by zdw 11 hours ago \| hide \| 51 comments
28.		MacBook Air with M5 (apple.com)
		380 points by Garbage 12 hours ago \| hide \| 421 comments
29.		Possible US Government iPhone-Hacking Toolkit in foreign spy and criminal hands (wired.com)
		197 points by alwillis 7 hours ago \| hide \| 62 comments
30.		I'm reluctant to verify my identity or age for any online services (neilzone.co.uk)
		888 points by speckx 12 hours ago \| hide \| 550 comments
		More