Kauê HB

bakaq@mastodon.social

<p>Physicist and programmer.</p><p>I love logic programming, formal methods, category theory, music, linguistics and sleeping.</p><p>Fluent in Portuguese and English. ~N3 in Japanese. ~low A2 in toki pona and Esperanto. Beginner in German and Mandarin.</p>