Talos Linux solves this.

Lovely response! Very cool to see Unison mentioned. Haskell and Purescript are my daily drivers but I have a huge crush on it even though it intimidates me.

Ps. Unison doesn’t have monads. They are replaced by “abilities”.

I find that Haskell and similar purely functional languages that use category theory pair well with situations that rely on parallelism. Especially Haskell because it is immutable and lazy (or Idris or Agda with their dependent types to prevent invalid circuits perhaps).

Circuits as Bicartesian Closed Categories

Maybe someday this stuff will be approachable to Arduino level tinkerers. Until then, I like to watch this guy make magic https://youtu.be/Q8K0aeqDBiI

Thanks for the insight.

FPGA’s can do anything. Verilog is no joke. I’m excited for FPGA’s to become a bit more approachable with the advent of OpenFPGA.

I’m trying to do this in a really small, portable format. So while that would work well with a Pi, this needs to be able to be powered by a 9V battery. So, I really need it to be a microcontroller instead of a full-on ARM chip.

I could co conceivably do this with a PI Pico but I want to see about doing this in as compact and low power format possible.

I’m hoping so. I am resisting the urge to go to enshitti-Reddit for this question…… probably at my own expense.

I did look it over very thoroughly.

The way to skin this cat is to find a way to rewrite large banks of memory. Their library is amazing but I think writing their onboard microSD card is about as close as I could get with stock Teensy hardware.
I think I’ll see if Paul S from Teensy would chat on the phone. Edit: he pushed me to their forum. 🫤 super sweet guy!

By my estimation, what I actually need is a circuit board or a IC packed with EEPROM that can write in a continuously-cascading fashion. A very interesting puzzle that I had yet to encounter until I had this idea for sure!

I bought a cheap IC that does low quality audio but it’s just not the same. It needs to be pristine quality audio. So, I’m guessing that I’m looking for the ability to encode and decode 16bit 44.1 kHz quality audio on the fly.