I firmly believe that designing custom silicon is currently needlessly difficult. I’m also an unabashed supporter of auditable, privacy-respecting silicon.

Lastly, I’m just another programmer with a fancy camera working for a startup. The date on a page is when it was first written, not when it was last edited. Find my archived content here

For quick reference, here is the yosys manual as of July 26, 2021.

# Succinct Trig-Free Parametric Circles

Introductory Remarks Recently, I've been studying asymmetric elliptical cryptography so that I can implement a bitcoin client that can read and engage with the bitcoin blockchain. I'm also studying ECC to better enable me to reason about an election system that uses public and private keys, and signs hashed votes with private keys. The Description I came across the following description of a circle when working through this material. $(\frac {1 - t^2}{1 + t^2}, \frac {2t}{1 + t^2})$…

# Setting up an SBCL Common Lisp Language Server for VsCode

This document is to help me remember how I got the following working in the SBCL REPL: C^a for (go to line beginning) C^e for (go to line ending) C^l for (clear screen) C^p or up arrow for (previous command) as well as how I got common-lisp-server vscode integration working. LispCookBook is much better suited to the task of providing an intro to programming in common lisp. Installing Steele Bank Common Lisp(SBCL) You can install SBCL with your package manager.…