uli :3
[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
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@juljasmah.bsky.social
Julia | 20 | she/her🏳️⚧️ the world is fvcked Links: discogs.com/user/juljasmah steamcommunity.com/id/JulJasMah
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@danii.fi
Mathematical Physics ۞ talk to me about APL ۞ recommended by 4 out of 5 women ۞ the light of truth will shine in my hand ۞ danii.fi it/its ۞ discord: danii.fi
@scottwlaschin.bsky.social
@ursenzler.bsky.social
Software engineering, architecture and design stuff, mainly on .Net, F#, and Azure. Co-Host of .Net user group Central-Switzerland. #fsharp #dotnet #SoftwareArchitecture
@uniw.university
omg me (it ! ), 20, temporarily embarrassed polynaire (presumably??) discord: uniwuni kitty sheep bunny duck creature thing 🐈🐑🐇🦆 say hi to glorious precious lovely bunny @transgender.parts
@aether.gay
it/its | your local cpt-violating pawtistic ADHD yellow slugcat :3 | Im a furry artist and programmer!! | 20 y/o (keep replies to this page sfw though please) | obsessed with shipwrecked 64 and iglooghost
@metameeee.bsky.social
Just that typical gender non-conforming long-bearded autistic queer dude yelling at clouds (and cloud providers) that has everything and nothing figured out all at the same time. I don't agree with any of your opinions. 🏳️🌈
@palaiologos.rocks
programmer, mathematician, 20yo girl. https://palaiologos.rocks/. looking to become a phd student.
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@caznix.bsky.social
⌨️Developing ADVANCE Soon™ 🎹 Musician of 4+ years: https://samply.app/p/OgXAY0wr9XWkqrbC7hRy ⌨️ Gamedev https://github.com/Caznix 🎨 Vector artist https://www.figma.com/@caznix 🫂 My community! https://discord.gg/VJryqBZDmS 👋 Dms open
@modula-t.org
fake gamer, dripping with the blood of the nonbelievers. ⏻蛾🐾⚧😇✨🖧🎵🎮♽∞☭ https://modula-t.org/
@interlisp.org
Official account of the open source project to preserve, revive, and modernize Medley Interlisp. This extensible graphical operating and programming environment has roots in Xerox's Palo Alto Research Center (PARC). https://interlisp.org
@north-dev.bsky.social
he/him | 🏳️🌈 slightly insane game dev quaver, osu!, and rhythia online player may yap too much, ignore sfw but sometimes interacts with nsfw
@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.
@monad.mom
I code Lean because I love Lean. Lean is my main language. I use Lean for frontend, backend, and math. I just love Lean Charlie. This is my personal account that I post mainly in PT/BR
@netdoll.bsky.social
Shooting game, TGM, 9, etc. "I don't know whether you being compared to Tomoko is a compliment or a cry for help" she/her
@latticepolytope.bsky.social
Algebraic geometer, Arknights whale, Caprinae supremacist and Adele Naumann simp. Krooster: https://www.krooster.com/network/lookup/latticepolytope
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@strawberry0808.bsky.social
Programmer, mom of Penger.City. Visit https://penger.city for more Penger!
@luxploit.net
mostly sfw however sometimes i get too silly software engineer and internet whore 🏳️⚧️🇧🇷 pookie wifey: @ambraglow.org OF/pr0n/nsfw: @acidpaws.cam
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@fullmoon.id
Author of Dhall, http://haskellforall.com, Nix Steering Committee, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet
@jeaye.com
Creator of jank, the native Clojure dialect on LLVM with seamless C++ interop.
@juliet.hs.vc
Hi, I'm Juliet I'm a electronics engineering nerd who is also into systems administration, ham radios, plants, metal music, old ass computers and more. https://juliet.hs.vc is my website and https://discord.gg/HejDP24Nk3 is my discord server!
@monomere.bsky.social
she/her I do pldev, gamedev and sometimes osdev, conlanging/worldbuilding and am trying to do music name may change
@hayleigh.dev
✨Core Team at Gleam 💪 Founder of Lustre Labs 👩💻 Frontend Consultant at ???? 👀 I’m just a 🏳️⚧️ girl learning 🇫🇷 and vibing in 🇧🇪 Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.
@conrad.cafe
Probably writing Rust https://github.com/conradludgate https://conradludgate.com
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@kittybwained.bsky.social
it/she minor so mdni dni VM/CMS fangirl UNIX hater i like red vox and トゲナシトゲアリ
@gosha.net
Up at 5, writing #Clojure. Making Parts (https://parts.ifs.tools), a toolkit for #InternalFamilySystems therapists. #Lisp fan, photographer, husband, dad. ⚫ Studio: @a.possible.space 🏡 Homepage: https://gosha.net 📍 SE London
@freya.bsky.social
🎮 indie tech artist 🏗️ I made Shader Forge & Shapes 🌐 working on https://half-edge.xyz 🔥 shader sorceress 📏 math dork 🎥 rare YouTuber/streamer 📡 ex-founder of @NeatCorp my kids: 🥪 @toast.acegikmo.com 🥗 @salad.acegikmo.com 🐈⬛ @thor.acegikmo.com
@cassandra.apache.org
Updates from a true open source distributed application database trusted by thousands of successful companies for best-in-class scalability, availability, performance and unbeatable fault-tolerance + reliability. (I follow my PMC)
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