AG
Ariana Grande no Spotify ☀️
@agdailystreams.bsky.social
Atualizações diárias sobre o desempenho de Ariana Grande no Spotify!
PF
Pete from Fuzzy Ghost
@fuzzyg.host
IGF Nominated, AGDA winning, queer game making duo based on unceded Gadigal Land - Sydney. We are Pete & Scott 🏳️🌈
linktr.ee/_fuzzyghost_
MC
Manuel Chakravarty
@tacticalgrace.bsky.social
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt Policy DigiCom
📍 Utrecht 🇳🇱🇩🇪🇪🇺
• Twitter: @TacticalGrace
AL
Amélia Liao
@ame.fyi
Compiler engineer moonlighting as a type theorist. Member of the Agda team.
SA
É só Alex 🇵🇸
@agdalex.bsky.social
Universitário cansado que gosta de guapoduo, Sherlock Holmes, TGCF e outras nerdolices
[dou RT em arte nsfw 🔞]
AB
agda burra da silva jr ranheta UwU🇯🇴
@nevesaa2n.bsky.social
she - 16 - controller
P
pwalrus
@pwalrus.bsky.social
trying to be a mathematician. i like Coq/Agda/Lean