polytt VS stepmania

Not a job per se, but some friends and I wrote a library for building compositional chatbots (like for IRC not LLMs necessarily) encoded as Mealy Machines: https://github.com/cofree-coffee/cofree-bot/

That project then has since led to a long term collaboration with the Topos Institute where we are building type theory for Polynomial Functors: https://github.com/toposInstitute/polytt

Polynomial Functors are a really powerful abstraction from Category Theory which subsumes the co-algebraic approach to finite state machines used in `cofree-bot` and which can also be used to encode wiring diagrams, tactics engines, game semantics, neural networks, and dynamical systems in general.

Check here and here for instructions.

Stepmania 5.1 beta 2

It means the lowest version you could use to play those files is the last build stepmania, stepmania 5.1b2 (https://github.com/stepmania/stepmania/releases/tag/v5.1.0-b2)

Original StepMania is still around, I recommend using version 5.1-b2: https://github.com/stepmania/stepmania/releases/tag/v5.1.0-b2

I would recommend grabbing 5.1 from here: https://github.com/stepmania/stepmania/releases/tag/v5.1.0-b2 Don't worry about the "beta" label, this version is very stable but it never got a proper release because the development team sort of fell apart after that.