Kauê

Sou um físico formado no IFSC USP, em breve entrarei no mestrado.

Eu amo ferramentas e linguagens de programação que ajudam a fazer software robusto e correto, como métodos formais (TLA+, Alloy, Coq, Constraint Logic Programming) e tipagem forte (Haskell, Rust). Tenho muito interesse em teoria das categorias, composição e produção musical, software e hardware embarcados, e visualização de dados, e paradigmas de linguagens de programação incomuns (Prolog, Smalltalk, Forth, J, Uiua).

Sou contribuidor ativo do Scryer Prolog, uma implementação ISO-compliant e moderna de Prolog.

Eu uso NixOS atualmente, mas Arch ainda vive no meu coração.