Lilith Wittmann @lilithwittmann.bsky.social Journalistin. Krawallinfluencerin.
https://links.lilithwittmann.de
@obsidiansystems.bsky.social @obsidiansystems.bsky.social 
Feriel فَرْيَال (ꈍ ᴗ ꈍ✿) @feriel.choutri.eu Trade unionist, musician, professional software victim.
🇫🇷/🇩🇿
Séparatisme Numérique at @solinfonat.bsky.social
Project lead at @flora.pm
93 est mon indice d'octane
verijit @verijit.bsky.social We use techniques from just in time compilers to accelerate Verilog simulations.
Arkilide @arkilide.bsky.social If I don’t do art I grow bald | processes are recorded here https://youtube.com/@arkilide?si=UICzaplSVb-8Ptra
Some artworks here are old, they can be found on my twitter: https://x.com/arkilide
all socials: https://linktr.ee/Arkilide
Joe @doscienceto.it Software Dev & Accidental Compiler Engineer, into Programming Languages, DataVis, Functional Programming, 3DPrinting, sewing, vim, spaces, he/him
I spend more time on Mastodon at:
https://functional.cafe/@hungryjoe
PPK, the Kwisatz Haskellach, Monad'Dib @ppkfs.bsky.social they/them. Haskell, cocktails, cats, shitposting.
Susie @thesusie.tgirl.gay doe with antlers · taken 💜💚 · i am ≥21 years of age · she/her/her/hers/herself
Savannah Ostrowski @savannah.dev Python 3.16 & 3.17 Release Manager. Python Steering Council. Python Core Developer. Building @fastapicloud.com. Likes compilers, open source, film, physical computing + cats.
savannah.dev
github.com/savannahostrowski
@coredispatch.xyz
Dr Huw Campbell @huwcampbell.com Functional programmer, physicist, trainee zoo keeper, circus performer, and Dad.
David Allsopp @dra27.uk Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Ian Duncan @iankduncan.com I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://wireform.systems/
Engineering at Mercury, formerly Forge, CircleCI, others
Xe @xeiaso.net Some nerd that uses computers | Blogger with 500-ish articles at https://xeiaso.net | @theprincessxena on the bird website | CEO @techaro.lol | Minors DNI
@t4ccer.com @t4ccer.com 
_cry64 <3 @dobutterfliescry.net 20 [they/them] 💛🤍💜🖤
(dys)functional programmer, mostly writing nix, haskell, rust, c, or bash ✨
i love my flesh prison!!1! 🩷💜
https://dobutterfliescry.net
Andrew Lilley Brinker @alilleybrinker.com Memory safety / Rust 🦀, Dodger baseball ⚾️
...also #jj-vcs, urbanism, and more.
Helping you assess OSS risks with @hipcheck.mitre.org.
Principal Engineer at MITRE (opinions are mine)
blogs: alilleybrinker.com / possiblerust.com
James Munns @jamesmunns.com Notable Protocol Enjoyer.
Doing stuff, mostly in Rust and on Embedded systems.
Co-host @sdr-podcast.com
DMs (matrix): @jamesmunns:beeper.com
DMs (signal): jamesmunns.255
he/him
Kein Ort für Nazis
@alt-romes.bsky.social @alt-romes.bsky.social 
Games by Sam @cluesbysam.com 
rain 🌦️ @sunshowers.io (gender)queer transsexual / they/them / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / #jj-vcs #1 fan / https://nexte.st / https://sunshowers.io
also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
Ola @olamusta.bsky.social Software Engineer, FP guy (particularly Haskell), I stream on programming (theory and practicals), gaming, piano, etc. on YT and Twitch @ola_musta.
I also sometimes write at thunk.blog. Opinions are my own
Renatillas @renatillas.dev I do functional programming with Gleam. I'm a girl riding a mecha robot going through space-time trying to do my very best every time.
Abhinav Sarkar @abhin4v.bsky.social Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google. Also at @abnv.me.
#programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself
grace @trygrace.dev the functional programming language for prompt engineering
try the tutorial at trygrace.dev
profile picture by @art.nekomimi.pet
@terrorjack.bsky.social @terrorjack.bsky.social 
Danielle @daniellemaywood.uk Software Engineer, 24 🏳️⚧️
𐂂 @viv.fyi 𓆏
you can't prove its me
don’t repost
isabel @isabelroses.com smart enough to know better, dumb enough to do it anyway
21 | she/her
least informed nerd @leastinformednerd.bsky.social you’d think being a nerd every waking hour would make me knowledgeable…
teo @doublenegation.bsky.social writes Haskell mostly | loves public transport | studied philosophy | 🏴 | | they/them
Medlife Crisis (Rohin) @medcrisis.bsky.social Dr Rohin Francis. Consultant cardiologist with a sub-specialisation in useless videos, found on YouTube and Nebula. Less funny than placebo (p<0.05)
Dad, doctor, dork
Γ ⊢ quartztz : bnuy @jack.quartztz.com [he/they] EN/FR/IT
quartztz.com
Stop playing all that bullshit, those weird notes. Play the melody.
MSc @ EPFL
verification obsessed nerd with too little time on their hands.
waffle, supposedly @wffl.pds.witchcraft.systems alt account; it/its; creature from the void; evil;
Maddy Thorson @maddymakesgames.com Madeline Stephanie Thorson
makes games ~ Celeste, TowerFall, etc
🏳️⚧️ gender criminal
maddymakesgames.com
Tweag by Modus Create @tweag.io Tweag is the home of specialized engineering and advisory for Modus Create, uniting engineers and researchers to solve complex challenges. With expertise in functional engineering, build systems like Nix, Bazel, and Buck2, and blockchain like Cardano.
Justice Of Toren One Var @jyn.dev One Esk Nineteen is tired.
you cannot do anything ironically.
life is action, and life is good only when action is a joy.
jesse يسّى ישי @tov.bsky.social californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
Tim McGilchrist @tsmc.purely-functional.com OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Abigail Thorn @theabigailthorn.bsky.social Actress, Writer, Creator of Philosophy Tube ⚔️
Lohar in HOUSE OF THE DRAGON; Eurus in STAR WARS; Nocturne in BALDUR’S GATE 3; Hotspur in THE PRINCE; also @KillJamesBond ✨👑
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
sharnoff @sharnoff.io they/them
eggbug forever; hopeful for a kinder world
https://sharnoff.io/photos
JF Bastien @jfbastien.com Build & scale platform — working on humanoid robotics 🤖
🔗 https://jfbastien.com
🔗 https://tlbh.it
📍 東京、日本
kold the terrible and his son kold @koldinium.com Certified Grungler
he/him
koldinium.com
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Brian Goetz @briangoetz.bsky.social Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
SimzArt @simzart.bsky.social Illustrations / Character Designs / Comic Books / Partnered Twitch Streamer
https://linktr.ee/simz.art
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
rob pike @robpike.io Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
rebecca~ @becca.monster Core member of Lustre, contributor to Gleam, maker of open-source, technically a founder. AI & Data Science expert @ OTH (the good kind where i know maths).
Dreaming about game design, music, math, and owning a coffee shop. You're valid and you're loved.🩵🩷
ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
Flying Guibou @flyingguibou.bsky.social Doing some programming (#haskell, #nix, ..) from 🇷🇪, running or jumping from different objects with a parachute. Fighting discimination from my sofa.
GeminiTay @geminitaymc.bsky.social 🇨🇦 Youtuber & Streamer http://twitch.tv/geminitay
🌲 She/Her
💛 geminitaybuilding@gmail.com
Jean Niklas L'orange 🦆 @hypirion.com Norwegian algorist & functional programmer at Kodemaker, death/doom/avant-garde metalhead, sci-fi reader, angry feminist and duck fan 🦆
hypirion.com
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Rust Language @rust-lang.org A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Matt Keeter @mattkeeter.com ✨ Weird CAD and graphics research
⚙️ Embedded software and Rust
🌎 Cambridge, MA
🏠 mattkeeter.com
@andreymokhov.bsky.social @andreymokhov.bsky.social 
kipply @kipp.ly worshipping the shinto god of reality
kipp.ly
Abigail Larson @abigaillarson.com Illustrator, character designer, concept artist, draws a lot of ladies and monsters. Won a Hugo.
Netflix, WB, Disney Books, WotC, Penguin, Macmillan, Hachette
Torino 🇮🇹
Rep: Alison Mann
⟣ She/Her ⟢
⟣ Prints, patreon, merch: abigaillarson.com ⟢
⟣ No GenAI ⟢
ReScript @rescript-lang.org https://rescript-lang.org/
Ship great products!
Feint @feintheart.bsky.social Illustrator
99.1% Stelle
patreon.com/feint721
feint721.fanbox.cc
@zeronis.bsky.social @zeronis.bsky.social 
Swift Language @swift.org Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
Kay Lack @neoeno.bsky.social tech educator. she/her
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
leah 🛸 @spacegirl.ing software developer, atprotoist ~ she/her
https://uncenter.dev
The PyPy Project @pypyproject.bsky.social The developers of the PyPy project: a fast, compliant, open source Python interpreter.
https://pypy.org/
https://github.com/pypy/pypy
nora @noratrieb.dev i sometimes do things with rust and sometimes also do other things and sometimes i don't do anything at all
find me as Noratrieb everywhere I am
Emma @emmatyping.dev Python Core Dev & Rust for CPython co-lead. mypy core team. Former quantum compiler engineer, now at NVIDIA working on Python & packaging. Opinions my own.
🏳️⚧️
https://emmatyping.dev
Masto: @emmatyping@hachyderm.io
Profile pic by Caleb Rippetoe
she/her
uli :3 @ulipink.bsky.social she/her
dilettantish girl failure
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Emrys @chicrevolt.bsky.social unaligned t3ch wench & DIY princess ✨️ now evil
Sebastian Ullrich @kha.functional.cafe.ap.brid.gy makes Lean at Lean FRO
Munich, Germany
[bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
Omniscient @omnisci3nce.bsky.social Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages. 日本語OK
blog.joshrowe.dev
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
june @paperdoll.computer you have to live
Hoshino Lina (星乃リナ) 🩵 3D Yuri Wedding 2026!!! @lina.yt Hello everyone, Hoshino Lina here! I'm a developer VTuber!
▶️ lina.yt/magic
EN/日本語｜she/her｜🎨 #HoshinoLinArt
My gf: @cyan.yt 🩵｜We are @thgirls.yt
🐘 @lina@vt.social
📨 lina@lina.yt
💲 lina.yt/sponsor | lina.yt/kofi
Corax @corax42.bsky.social 
wren @blueberry-wren.bsky.social what you’ll find here:
programming
shilling for ocaml
some math
some programming
also the occasional 🏳️🌈
cube @c-cube.bsky.social 
Sam Rose @samwho.dev That guy who makes visual essays about software at https://samwho.dev.
Developer Educator @ ngrok.com
He/him.- N @nickbarnes.bsky.social @nickbarnes.bsky.social
Amélia Liao @ame.fyi Compiler engineer moonlighting as a type theorist. Member of the Agda team.
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Bluesky Safety @safety.bsky.app Sharing updates about trust and safety on Bluesky.
This account’s mentions are not actively monitored. To report a post or account, use the in-app reporting feature.
Community Guidelines: https://bsky.social/about/support/community-guidelines
allie @grind3h.bsky.social animator, storyboard revisionist & character designer!!! contact me @ whatsupalz@gmail.com!! they/them icon by puppiesandanime!!! https://linktr.ee/grind3h
Maynard @quelklef.bsky.social Maynard
Aerze (the Witch) 🕹️ ✧ Vtuber ✧ indie game dev @aerze.bsky.social twitch.tv/aerze_the_witch
Game Dev vtuber
she/her 🏳️⚧️
GL otaku
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory