Hacker News

1.		Diode – Build, program, and simulate hardware (withdiode.com)
		110 points by rossant 5 hours ago \| hide \| 20 comments
2.		Terence Tao, at 8 years old (1984) [pdf] (gwern.net)
		301 points by gurjeet 9 hours ago \| hide \| 167 comments
3.		Show HN: enveil – hide your .env secrets from prAIng eyes (github.com/greatscott)
		96 points by parkaboy 6 hours ago \| hide \| 56 comments
4.		ΛProlog: Logic programming in higher-order logic (polytechnique.fr)
		13 points by ux266478 2 hours ago \| hide \| discuss
5.		I Ported Coreboot to the ThinkPad X270 (dork.dev)
		211 points by todsacerdoti 12 hours ago \| hide \| 39 comments
6.		Firefox 148 Launches with AI Kill Switch Feature and More Enhancements (serverhost.com)
		298 points by shaunpud 6 hours ago \| hide \| 246 comments
7.		A distributed queue in a single JSON file on object storage (turbopuffer.com)
		25 points by Sirupsen 3 hours ago \| hide \| 9 comments
8.		Show HN: X86CSS – An x86 CPU emulator written in CSS (lyra.horse)
		154 points by rebane2001 9 hours ago \| hide \| 55 comments
9.		Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows (medicalxpress.com)
		283 points by wglb 8 hours ago \| hide \| 110 comments
10.		The Age Verification Trap: Verifying age undermines everyone's data protection (ieee.org)
		1492 points by oldnetguy 21 hours ago \| hide \| 1146 comments
11.		Show HN: Steerling-8B, a language model that can explain any token it generates (guidelabs.ai)
		186 points by adebayoj 11 hours ago \| hide \| 45 comments
12.		The Missing Semester of Your CS Education – Revised for 2026 (csail.mit.edu)
		53 points by anishathalye 7 hours ago \| hide \| 4 comments
13.		Making Wolfram tech available as a foundation tool for LLM systems (stephenwolfram.com)
		188 points by surprisetalk 13 hours ago \| hide \| 106 comments
14.		Unsung heroes: Flickr's URLs scheme (aresluna.org)
		98 points by onli 9 hours ago \| hide \| 32 comments
15.		UNIX99, a UNIX-like OS for the TI-99/4A (2025) (atariage.com)
		182 points by marcodiego 15 hours ago \| hide \| 56 comments
16.		“Car Wash” test with 53 models (opper.ai)
		251 points by felix089 15 hours ago \| hide \| 312 comments
17.		Intel XeSS 3: expanded support for Core Ultra/Core Ultra 2 and Arc A, B series (intel.com)
		41 points by nateb2022 7 hours ago \| hide \| 32 comments
18.		A simple web we own (rsdoiel.github.io)
		258 points by speckx 19 hours ago \| hide \| 173 comments
19.		Graph Topology and Battle Royale Mechanics (lukesalamone.com)
		15 points by salamo 4 hours ago \| hide \| 1 comment
20.		Genetic underpinnings of chills from art and music (plos.org)
		34 points by coloneltcb 7 hours ago \| hide \| 14 comments
21.		Show HN: PgDog – Scale Postgres without changing the app (github.com/pgdogdev)
		276 points by levkk 19 hours ago \| hide \| 53 comments
22.		Ladybird adopts Rust, with help from AI (ladybird.org)
		1188 points by adius 1 day ago \| hide \| 659 comments
23.		Show HN: Cellarium: A Playground for Cellular Automata (github.com/andrewosh)
		23 points by andrewosh 5 hours ago \| hide \| discuss
24.		What it means that Ubuntu is using Rust (smallcultfollowing.com)
		151 points by zdw 18 hours ago \| hide \| 188 comments
25.		Typed Assembly Language (2000) (cornell.edu)
		42 points by luu 9 hours ago \| hide \| 17 comments
26.		Writing code is cheap now (simonwillison.net)
		211 points by swolpers 18 hours ago \| hide \| 275 comments
27.		The Righteous EV Owners Who Won't Let Their Broken Cars Die (wired.com)
		6 points by quapster 54 minutes ago \| hide \| discuss
28.		Hetzner Prices increase 30-40% (hetzner.com)
		225 points by williausrohr 1 day ago \| hide \| 527 comments
29.		FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me (vladimir.varank.in)
		379 points by varankinv 14 hours ago \| hide \| 307 comments
30.		SIM (YC X25) Is Hiring the Best Engineers in San Francisco (ycombinator.com)
		14 hours ago \| hide
		More