Hacker News

1.		Diode – Build, program, and simulate hardware (withdiode.com)
		168 points by rossant 6 hours ago \| hide \| 32 comments
2.		λProlog: Logic programming in higher-order logic (polytechnique.fr)
		41 points by ux266478 3 hours ago \| hide \| 3 comments
3.		Terence Tao, at 8 years old (1984) [pdf] (gwern.net)
		330 points by gurjeet 10 hours ago \| hide \| 177 comments
4.		A distributed queue in a single JSON file on object storage (turbopuffer.com)
		40 points by Sirupsen 4 hours ago \| hide \| 14 comments
5.		Show HN: enveil – hide your .env secrets from prAIng eyes (github.com/greatscott)
		113 points by parkaboy 7 hours ago \| hide \| 65 comments
6.		I Ported Coreboot to the ThinkPad X270 (dork.dev)
		222 points by todsacerdoti 12 hours ago \| hide \| 40 comments
7.		Show HN: X86CSS – An x86 CPU emulator written in CSS (lyra.horse)
		168 points by rebane2001 10 hours ago \| hide \| 60 comments
8.		Firefox 148 Launches with AI Kill Switch Feature and More Enhancements (serverhost.com)
		318 points by shaunpud 7 hours ago \| hide \| 266 comments
9.		The Missing Semester of Your CS Education – Revised for 2026 (csail.mit.edu)
		83 points by anishathalye 8 hours ago \| hide \| 15 comments
10.		Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows (medicalxpress.com)
		308 points by wglb 9 hours ago \| hide \| 115 comments
11.		The Age Verification Trap: Verifying age undermines everyone's data protection (ieee.org)
		1506 points by oldnetguy 22 hours ago \| hide \| 1164 comments
12.		Show HN: Steerling-8B, a language model that can explain any token it generates (guidelabs.ai)
		205 points by adebayoj 12 hours ago \| hide \| 57 comments
13.		Making Wolfram tech available as a foundation tool for LLM systems (stephenwolfram.com)
		204 points by surprisetalk 14 hours ago \| hide \| 111 comments
14.		Unsung heroes: Flickr's URLs scheme (aresluna.org)
		116 points by onli 10 hours ago \| hide \| 43 comments
15.		Intel XeSS 3: expanded support for Core Ultra/Core Ultra 2 and Arc A, B series (intel.com)
		45 points by nateb2022 8 hours ago \| hide \| 33 comments
16.		UNIX99, a UNIX-like OS for the TI-99/4A (2025) (atariage.com)
		187 points by marcodiego 16 hours ago \| hide \| 56 comments
17.		“Car Wash” test with 53 models (opper.ai)
		263 points by felix089 16 hours ago \| hide \| 336 comments
18.		ATAboy is a USB adapter for legacy CHS only style IDE (PATA) drives (github.com/redrum0381)
		23 points by zdw 6 hours ago \| hide \| 27 comments
19.		Genetic underpinnings of chills from art and music (plos.org)
		44 points by coloneltcb 8 hours ago \| hide \| 16 comments
20.		Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r (github.com/firebirdsql)
		7 points by mariuz 3 hours ago \| hide \| 2 comments
21.		A simple web we own (rsdoiel.github.io)
		264 points by speckx 20 hours ago \| hide \| 183 comments
22.		Show HN: PgDog – Scale Postgres without changing the app (github.com/pgdogdev)
		280 points by levkk 20 hours ago \| hide \| 53 comments
23.		Ladybird adopts Rust, with help from AI (ladybird.org)
		1195 points by adius 1 day ago \| hide \| 665 comments
24.		Writing code is cheap now (simonwillison.net)
		232 points by swolpers 19 hours ago \| hide \| 298 comments
25.		What it means that Ubuntu is using Rust (smallcultfollowing.com)
		157 points by zdw 19 hours ago \| hide \| 203 comments
26.		Show HN: Cellarium: A Playground for Cellular Automata (github.com/andrewosh)
		25 points by andrewosh 6 hours ago \| hide \| discuss
27.		Graph Topology and Battle Royale Mechanics (lukesalamone.com)
		20 points by salamo 5 hours ago \| hide \| 1 comment
28.		Hetzner Prices increase 30-40% (hetzner.com)
		252 points by williausrohr 1 day ago \| hide \| 534 comments
29.		Typed Assembly Language (2000) (cornell.edu)
		43 points by luu 10 hours ago \| hide \| 17 comments
30.		Show HN: Babyshark – Wireshark made easy (terminal UI for PCAPs) (github.com/vignesh07)
		127 points by eigen-vector 16 hours ago \| hide \| 43 comments
		More