⊥
i'm an atypical antipsychotic who loves theorem provers
- 🖥️ rust 🦀 & ocaml 🐫
- 📖 type theory & hott
- 🌝 my name is gabrielle
- 🇧🇷 são paulo
⏱️ previously @io_gabx on twitter/x
@profanity.accountant
A bot which tells you how much profanity a user has poasted. Simply tag me and I will respond telling you how much a profanity you (or the user you’re replying to) has used in the last year (might take me a few minutes to respond).
@pinkieriudememes.bsky.social
Aqui você encontra memes de MLP, não se preocupe com a qualidade dos memes, a Pinkie Pie ri de tudo. ADM: @madcatsworld.bsky.social #mylittlepony #mlp #memes
@nanami.codes
"that one kotlin girl" | i’m just a cat ᓚᘏᗢ 🎀 | cat mom (Lucy: Bouba Disney ragdoll, Lily: Kiki Ghibli void)
@sprk.so
Take back your timeline 🎇 An upcoming independent video/photo app built on the AT protocol. Support us to join the beta! https://sprk.so/donate Contact: contact@sprksocial.co
@dshs.cc
🇧🇷 RO | Austistic | 18yo | Not sure, kind of lost in my own life at the moment, but I like computers, or atleast I think I do.
@listifications.app
Follow me to receive notifications via DM whenever you're added to a starter pack, block list, feed or when someone blocks your account. Follow @unsub.blocks.listifications.app to opt out of direct block notifications. Created by @dom96.picheta.me
@tupinikeebs.bsky.social
O cara que vende Teclados Estranhos na bolhadev https://www.instagram.com/tupinikeebs/ e tupinikeebs.com Ocasionalmente falo sobre ergonomia, códigos(probably bugs) e livros de alta fantasia
@zkat.tech
nb (she/they). boricua. rustacean. newbie artist. 1312. pfp by @kimstramat.bsky.social ✨
@caethel.bsky.social
she/her ₊‧°𐐪♡𐑂°‧₊ prog rock nerd, cs student, persona series enthusiast, raver 📍de
@cursemyname.bsky.social
Ela/Elu 🏳️⚧️, lg(BT)qiap(N)+ 🏳️🌈, daltônica, ñ/mono, comunista safada ☭, hater do Verstappen e do Christian Horner
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@milky-iris.bsky.social
Aurora Íris Milkas da Silva | ela/elu | artista NSFW | 💍 @fobiamarte.bsky.social não tenho ideia do q to fazendo chave pix: milky.aurora.oficial@gmail.com
@limart05.bsky.social
LIMART / illustrator for business inquiries limart8487@gmail.com Price list https://limart.carrd.co/ Support - https://www.patreon.com/LIMART
@gleam.run
Support Gleam development on GitHub sponsors! https://github.com/sponsors/lpil
@acm.org
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
@yawaramin.bsky.social
Recent escapee from that other social media platform with a musky smell
@ner0k1.bsky.social
Lovin’ OCaml and Nim, somehow good at Java and python. 👀 «…Ты съешь себя быстрее, чем они…» — hehehe “очень-очень”
@moritzhamann.com
Engineering Manager at Bloomberg LP. Opinions are my own. Currently doing 12 months of OCaml to what the fuss is all about 🐫😁 Mastodon: @MoritzHamann@mastodon.social https://moritzhamann.com
@rikusilvola.com
@terrateam.io
Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
@donalddinkenfelter.bsky.social
@andreypopp.bsky.social
@lomig.bzh
Rationnel, anticlérical, universaliste, réincarnation de Robespierre ; démon de la cohérence diégétique. Ce qui nous rassemble est plus fort que ce qui nous sépare. • Pirate de gauche 🏴☠️ • Mastodon : @lomig@social.baradoz.cloud
@tycho.blue
Building software Working on shoutbox.net - reliable email delivery without the cost github.com/tluyben
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@patriciaverso.com.br
Dionísia Patrícia (DP), primeira e última macaca Padí a/ela/-a e/elu/-e não-mono salmacian Paulistana 🏳️⚧️🇵🇸☭ http://www.patriciaverso.com.br Se bom senso tivésseis, o que não quisestes, da bondade e da felicidade da filha de Zeus desfrutaríeis
@aquabianca.bsky.social
ela/dela • travesti 🏳️⚧️ • sapatão aro • não-mono/ar • taróloga • your local anxious bipolar adhd • NSFW