Jon Pena

An open-source project boots Apple's XNU kernel and iOS 16.5 user space on Android hardware or QEMU using custom UEFI loaders and driver replacements.

NVIDIA OpenShell is a secure, private runtime environment that uses kernel-level isolation and formal verification to enforce policy limits on autonomous AI agents.

Building a custom container runtime reveals how Docker relies on Linux namespaces, cgroups, root privileges, and workarounds for Go's threading limitations.

When asked to provide controversial takes on human behavior, multiple AI models from different labs consistently concluded that humans prioritize tribal belonging and rationalization over truth.

Microsoft is testing a la carte cloud streaming for Xbox Insiders, charging 24 to 40 cents per hour for games they already own.

Anthropic and Theorem used Claude to autonomously generate formal proofs for over 100 open-source libraries at the RISC-V assembly level, finding long-standing bugs.

Taler Operations AG is being founded in Germany to operate the GNU Taler payment system and apply for an e-money license from BaFin.

Hedra is a custom 3D open-world RPG and game engine built from scratch using modern OpenGL by a developer starting in high school.

Writing in 1978, Edsger Dijkstra argues that natural language programming is a flawed goal because formal symbolisms are essential for precision and avoiding nonsense.

Jank is a native Clojure dialect built on LLVM that features direct C++ interoperability and a JIT compiler for REPL-driven development.

In a classic essay, Robert A. Heinlein affirms his fundamental faith in the everyday decency, honesty, and eventual survival of humanity.

Local Wikipedia is a web tool that displays geocoded Wikipedia articles located within a short walking distance of the user's current position.

Color Names is an open, community-driven database of nearly 32,000 human-named colors available under the MIT license via an npm package and API.

Plant biologist Nick Desnoyer uses genetic engineering and breeding techniques to create novel flowers, including a petunia engineered to act as a living, paintable canvas.

Disabling power-saving mode for the MediaTek Wi-Fi 6E MT7922 adapter on Asus laptops fixes unexpected reboots caused by Modern Standby failures.

The PostgreSQL `recovery_prefetch` feature can amplify storage IOPS up to 16 times on replicas, causing significant replication lag and production outages during high-write workloads.

A newly discovered 1940s manuscript by Erwin Schrödinger reveals he supported indeterminism and criticized flawed arguments against quantum hidden variables.

Wiz discovered critical memory-safety and unauthenticated RCE vulnerabilities affecting all PHP versions from the last decade, with patches released in October 2026.

Airbnb updated its policy to ban hosts from requiring guests to complete time-consuming checkout chores like washing dishes, doing laundry, or taking out the trash.

Artificial intelligence tools enable the enclosure of the scientific information commons, converting shared research into private wealth and damaging underlying social systems.

Google DeepMind employees are resigning over the company's contracts to deploy artificial intelligence technology for military and classified operations.

A U.S. study using AI to analyze cardiac CT scans found that 42.9% of asymptomatic, low-risk patients had undetected coronary inflammation.

An ABC News, Washington Post, and Ipsos poll shows that a majority of Americans consider AI bad for society and oppose new data center construction.

Building a custom container runtime reveals how Docker relies on Linux kernel primitives, namespaces, cgroups, and root privileges.

A developer demonstrates a hacky, portable method to access C's errno from outside C by intercepting stderr during calls to perror.

RFC-compliant UUIDv7 implementations can violate assumptions about monotonicity, unguessability, and accurate embedded timestamps, particularly during clock jumps or high-load counter overflows.

Quad9 will shut down its free public DNS service in France on November 24 following an unfavorable court ruling regarding copyright infringement blocking.

An analysis of the macOS gcc binary reveals it is a compiled wrapper using libxcselect to invoke xcrun and execute clang.

Use standard HTML anchor tags instead of JavaScript buttons or custom popups to preserve native browser link behaviors and accessibility features.

This article proposes a compile-time trait pattern in Zig using structs containing functions to enforce type contracts without runtime performance overhead.

A developer details the technical process of creating ns2jb, a software-only, tethered jailbreak for the Nintendo Switch 2 targeting firmware 23.0.1.

Dynamic language runtimes avoid slow hash-table attribute lookups by implementing object maps, layouts, or shapes to optimize storage and performance.

Use Caddy's reverse proxy and response interception to expose only valid share links for private self-hosted services like Immich and Nextcloud.

Combining local DHCP and DNS services with custom TXT records allows administrators to track network devices, hardware details, and IP assignments in one place.

A developer built a custom mark-and-sweep garbage collector in Rust to handle cyclic references despite the language's memory safety model and lack of runtime type information.

Firefox 153 introduces Local Mode in DevTools, allowing developers to map local folders to custom HTTPS URLs for testing Web APIs without a local server.

An analysis of Sonic 06's game files reveals that severe performance compromises and disabled visual features stem from heavy reliance on low-tier shaders and cut lighting systems.

Using Nix flakes allows developers to cleanly manage Python and system dependencies for standalone scripts on any Linux distribution without breaking pip.