recent projects - recent activity - my denful Nix umbrella - denful projects

srs I was tired of Rust compilation times and target filling my disk. Also I've always loved Scala3, so srs is my take at an Scala3-like compiler into PortableC where memory management is tracked via Flow Effects and Stateful Protocols. It is very young and unstable (aka -O fun: optimized for fun) Yen Nix fleets you can formally verify before deployment. Build Nix configurations you can ask questions about, and prove things about, before you deploy. FRP inspired pure-Nix language for advanced fleet configurations where everything is a query. Two logic substrates: uKanren for configuration synthesis and Datalog for proving invariants. Related bits: ren A re-interpretation of my den framework as a library built solely on gen. ren-ports: real fleets (mine and a few friendly strangers') re-modeled in Ren by an agent, to see if the thing holds up. Not canonical, just a stress test with nice diagrams. dungeon: Den's API rebuilt on Gen libraries. Still very much in progress, most of the tests are not there yet, and I'm not going to pretend otherwise.

tot I created my own terminal-based dungeon crawler auto-shooter survivor game. It is clearly inspired by Diablo/Doom and HallsOfTorment/VimpireSurvivors. It is made for agentic-gaming (ClaudeCode) where you can ask an agent for a new adventure world and to spawn pals or foes. gebed I was frustrated with existing br and bd web interfaces, tried several but none worked, because I needed support for both dbs. So, here's a TUI on the Web for you to manage your beads. mtx A full-featured Matrix chat client for the terminal inspired by helix and vim keys. ircc A local IRC-like chat for Claude Code sessions. Each session is a #channel, you make rooms (&review), invite sessions, and agents working on different projects can finally talk to each other instead of through me. It opens no network port at all, only unix sockets on your machine. Yes, I built a chat room for robots. They are better at it than I am.

• tinted-jjui: jjui themes generated from base16/base24 schemes.
• vix: my NixOS + Darwin config. The place where my ideas get tested before they get to embarrass anyone else.

It all started with a little import-tree and then, as it happens, became a whole organization: denful. Docs at denful.dev.

Aspect-oriented Nix

• context-aware, aspect-oriented configuration. People use it for real things, which still surprises me.
• import every Nix module in a directory tree. The one that started it all.
• aspect composition with dependency DAGs
• generate flake.nix from module options
• community distribution on the Dendritic pattern
• dnx: an attempt at a parallel Nix evaluator on interaction nets.

Effects, FRP and friends

• algebraic effects with handlers, for Nix
• ability-style effects for stable Rust, after Scala's Kyo
• effect handlers for Go
• stream-based FRP for Nix, inspired by Cycle.js
• lens-based bidirectional parser combinators for Nix
• a tiny Nix module system

I've been writing open source since 1999, mostly by reading other people's code late at night. In 2023 I burned out and left tech completely. I spent that time with poetry, art and theology, and came back with more love than I left with. I still build things, but now I do it because I want to, not because I have to.

I think of what I make as acts of love that happen to compile. Free and libre, no VCs, no equity.

• 🟣 I love the color Rebecca purple, Rothko paintings, and effect systems (in that order on good days)
• 🎹 I obsess over my Glove80 keyboard and over layouts that hurt my fingers less
• 🔇 About 50% hearing loss. Open source has been my voice, so written and async is where I feel at home
• ✝️ Seventh-day Adventist. I belive LOVE is what created us and want us to return to it, so LOVE makes us!
• 📖 I also work on berean.faith, a scripture-study platform where the Bible explains itself
• 💜 I'm single, feel free to fix this 😄
• 🥔 Leave a potato, or literally anything else. Just say "Hey, here's a potato."

25+ years across compilers, language implementation, algebraic effects, functional programming and Nix infrastructure. Open to remote roles in any of those.

• Mostly Rust, Nix, Go, Scala, Elixir
• Also fluent Haskell, Elm, Ruby, TypeScript
• Infrastructure NixOS, Kubernetes, Terraform, Docker, CI/CD

📄 Full CV

• 💬 Open a discussion about anything, I'd love to hear from you
• ✉️ [email protected] (for business, and spam)
• 🦋 Bluesky · X @oeiuwq

I’ve been moving between a few threads lately, and the recent activity on GitHub reflects that: a lot of Nix work, a lot of design work, and a fair amount of trying to make the tools feel more natural to use.

• denful/den — the big design and experimentation hub for aspect-oriented Nix
• denful/flake-file — module-driven flake generation and the tooling around it
• vic/ren — a small language for describing fleets and infrastructure in a more intentional way
• vic/vix — my personal config lab where I test ideas before they get public
• vic/mtx — active work in the same broad orbit of systems and language tooling

The last year has been a steady mix of docs, experiments, and real-world cleanup. I’m happy to keep building in public, and I’m grateful for everyone who sticks around for the ride.