Hacker News

1.		7.1 Earthquake in Japan (jma.go.jp)
		470 points by krembo 6 hours ago \| hide \| 88 comments
2.		Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com/schildep)
		33 points by permute 53 minutes ago \| hide \| 13 comments
3.		New HIV vaccine shows unprecedented success in preclinical study (lji.org)
		67 points by codebyaditya 48 minutes ago \| hide \| 19 comments
4.		Show HN: tale.fyi, we deserve a home for fiction (tale.fyi)
		23 points by samuelcole 44 minutes ago \| hide \| 4 comments
5.		About the security content of macOS Tahoe 26.6 (support.apple.com)
		138 points by andor 4 hours ago \| hide \| 79 comments
6.		Google's Beyond Zero: Enterprise Security for the AI Era (acm.org)
		62 points by jordigg 4 hours ago \| hide \| 35 comments
7.		Kimi Linear: An Expressive, Efficient Attention Architecture (arxiv.org)
		45 points by ronfriedhaber 3 hours ago \| hide \| 6 comments
8.		Our position on open-weights models (anthropic.com)
		1038 points by surprisetalk 15 hours ago \| hide \| 1517 comments
9.		DMARC Has Been Public Since 2012. 68.4% of Domains Still Don't Enforce It (ciphercue.com)
		38 points by adulion 3 hours ago \| hide \| 21 comments
10.		How to Survive Boiling Water (taxa.substack.com)
		163 points by cainxinth 7 hours ago \| hide \| 24 comments
11.		Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings) (jfrog.com)
		21 points by 882542F3884314B 1 hour ago \| hide \| 7 comments
12.		Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs (github.com/ctrlb-hq)
		26 points by ruhani_grover 47 minutes ago \| hide \| 3 comments
13.		What AI developers could learn from Charles Bukowski? (galjot.si)
		14 points by sedovsek 1 hour ago \| hide \| 13 comments
14.		A $500 RL fine-tune of a 9B open model beat frontier models on catalog review (fermisense.com)
		250 points by ilreb 11 hours ago \| hide \| 80 comments
15.		Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser (scalatutorials.com)
		27 points by eranation 2 hours ago \| hide \| 4 comments
16.		Mondragon Corporation – a federation of co-operatives (wikipedia.org)
		67 points by brnt 1 hour ago \| hide \| 4 comments
17.		Solving Fermat: Andrew Wiles (pbs.org)
		4 points by 1970-01-01 1 hour ago \| hide \| discuss
18.		Many "serious" mathematicians are aghast (twitter.com/lemire)
		4 points by tosh 47 minutes ago \| hide \| 1 comment
19.		Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules (necroticgnome.com)
		8 points by doener 1 hour ago \| hide \| 1 comment
20.		Benchmarking Opus 5 on SlopCodeBench (github.com/humanlayer)
		343 points by dhorthy 15 hours ago \| hide \| 89 comments
21.		Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History (simpleflying.com)
		15 points by cainxinth 45 minutes ago \| hide \| 6 comments
22.		Usenet Archive Toolkit – process Usenet messages into a searchable archive (github.com/wolfpld)
		11 points by bilegeek 3 hours ago \| hide \| discuss
23.		Can LLMs identify 16 cards in 45 bit-queries? (snwagh.com)
		6 points by napping_penguin 1 hour ago \| hide \| discuss
24.		Show HN: Vivari – Open-Source WebContainer for Node, Bun, and Python (jamesisme.com)
		8 points by maitrungduc 1 hour ago \| hide \| 1 comment
25.		Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts (arsastronomica.com)
		91 points by sweisman 8 hours ago \| hide \| 25 comments
26.		Vehicle Motion Cues (support.apple.com)
		160 points by Austin_Conlon 12 hours ago \| hide \| 78 comments
27.		Show HN: Segue – Save context in one AI, load it in another by a short handle (segue.ai)
		8 points by csaguiar 1 hour ago \| hide \| 6 comments
28.		Watching Go's new garbage collector move through the heap (theconsensus.dev)
		250 points by matheusmoreira 20 hours ago \| hide \| 34 comments
29.		PyTorch: A Reference Language (pytorch.org)
		56 points by matt_d 9 hours ago \| hide \| 4 comments
30.		TWC Classics (twcclassics.com)
		27 points by stefanpie 7 hours ago \| hide \| 3 comments
		More