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