Sahinur @sahinur.dev Full Stack Software Engineer | AI Engineer | Scalable Cloud Solutions
@smangla.bsky.social @smangla.bsky.social 
Giorgio Marinelli @marinelli.dev Thinking Functionally, from Italy
Astrolog @mithugdh.bsky.social Give me a picture of your right palm and I will tell you the past and the future.
I deliver worldwide. You can whatsapp me 01779620331 or Viber & telegram. If you want to buy anything please tell me, the delivery will be via dhl or fedex. Regards.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Channing Walton @channingwalton.bsky.social Scala software developer, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
Aaron Eline @aaroneline.bsky.social 
@jhjackyt.bsky.social @jhjackyt.bsky.social 
Thomas🪴 @lipsum.dev Maths et applications, avec les mains et avec du code 💻
https://blog.lipsum.dev
Eoin Houlihan @magnusman.bsky.social Software etc.
npapoylias @npapoylias.bsky.social Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.- A akuebler.bsky.social @akuebler.bsky.social
Kit Eason @kitlovesfsharp.bsky.social F# Developer
Principal SWE 🇺🇦🇬🇧
Udemy course “F# From the Ground Up”:
https://www.udemy.com/course/fsharp-from-the-ground-up/?referralCode=6C413CC65FEA81F7CEE7
Book “Stylish F#”:
https://link.springer.com/book/10.1007/978-1-4842-7205-3
@ea640x480.bsky.social @ea640x480.bsky.social Living in the subjunctive
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
Adela @kaguuura.bsky.social 
@swannodette.bsky.social @swannodette.bsky.social 
Daniel Rogozin @hyperdoctrine.bsky.social Mathematical logic and complaining- M @michae1.bsky.social @michae1.bsky.social
Th. Ma. @thierry.marianne.io 
@acendrou.bsky.social @acendrou.bsky.social 
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
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
akrmn @handle.invalid [they/them] | audhd | double diaspora
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Cepea @cepea.eurosky.social Né circa 314 ppm. #PlusJamaisPS #JeVoteLFI
"Il vecchio mondo sta morendo. Quello nuovo tarda a comparire. E in questo chiaroscuro nascono i mostri."
- Antonio Gramsci
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
@doyougnu.bsky.social @doyougnu.bsky.social 
@jdemuijnck.bsky.social @jdemuijnck.bsky.social Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.
Luiz de Milon @luiz.actor.network um luiz de milon
antropólogo pela ufmt, trabalhador na tecnologia
https://arbustoemchamas.substack.com
cuiabá - mt
Alex Knauth @alexknauth.bsky.social I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random
he/him | they/them & 29
http://pronoun.is/he?or=they
@proustian.bsky.social @proustian.bsky.social 🐫
Nick Rioux @nickrioux.bsky.social Programming will get better.
Raghav Malik @r4ghav.bsky.social PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡- S ⟦Simon Charlow⟧ @simoncharlow.com linguist
simoncharlow.com
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Michael 🅱️ James @michaelbjames.bsky.social AI research scientist @ Sailplane. He/him
Usability of AI-based Programming Tools.
PL/HCI
🏳️🌈🏺
Sam Lindley @reifyreflect.bsky.social 
@hannelita.bsky.social @hannelita.bsky.social 
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Michael Schröder @schrototo.bsky.social PhD student at TU Wien.
mcschroeder.github.io
thunderseethe @thunderseethe.dev - W Chentian Wu @wuct.bsky.social 26’ Math & CS undergrad @ UW-Madison
PL / Logic / Cat Theory 🐈
https://wuct.site
Applying for PhD starting from 2026 Fall
Dr Huw Campbell @huwcampbell.com Functional programmer, physicist, trainee zoo keeper, circus performer, and Dad.
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
@7fff.bsky.social @7fff.bsky.social 
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
The Warren Center for Network & Data Sciences @warrencenter.bsky.social A research center at Penn Engineering, working to foster research and innovation in interconnected social, economic and technological systems.
PLT_cheater @cheater00.bsky.social 
four seasons joe (not the hotel) @alacqua.bsky.social Husband, Dad, Unnle. MS Computer Science (yay!). Interests: functional programming, type theory, semantics, and math(s). Repost politics. Thx @reverentgeek.com for the profile pic!
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
David Moon @dm0ney.bsky.social PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Balajee @balajee.bsky.social I make networks faster—because buffering is evil. Assoc Prof @UIC. PhD @Purdue. Ex-NVIDIA chip tinkerer. Your MacBook Air might run my chip.
@mariah566.bsky.social @mariah566.bsky.social 
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Graeme McCutcheon @graememcc.bsky.social Software developer, lapsed Mozilla contributor
graememcc.co.uk
Benno Stein @bennoste.in bennostein.org
@arratiapaulo.bsky.social @arratiapaulo.bsky.social 
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
@lambdaclaire.bsky.social @lambdaclaire.bsky.social 
Phil Nguyen @pcn0112.bsky.social Likely just stalking people for doomscrolling content, and posting 😺s
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
📎🐸🕊️ΩZhSigma@332ppm≅Σx,x∈S{🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S. L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴;Nno🇮🇸🇫🇴
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux
George Zakhour @grgzkhr.bsky.social PhD student at @prg-grp.bsky.app
Interested in PL and Type Systems.
Programmer for more than 10 years.
Based in 🇨🇭 from 🇱🇧
(he/him)
https://grgz.me
danilobzdok @danilobzdok.bsky.social Research director | @McGillU @Mila_Quebec @IVADO_Qc | My team designs machine learning frameworks to understand biological systems from new angles of attack
transition metal noble gas @aurxenon.io @aurxenon on Twitter
Occasionally good posts - he/him
CS PhD student at Johns Hopkins :)
Opinions are always my own
Blog is https://aurxenon.io
Klara commits to the cause @klara5.myatproto.social https://wandering.shop/@klara
40s
🏳️🌈🏳️⚧️
she/her
Chicago
still masks
misses WisCon book recs
knows math / ancient history just well enough for jokes
Profile pic: Girl AF Klara, of Kazuo Ishiguro's Klara and the Sun (Jeff Liu)
Banner: 🙊 (nyxtastic on Tumblr)
Johannes @kenran.bsky.social I like Neovim+Emacs both, (functional) programming, Nix, roguelikes/-lites, running, logic puzzles, miniature painting ... (he/him)
Fediverse: https://mas.to/@kenran_
I very rarely stream programming stuff on https://twitch.tv/kenran__
Olivier @oliviersb.bsky.social 
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
Andrew Head @andrewhead.bsky.social Assistant prof at Penn. Designing interactions to make code, formulas, medical notes, and mechanized proofs more readable.
Read about my group's work at https://andrewhead.info
@mgsloan.bsky.social @mgsloan.bsky.social 
Harry @harrylaou.bsky.social Software Engineer. (Mostly Scala, Functional Programming, Typescript)
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
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
@keja.bsky.social @keja.bsky.social 
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@alanz.bsky.social @alanz.bsky.social 
Penn Engineering @pennengineering.bsky.social The official Bluesky page for Penn Engineering at the University of Pennsylvania
@jeremysiek.bsky.social @jeremysiek.bsky.social - K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
CF Bolz-Tereick @cfbolz.bsky.social PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading.
they/them
Andre @andrevdm.bsky.social Software developer at http://hyraxbio.com. 0x20 supporter. λ
Steve Goguen @sgoguen.bsky.social PLT LARPer and formalism fanboy
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/- V @valyakuttan.bsky.social @valyakuttan.bsky.social
Nnotm @nnotm.bsky.social λ
Yiyun Liu @electriclam.com PhD student at Penn