+
Skip to content

schonfinkel/schonfinkel

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

30 Commits
 
 
 
 
 
 

Repository files navigation

你好, digital citizen! Welcome to Cyberspace.

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


My Online Presence

My Blog My Linkedin profile My Hacker News profile My SE profile

Summary

-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(), ...]}).
Btw, I use NixOS!

About

Linguistic nuances inexpressible outside it's original language...

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载