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