Fasttracker II clone in C using SDL 2
Translating...
(16-bits.org)
41 points by andsoitis 2026-07-29 14:47:22 | 8 comments
F*: A general-purpose proof-oriented programming language
Translating...
(fstar-lang.org)
62 points by ducktective 2026-08-02 20:31:16 | 21 comments
Twenty Years of RISC OS Open
Translating...
(www.riscosopen.org)
84 points by AlexeyBrin 2026-08-02 20:36:07 | 13 comments
Show HN: Bor – Open-source policy management for Linux desktops
Translating...
(getbor.dev)
122 points by eniac111 2026-08-02 17:06:33 | 17 comments
Meshdiff – visually compare two STL versions in the browser, client-side
Translating...
(meshdiff.com)
115 points by projscope 2026-08-02 19:34:41 | 13 comments
Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge
Translating...
(publicdomainreview.org)
82 points by jruohonen 2026-08-02 18:18:24 | 22 comments
A Rant About “Technology” (2005)
Translating...
(www.ursulakleguin.com)
79 points by jamesgill 2026-08-02 22:51:18 | 31 comments
Folding Paper Globes
Translating...
(foldingglobes.com)
61 points by dango2506 2026-07-29 13:53:00 | 7 comments
How the words we teach English language learners changed
Translating...
(pudding.cool)
5 points by c-oreills 2026-08-02 23:41:08 | 1 comments
Show HN: Fuse – statically typed functional programming language
Translating...
(fuselang.org)
54 points by the_unproven 2026-08-02 19:23:56 | 9 comments