Work environment
- Windows 10 with WSL2 on PC at home;
- EndeavourOS (based on Arch Linux) on personal laptop and at work;
- Sway as a window manager;
- WezTerm (terminal emulator);
- Neovim with a custom configuration.
Programming
Languages I use:
- OCaml
- C
- COBOL
- HTML/CSS
- Typescript
- Typst
- Ruby
Technologies I use:
- Nginx
- Express.js
- Hugo, Jekyll, AstroJS
Languages I would like to practice more:
- Haskell
- Rocq
- Scheme/Racket
- Rust
Languages I would like to discover:
- Elm
- Erlang/Elixir
- Typescript
- Lean
- Lua
- Smalltalk/Pharo
Personal
- Drawing dinosaurs was my main hobby as a child;
- Ruby was the first programming language I learned to use with RPG Maker XP to create video games;
- I was initially denied admission to DUT Informatique after highschool.