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