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.