Hacker News

1.		Kimi K3.1 Pro and K3.1 Pro Highspeed (kimi.ai)
		338 points by Jowsey 2 hours ago \| hide \| 171 comments
2.		Today, we hacked what we'd set out to hack: the iPhone (calif.io)
		456 points by pavel_lishin 2 hours ago \| hide \| 294 comments
3.		Apple Music 404 Not Found (music.apple.com)
		100 points by frizlab 1 hour ago \| hide \| 28 comments
4.		Local Wikipedia: Wikipedia, but only for things a half hour walk from you (edjefferson.com)
		1022 points by sohkamyung 13 hours ago \| hide \| 202 comments
5.		UUIDv7 doesn't have the properties you think it does (alexsci.com)
		50 points by ibobev 2 hours ago \| hide \| 28 comments
6.		The Real Kevin Bacon (pudding.cool)
		101 points by xnx 3 hours ago \| hide \| 33 comments
7.		I turned my TV into a Game Boy Color with a Pokemon town as my home screen (twitter.com/robbietilton)
		18 points by scrambled 1 hour ago \| hide \| 5 comments
8.		The Missed Opportunities of Sonic 06 (isaacmarovitz.com)
		39 points by ibobev 2 hours ago \| hide \| 3 comments
9.		Canadians are running out of time to oppose Bill C-22 (eff.org)
		130 points by hn_acker 7 hours ago \| hide \| 45 comments
10.		How Is Music Possible (henrikkarlsson.xyz)
		31 points by rafaelc 2 hours ago \| hide \| 19 comments
11.		Time Nuts (2005) (leapsecond.com)
		18 points by jacquesm 1 hour ago \| hide \| 11 comments
12.		Show HN: Impossible Machines: declaratively program the physical world (impossiblemachines.xyz)
		28 points by bhaprayan 3 hours ago \| hide \| 3 comments
13.		LISP Comes of Age (1980) (microship.com)
		34 points by so-cal-schemer 3 hours ago \| hide \| 13 comments
14.		Docker is weird (codeandcake.dev)
		789 points by psxuaw 19 hours ago \| hide \| 320 comments
15.		Total Historian (theideasletter.org)
		15 points by benbreen 2 hours ago \| hide \| 1 comment
16.		Show HN: Swurf – Swipe through the real web (swurf.org)
		17 points by webtjb096 2 hours ago \| hide \| 3 comments
17.		Animations for System Builders (brooker.co.za)
		7 points by KraftyOne 1 hour ago \| hide \| 1 comment
18.		Can we replace a $150k Looker with a bucket of HTML files? (lequin.dev)
		41 points by skadamat 1 hour ago \| hide \| 25 comments
19.		Show HN: Searching for optimal strategies in a puzzle game with chance (Drop7) (drop7.dev)
		6 points by primitivesuave 1 hour ago \| hide \| discuss
20.		Gemma-4-26B-A4B with 39-69% less thinking at same accuracy (bottlecapai.com)
		58 points by armcat 4 hours ago \| hide \| 6 comments
21.		Job loss and cortisone mania (tilschuenemann.de)
		137 points by speckx 8 hours ago \| hide \| 69 comments
22.		Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?
		476 points by ex-aws-dude 21 hours ago \| hide \| 525 comments
23.		The foolishness of "natural language programming" (1978) (utexas.edu)
		334 points by xiaoyu2006 18 hours ago \| hide \| 224 comments
24.		Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key (github.com/dsmurrell)
		176 points by dsmurrell 14 hours ago \| hide \| 74 comments
25.		Air Purifiers as White Noise Machines (jefftk.com)
		9 points by luu 1 hour ago \| hide \| 7 comments
26.		The alien space of science: Coherent but cognitively unavailable directions (arxiv.org)
		185 points by martincsweiss 13 hours ago \| hide \| 70 comments
27.		OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com/nvidia)
		482 points by niemandhier 1 day ago \| hide \| 206 comments
28.		We have traits at home (axelmagn.com)
		31 points by Ygg2 5 hours ago \| hide \| 8 comments
29.		How does Fable 5.1 hide messages in images? (lesswrong.com)
		182 points by gmays 14 hours ago \| hide \| 63 comments
30.		LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
		429 points by johnbender 20 hours ago \| hide \| 267 comments
		More