I am a software engineer obsessed with software verification, DevSecOps, and open source local-first software.
Check out my shared work timer for neurodivergent individuals like myself. Like chess? Hop over to chesscoven.com or see the source. What about processing massive PGNs like the Lichess database? Check out axolotl-pgn).
Here are some technologies I enjoy using when the occasion calls for it. I like to believe there are perfect tech stacks, yet to be discovered. Debating what "perfect" might mean is the topic of most of the discussions I have with myself.
Feel free to reach out here or email me@axolotl-logic.io