You are not logged in
Bluesky Profile
@
Ī¼
@aripiprazole.dev
Registered: 7 Aug 2023 14:38
Last post: n/a
Iā€™m an atypical antipsychotic who loves theorem provers - šŸ–„ļø Rust šŸ¦€ & OCaml šŸ« - šŸ“– Type Theory & Nerd stuff - šŸ‡§šŸ‡· SĆ£o Paulo ā±ļø @io_gabx on twitter/x
This account allows incoming chat messages from accounts on Bluesky it follows.
This account allows followers on Bluesky to be notified of new posts from this account.
Handle history for @aripiprazole.dev
aripiprazole.bsky.social
PDS: bsky.social
2023-08-07 14:38:32
aripiprazole.dev
2023-08-07 14:40:39
aripiprazole.dev
PDS: puffball.us-east.host.bsky.network
2023-11-09 21:55:53