About

Work environment

  • Windows 10 with WSL2 on PC at home;
  • EndeavourOS on personal laptop and at work;
  • Sway as window manager;
  • WezTerm as terminal emulator;
  • Neovim with a custom configuration.

Programming

Languages I use:

  • OCaml
  • C
  • COBOL
  • HTML/CSS
  • Typescript
  • Typst
  • Ruby

Technologies I use:

  • Nginx, Docker
  • Express.js, Vue.js, Next.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
  • 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.