Hacker News

1.		Twenty Years of RISC OS Open (riscosopen.org)
		81 points by AlexeyBrin 3 hours ago \| hide \| 12 comments
2.		F*: A general-purpose proof-oriented programming language (fstar-lang.org)
		61 points by ducktective 3 hours ago \| hide \| 17 comments
3.		Meshdiff – visually compare two STL versions in the browser, client-side (meshdiff.com)
		114 points by projscope 4 hours ago \| hide \| 13 comments
4.		Show HN: Bor – Open-source policy management for Linux desktops (getbor.dev)
		121 points by eniac111 6 hours ago \| hide \| 17 comments
5.		Folding Paper Globes (foldingglobes.com)
		60 points by dango2506 4 hours ago \| hide \| 5 comments
6.		Fasttracker II clone in C using SDL 2 (16-bits.org)
		38 points by andsoitis 3 hours ago \| hide \| 6 comments
7.		Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge (publicdomainreview.org)
		82 points by jruohonen 5 hours ago \| hide \| 21 comments
8.		A Rant About “Technology” (2005) (ursulakleguin.com)
		74 points by jamesgill 1 hour ago \| hide \| 27 comments
9.		Show HN: Fuse – statically typed functional programming language (fuselang.org)
		53 points by the_unproven 4 hours ago \| hide \| 9 comments
10.		Go 1.27 Interactive Tour (victoriametrics.com)
		297 points by Hixon10 14 hours ago \| hide \| 145 comments
11.		Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built (github.com/tom-ilan)
		247 points by tomilan 13 hours ago \| hide \| 79 comments
12.		Norway Salmon (abc.net.au)
		36 points by CHB0403085482 5 hours ago \| hide \| 3 comments
13.		Great Question (YC W21) Is Hiring Senior Demand Gen Manager (ycombinator.com)
		3 hours ago \| hide
14.		Holocloth (holocloth.vercel.app)
		83 points by ingve 9 hours ago \| hide \| 16 comments
15.		Diátaxis (diataxis.fr)
		437 points by ryanseys 19 hours ago \| hide \| 50 comments
16.		Rust All Hands 2026 Retrospective (rust-lang.org)
		33 points by dcminter 5 hours ago \| hide \| 11 comments
17.		Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores (github.com/syncular)
		56 points by quambo 6 hours ago \| hide \| 20 comments
18.		Seedance 2.5 (bytedance.com)
		403 points by njaremko 19 hours ago \| hide \| 220 comments
19.		MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)
		81 points by goldenskye 12 hours ago \| hide \| 8 comments
20.		US Treasury undertakes historic intervention in yen market (ft.com)
		127 points by 23pointsNorth 5 hours ago \| hide \| 80 comments
21.		Show HN: Katharos Functional programming and CSP-style concurrency for Python (github.com/kamalfarahani)
		20 points by kamalf 5 hours ago \| hide \| 3 comments
22.		Wikimedia Foundation refuses union recognition, hires union-busting law firm (wikipedia.org)
		243 points by akolbe 4 hours ago \| hide \| 206 comments
23.		ESP32-C3 SuperMini antenna modification (peterneufeld.wordpress.com)
		35 points by ta988 9 hours ago \| hide \| 6 comments
24.		Running Kimi K3 on MI355X at Better Performance per Dollar Than B300 (wafer.ai)
		175 points by ilreb 11 hours ago \| hide \| 90 comments
25.		ASRock BC-250: Building the Budget Steam Machine (plug-world.com)
		95 points by plug_world 14 hours ago \| hide \| 38 comments
26.		Elena, a library for building Progressive Web Components (elenajs.com)
		60 points by brianzelip 12 hours ago \| hide \| 7 comments
27.		Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific (science.org)
		87 points by pkaeding 13 hours ago \| hide \| 43 comments
28.		Unraveling the mysteries of habit formation (kyoto-u.ac.jp)
		101 points by hhs 17 hours ago \| hide \| 43 comments
29.		Cyberscript (cyberscript.dev)
		41 points by dtj1123 8 hours ago \| hide \| 42 comments
30.		When random.bytes() runs but doesn't work (btcpp.dev)
		79 points by Funes- 13 hours ago \| hide \| 40 comments
		More