Local Wikipedia: Wikipedia, but only for things a half hour walk from you

Docker is weird

LLMs are making formal software verification feasible at a much larger scale

The same AI request emits 8.5 times more CO2 in Texas than in Sweden

This I Believe (1952)

How does Fable 5.1 hide messages in images?

The HTML-in-Canvas API origin trial

The foolishness of "natural language programming" (1978)

The alien space of science: Coherent but cognitively unavailable directions

OpenShell – A safe, private runtime for fleets of autonomous AI agents

Every AI model has the same "controversial" take on humans

Run full iOS 16.5 firmware on Android Devices

Objects, attributes, maps, oh my

We have traits at home

Jank – The native Clojure dialect with seamless C++ interop

Getting ready to operate GNU Taler in Germany

Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key

Quad9 to exit France

A lost Schrödinger manuscript reveals a twist in quantum physics

WorldTUI: I trained a 360M model to pretend to be a terminal

Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.

Color Names

Postgres recovery_prefetch can cause outages

Xbox wants you to pay 24 to 40 cents per hour to stream games you bought

Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It

eMudhra to exit global SSL/TLS certificate business

Hedra is a 3D open world game I wrote from scratch while in highschool

How to Design Flowers

Mortality Among People with Attention-Deficit/Hyperactivity Disorder

Railpass

Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?

Mapping the Northern Sky

Rule 30: one black cell

Show HN: Making a smart TV dumb and then smart

LISP Comes of Age (1980)

Show HN: Uberblok – an interactive museum of ZFS internals

Faster than earcut: triangulating 3.7M map polygons in 489 ms

Dungeon Generation in the Gnomish Mines of NetHack

Jailbreaking the Switch 2

Speeding up code review with `small-change`

Startup taps underwater volcano as energy source in “proof point” test

What Is Gridifcation

A farewell to Arc browser

Median product "lifespan" has fallen from ~4y down to ~1.5y

Woman charged with computer fraud due to scam CashApp account being in her name

Semantic search across major museums

Restoring a Soviet ES-4001 Mainframe Control Panel

Using LLM for confidence scoring is a bad idea

The phenomena that brighten dawn and dusk (2016)

MPs moving to restrict gambling ads in Canada