For a full list of my projects, see my GitHub repositories. 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.
I love to work on developer tools, compilers, effect systems, or nix-infra tooling. Nowadays I prefer doing Nix, Elm, Scala3, Rust and Go. Feel free to reach out if you’d like to collaborate or discuss opportunities or just talk about common interests or projects. |
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. |
Everything I know, I've learned by reading others code. I believe in the power of sharing knowledge.
I create tools and languages that empower developers by making their work more productive, reliable, and enjoyable.
My passion is building robust, real-world solutions with functional programming, effect systems, and language implementation.
- Functional programming (Scala, Haskell, Elm, Elixir)
- Effect systems and concurrency models
- Compiler and language implementation (Scala, Rust, Go, Ruby, Python)
- Nix and reproducible developer tooling
- Open source leadership and community building
I love working in the following areas:
- Compiler and language implementation
- Effect systems research and development
- Developer tooling and infrastructure
- Functional programming projects
If you’re building something in these areas, let’s connect!
Here are some of my original open source projects, spanning several languages and ecosystems:
- μKanren-inspired relational/logic programming for ZIO2.
- Minimalist distroless Docker images for Java apps using Mill.
- Immutable double linked list in Scala 3.
- Giter8 launcher for scala-cli.
- Cycle.js style user-computer model in Laminar.
- Scala 3 compiler plugin to prevent unsafe function calls.
- Logic programming language based on typed concatenative effects (Scala prototype).
- Define big project structures as a regular Scala project.
- Functional-reactive interfaces on Laminar and Scala.js.
- Ecto-style parameter validation/casting.
- Macro for extracting/transforming values in pipe flows.
- Macro to avoid commas in Elixir's
withspecial form.- Data specification conformance and generation.
- Reusable, composable patterns across Elixir libraries.
- Pipe Elixir functions that match ok/error tuples or custom patterns.
- State-aware Elixir functions without spawning processes.
- Minimalist function decorators for Elixir.
- Macro for easily piping arguments at any position.
- The alchemist's happy path with Elixir.
- Elixir Indifferent access on maps/lists/tuples with custom key transforms.
- The purple turtle theme for Spacemacs.
- Vic's Emacs Environment.
- Better fuzzy matching for Emacs ido-mode.
- Set Emacs color themes by buffer.
- Let Emacs suggest which key bindings to press.
- Search Nix package versions and minimalist devshell/version manager.
- Vim/Evil leader-key for your $SHELL.
- Algebraic Effects System in Rust.
- Send keyboard macros to Spacemacs or DOOM Emacs via emacsclient.
- Create reusable Docker layered images from Java fat-jar apps.
- Deploy Nim applications to Heroku.
- Git-based server provisioning.
- Import all Nix files in a directory tree.
- Community-driven Nix distribution.
- Generate flake.nix from module options.
- Buildr: Core contributor and Apache Software Foundation PMC member for it.
- asdf-vm: Maintainer and plugin author for the extensible version manager.
- Rubinius: Early contributor to the Ruby VM.
- Fancy Language: Contributor of a dynamic, functional OO language.
- Typhon: Python implementation for Rubinius VM.
- effects-bibliography: Collaborative bibliography of computational effects.
For a full list of my projects, see my GitHub repositories.