Local Wikipedia: Wikipedia, but only for things a half hour walk from you

28 points • 11 comments • 8 hours ago • edjefferson.com

Docker is weird

349 points • 180 comments • 7 hours ago • codeandcake.dev

LLMs are making formal software verification feasible at a much larger scale

269 points • 159 comments • 8 hours ago • anthropic.com

This I Believe (1952)

52 points • 11 comments • 4 hours ago • awakin.org

OpenShell – A safe, private runtime for fleets of autonomous AI agents

360 points • 210 comments • 13 hours ago • github.com

The alien space of science: Coherent but cognitively unavailable directions

11 points • 2 comments • 17 hours ago • arxiv.org

Every AI model has the same "controversial" take on humans

339 points • 410 comments • 15 hours ago • modelcompare.ai

Run full iOS 16.5 firmware on Android Devices

387 points • 142 comments • 15 hours ago • github.com

The foolishness of "natural language programming" (1978)

103 points • 70 comments • 6 hours ago • cs.utexas.edu

Jank – The native Clojure dialect with seamless C++ interop

68 points • 6 comments • 7 hours ago • jank-lang.org

Getting ready to operate GNU Taler in Germany

255 points • 106 comments • 14 hours ago • taler.net

Quad9 to exit France

1122 points • 416 comments • 16 hours ago • quad9.net

WorldTUI: I trained a 360M model to pretend to be a terminal

521 points • 177 comments • 1 day ago • simedw.com

Color Names

47 points • 6 comments • 3 days ago • names.color.pizza

Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key

13 points • 6 comments • 17 hours ago • github.com

Postgres recovery_prefetch can cause outages

32 points • 2 comments • 1 day ago • ardentperf.com

Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.

486 points • 215 comments • 21 hours ago

Why my Asus laptop kept rebooting after sleep and how to fix it

32 points • 27 comments • 3 days ago • idiallo.com

Xbox wants you to pay 24 to 40 cents per hour to stream games you bought

274 points • 253 comments • 19 hours ago • arstechnica.com

A lost Schrödinger manuscript reveals a twist in quantum physics

18 points • 5 comments • 23 hours ago • sciencealert.com