×
You are not logged in
Bluesky Followers
μ
Followers of @aripiprazole.dev
alina 🌸🦴
Registered:1 Jan 0001 00:00
early 20s, it/she, aroace audhd bpdemon, puppygirl that meows
may or may not be obsessed with javascript too much
opinions are my own
Ali Rousta
Registered:31 Dec 2025 10:47
Go Enthusiast | FP Lover | AI Skeptic
morespinach.bsky.social
Registered:8 Sep 2024 01:35
Thinking about Databases
Rori
Registered:19 Oct 2025 05:13
The disciplined programmer
Type Theory Forall
Registered:3 Jan 2025 14:59
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
thumbquat.bsky.social
Registered:20 Feb 2024 14:06
a psycho?
Registered:5 Sep 2023 20:03
...having trouble with
AnalyticSort
Registered:5 Sep 2024 22:42
Formal methods enthusiast and wannabe logician.
φhilia
Registered:28 May 2025 16:38
just typing on my puter
🇧🇷
aron
Registered:3 Jul 2023 08:49
⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Avishek ghosh
Registered:1 Dec 2024 16:42
winpuc
Registered:28 May 2024 03:27
Asher
Registered:15 Nov 2024 15:12
compilers and coffee and lifting
Compiler engineer at nvidia
These views are exclusively my own
https://www.ashermancinelli.co...
igor
Registered:24 Apr 2023 20:22
bisexual virgin | he/him/any | lang: (mostly Portuguese 🇧🇷 - São Paulo), en. https://www.last.fm/user/whitw...
HEAVY USER
kylef94.bsky.social
Registered:18 Nov 2024 17:45
Sai Divvela
Registered:3 Jan 2025 19:22
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
jolman
Registered:12 Nov 2024 17:58
dev & foss enjoyer
anayara
Registered:14 Nov 2024 16:46
Physics Undergraduate • Information Security Analyst (OffSec) • Former Designer (but always a Designer). INTP if that counts for anything. She/her.
PTBR mostly.
Joel Souza
Registered:13 Oct 2023 21:25
Falo com propriedade sobre assuntos que não domino citando livros que não li.
knownas
Registered:18 Jun 2025 03:09
I like to code random stuff 😊
ru/en/pt | Data security. Relax
Бразильское антироссийское подразделение
Seno Rama Dhani
Registered:22 May 2025 03:05
Pão
Registered:4 Sep 2024 15:54
i like linux, programming & snake_case. reach me at @paodelonga.
hosting useless stuffs. tea, tech things, photos, mc (mine), reptiles.
minakamel.bsky.social
Registered:7 Feb 2025 07:02
movies, tv shows, computers, everton
Halls
Registered:30 Aug 2024 21:24
Conta em que eu deixo as vozes falarem.
Print Play Protect
Registered:25 Nov 2023 20:32
We make cool tabletop items :D
こた@擬人化イラストレーター
Registered:11 Jun 2024 17:23
いつもイラスト見てくれて感謝してます！ 「AIイラストレーター | 皆さんの毎日を少しだけ特別にをモットーに作っています」
openseaで擬人化NFT販売しております🙇 https://opensea.io/collection/... #nft #nftart
↓Twitter ↓
https://x.com/kota_artist_
↓SNSは下のリンクから↓
https://vlink.design/profile/k...
Aaron Christianson
Registered:22 Apr 2025 10:31
OCaml. Pronouns in bio.
Nick De Roeck
Registered:11 Nov 2024 12:24
🏳️🌈 ex-Twitter exile looking for less manipulation and negativity, and
more democracy and positivism. Blog @ https://publish.obsidian.md/ni...
a public builder
Registered:13 Mar 2025 04:17
doing some experiments to build something in public
SE4FP Workshop
Registered:10 Apr 2025 20:00
1st Workshop on Software Engineering for Functional Programming (SE4FP)
In 2025, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io/2025/
Davo
Registered:13 May 2023 16:51
(soft|firm|hard)ware enjoyer
Benjamin Geer
Registered:24 Apr 2024 20:19
Software developer and ex-academic (sociology, conceptual history, Arabic culture, etc.), sometimes publishes classical sheet music, lives in Paris, en/fr/ar/de/it, blog https://benjamingeer.name/, publications https://orcid.org/0000-0002-24...
Junrui Liu
Registered:12 Nov 2024 02:20
CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Hercules Lemke Merscher
Registered:31 Aug 2024 13:29
Coding for a living and for fun -- bitmaybewise.com
Backend Engineer at GitLab
Will
Registered:29 Nov 2023 11:49
Music and rambling
nickdecroos.bsky.social
Registered:13 Mar 2025 19:04
Christopher / クリス
Registered:14 Nov 2024 13:00
Husband・programmer・ 🇩🇪 🏴 🇯🇵・bjj/judo・🐧
SimonR
Registered:12 Mar 2025 09:34
Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer, NixOS
Early student in CS at Technische Universität München
Other interests: Physics, Accordion, Judo and Design
https://simonreilich.github.io...
xmateozzz.bsky.social
Registered:3 Dec 2024 00:57
Jack Matusiewicz
Registered:8 Aug 2024 07:38
Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
Bozhidar Batsov (a.k.a. Bug)
Registered:27 Sep 2023 07:42
Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order.
The artist formerly known as @bbatsov.
Personal blog: https://batsov.com
FOSS projects blog: https://metaredux.com
Emacs blog: https://emacsredux.com
Rafael Lourenço
Registered:31 Aug 2024 15:34
Eu faço código e meme
Petro
Registered:18 Nov 2024 05:23
Building things for everyone with Python and LLMs. Before this, was building things with Scala.
🏡- https://vpetro.io
👨💻- https://github.com/vpetro
Kramer
Registered:19 Nov 2023 13:11
Writing #ElixirLang at remote.com 🚀
Code: https://github.com/hamptokr