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