Things I'm currently Coding in The Open:
- Type-safe Algebraic Effects System for Rust. With Lenses and Context Adaptation and Quantified Effects. (Research Project)
- Algebraic Effects System for Nix, ported from fx.rs
- A A Golang compiler for Nix language into delta-interaction networks. (Research Project)
- Golang compiler target and runtime for delta-interaction nets. (Research Project)
Tools for Dendritic Nix.
- Non-flakes dendritic examples using different top-level module classes.
- Novel flake.nix generator for the flake-parts community. (Nix Tooling)
- Nix file loader. Easy, configurable, with extensible API.
- Parametric, context-aware Dendritic Nix Configurations framework.
- Aspects provide a tree and graph dependency for Dendritic modules.
- Community-driven Nix Distribution. (Dendritic Nix Community)
- Find and pin nix pkgs at known stable ranges (Nix Community)
- My NixOS multi-host, automated Dendritic configuration.
- I've been contributing to this awesome jj TUI.
For a full list of my projects, see my GitHub repositories.
Having a life with purpose
I believe my life has a purpose. And that purpose for me is Love.
I believe that we are not the authors of Love, but Love is has authored us. And as much as we are willing to receive it (God/Love) we will also be able to give it into others.
None of us is perfect and we all have made wrong, but there's so much in life than only our past. Learn, change, adapt, become a better person every single day.
So, having a purpose in life, for me, means having the willingness to be transformed by Love and be able to give it for others.
Contact
I'm always open to remote opportunities
I love to work on developer tools, compilers, effect systems, or nix-infra tooling.
Nowadays I prefer doing Nix, Elm, Scala3, Rust and Go.
Here's my CV
Feel free to reach out if you’d like to collaborate or discuss opportunities or just talk about common interests or projects.
|
If you like what I'm doing and want to show your support, I'm open to donations.
You can also just say "Hey, here's a potato" and leave a potato or anything else.
If you want me to contribute to some project I can also take comissions for working on OpenSource.

GitHub User #331

About me
I'm single, send a pull-request fixing this.
I love poetry, Rothko paintings, the Rebecca purple color and effect systems.
I'm a Seventh Day Adventist. I enjoy our Sabbath School so much, self-reflecting, learning lessons from the Bible that can teach me about the real character of God and the love he gives us for us to give.
I also enjoy reading about Religions, Theology, Physics, Math (mainly related to C.S), Type Theory and Effect Systems.
I have a ~50% hearing disability. So I pretty much prefer to communicate via async written form whenever possible.
I love customizing my Glove80 Keyboard, and layout optimizations that can reduce finger stress.
I'm doing lots of Nix, Scala3, Go and Rust. And love creating stuff for people like me: nerds.
Table of Contents
|