From a547f75a3035cfc65a99ccb4d9aa901fad357d82 Mon Sep 17 00:00:00 2001 From: bakaq Date: Mon, 10 Feb 2025 17:18:11 -0300 Subject: [PATCH] Add kaue.md --- src/_members/kaue.md | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 src/_members/kaue.md diff --git a/src/_members/kaue.md b/src/_members/kaue.md new file mode 100644 index 0000000..502cbde --- /dev/null +++ b/src/_members/kaue.md @@ -0,0 +1,24 @@ +--- +title: Kauê +description: ඞ amogus +email: bakaq@bakaq.net +links: + site: bakaq.net + github: github.com/bakaq + mastodon: mastodon.social/@bakaq +draft: false +role: "active" +--- + +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](https://scryer.pl), uma implementação ISO-compliant e +moderna de Prolog. + +Eu uso NixOS atualmente, mas Arch ainda vive no meu coração.