Hacker News

1.		Mathematics Distillation Challenge – Equational Theories (terrytao.wordpress.com)
		35 points by picafrost 3 hours ago \| hide \| 1 comment
2.		Ageless Linux – Software for humans of indeterminate age (agelesslinux.org)
		454 points by nateb2022 6 hours ago \| hide \| 305 comments
3.		Tree Search Distillation for Language Models Using PPO (ayushtambde.com)
		36 points by at2005 4 hours ago \| hide \| 1 comment
4.		SBCL Fibers – Lightweight Cooperative Threads (atgreen.github.io)
		58 points by anonzzzies 5 hours ago \| hide \| 6 comments
5.		Show HN: Han – A Korean programming language written in Rust (github.com/xodn348)
		129 points by xodn348 7 hours ago \| hide \| 81 comments
6.		How Kernel Anti-Cheats Work (s4dbrd.github.io)
		86 points by davikr 4 hours ago \| hide \| 65 comments
7.		Bumblebee queens breathe underwater to survive drowning (smithsonianmag.com)
		88 points by 1659447091 8 hours ago \| hide \| 22 comments
8.		Launching the Claude Partner Network (anthropic.com)
		114 points by gmays 7 hours ago \| hide \| 50 comments
9.		Allow me to get to know you, mistakes and all (sebi.io)
		57 points by sebi_io 6 hours ago \| hide \| 15 comments
10.		Airbus is preparing two uncrewed combat aircraft (airbus.com)
		108 points by phasnox 5 hours ago \| hide \| 56 comments
11.		Fedora 44 on the Raspberry Pi 5 (nullr0ute.com)
		79 points by jandeboevrie 9 hours ago \| hide \| 21 comments
12.		Marketing for Founders (github.com/edostra)
		144 points by jimsojim 9 hours ago \| hide \| 55 comments
13.		Library of Short Stories (libraryofshortstories.com)
		58 points by debo_ 8 hours ago \| hide \| 1 comment
14.		Show HN: GrobPaint: Somewhere Between MS Paint and Paint.net (github.com/groverburger)
		33 points by __grob 6 hours ago \| hide \| 3 comments
15.		A Recursive Algorithm to Render Signed Distance Fields (pointersgonewild.com)
		70 points by surprisetalk 9 hours ago \| hide \| 5 comments
16.		Learning Creative Coding (stigmollerhansen.dk)
		60 points by ammerfest 6 hours ago \| hide \| 22 comments
17.		A look inside Dialector, filmmaker Chris Marker's chatbot from 1988 (kubicki.org)
		14 points by kosmavision 3 hours ago \| hide \| discuss
18.		Baochip-1x: What it is, why I'm doing it now and how it came about (crowdsupply.com)
		293 points by timhh 20 hours ago \| hide \| 58 comments
19.		An unappetizing shrub became different vegetables (worksinprogress.news)
		5 points by bensouthwood 2 hours ago \| hide \| 1 comment
20.		Postgres with Builtin File Systems (db9.ai)
		51 points by ngaut 7 hours ago \| hide \| 13 comments
21.		Show HN: Ichinichi – One note per day, E2E encrypted, local-first
		84 points by katspaugh 10 hours ago \| hide \| 28 comments
22.		An ode to bzip (purplesyringa.moe)
		109 points by signa11 12 hours ago \| hide \| 66 comments
23.		Montana passes Right to Compute act (2025) (westernmt.news)
		255 points by bilsbie 14 hours ago \| hide \| 223 comments
24.		Python: The Optimization Ladder (cemrehancavdar.com)
		292 points by Twirrim 19 hours ago \| hide \| 105 comments
25.		Changes to OpenTTD Distribution on Steam (openttd.org)
		136 points by canpan 6 hours ago \| hide \| 94 comments
26.		Treasure hunter freed from jail after refusing to turn over shipwreck gold (bbc.com)
		42 points by tartoran 2 hours ago \| hide \| 47 comments
27.		1M context is now generally available for Opus 4.6 and Sonnet 4.6 (claude.com)
		1140 points by meetpateltech 1 day ago \| hide \| 485 comments
28.		Starlink militarization and its impact on global strategic stability (2023) (csis.org)
		147 points by msuniverse2026 19 hours ago \| hide \| 191 comments
29.		Show HN: GitAgent – An open standard that turns any Git repo into an AI agent (gitagent.sh)
		105 points by sivasurend 15 hours ago \| hide \| 15 comments
30.		Megadev: A Development Kit for the Sega Mega Drive and Mega CD Hardware (github.com/drojaazu)
		119 points by XzetaU8 19 hours ago \| hide \| 7 comments
		More