AI is bringing old nuclear plants out of retirement
The Palisades Nuclear Generating Station is nestled between sand dunes on the eastern shore of Lake Michigan. It shut down for financial reasons in 2022. Three years later, it’s on the cusp of reopening, with hundreds of workers streaming through its security barriers every day. Palisades is on track to restart in early 2026. When […]
We built another object storage
A Crowded Market, But An Unsolved Problem Object storage is the backbone of modern data infrastructure. AWS S3, Google Cloud Storage, MinIO, Ceph, newer players like Tigris Data—the market is saturated. So why build another one? Because the fundamental assumptions behind these systems are shifting. High performance is no longer optional—but having high performance available […]
Apple has locked my Apple ID, and I have no recourse. A plea for help
Summary: A major brick-and-mortar store sold an Apple Gift Card that Apple seemingly took offence to, and locked out my entire Apple ID, effectively bricking my devices and my iCloud Account, Apple Developer ID, and everything associated with it, and I have no recourse. Can you help? Email paris AT paris.id.au (and read on for […]
Poor Johnny still won’t encrypt
The state of email encryption This title is an obvious nod to The 1999 article Why Johnny Can’t Encrypt, and The 2006 article Why Johnny Still Can’t Encrypt: Evaluating the Usability of Email Encryption Software. To encrypt email in 1998 you’d run GnuPG from a terminal, importing the recipient’s public key into your local keyring […]
Show HN: Claude Code recipes for knowledge workers
Your Complete Guide to AI-Powered Productivity Version 1.0 — December 2025 This collection contains 100 practical recipes for using Claude Code to automate, accelerate, and enhance your professional work. Each recipe provides step-by-step instructions, ready-to-use prompts, and real-world examples that you can apply immediately. Whether you’re drafting emails, analyzing data, preparing presentations, or managing complex […]
OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI
12th December 2025 One of the things that most excited me about Anthropic’s new Skills mechanism back in October is how easy it looked for other platforms to implement. A skill is just a folder with a Markdown file and some optional extra resources and scripts, so any LLM tool with the ability to navigate […]
50 years of proof assistants
05 Dec 2025 [ memories LCF HOL system Isabelle Coq MJC Gordon ] Crackpots ranging from billionaire Peter Thiel to random YouTube influencers claim that science has been stagnating for the past 50 years. They admit that computing is an exception: they don’t pretend that my personal 32GB laptop is not an advance over the […]
US TikTok investors in limbo as deal set to be delayed again
A billionaire investor keen on buying TikTok’s US operations has told the BBC he has been left in limbo as the latest deadline for the app’s sale looms. The US has repeatedly delayed the date by which the platform’s Chinese owner, ByteDance, must sell or be blocked for American users. US President Donald Trump initially […]
Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig
uvm32 is a minimalist, dependency-free virtual machine sandbox designed for microcontrollers and other resource-constrained devices. Single C file, no dynamic memory allocations, asynchronous design, pure C99. On an STM32L0 (ARM Cortex-M0+) the required footprint is under 4KB flash/1KB RAM. uvm32 is a RISC-V emulator, wrapped in a management interface and provided with tools to build […]
Capsudo: Rethinking Sudo with Object Capabilities
I hate sudo with a passion. It represents everything I find offensive about the modern Unix security model: like su, it must be a SUID binary to work it is monolithic: everything sudo does runs as root, there is no privilege separation it uses a non-declarative and non-hierarchical configuration format leading to forests of complex […]