Move Slow and Fix Things

51 ahmedhossamdev 2026-10-23 05:14:54 UTC endler.dev Llama Share 0

The author criticizes the startup culture promoted by Paul Graham, arguing that it prioritizes greed and short-term gains over sustainable growth and user well-being. He advocates for a more measured approach to building successful businesses that focus on creating value rather than accumulating wealth.

Docker is weird

294 psxuaw 2026-10-22 23:48:54 UTC codeandcake.dev Llama Share 145

The author learned about Docker's inner workings, discovering it's not just a single feature but rather 5 Linux kernel features combined. They also found the challenges of writing their own container runtime due to Go's design choices and Linux API requirements.

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

238 johnbender 2026-10-22 23:48:54 UTC anthropic.com Llama Share 131

Researchers have developed a method using large language models to prove the security of software at scale, enabling new development workflows with proven security guarantees. This approach can detect and fix bugs in widely used open-source libraries.

Quad9 (DNS Resolver) to Exit France

1097 farrokhi 2026-10-22 14:48:54 UTC quad9.net Llama Share 385

Quad9 will stop offering its free cyberprotection service to users in France due to a court ruling against it. The decision is a matter of principle for Quad9, which cannot comply with the ruling while remaining faithful to its mission.

The Secret Life of Circuits is now in stock everywhere

85 surprisetalk 2026-10-23 00:48:54 UTC blog.coredump.cx Llama Share 16

The book "The Secret Life of Circuits" is now available on Amazon in Europe and major US/Canadian online retailers. The author asks readers to leave honest reviews, as they help with the recommendation algorithm amidst increasing competition from AI-generated books.

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

33 stanislavb 2026-10-23 03:48:54 UTC news.ycombinator.com Full Share 10

Sorry

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

614 oidar 2026-10-22 13:48:54 UTC 404media.co Llama Share 606

Amanda Smith was arrested in Pennsylvania on a warrant for computer fraud, but she had never been to Arkansas and didn't use CashApp. She's now trying to prove her innocence after discovering the scammer used her Social Security number and date of birth.

Mortality Among People with Attention-Deficit/Hyperactivity Disorder

76 gumby 2026-10-23 01:48:54 UTC jamanetwork.com Full Share 45

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

349 niemandhier 2026-10-22 17:48:54 UTC github.com/nvidia Llama Share 184

OpenShell 0.1.x introduces a stable release cadence, new isolation primitives, and expanded APIs for secure autonomous AI agent execution. It enforces policies on file access, system calls, and network connections using kernel-level enforcement and formal verification.

This I Believe (1952)

29 ctoth 2026-10-23 02:48:54 UTC awakin.org Llama Share 4

User shares thoughts on values, believing in goodness and helping others, with examples of personal experiences showing that kindness prevails. They emphasize the importance of starting small and trusting others to create a positive impact.

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

318 rakannimer 2026-10-22 16:48:54 UTC modelcompare.ai Llama Share 351

AI models from 10 labs in 3 countries agree that humans prioritize belonging over truth, with most saying people conform to group norms and create justifications for their actions.

Run full iOS 16.5 firmware on Android Devices

370 aghuang 2026-10-22 15:48:54 UTC github.com/oosexgang Llama Share 137

HackiOS boots iOS 16.5 on Android phone hardware using an open-source XNU kernel and custom drivers, allowing users to run unmodified iOS apps without modifying the original code. The project is a research bench, not a ROM, and requires specific hardware and software configurations.

Getting ready to operate GNU Taler in Germany

248 dewey 2026-10-22 16:48:54 UTC taler.net Llama Share 99

Taler Operations AG is being founded to operate Taler as an online payment system in Germany and the Euro-zone, with plans to apply for a licence from BaFin. The new company will focus on Taler exclusively, enabling payments with Taler first in Germany before expanding across the single market.

The foolishness of "natural language programming" (1978)

90 xiaoyu2006 2026-10-23 01:48:54 UTC cs.utexas.edu Llama Share 61

The author argues that using natural languages to program computers would not simplify human life, as it would increase the machine's burden and require significant changes in how we communicate. Formal symbolism is a more effective tool for ruling out nonsense, allowing humans to learn complex concepts earlier.

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

57 giancarlostoro 2026-10-23 00:48:54 UTC jank-lang.org Full Share 2

jank's native build system can find your installed native dependencies or build them from source. Adding a new dependency is a one line change. jank brings functional, immutable data and REPL-driven development to your game development workflow. With jank, you can reach into C++ whenever you want the extra performance. No bridges, no function/type registration, no marshalling, no callbacks.

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

27 surprisetalk 2026-10-23 01:48:54 UTC idiallo.com Llama Share 17

