• 346 Docker is weird (codeandcake.dev)
  by psxuaw 7 hours ago | 170 comments
• 20 Local Wikipedia: Wikipedia, but only for things a half hour walk from you (edjefferson.com)
  by sohkamyung 8 hours ago | 6 comments
• 264 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender 8 hours ago | 146 comments
• 49 This I Believe (1952) (awakin.org)
  by ctoth 4 hours ago | 9 comments
• 360 OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
  by niemandhier 13 hours ago | 187 comments
• 9 The alien space of science: Coherent but cognitively unavailable directions (arxiv.org)
  by martincsweiss 17 hours ago | 1 comments
• 338 Every AI model has the same "controversial" take on humans (modelcompare.ai)
  by rakannimer 14 hours ago | 370 comments
• 387 Run full iOS 16.5 firmware on Android Devices (github.com)
  by aghuang 15 hours ago | 137 comments
• 68 Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
  by giancarlostoro 7 hours ago | 4 comments
• 254 Getting ready to operate GNU Taler in Germany (taler.net)
  by dewey 14 hours ago | 102 comments
• 101 The foolishness of "natural language programming" (1978) (cs.utexas.edu)
  by xiaoyu2006 6 hours ago | 66 comments
• 1121 Quad9 to exit France (quad9.net)
  by farrokhi 16 hours ago | 389 comments
• 520 WorldTUI: I trained a 360M model to pretend to be a terminal (simedw.com)
  by alphax314 a day ago | 163 comments
• 12 Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key (github.com)
  by dsmurrell 17 hours ago | 3 comments
• 47 Color Names (names.color.pizza)
  by akkartik 3 days ago | 5 comments
• 32 Postgres recovery_prefetch can cause outages (ardentperf.com)
  by plaur782 a day ago | discuss
• 486 Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry. ()
  by petecooper 20 hours ago | 196 comments
• 32 Why my Asus laptop kept rebooting after sleep and how to fix it (idiallo.com)
  by surprisetalk 3 days ago | 23 comments
• 18 A lost Schrödinger manuscript reveals a twist in quantum physics (sciencealert.com)
  by ibobev a day ago | 5 comments
• 5 We have traits at home (axelmagn.com)
  by Ygg2 7 hours ago | discuss
• 274 Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)
  by entryleveljobsc 19 hours ago | 236 comments
• 36 How to Design Flowers (asimov.press)
  by surprisetalk 3 days ago | 2 comments
• 3 Rule 30: one black cell (wolframcollatzmahler.com)
  by amichail 8 hours ago | discuss
• 1006 eMudhra to exit global SSL/TLS certificate business (emudhra.com)
  by bo0tzz 17 hours ago | 664 comments
• 176 Hedra is a 3D open world game I wrote from scratch while in highschool (github.com)
  by maxilevi 12 hours ago | 31 comments
• 88 Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)
  by gumby 2 days ago | 52 comments
• 3 Show HN: Making a smart TV dumb and then smart (github.com)
  by animalhot 6 hours ago | discuss
• 6 LISP Comes of Age (1980) (microship.com)
  by so-cal-schemer 11 hours ago | 3 comments
• 7 The HTML-in-Canvas API origin trial (developer.chrome.com)
  by andrewstuart 11 hours ago | 1 comments
• 85 Railpass (train.samismith.com)
  by CharlesW 9 hours ago | 23 comments