schonfinkel - Overview

I'm a software developer and infrastructure engineer, I like my philosophy ~~UNIX~~ ~~Emacs~~ Emacs (with EVIL) and my programming Functional.

Summary

-type language() ::
    erlang | fsharp | gleam | haskell | nix | ocaml | 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(), ...],
         country = "🇧🇷",
         interests :: [interest(), ...],
         tools :: [database() | language() | infra(), ...],
         system :: [system(), ...]}).

Summary

Pinned Loading