μ
LightNews LightNews
banner
aripiprazole.dev
μ
@aripiprazole.dev
410 followers 250 following 150 posts
I’m an atypical antipsychotic who loves theorem provers

- 🖥️ Rust 🦀 & OCaml 🐫
- 📖 Type Theory & Nerd stuff
- 🇧🇷 São Paulo

⏱️ @io_gabx on twitter/x
Posts Replies Media Videos
aripiprazole.dev
KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK
September 8, 2025 at 5:42 AM
aripiprazole.dev
a sub girl
November 29, 2024 at 7:17 PM
aripiprazole.dev
a girl holding a blahaj saying: only the shark understands me
November 24, 2024 at 3:03 PM
aripiprazole.dev
November 21, 2024 at 5:19 PM
aripiprazole.dev
mtst????????
November 17, 2024 at 3:05 AM
aripiprazole.dev
Bluesky now has over 10 million users, and I was #512,378!
September 18, 2024 at 12:51 AM