Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Louis Pilfold @lpil.uk "the maintainer is a legitimate communist. i will not be supporting this language"
- some yt guy, 2024
I made @gleam.run and I do gymnastics (badly)
they/them or he/him. end fossil fuels. genocide is bad. ride a bike.
Jiří Beneš @jiribenes.com PhD student at University of Tübingen. Interested in type systems and (co)effect systems, especially their pragmatics, ergonomics, and notation.
Website: https://jiribenes.com
Primarily on Mastodon: https://types.pl/@jiribenes
MymeType @textht.ml MYMETYPE | マイムタイプ | /maɪmtaɪp/
AUTISTIC | BI | NONBINARY
FOSS DEVELOPER | NOTITG PLAYER | ARTIST | AXOLOTL FURRY
EVIL: @blubxolotl.pds.tokyonight.city
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
waffle .-. @waffle.pet compiler witch, striving to outshine stars 🌠
blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its
Lily Alexandre 🛰️ @lily-is.online I write about art, gender, and the tech industry. Video essays on @nebula.tv, Twin Peaks podcast @tstv.show 🌲🌫️
All that is solid melts into air
youtube.com/@lily_lxndr
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Clarisse @qex.at lexa/she · ich bin Kunst, ich bin Maschine · signal: qexat.42 · profile picture: mooch from the mutts by patrick mcdonnell
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
onfiv! @onfiv.bsky.social 
Typst @typst.app The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Marco Cantù @marcocantu.bsky.social Software. Politics. Lego. Italy. He/him.
Igalia @igalia.com Igalia is an open source consultancy specialized in innovative projects and solutions with desktop, mobile, and web technologies.
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.
oomfware enthusiast @hoi.tgirl.gay she/her
walking trans girl stereotype
recovering DHMO addict
oomfs can ask for discord/signal (signal is out there somewhere already lol but feel free to ask anyway)
18
hrt 10/06/2025
#1 text-overflow: ellipsis; hater @nekotachi.bsky.social she/her/hers/herselves(/it/itselves/mew/mewselves)
rust contributor
enjoyer of tcgs
native english speaker, conversational toki pona, very basic japanese
anarchist
Leaflet @leaflet.pub The easiest way to make a blog, newsletter, or website on the open social web!
📝 powerful publishing tools 🛠️
🌱 for new writers & pros 🌿
🗣️ to connect & grow 👯
📖 + ✍️ @ leaflet.pub
Lab Notes: lab.leaflet.pub
Code: tangled.org/leaflet.pub/leaflet
ezri @ezrizhu.com 21
RC S1'25
milo 🐱 @geminiworkshops.at.app.wafrn.net 20 y/o gay quaker 🏳️🌈 AKA transgender lain clones/gemini workshops 🎶 dirty south feline📍GTX/HTX computer networking, cybersec & audio engineering major 💿 audiovisual artist & DJ[...]
View full profile at https://app.wafrn.net/blog/geminiworkshops
Akhil Indurti 🇵🇸 @akhil.cc I play guitar and post nonsense about PL. @smasher164@hachyderm.io,
@smasher164 on twitter
Unspooked @unspooked.bsky.social Thoughts of an Egoist
YouTube: https://www.youtube.com/@unspookedproject
Substack: https://anekab.substack.com/
Spotify (The Spookcast): https://open.spotify.com/show/5C3ySYoYRHVFd9J1D4VoJY?si=e69acc2e7a354402
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
PPK, the Kwisatz Haskellach, Monad'Dib @ppkfs.bsky.social they/them. Haskell, cocktails, cats, shitposting.
idk some girl @openrc.bsky.social 
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Auri @aurail.us ♀️ she/her 🖥️ game dev 🌐 https://aurailus.com
Through a series of confusing and unusual events, I'm now the director of an indie game studio, @effortgames.ca!~
Also making Zepha, a super-fast moddable voxel engine!
Profile & Banner by @zythia.art
Arden Hart @theardenhart.bsky.social she/her | Reptile Mom
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
salad (the cat) @salad.acegikmo.com 🧠 forms two thoughts per day (at most)
🧀 doorstop
☁️ cloud manager
🚇 tunnel expert
🥪 brother of @toast.acegikmo.com
🐈⬛ friend of uncle @thor.acegikmo.com (aspirational)
🐈 son of @freya.bsky.social
@spivee.bsky.social @spivee.bsky.social @spiveeworks on twt, @spivee on Discord
ask me about how to make a computable homotopy type theory without stinky cubes :]
sai @texoport.in 
Randall Munroe @xkcd.com 
elucent @elucent.website to post or to be post is a question never knowst
ride 🐰 bunnyborn @ridefigglehorn.bsky.social she/they | nsfw and proship dni
artist(the sound kind)
do you believe in Gravity?
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Joseph Newton @josephnewton.bsky.social Mathematician, composer and video-maker
www.joenewton.au
www.youtube.com/@josephnewton
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
𝒥𝓊𝓁𝒾𝒶 @juljasmah.bsky.social 22, faggot,
mostly on twitter now i just use bsky for cool ppl
https://www.twitter.com/juljasmah
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
danii (っ˕ -｡)ᶻ 𝗓 𐰁 @danii.fi bunny physicist ۞ 駿兎バニー ۞ the spirit is the master of everything and decides everything ۞ en/fi/fr/es/apc/APL - OK! ۞ DMs Open ۞ discord: danii.fi
Scott Wlaschin @scottwlaschin.bsky.social 
Urs Enzler @ursenzler.bsky.social Software engineering, architecture and design stuff, mainly on .Net, F#, and Azure.
Co-Host of .Net user group Central-Switzerland.
Blog: www.planetgeek.ch
#fsharp
#dotnet
#SoftwareArchitecture
uni @uniw.university omg me (it ! ), 22 , hello everybunny
discord: uniwuni
various creature thing 🐈🐑🐇🦆🦔🐠
say hi to glorious precious lovely bunnies @transgender.parts
fae @faer.dev i coined the owen wilson "waow"
Venetian Snares @venetian-snares.bsky.social I'm Aaron.
https://linktr.ee/venetiansnares
metame メタミ @metameeee.bsky.social queer 🏳️🌈 autist 🧠 SE 🦀 J-everything ⛩️
I don't agree with any of your opinions.
はじめまして!
日本語をべんきょうします
アメリカ人、ソフトウェアエンジニア、アニオタ
よろしくお願いします
Maxine @meow.esq synthetic homotopy theory enjoyer. rust, c/c++, and haskell.
kamila @iczelia.net programmer, mathematician, 22yo girl. https://iczelia.net/. https://github.com/iczelia
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Caz @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. @modula-t.org normal & weird, but in the good ways. maker & enjoyer of code, noise, etc. pro-creativity, pro-freedom, pro-fun. gnostic-adjacent, cоmmunist, extremist. friendly & in search of likeminded people. 😇 let's destroy reality & make a Good Future everywhere~✨❤️
The Medley Interlisp Project @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
floppydisk @fwoppydisk.bsky.social He/him
Os dev enthusiast
I like rust!
Interested in data science
Skye @skye.soss.website I study Programming Languages
@skyb0rg on Twitter
lynn @chordbug.bsky.social math music conlangs weird toys ⎃
https://lynn.github.io/
Sofia @algebraic.dev This is my personal account that I post mainly in PT/BR
23 / nm / dev
Don't worry, I'm still me. @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
motherfluffer @latticepolytope.bsky.social Caprinae supremacist and Adele Naumann simp. Krooster: https://www.krooster.com/network/lookup/latticepolytope
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
rain @raininthemist.bsky.social pfp by raccoonosamu
Strawberry @strawberry0808.bsky.social Programmer, mom of Penger.City. Visit https://penger.city for more Penger!
Laura Streisky @luxploit.net 20, photographer, online slut, software dev
@acidpaws.cam - 🌶️🌶️🌶️🔞 you know what
https://flickr.com/photos/luxploit - portfolio <3
julia @monomere.bsky.social she/her
Interests include pltdi, gamedev, music. living in germany. https://monomere.cc/
Canary Prism @canaryprism.bsky.social meow meow
hayleigh @hayleigh.dev • Drawing boxes and writing words at xyflow
• Core Team at Gleam
• Author of Lustre
I’m just a 🏳️⚧️ girl learning 🇫🇷 and vibing in 🇧🇪🇬🇧
Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.
Conrad Ludgate @conrad.cafe Probably writing Rust
https://github.com/conradludgate
https://conradludgate.com
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
gosha @gosha.net Clojure, parenting, and K-Pop Demon Hunters
Building https://parts.ifs.tools
Homepage: https://gosha.net
Studio: https://a.possible.space
Freya Holmér @freya.bsky.social 🎮 tech artist/shader sorceress/math dork
🌐 acegikmo.com
🎥 youtube.com/@acegikmo
🏗️ Shader Forge / Shapes / https://half-edge.xyz
📡 ex-founder of Neat Corp
🪡 neoluddite
my kids:
🥪 @toast.acegikmo.com
🥗 @salad.acegikmo.com
🐈⬛ @thor.acegikmo.com
Apache Cassandra® @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)
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
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/