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