fp.

Docker is weird

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

162•psxuaw•2h ago•70 comments

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

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

144•johnbender•3h ago•70 comments

Quad9 (DNS Resolver) to Exit France

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

1022•farrokhi•12h ago•369 comments

The foolishness of "natural language programming" (1978)

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

38•xiaoyu2006•1h ago•36 comments

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

https://github.com/NVIDIA/OpenShell

314•niemandhier•8h ago•162 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

532•oidar•13h ago•544 comments

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

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

254•rakannimer•10h ago•318 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-...

25•ijidak•2h ago•16 comments

Getting ready to operate GNU Taler in Germany

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

231•dewey•10h ago•85 comments

Run full iOS 16.5 firmware on Android Devices

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

335•aghuang•11h ago•129 comments

Jailbreaking the Switch 2

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

735•ledoge•18h ago•255 comments

The Secret Life of Circuits is now in stock everywhere

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

17•surprisetalk•2d ago•5 comments

What Is Gridifcation

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

411•gumby•3d ago•202 comments

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

https://jank-lang.org/

18•giancarlostoro•2h ago•1 comments

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

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

143•maxilevi•7h ago•29 comments

Mortality Among People with Attention-Deficit/Hyperactivity Disorder

https://jamanetwork.com/journals/jamanetworkopen/fullarticle/2855472

6•gumby•2d ago•0 comments

Mapping the Northern Sky

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

17•tmseidman•2h 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

947•bo0tzz•13h ago•636 comments

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

397•petecooper•16h ago•166 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...

221•entryleveljobsc•15h ago•211 comments

Railpass

https://train.samismith.com/

53•CharlesW•5h ago•14 comments

Color Names

https://names.color.pizza

21•akkartik•2d ago•2 comments

How to Design Flowers

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

21•surprisetalk•2d ago•2 comments

AI and the Enclosure of the Scientific Commons

https://arxiv.org/abs/2610.27251

116•jrepinc•8h ago•70 comments

Speeding up code review with `small-change`

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

28•alexmolas•3d ago•14 comments

Dungeon Generation in the Gnomish Mines of NetHack

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

129•ibobev•3d ago•16 comments

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

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

205•molind•17h ago•38 comments

Show HN: Uberblok – an interactive museum of ZFS internals

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

84•storagebits•1d ago•22 comments

A farewell to Arc browser

https://arc.net/

233•suhdonghwi•10h ago•211 comments

What’s getting pwned right now

https://pwn.watch/

350•mrkd•12h ago•161 comments