Hacker News new | ask | show | jobs
1.
Twenty Years of RISC OS Open (riscosopen.org)
84 points by AlexeyBrin 3 hours ago | 14 comments
2.
F*: A general-purpose proof-oriented programming language (fstar-lang.org)
63 points by ducktective 3 hours ago | 21 comments
3.
How the words we teach English language learners changed (pudding.cool)
7 points by c-oreills 30 minutes ago | 1 comments
4.
Meshdiff – visually compare two STL versions in the browser, client-side (meshdiff.com)
117 points by projscope 4 hours ago | 13 comments
5.
Fasttracker II clone in C using SDL 2 (16-bits.org)
41 points by andsoitis 4 days ago | 8 comments
6.
Folding Paper Globes (foldingglobes.com)
62 points by dango2506 4 days ago | 8 comments
7.
Show HN: Bor – Open-source policy management for Linux desktops (getbor.dev)
122 points by eniac111 7 hours ago | 17 comments
8.
Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge (publicdomainreview.org)
83 points by jruohonen 5 hours ago | 22 comments
9.
A Rant About “Technology” (2005) (ursulakleguin.com)
80 points by jamesgill 1 hour ago | 32 comments
10.
Show HN: Fuse – statically typed functional programming language (fuselang.org)
55 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)
248 points by tomilan 14 hours ago | 79 comments
13.
Norway Salmon (abc.net.au)
39 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)
86 points by ingve 2 days ago | 17 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)
439 points by ryanseys 19 hours ago | 51 comments
18.
Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores (github.com)
57 points by quambo 6 hours ago | 21 comments
19.
MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)
85 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 | 85 comments
21.
Seedance 2.5 (seed.bytedance.com)
404 points by njaremko 19 hours ago | 224 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)
36 points by ta988 9 hours ago | 6 comments
24.
Running Kimi K3 on MI355X at Better Performance per Dollar Than B300 (wafer.ai)
176 points by ilreb 11 hours ago | 90 comments
25.
Wikimedia Foundation refuses union recognition, hires union-busting law firm (en.wikipedia.org)
249 points by akolbe 4 hours ago | 219 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)
62 points by brianzelip 3 days ago | 7 comments
28.
Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific (science.org)
88 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 | 44 comments
30.
When random.bytes() runs but doesn't work (insider.btcpp.dev)
84 points by Funes- 14 hours ago | 43 comments