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 […]
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 […]
Rats Play DOOM
Intro We built a complete VR setup from scratch to let rats play DOOM. The system includes a motion-tracked treadmill ball, a panoramic headset, an input trigger, and a reward circuit. All hardware and software components are open sourced, including 3D-printable designs, circuit diagrams, firmware, and control software. The first version (v1) was built in […]