You may already know me from educational
talks, streams,
publications and my involvement in the following projects:
Projects
- Guix
Home
(author): A guix subsystem allowing to build and activate home
environments.
- Guix (committer): A functional package manager and generic devops tool.
- RDE (maintainer): Developer and power user
friendly GNU/Linux distribution and set of tools for managing
development environments.
- Guile Ares RS
(maintainer): Guile implementation of RPC Server based on nREPL.
protocol for making development tooling.
- Emacs Arei (maintainer):
Guile IDE for Emacs.
There are a few ways you can support me and projects I
work on.
Areas of Expertise and Interest
Good, but not complete list of them:
- Software Reproducibility: functional package managers, Guix, Nix,
Guile, Scheme, WASM, Pre-Scheme, minimalistic programming languages
and bootstrtap of compilers.
- Programming Languages: I have a strong CS background, my current
focus is on Functional Programming, Algebraic Effects, Lisps
(including Scheme and Clojure), Capability-based Security,
Content-adressable Representation of Computer Programs, nanopass
compilation.
- Development Tooling: creating efficient and effective development
tooling to reduce feedback cycle, boost productivity and simplify
and streamline the software development.
Don't hesitate to reach me out if you have questions in
other topics, as my colleagues do a lot of research and development in
Machine Learning (NLP, CV, LLM), Data Science, Programming Language
Theory and Formal Verification.
Consulting Services
I offer a range of consulting services to help you achieve your goals
in the software development world. Whether you're seeking guidance on
Guix, Guile, Lisps, looking for improvement of Development Processes
and Tools for your team or have some request in any related topics.
I would like to make software development more accessible, efficient,
and reliable, and I'm happy to collaborate to make this goal closer.
Feel free to contact me for inquiries or discussions.