Hacker News

1.		Diode – Build, program, and simulate hardware (withdiode.com)
		208 points by rossant 7 hours ago \| hide \| 42 comments
2.		λProlog: Logic programming in higher-order logic (polytechnique.fr)
		57 points by ux266478 4 hours ago \| hide \| 12 comments
3.		Terence Tao, at 8 years old (1984) [pdf] (gwern.net)
		354 points by gurjeet 11 hours ago \| hide \| 193 comments
4.		Goodbye InnerHTML, Hello SetHTML: Stronger XSS Protection in Firefox 148 (hacks.mozilla.org)
		42 points by todsacerdoti 54 minutes ago \| hide \| 7 comments
5.		A distributed queue in a single JSON file on object storage (turbopuffer.com)
		52 points by Sirupsen 5 hours ago \| hide \| 19 comments
6.		The Missing Semester of Your CS Education – Revised for 2026 (csail.mit.edu)
		115 points by anishathalye 9 hours ago \| hide \| 25 comments
7.		Show HN: enveil – hide your .env secrets from prAIng eyes (github.com/greatscott)
		128 points by parkaboy 8 hours ago \| hide \| 78 comments
8.		I Ported Coreboot to the ThinkPad X270 (dork.dev)
		238 points by todsacerdoti 14 hours ago \| hide \| 46 comments
9.		Show HN: X86CSS – An x86 CPU emulator written in CSS (lyra.horse)
		178 points by rebane2001 11 hours ago \| hide \| 63 comments
10.		Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows (medicalxpress.com)
		327 points by wglb 10 hours ago \| hide \| 128 comments
11.		The Age Verification Trap: Verifying age undermines everyone's data protection (ieee.org)
		1533 points by oldnetguy 23 hours ago \| hide \| 1178 comments
12.		Show HN: Steerling-8B, a language model that can explain any token it generates (guidelabs.ai)
		225 points by adebayoj 13 hours ago \| hide \| 67 comments
13.		Firefox 148 Launches with AI Kill Switch Feature and More Enhancements (serverhost.com)
		338 points by shaunpud 8 hours ago \| hide \| 287 comments
14.		Unsung heroes: Flickr's URLs scheme (aresluna.org)
		138 points by onli 11 hours ago \| hide \| 56 comments
15.		Making Wolfram tech available as a foundation tool for LLM systems (stephenwolfram.com)
		215 points by surprisetalk 15 hours ago \| hide \| 119 comments
16.		“Car Wash” test with 53 models (opper.ai)
		285 points by felix089 17 hours ago \| hide \| 358 comments
17.		Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r (github.com/firebirdsql)
		15 points by mariuz 4 hours ago \| hide \| 2 comments
18.		UNIX99, a UNIX-like OS for the TI-99/4A (2025) (atariage.com)
		192 points by marcodiego 17 hours ago \| hide \| 59 comments
19.		Graph Topology and Battle Royale Mechanics (lukesalamone.com)
		27 points by salamo 6 hours ago \| hide \| 1 comment
20.		Intel XeSS 3: expanded support for Core Ultra/Core Ultra 2 and Arc A, B series (intel.com)
		50 points by nateb2022 9 hours ago \| hide \| 36 comments
21.		ATAboy is a USB adapter for legacy CHS only style IDE (PATA) drives (github.com/redrum0381)
		28 points by zdw 7 hours ago \| hide \| 27 comments
22.		Show HN: PgDog – Scale Postgres without changing the app (github.com/pgdogdev)
		290 points by levkk 21 hours ago \| hide \| 54 comments
23.		A simple web we own (rsdoiel.github.io)
		269 points by speckx 21 hours ago \| hide \| 194 comments
24.		Hetzner Prices increase 30-40% (hetzner.com)
		298 points by williausrohr 1 day ago \| hide \| 546 comments
25.		Show HN: Cellarium: A Playground for Cellular Automata (github.com/andrewosh)
		31 points by andrewosh 7 hours ago \| hide \| discuss
26.		Writing code is cheap now (simonwillison.net)
		254 points by swolpers 20 hours ago \| hide \| 326 comments
27.		Ladybird adopts Rust, with help from AI (ladybird.org)
		1207 points by adius 1 day ago \| hide \| 673 comments
28.		Discord cuts ties with Peter Thiel-backed verification software (fortune.com)
		22 points by robtherobber 1 hour ago \| hide \| 3 comments
29.		Genetic underpinnings of chills from art and music (plos.org)
		49 points by coloneltcb 9 hours ago \| hide \| 21 comments
30.		What I Learned After Building 3 TV Apps Coming from Mobile (dinkomarinac.dev)
		39 points by dinko7 1 hour ago \| hide \| 42 comments
		More