fp.

CP/M-386 – CP/M for 386 protected mode, derived from CP/M‑68K

https://github.com/johnsonjh/cpm386

32•TMWNN•2h ago•8 comments

Qwen 3.8 Max Live Now

https://www.qwencloud.com/models/qwen3.8-max

13•zkmon•22m ago•0 comments

Why Book Corners won't sync contributions back to OpenStreetMap

https://www.andreagrandi.it/posts/why-book-corners-wont-sync-contributions-back-to-openstreetmap/

47•pizzaiolo•2h ago•26 comments

Karpathy’s Pelican

https://twitter.com/karpathy/status/2083749667410727319

453•delichon•22h ago•350 comments

Show HN: Isopolis – isometric pixel map of SF

https://sf.isopolis.city/

36•nuwandavek•1h ago•11 comments

RFC 9851: TLS 1.2 is in Feature Freeze

https://www.rfc-editor.org/rfc/rfc9851.html

14•Jimmc414•1h ago•3 comments

Show HN: ssh ssh.place

https://ssh.place

30•jeninh•2h ago•13 comments

Autoregressive Language Model on the 6502 Processor

https://mattbeton.com/blog/bitnet-6502.html

64•nmstoker•2d ago•6 comments

Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM

https://github.com/wie-project/kakehashi

186•vlad_kalinkin•10h ago•40 comments

Note-Taking and Personal Knowledge Management

https://unattributed.cc/note-taking-and-personal-knowledge-management

139•surprisetalk•5d ago•41 comments

SwiftUI After 7 Years

https://ykvm.com/2026/07/swiftui-a-story-of-mediocrity/

115•mpweiher•7h ago•100 comments

Developers are attached to tools because tools encode trust

https://stackoverflow.blog/2026/07/29/developers-are-attached-to-tools-because-tools-encode-trust/

161•HieronymusBosch•4d ago•85 comments

Read the Novels and Forget Everything Else

https://hedgehogreview.com/web-features/thr/posts/read-the-novels-and-forget-everything-else

61•samclemens•2d ago•28 comments

The Computational Theory of Mind (2015)

https://plato.stanford.edu/entries/computational-mind/

34•cyanregiment•4h ago•12 comments

How the words we teach English language learners changed

https://pudding.cool/2026/07/essential-words/

193•c-oreills•10h ago•133 comments

Show HN: Mu – Tools for Agents

https://github.com/micro/mu

36•asim•4h ago•10 comments

Show HN: Make your Framework 12 sound like a creaky door

https://github.com/ArcaEge/creakwork12

57•arcaege•6h ago•7 comments

Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark

https://github.com/graham33/nixos-dgx-spark

99•graham33•9h ago•29 comments

TinyNES Review – A Super Niche NES Console

https://blog.lon.tv/2023/02/05/tinynes-review-a-super-niche-nes-console/

36•throwoutway•6h ago•6 comments

F*: A general-purpose proof-oriented programming language

https://fstar-lang.org/

159•ducktective•14h ago•69 comments

Twenty Years of RISC OS Open

https://www.riscosopen.org/news/articles/2026/06/20/twenty-years-of-risc-os-open

153•AlexeyBrin•14h ago•29 comments

Show HN: Shitty – fast terminal. Memory-unsafe and faster than yours

https://github.com/pg83/shitty

88•pshirshov•3h ago•88 comments

Californians' data deletion requests, DROP, become enforceable Aug. 1

https://www.nbcsandiego.com/nbc-7-responds-2/californians-data-deletion-requests-drop-become-enfo...

96•MilnerRoute•4h ago•39 comments

A tool for finding the causes of unstable Python tests

https://github.com/mgaitan/pytest-leak-finder

15•pomponchik•3d ago•0 comments

When transit passes were designed by hand (2022)

https://letterformarchive.org/news/milwaukee-transit-passes/

109•nate•2d ago•28 comments

My personal AI benchmark: "Generate an SVG of a frog with a Habsburg jaw."

https://frogs.vaguespac.es/

111•thebigship•6h ago•52 comments

Playing with Georgia

https://mighil.com/playing-with-georgia

11•surprisetalk•4d ago•6 comments

The Myth of Snow Leopard

https://www.rubenerd.au/the-myth-of-snow-leopard/

45•speckx•8h ago•42 comments

Sharing an X11 Server Across Hosts with FamilyWild

https://dobrowolski.dev/article/sharing-an-x-server-across-hosts-with-familywild/

36•shirozuki•6h ago•10 comments

'Crush this lady': how eBay harassment campaign led to $56M payout

https://www.ft.com/content/06ec1b03-d4af-40cf-b12a-4ba5a410f6d2

194•JumpCrisscross•7h ago•94 comments

Open in hackernews

Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof

https://philarchive.org/rec/NIEWTC

11•gone35•2h ago

Comments

defrost•21m ago

(dupe) OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]

  (https://philarchive.org/archive/NIEWTCv17)
  32 points|muglug|23 hours ago|37 comments

~ https://news.ycombinator.com/item?id=49140869

raver1975•9m ago

I'm going to believe that both results are true, while simultaneously being not true.