I started working on the FPGA synthesis project I’ve been thinking about for a while. This involves me using Rosette, which I haven’t done in a while.