Add kaue.md

src/_members/kaue.md

@@ -0,0 +1,24 @@
+---
+title: Kauê
+description: ඞ amogus
+email: [email protected]
+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.