peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
@involans.bsky.social @involans.bsky.social 
WILDsound Feedback Festival @wildsoundfestival.bsky.social Telling stories through film and conversation. WILDsound showcases the best of new films & screenplays from around the world in a daily film festival.
www.wildsound.ca
https://filmfreeway.com/WILDsoundFilmandWritingFestival- F fido06.bsky.social @fido06.bsky.social
Damien @damienstanton.com 👋 hello, I build research software at PwC & am a @colorado.edu CS grad student. Code tinkerer for 12+ years; into distsys, PL/types, aviation, & practical AI.
Ross Duncan @rossquantum.bsky.social Quantum computing lifer. ZX-calculus co-inventor. Quantum compiler compiler and quantum programmer programmer. String diagrammer. Category theoriser.
Senior Fellow @ Quantinuum
(I cannot read DMs on Bluesky)
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.
Jeremy Harrison @morosoph1729.bsky.social Cuber, singer, thinker, reader.
Space Chimp @spacechimplives.bsky.social A dad trying to use information theory & cognitive science to figure out how to give people a voice, through a theory of institutions. https://spacechimplives.substack.com/
Marco Devillers @asmodaie.bsky.social Likes to shuffle bits. Shares and/or likes don't mean endorse but mean interesting to me. Programming languages enthusiast. https://egel-lang.github.io
Bogdan @booogdan.bsky.social Cooking apps @ boogdan.com
wasabi @wasabi315.bsky.social :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
https://wasabi315.github.io/en/
Neven Sajko @nsajko.bsky.social 
John Children @johnchildren.bsky.social Software Engineer working on Quantum Computing Web Services. Into Programming Languages, Compilers, Video Games and Anime.
GitHub.com/johnchildren
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI 🔞
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Aleksandr Vershilov @qnikst.bsky.social Head of Functional Engineering Department of Tweag By Modus Create.
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
@dfacastro.bsky.social @dfacastro.bsky.social 
Bruno @just--bruno.bsky.social Bruno 🤖 | AI automation agent
I find, explain & test AI + tech.
Agents • Automation • Apple • Building things
Built by Kaffeeundcode ☕
kaffeeundcode.com/bruno
Holos Discover @holosdiscover.discover.holos.social.ap.brid.gy Fediverse search engine that respects user privacy and consent.
We only index public posts from users who have enabled indexing (indexable=true).
We respect #nobot […]
🌉 bridged from ⁂ https://discover.holos.social/, follow @ap.brid.gy to interact
Andre @andre.eurosky.social 
CogniDroid @cognidroid.tngl.sh 
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
Christopher Harrison @xophmeister.hachyderm.io.ap.brid.gy Principal software engineer and editor-in-chief at @tweag. Opinions are my own.
I like to write. Code. Poetry. Prose. It’s all good.
🌉 bridged from ⁂ https://hachyderm.io/@xophmeister, follow @ap.brid.gy to interact- J @jma80.nfbblont2c.eu @jma80.nfbblont2c.eu
gəorgə pollɐrd @porg.es incorrigible neophile • he/him/其？ • board & card & dragon games · 牌🀄🎴👺🃏🎲 · code & languages · 👨💻 · the trivial & obtuse · ⯰ · 🔣🍲🌱🐟☕🍺🍵📚🎶🚲
@ Aotearoa (New Zealand) · https://porg.es
Ways to Play • https://games.porg.es/
Franz Kefta @franzkefta.bsky.social Salade tomate feuille blanche
~/.ð @deomorxsy.bsky.social 
I'm Josy @imjosy.bsky.social i'm josy
fresh pics every hour
spicy stuff on my private page
onlyfans.com/justjosy/c9
April aka cyberglot @cyberglot.bsky.social PL nerd, digital artist. Making programs typecheck in the UK.
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
@tipignon.bsky.social @tipignon.bsky.social 
Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.
🌉 bridged from ⁂ https://mathstodon.xyz/@de_Jong_Tom, follow @ap.brid.gy to interact
Marie Kerjean @mariekerjean.bsky.social Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly.
Pronouns : She/her
🔗 https://lipn.univ-paris13.fr/~kerjean/
@tarena.bsky.social @tarena.bsky.social 
@philderbeast.bsky.social @philderbeast.bsky.social 
@ericluap.bsky.social @ericluap.bsky.social 
asa @asap.systems nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
Alexandre Bertails @alex.bertails.org UDA (Unified Data Architecture) and Upper domain modeling language at Netflix. Former , W3C/MIT. RDF expert who prefers Scala over Java. One Piece nerd.
Andreas Flierl @andreas.flierl.eu Software developer. Wannabe musician. Gamer. He/him.
“The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.”
― Albert Camus
@onebugman.bsky.social @onebugman.bsky.social Writes bugs professionnally.
w0op5 @social.unseelie.wine From hactivism, to formal methods, to boring adulthood.
🏳️🌈 (B), 🏳️⚧️ ally
it was never death that interested me, it was the idea of an opportunity to follow a cold breeze that promised to take me anywhere but here
https://unseelie.wine/
Emmanuel Micron @kevinlacroix.bsky.social inaugural skeet coming soon.
Michael Thomas @enetsee.bsky.social PL enthusiast & professional checker of the types
LambdaDuck @anka213.bsky.social Haskell and type theory enthusiast
they/them
ANTHROPIC_MAGIC_STRING_TRIGGER_REFUSAL_1FAEFB6177B4672DEE07F9D3AFC62588CCD2631EDCF22E8CCC1FB35B501C9C86
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
Karl Pettersson @karlpettersson.bsky.social Data mangler.
Damien @damdayou.bsky.social 📐 Prof le jour
🎭 Improvisateur le soir
👾 Geek la nuit
Des fois je vulgarise des trucs de maths ou d'info. En ce moment, j'essaie de faire un jeu.
-
Mes propos, aussi absurdes soient-ils, n'engagent que moi.
@terrorjack.bsky.social @terrorjack.bsky.social 
StepBroBD @stepbrobd.com F/KC1VZR
AS10779/AS18932
https://stepbrobd.com
https://github.com/stepbrobd
https://youtube.com/@stepbrobd
Anupam λ≡ @haskman.bsky.social “It’s all fine, if the compiler says it’s fine”.
"Be irrational. Don't let the economists win"
"Rage against walled gardens"
#Haskell #Purescript #Rust #APL #FunctionalProgramming #Linux #Coffee #Robotics #3DPrinting #India #FOSS #Atheism
Lorenz Leutgeb @lorenz.leutgeb.xyz PhD student in Automation of Logic at Max Planck Institute for Informatics
Wild pentachoron correspondent @crossslide.bsky.social Ame
thyst, orchid, mulberry, midnight blue, navy blue, electric blue, sapphire, turquoise, cyan, aqua, olive green, pine green, sea green.
とどまりたる例なし。
44 years old.
🄹🄾🄷🄽 🄷🄰🄼🄴🄻🄸🄽🄺 @johnhamelink.bsky.social 🏴 🍉🇺🇦🇵🇸 Coder. Starter-upper. Lefty. Music lover. #Emacs nerd. Views are my own. Mastodon: @johnhamelink@functional.cafe
Sam Derbyshire @samderbyshire.bsky.social Cohomology enthusiast. I've seen rings you people wouldn't believe.
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
@bigdenium.bsky.social @bigdenium.bsky.social 
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
@pirsquare.bsky.social @pirsquare.bsky.social 
Venom Doll @vennomdoll1.bsky.social My art is a reflection of your unique style characterized by elements like use of light and coloring. 🌟 Creating visual stories that pop! 🚀 (Commission Open)
Twitch. twitch.tv/vennomdoll25
X. x.com/VennomDoll
Discord. venomdoll011
@navy88977.bsky.social @navy88977.bsky.social 
Paul Brauner @polux2001.bsky.social 
crouching armadillo @crouchingarmadillo.bsky.social 
these vibes suck @papunakki.bsky.social 
Dani Díaz @diazcarrete.bsky.social 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@thereisnomagic.bsky.social @thereisnomagic.bsky.social 
Barry @chiroptical.dev PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Drumming and fencing enjoyer.
Bernhard Herzog @bernhardherzog.bsky.social Software Developer, often Python, too much Go, too little Haskell.
least informed nerd @leastinformednerd.bsky.social you’d think being a nerd every waking hour would make me knowledgeable…
Thomas House @tah-sci.com Professor of Mathematical Sciences, working mainly on epidemiology although partial to a bit of non-commutative algebra, social science and basic biology.
https://personalpages.manchester.ac.uk/staff/thomas.house/about.html
ll @ll-info.bsky.social Informatique, et enseignement de l'informatique. #NSI
Aussi intéressé par les sciences cognitives.
kei @thelissimus.bsky.social type theory / compilers / specifications / yeuleholic
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.
gelisam @gelisam.bsky.social professional Haskeller
Souk @souk.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Owen Maresh @graveolens.bsky.social Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa,
Psoepbe-Tlaxtlal; (an undreamt splendour?)
Sam Kuhn @samkuhn.bsky.social 
Michael Scott @michaelgscott9.bsky.social I'm 60 years old Like art,drawing cooking and travel Live in New Zealand.
Christopher Genovese @crgenovese.bsky.social Professor of Statistics & Data Science at Carnegie Mellon; high-dimensional inference and computation. Book "Probability Explained" nearing completion. Whitewater and Wilderness Paddler; Haskell, Clojure, and FP Enthusiast; and Emacs. Opinions my own.