I'm a software developer and infrastructure engineer, I like my philosophy UNIX Emacs Emacs (with EVIL) and my programming Functional.
-type language() ::
erlang | fsharp | gleam | haskell | nix | python | rust | shell | sql.
-type infra() :: docker | git | kubernetes | make | pulumi | terraform | vault.
-type database() :: postgresql | sqlite | sqlserver.
-type system() :: nixos.
-type interest() ::
algebra_driven_design |
distributed_systems |
emacs |
functional_programming |
linux |
logic |
relational_databases.
-type role() :: backend | devops | infra.
-record(description,
{name = "Marcos Benevides" :: string(),
title :: [role(), ...],
city = "São Luís/MA" :: string(),
country = "🇧🇷",
interests :: [interest(), ...],
tools :: [database() | language() | infra(), ...],
system :: [system(), ...]}).
