@bugarela.bsky.social
Linguagens, compiladores e verificação. Trabalho numa linguagem de especificação chamada Quint e dou aula de métodos formais na UDESC. 26 aninhos, Joinville - SC.
@hln.bsky.social
@thiagobranden.bsky.social
Hi! I'm Thiago. CS researcher. I like anime, artists, vtubers, Lula and to discuss politics. EN/PT-BR. Can call me Thi.
@jvfr.bsky.social
Um não binário (será?) bacharel em ciência da computação (ah, a ironia) que, não satisfeito em apanhar na graduação, foi atrás da humilhação no mestrado enquanto busca compreender suas questões de gênero
@pandini.bsky.social
Formato computadores e distribuo trivia Pronomes: me surpreenda Formação superior em compiuter -> trabalhando no chão de fábrica da tupy Professional jacaré driver
@skullicarus.bsky.social
icarus. 26. nb. rpg connoisseur. sometimes digital artist but mostly computer scientist. EN/PTBR twitch: https://twitch.tv/skullicarus #BRArt | #OCs | #Commission
@chechel.bsky.social
"Olhe a sua volta!" disse o lojeiro AuDHD, nb (qualquer pronome) Tentando não enlouquecer
@caloio.bsky.social
Estudante de computação em tempo integral e homem meio bicha nas horas vagas. Neurodivertido e comuna.
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Post mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@migsnunes.bsky.social
Cientista da Computação e Lógico perdido na Filosofia. Twink demais para lidar com instalações hidráulicas Não Binário e Bissexual Pronomes: Ele/Ela/Elu dependendo do dia
@kaqui.bsky.social
Computóloga, matemática, lógica, professora, mãe de dois guris, viciada em café e cheerleader de Maratona de Programação.