Hacker News

1.		Motorola GrapheneOS devices will be bootloader unlockable/relockable (grapheneos.social)
		171 points by pabs3 2 hours ago \| hide \| 39 comments
2.		Graphics Programming Resources (develop--gpvm-website.netlify.app)
		21 points by abetusk 1 hour ago \| hide \| 2 comments
3.		MacBook Pro with M5 Pro and M5 Max (apple.com)
		705 points by scrlk 13 hours ago \| hide \| 702 comments
4.		The largest acidic geyser has been putting on quite a show (usgs.gov)
		25 points by 1659447091 2 hours ago \| hide \| 1 comment
5.		Weave – A language aware merge algorithm based on entities (github.com/ataraxy-labs)
		28 points by rs545837 2 hours ago \| hide \| 9 comments
6.		TikTok will not introduce end-to-end encryption, saying it makes users less safe (bbc.com)
		19 points by 1659447091 2 hours ago \| hide \| 6 comments
7.		Mac external displays for designers and developers, part 2 (bjango.com)
		14 points by fragmede 1 hour ago \| hide \| 6 comments
8.		Claude's Cycles [pdf] (stanford.edu)
		525 points by fs123 17 hours ago \| hide \| 225 comments
9.		Voxile: A ray-traced game made in its own engine and programming language (elbowgreasegames.substack.com)
		131 points by spacemarine1 6 hours ago \| hide \| 31 comments
10.		Mount Mayhem at Netflix: Scaling Containers on Modern CPUs (netflixtechblog.com)
		12 points by vquemener 1 hour ago \| hide \| 5 comments
11.		You can use newline characters in URLs (lemire.me)
		35 points by chmaynard 3 hours ago \| hide \| 18 comments
12.		California's Digital Age Assurance Act, and FOSS (runxiyu.org)
		3 points by todsacerdoti 21 minutes ago \| hide \| discuss
13.		Textadept (orbitalquark.github.io)
		88 points by giancarlostoro 6 hours ago \| hide \| 19 comments
14.		Speculative Speculative Decoding (SSD) (arxiv.org)
		3 points by E-Reverance 33 minutes ago \| hide \| discuss
15.		GPT‑5.3 Instant (openai.com)
		311 points by meetpateltech 10 hours ago \| hide \| 236 comments
16.		Intel's make-or-break 18A process node debuts for data center with 288-core Xeon (tomshardware.com)
		257 points by vanburen 9 hours ago \| hide \| 213 comments
17.		When AI writes the software, who verifies it? (leodemoura.github.io)
		170 points by todsacerdoti 11 hours ago \| hide \| 154 comments
18.		An Interactive Intro to CRDTs (2023) (jakelazaroff.com)
		104 points by evakhoury 8 hours ago \| hide \| 21 comments
19.		The Xkcd thing, now interactive (p5js.org)
		1193 points by memalign 17 hours ago \| hide \| 153 comments
20.		Vibe coding for PMs (ddmckinnon.com)
		32 points by dmckinno 4 hours ago \| hide \| 23 comments
21.		Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
		74 points by atarus 13 hours ago \| hide \| 19 comments
22.		We've freed Cookie's Bustle from copyright hell (gamehistory.org)
		103 points by sb057 7 hours ago \| hide \| 14 comments
23.		Lenovo’s new ThinkPads score 10/10 for repairability (ifixit.com)
		293 points by wrxd 4 hours ago \| hide \| 136 comments
24.		Don't become an engineering manager (manager.dev)
		321 points by flail 13 hours ago \| hide \| 235 comments
25.		130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
		16 points by PaulHoule 4 hours ago \| hide \| 6 comments
26.		Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (youtube.com)
		442 points by pcdavid 12 hours ago \| hide \| 70 comments
27.		TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
		78 points by matt_d 11 hours ago \| hide \| 10 comments
28.		Time, Space, and Life as We Know It (2017) (raganwald.com)
		12 points by vismit2000 3 hours ago \| hide \| discuss
29.		What’s in a name? (2014) (sailsandcommas.com)
		12 points by Curiositry 4 hours ago \| hide \| 5 comments
30.		I'm reluctant to verify my identity or age for any online services (neilzone.co.uk)
		902 points by speckx 13 hours ago \| hide \| 553 comments
		More