HN: Page 1

Local Wikipedia: Wikipedia, but only for things a half hour walk from you view 20 comments
Docker is weird view 180 comments
LLMs are making formal software verification feasible at a much larger scale view 157 comments
This I Believe (1952) view 14 comments
How does Fable 5.1 hide messages in images? view 1 comments
The HTML-in-Canvas API origin trial view 2 comments
The foolishness of "natural language programming" (1978) view 70 comments
OpenShell – A safe, private runtime for fleets of autonomous AI agents view 187 comments
The alien space of science: Coherent but cognitively unavailable directions view 2 comments
Every AI model has the same "controversial" take on humans view 382 comments
Objects, attributes, maps, oh my view 1 comments
We have traits at home view discussion
Run full iOS 16.5 firmware on Android Devices view 137 comments
Jank – The native Clojure dialect with seamless C++ interop view 4 comments
Getting ready to operate GNU Taler in Germany view 105 comments
Quad9 to exit France view 390 comments
Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key view 11 comments
WorldTUI: I trained a 360M model to pretend to be a terminal view 164 comments
A lost Schrödinger manuscript reveals a twist in quantum physics view 5 comments
Color Names view 7 comments
Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry. view 199 comments
Postgres recovery_prefetch can cause outages view discussion
Xbox wants you to pay 24 to 40 cents per hour to stream games you bought view 242 comments
Why my Asus laptop kept rebooting after sleep and how to fix it view 29 comments
eMudhra to exit global SSL/TLS certificate business view 668 comments
Hedra is a 3D open world game I wrote from scratch while in highschool view 31 comments
How to Design Flowers view 2 comments
Mortality Among People with Attention-Deficit/Hyperactivity Disorder view 56 comments
Railpass view 23 comments
Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies? view 83 comments