@rinpenrose.bsky.social
guy from thing I do the content on the https://www.twitch.tv/rinpenrose Fanart: #inkpaintrose Business: hello@rinpenrose.co.uk
@lena.fyi
idk some girl or cat or panda that does music "verified" lena raine (that @kuraine) see what i've done at: http://radicaldream.land stay tuned for "ANOTHEREAL"
@xkcd.com
@jesyspa.bsky.social
Mathematics and Computer Science PhD student in Nijmegen, currently at JetBrains working on Kotlin formal verification she/they 🏳️🌈 🏳️⚧️ I like programming languages, formal verification, abstract nonsense, tea, and books.
@monomere.bsky.social
she/her I do pldev, gamedev and sometimes osdev, conlanging/worldbuilding and am trying to do music name may change
@ulipink.bsky.social
[she/her] inexperienced PL girl Oz arc :3 primarily Standard ML actively learning Oz, Twelf, Beluga, λProlog, Mercury, F#, Ur, INTERLISP back-burner, Pascal, Scala, Isabelle, Scheme, Raku wish to learn Agda, Self, Picat, ATS, Erlang, AliceML & Shen
@techconnectify.bsky.social
I'm that YouTuber who taught you how dishwashers work. Guess I'm tryin' out the whole Bluesky thing now. he/him https://www.youtube.com/technologyconnections
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app