Hacker News

1.		Twenty Years of RISC OS Open (riscosopen.org)
		57 points by AlexeyBrin 2 hours ago \| hide \| 9 comments
2.		F*: A general-purpose proof-oriented programming language (fstar-lang.org)
		32 points by ducktective 2 hours ago \| hide \| 7 comments
3.		Meshdiff – visually compare two STL versions in the browser, client-side (meshdiff.com)
		96 points by projscope 3 hours ago \| hide \| 11 comments
4.		The Seinfeld Chronicles: Digital Edition (visualisingdata.com)
		11 points by wallflower 41 minutes ago \| hide \| 1 comment
5.		Show HN: Bor – Open-source policy management for Linux desktops (getbor.dev)
		103 points by eniac111 5 hours ago \| hide \| 17 comments
6.		Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge (publicdomainreview.org)
		69 points by jruohonen 4 hours ago \| hide \| 8 comments
7.		Fasttracker II clone in C using SDL 2 (16-bits.org)
		16 points by andsoitis 2 hours ago \| hide \| 3 comments
8.		Show HN: Fuse – statically typed functional programming language (fuselang.org)
		41 points by the_unproven 3 hours ago \| hide \| 6 comments
9.		Folding Paper Globes (foldingglobes.com)
		34 points by dango2506 3 hours ago \| hide \| 2 comments
10.		Go 1.27 Interactive Tour (victoriametrics.com)
		283 points by Hixon10 13 hours ago \| hide \| 130 comments
11.		Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores (github.com/syncular)
		51 points by quambo 5 hours ago \| hide \| 20 comments
12.		Great Question (YC W21) Is Hiring Senior Demand Gen Manager (ycombinator.com)
		2 hours ago \| hide
13.		Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built (github.com/tom-ilan)
		228 points by tomilan 12 hours ago \| hide \| 74 comments
14.		Holocloth (holocloth.vercel.app)
		67 points by ingve 8 hours ago \| hide \| 14 comments
15.		Seedance 2.5 (bytedance.com)
		395 points by njaremko 18 hours ago \| hide \| 210 comments
16.		Diátaxis (diataxis.fr)
		422 points by ryanseys 18 hours ago \| hide \| 50 comments
17.		MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)
		76 points by goldenskye 11 hours ago \| hide \| 6 comments
18.		Show HN: Katharos Functional programming and CSP-style concurrency for Python (github.com/kamalfarahani)
		16 points by kamalf 4 hours ago \| hide \| 2 comments
19.		US Treasury undertakes historic intervention in yen market (ft.com)
		101 points by 23pointsNorth 4 hours ago \| hide \| 59 comments
20.		Rust All Hands 2026 Retrospective (rust-lang.org)
		17 points by dcminter 4 hours ago \| hide \| 3 comments
21.		I made a Promise-aware debounce and throttle library for TypeScript (github.com/nyvexis1)
		9 points by slimy74 3 hours ago \| hide \| 4 comments
22.		Running Kimi K3 on MI355X at Better Performance per Dollar Than B300 (wafer.ai)
		170 points by ilreb 10 hours ago \| hide \| 87 comments
23.		ESP32-C3 SuperMini antenna modification (peterneufeld.wordpress.com)
		24 points by ta988 8 hours ago \| hide \| 4 comments
24.		Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific (science.org)
		85 points by pkaeding 12 hours ago \| hide \| 40 comments
25.		Wikimedia Foundation refuses union recognition, hires union-busting law firm (wikipedia.org)
		206 points by akolbe 3 hours ago \| hide \| 181 comments
26.		ASRock BC-250: Building the Budget Steam Machine (plug-world.com)
		93 points by plug_world 13 hours ago \| hide \| 36 comments
27.		A big win for Android interoperability (openhomefoundation.org)
		182 points by soheilpro 12 hours ago \| hide \| 137 comments
28.		When random.bytes() runs but doesn't work (btcpp.dev)
		73 points by Funes- 12 hours ago \| hide \| 36 comments
29.		Elena, a library for building Progressive Web Components (elenajs.com)
		53 points by brianzelip 11 hours ago \| hide \| 4 comments
30.		Cyberscript (cyberscript.dev)
		40 points by dtj1123 7 hours ago \| hide \| 41 comments
		More