The author of an Asus Zenbook Pro 17 laptop experienced frequent restarts due to a faulty Wi-Fi adapter, specifically the MediaTek MT7922. The issue was resolved by updating the driver and disabling its power-saving sleep mode, preventing system crashes and abnormal battery drain.

Postgres recovery_prefetch can cause outages

28 plaur782 2026-10-23 01:48:54 UTC ardentperf.com Llama Share 0

A recovery_prefetch issue was discovered in PostgreSQL, causing production outages due to IOPS amplification on replicas. The problem is exacerbated by synchronous replication and the standby server's state machine, which can lead to significant lag and downtime.

What Is Gridifcation

436 gumby 2026-10-22 11:48:54 UTC musicalform.substack.com Llama Share 207

The Musical Form Institute critiques modern music production for "gridification," where human performances are treated as errors and corrected to machine-perfect representations. This process silences artists' lives and voices, erasing their history and place in time.

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

465 petecooper 2026-10-22 10:48:54 UTC news.ycombinator.com Full Share 192

Sorry

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

266 entryleveljobsc 2026-10-22 11:48:54 UTC arstechnica.com Llama Share 231

Microsoft has rolled out a new service allowing non-subscribers to purchase cloud playtime hours for games they own, priced at 24 cents per hour. This model is similar to old arcades but differs from Xbox Game Pass subscriptions and Google's Stadia streaming experiment.

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

171 maxilevi 2026-10-22 18:48:54 UTC github.com/maxilevi Llama Share 31

Project Hedra is an open-world, low-poly RPG with procedural generation and custom game engine features. It started as a high school project to learn OpenGL and has evolved into a full-fledged 3D game with over 100k lines of code.

eMudhra to exit global SSL/TLS certificate business

993 bo0tzz 2026-10-22 13:48:54 UTC emudhra.com Llama Share 664

eMudhra Limited, a global digital trust company, has decided to withdraw from the SSL/TLS certificate business due to increasing data sovereignty and compliance requirements. The decision is made after careful consideration of the impact on its shareholders and focus on core enterprise solutions.

Railpass

79 CharlesW 2026-10-22 21:48:54 UTC train.samismith.com Full Share 23

Stare out the window of an endless train ride, with real life footage.

Mapping the Northern Sky

29 tmseidman 2026-10-23 00:48:54 UTC maps.com Llama Share 10

Astronomers have been mapping the night sky for thousands of years, with modern maps like Florian Winkler's cataloging stars and constellations. The map uses accurate data to show star positions, brightness, and celestial coordinates.

AI and the Enclosure of the Scientific Commons

129 jrepinc 2026-10-22 18:48:54 UTC arxiv.org Llama Share 74

The scientific literature is viewed as an "information commons" that can be enclosed using artificial intelligence, transforming it into private wealth. This poses a threat to the social systems supporting the commons and may represent an attack on a way of life.

Show HN: Uberblok – an interactive museum of ZFS internals

103 storagebits 2026-10-22 14:48:54 UTC uberblok.storagebits.workers.dev Llama Share 26

ZFS is a file system designed to maintain data consistency without scanning disks after a crash, using an uberblock that holds transaction group numbers and block pointers. It was developed by Jeff Bonwick and Bill Moore at Sun Microsystems from 2001 to 2005, with contributions from over 700 people.

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

211 molind 2026-10-22 09:48:54 UTC globus.software Llama Share 40

The author of the post has developed a C++ library called earstrip, which is 6 times faster than earcut.hpp for triangulating polygons in their map engine. The library uses an optimized algorithm that takes advantage of convex corners and strips to reduce the number of tests needed.

Dungeon Generation in the Gnomish Mines of NetHack

137 ibobev 2026-10-22 15:48:54 UTC boristhebrave.com Llama Share 18

NetHack's Gnomish Mines use Cellular Automata to generate an organic cave feel, with two states: floor or rock. Passes 1-4 update the grid in different ways, including clustering and erosion routines, but Pass 2 is unclear in its purpose.

Jailbreaking the Switch 2

764 ledoge 2026-10-22 08:48:54 UTC pepsipu.com Llama Share 267

A software-only jailbreak for the Switch 2 has been developed, allowing users to run arbitrary native code and access peripherals. The exploit uses a combination of WebKit and SmileBASIC to achieve this goal.

How to Design Flowers

26 surprisetalk 2026-10-22 22:48:54 UTC asimov.press Llama Share 2

Nick Desnoyer, a plant biologist, is designing and creating unique flowers using breeding and genetic engineering. He aims to create a botanical garden with weird and wonderful flowers that exist nowhere else, allowing people to appreciate them on a deeper level through scientific understanding.