The state of the kernel Rust experiment
The ability to write kernel code in Rust was explicitly added as an experiment — if things did not go well, Rust would be removed again. At the 2025 Maintainers Summit, a session was held to evaluate the state of that experiment, and to decide whether the time had come to declare the result to […]
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 […]
GNU Unifont
GNU Unifont is part of the GNU Project. This page contains the latest release of GNU Unifont, with glyphs for every printable code point in the Unicode Basic Multilingual Plane (BMP). The BMP occupies the first 65,536 code points of the Unicode space, denoted as U+0000..U+FFFF. There is also growing coverage of the Supplementary Multilingual […]