fp.

Docker is weird

https://codeandcake.dev/posts/2026-10-22-docker-is-weird

94•psxuaw•1h ago•31 comments

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

https://www.anthropic.com/research/formal-verification

101•johnbender•2h ago•48 comments

Quad9 (DNS Resolver) to Exit France

https://quad9.net/news/blog/au-revoir-france/

998•farrokhi•11h ago•360 comments

The foolishness of "natural language programming" (1978)

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html

12•xiaoyu2006•43m ago•5 comments

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

https://github.com/NVIDIA/OpenShell

297•niemandhier•7h ago•154 comments

Woman faces six years in prison over Cash App account she never opened

https://www.techspot.com/news/114296-woman-spends-three-nights-jail-faces-six-years.html

493•oidar•12h ago•510 comments

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

https://www.modelcompare.ai/blog/ai-models-controversial-take-on-humans

237•rakannimer•9h ago•300 comments

Getting ready to operate GNU Taler in Germany

https://www.taler.net/en/news/2026-13.html

227•dewey•9h ago•85 comments

Run full iOS 16.5 firmware on Android Devices

https://github.com/oosexgang/hackios-xnu-kernel

323•aghuang•10h ago•124 comments

Jailbreaking the Switch 2

https://pepsipu.com/blog/2026-10-switch2-jailbreak-ns2jb/

720•ledoge•17h ago•250 comments

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

https://github.com/maxilevi/project-hedra/tree/pre-ai

133•maxilevi•6h ago•28 comments

What Is Gridifcation

https://musicalform.substack.com/p/what-is-gridifcation

402•gumby•3d ago•200 comments

Mapping the Northern Sky

https://www.maps.com/star-map-charts-stars-and-constellations-of-northern-hemisphere/

12•tmseidman•1h ago•4 comments

eMudhra to exit global SSL/TLS certificate business

https://emudhra.com/en/press-release/emudhra-to-exit-global-ssl-tls-certificate-business

931•bo0tzz•12h ago•630 comments

AI compute is the new oil–and needs a new market

https://www.economist.com/finance-and-economics/2026/10/22/ai-compute-is-the-new-oil-and-needs-a-...

12•ijidak•1h ago•7 comments

AI and the Enclosure of the Scientific Commons

https://arxiv.org/abs/2610.27251

111•jrepinc•7h ago•64 comments

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

365•petecooper•15h ago•156 comments

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

https://arstechnica.com/gaming/2026/10/xbox-wants-you-to-pay-24-to-40-cents-per-hour-to-stream-ga...

203•entryleveljobsc•13h ago•200 comments

Railpass

https://train.samismith.com/

43•CharlesW•3h ago•14 comments

How to Design Flowers

https://www.asimov.press/p/flowers

16•surprisetalk•2d ago•2 comments

Color Names

https://names.color.pizza

9•akkartik•2d ago•1 comments

The Secret Life of Circuits is now in stock everywhere

https://blog.coredump.cx/p/the-secret-life-of-circuits-is-now

3•surprisetalk•2d ago•0 comments

Speeding up code review with `small-change`

https://lethain.com/small-changes/

23•alexmolas•3d ago•13 comments

Dungeon Generation in the Gnomish Mines of NetHack

https://www.boristhebrave.com/2026/10/18/dungeon-generation-in-the-gnomish-mines-of-nethack/

125•ibobev•3d ago•16 comments

Show HN: Uberblok – an interactive museum of ZFS internals

https://uberblok.storagebits.workers.dev/

79•storagebits•1d ago•20 comments

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

https://globus.software/blog/2026/10/16/cutting-map-polygons/

202•molind•16h ago•38 comments

A farewell to Arc browser

https://arc.net/

229•suhdonghwi•9h ago•208 comments

The phenomena that brighten dawn and dusk (2016)

https://www.colorado.edu/asmagazine-archive/node/2039

28•NaOH•2d ago•2 comments

What’s getting pwned right now

https://pwn.watch/

343•mrkd•11h ago•160 comments

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

https://arstechnica.com/science/2026/10/startup-taps-underwater-volcano-as-energy-source-in-proof...

124•wffurr•3d ago•52 comments

Docker is weird

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

Quad9 (DNS Resolver) to Exit France

The foolishness of "natural language programming" (1978)

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

Woman faces six years in prison over Cash App account she never opened

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

Getting ready to operate GNU Taler in Germany

Run full iOS 16.5 firmware on Android Devices

Jailbreaking the Switch 2

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

What Is Gridifcation

Mapping the Northern Sky

eMudhra to exit global SSL/TLS certificate business

AI compute is the new oil–and needs a new market

AI and the Enclosure of the Scientific Commons

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

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

Railpass

How to Design Flowers

Color Names

The Secret Life of Circuits is now in stock everywhere

Speeding up code review with `small-change`

Dungeon Generation in the Gnomish Mines of NetHack

Show HN: Uberblok – an interactive museum of ZFS internals

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

A farewell to Arc browser

The phenomena that brighten dawn and dusk (2016)

What’s getting pwned right now

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

Docker is weird

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

Quad9 (DNS Resolver) to Exit France

The foolishness of "natural language programming" (1978)

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

Woman faces six years in prison over Cash App account she never opened

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

Getting ready to operate GNU Taler in Germany

Run full iOS 16.5 firmware on Android Devices

Jailbreaking the Switch 2

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

What Is Gridifcation

Mapping the Northern Sky

eMudhra to exit global SSL/TLS certificate business

AI compute is the new oil–and needs a new market

AI and the Enclosure of the Scientific Commons

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

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

Railpass

How to Design Flowers

Color Names

The Secret Life of Circuits is now in stock everywhere

Speeding up code review with `small-change`

Dungeon Generation in the Gnomish Mines of NetHack

Show HN: Uberblok – an interactive museum of ZFS internals

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

A farewell to Arc browser

The phenomena that brighten dawn and dusk (2016)

What’s getting pwned right now

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

Color Names

Comments