I'm interested in PLT (Programming Language Theory), or more likely
PLP (Programming Language Practice) and its intersection with
Operating Systems.
I do educational talks and live
coding streams; academic and casual publications; create,
contribute, maintain and manage a number of tighly related FOSS
projects (IDE, Debugger, functional package manager and OS
distribution).
Publications
In addition to my blog posts, I do RnD and write papers.
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): A Guile development tooling framework based on nREPL
protocol. An RPC server and API for completion, gotodefintion,
interactive debugger and test runner and much more.
- Emacs Arei (maintainer):
Guile IDE for Emacs. A frontend for Ares dev tooling framework.
There are a few ways you can support me and projects I
work on.
Areas of Expertise, Interests and just Keywords
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 :: Functional Programming, Algebraic Effects,
Lisps (including Scheme and Clojure), Capability-based Security,
Content-adressable Representation of Computer Programs, nanopass
compilation.
- Development Tooling :: efficient and effective development tooling
with short feedback cycle, ways to simplify and streamline the
software development and save human lives.
- UX :: all kind of interfaces, from IDEs and window managers to
keyboards
layouts,
and ergonomics.
I would be glad to collaborate, teach, study or just chat about those
and related topics, so don't hesitate to reach me out.