SSH Reverse Prompt Forwarding
March 23 2026Making custom commands available on any SSH server without installing binaries. This post explores several Unix/SSH tricks: shell function serialization over SSH, named pipes for IPC, SSH connection multiplexing, creating TCP connections with pure bash, all working together to make custom commands follow you wherever you SSH.
GenAI Prompts as "Native" Programs
Jan. 21 2026Templated prompts are quite practical. They enable re-usability and helps prevent duplicating prompts for only minor differences. In this post I explore how to turn a prompt template into a seemingly "native" command-line program.
The Curves of ZoKrates
June 20 2025Programmable zero knowledge proofs unlock a new paradigm of programming that enables verifiable computations over confidential input. In this post, I explain some of the cryptography background necessary for getting started.
Porting SHA512 to Motoko
Jan. 4 2022In this post I explore Motoko which is the language of the Internet Computer. I do so by porting SHA2-512 to it.
Blogs should be Trees
Jan. 3 2022Introduction to this blog as well as an overview of the data model of its posts and the motivation behind it.