Kauê HB
@bakaq@mastodon.social
- Name
- Kauê HB
- First seen
- 2024-11-29T10:45:35.344686
- Instance
- mastodon.social
- About
Physicist and programmer.
I love logic programming, formal methods, category theory, music, linguistics and sleeping.
Fluent in Portuguese and English. ~N3 in Japanese. ~low A2 in toki pona and Esperanto. Beginner in German and Mandarin.