Hacker News

1.		2,218 Gary Marcus AI claims scored against evidence (dataset) (github.com/davegoldblatt)
		46 points by davegoldblatt 28 minutes ago \| hide \| 20 comments
2.		MacBook Pro with M5 Pro and M5 Max (apple.com)
		665 points by scrlk 11 hours ago \| hide \| 654 comments
3.		Lenovo's New ThinkPads Score 10/10 for Repairability (ifixit.com)
		172 points by wrxd 2 hours ago \| hide \| 52 comments
4.		Voxile: A ray-traced game made in its own engine and programming language (elbowgreasegames.substack.com)
		102 points by spacemarine1 4 hours ago \| hide \| 16 comments
5.		Intel's make-or-break 18A process node debuts for data center with 288-core Xeon (tomshardware.com)
		244 points by vanburen 7 hours ago \| hide \| 192 comments
6.		Claude's Cycles [pdf] (stanford.edu)
		464 points by fs123 15 hours ago \| hide \| 210 comments
7.		Textadept (orbitalquark.github.io)
		66 points by giancarlostoro 4 hours ago \| hide \| 12 comments
8.		GPT‑5.3 Instant (openai.com)
		291 points by meetpateltech 8 hours ago \| hide \| 218 comments
9.		An Interactive Intro to CRDTs (2023) (jakelazaroff.com)
		95 points by evakhoury 6 hours ago \| hide \| 15 comments
10.		Claude's Cycles [pdf] (stanford.edu)
		11 points by cebert 1 hour ago \| hide \| 1 comment
11.		Time, Space, and Life as We Know It (2017) (raganwald.com)
		9 points by vismit2000 1 hour ago \| hide \| discuss
12.		When AI writes the software, who verifies it? (leodemoura.github.io)
		140 points by todsacerdoti 9 hours ago \| hide \| 133 comments
13.		The Xkcd thing, now interactive (p5js.org)
		1144 points by memalign 15 hours ago \| hide \| 153 comments
14.		Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
		70 points by atarus 11 hours ago \| hide \| 19 comments
15.		You can't use a code editor when you're under 18 now? (mastodon.online)
		30 points by pabs3 1 hour ago \| hide \| 8 comments
16.		What’s in a name? (2014) (sailsandcommas.com)
		10 points by Curiositry 2 hours ago \| hide \| 1 comment
17.		We've freed Cookie's Bustle from copyright hell (gamehistory.org)
		91 points by sb057 5 hours ago \| hide \| 10 comments
18.		Don't become an engineering manager (manager.dev)
		307 points by flail 11 hours ago \| hide \| 223 comments
19.		Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (youtube.com)
		424 points by pcdavid 10 hours ago \| hide \| 67 comments
20.		TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
		74 points by matt_d 9 hours ago \| hide \| 9 comments
21.		130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
		5 points by PaulHoule 2 hours ago \| hide \| discuss
22.		Don't make me talk to your chatbot (raymyers.org)
		213 points by pkilgore 3 hours ago \| hide \| 167 comments
23.		Disable Your SSH access accidentally with scp (sny.sh)
		99 points by zdw 10 hours ago \| hide \| 47 comments
24.		MacBook Air with M5 (apple.com)
		373 points by Garbage 11 hours ago \| hide \| 419 comments
25.		Possible US Government iPhone-Hacking Toolkit in foreign spy and criminal hands (wired.com)
		189 points by alwillis 6 hours ago \| hide \| 59 comments
26.		I'm reluctant to verify my identity or age for any online services (neilzone.co.uk)
		880 points by speckx 11 hours ago \| hide \| 543 comments
27.		Talos: Hardware accelerator for deep convolutional neural networks (talos.wtf)
		43 points by llamatheollama 2 hours ago \| hide \| 16 comments
28.		I'm losing the SEO battle for my own open source project (twitter.com/gavriel_cohen)
		447 points by devinitely 12 hours ago \| hide \| 225 comments
29.		Meta’s AI smart glasses and data privacy concerns (svd.se)
		1371 points by sandbach 1 day ago \| hide \| 772 comments
30.		TV's TV (1987) & TV Games Encyclopedia (1988) (gingerbeardman.com)
		11 points by msephton 3 hours ago \| hide \| discuss
		More