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

153 points - yesterday at 11:01 PM

Source Details - 31 Comments

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

33 points - today at 6:41 AM

Source Details - 9 Comments

Docker is weird

383 points - yesterday at 11:45 PM

Source Details - 192 Comments

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

301 points - yesterday at 10:54 PM

Source Details - 164 Comments

How does Fable 5.1 hide messages in images?

30 points - yesterday at 9:41 PM

Source Details - 6 Comments

The HTML-in-Canvas API origin trial

22 points - yesterday at 7:54 PM

Source Details - 5 Comments

The foolishness of "natural language programming" (1978)

122 points - today at 12:52 AM

Source Details - 75 Comments

This I Believe (1952)

58 points - today at 2:19 AM

Source Details - 18 Comments

The alien space of science: Coherent but cognitively unavailable directions

24 points - yesterday at 1:25 PM

Source Details - 2 Comments

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

372 points - yesterday at 5:44 PM

Source Details - 187 Comments

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

362 points - yesterday at 4:08 PM

Source Details - 390 Comments

Run full iOS 16.5 firmware on Android Devices

406 points - yesterday at 3:26 PM

Source Details - 140 Comments

Getting ready to operate GNU Taler in Germany

267 points - yesterday at 4:14 PM

Source Details - 112 Comments

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

28 points - yesterday at 2:04 PM

Source Details - 12 Comments

We have traits at home

10 points - yesterday at 11:24 PM

Source Details - 0 Comments

Objects, attributes, maps, oh my

11 points - yesterday at 4:34 PM

Source Details - 1 Comments

Quad9 to exit France

1144 points - yesterday at 2:32 PM

Source Details - 394 Comments

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

77 points - yesterday at 11:56 PM

Source Details - 4 Comments

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

529 points - yesterday at 2:18 AM

Source Details - 164 Comments

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

26 points - yesterday at 7:41 AM

Source Details - 8 Comments