Local Wikipedia: Wikipedia, but only for things a half hour walk from you (edjefferson.com)
89 points by sohkamyung 8 hours ago | 22 comments
Docker is weird (codeandcake.dev)
367 points by psxuaw 7 hours ago | 181 comments
LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
290 points by johnbender 8 hours ago | 157 comments
This I Believe (1952) (awakin.org)
57 points by ctoth 5 hours ago | 14 comments
How does Fable 5.1 hide messages in images? (lesswrong.com)
13 points by gmays 9 hours ago | 1 comments
The HTML-in-Canvas API origin trial (developer.chrome.com)
16 points by andrewstuart 11 hours ago | 2 comments
The foolishness of "natural language programming" (1978) (cs.utexas.edu)
114 points by xiaoyu2006 6 hours ago | 70 comments
OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
366 points by niemandhier 13 hours ago | 187 comments
The alien space of science: Coherent but cognitively unavailable directions (arxiv.org)
18 points by martincsweiss 18 hours ago | 2 comments
Every AI model has the same "controversial" take on humans (modelcompare.ai)
354 points by rakannimer 15 hours ago | 382 comments
Objects, attributes, maps, oh my (bernsteinbear.com)
11 points by ibobev 14 hours ago | 1 comments
We have traits at home (axelmagn.com)
9 points by Ygg2 8 hours ago | 0 comments
Run full iOS 16.5 firmware on Android Devices (github.com)
396 points by aghuang 16 hours ago | 137 comments
Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key (github.com)
19 points by dsmurrell 17 hours ago | 11 comments
Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
70 points by giancarlostoro 7 hours ago | 4 comments
Getting ready to operate GNU Taler in Germany (taler.net)
261 points by dewey 15 hours ago | 105 comments
A lost Schrödinger manuscript reveals a twist in quantum physics (sciencealert.com)
24 points by ibobev a day ago | 5 comments
Quad9 to exit France (quad9.net)
1133 points by farrokhi 16 hours ago | 390 comments
WorldTUI: I trained a 360M model to pretend to be a terminal (simedw.com)
524 points by alphax314 a day ago | 164 comments
Color Names (names.color.pizza)
51 points by akkartik 3 days ago | 7 comments
Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry. (undefined)
495 points by petecooper 21 hours ago | 199 comments
Postgres recovery_prefetch can cause outages (ardentperf.com)
33 points by plaur782 a day ago | 0 comments
Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)
280 points by entryleveljobsc 19 hours ago | 242 comments
Why my Asus laptop kept rebooting after sleep and how to fix it (idiallo.com)
37 points by surprisetalk 3 days ago | 29 comments
eMudhra to exit global SSL/TLS certificate business (emudhra.com)
1012 points by bo0tzz 17 hours ago | 669 comments
Hedra is a 3D open world game I wrote from scratch while in highschool (github.com)
178 points by maxilevi 12 hours ago | 31 comments
How to Design Flowers (asimov.press)
38 points by surprisetalk 3 days ago | 2 comments
Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)
94 points by gumby 2 days ago | 56 comments
Railpass (train.samismith.com)
90 points by CharlesW 9 hours ago | 23 comments
Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies? (undefined)
81 points by ex-aws-dude 10 hours ago | 83 comments