aisli @voidling0.bsky.social she/her 🏳️⚧️
France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
Leftover woman @rosactrl.bsky.social Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
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
Shawn Drape @shawn.dra.pe I made this account for my dog (also sometimes computers happens)
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Sadiq Jaffer @sadiq.toao.com Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
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.
Kelsey @kelpsey.com Twitch Ambassador & Partner, featuring speedruns, retro, and variety
▸ live on weekdays, crosswords/word games every morning!
▸ partnered with: Madrinas, Fractal Design, BEACN
inquiries: contact@kelpsey.com
Mira | Indie Maker @miracodes.bsky.social From PhD in Physics to Lead Gen Scientist | Demand Validation, Funnel Diagnostics & B2B ABM Leads | Full stack dev | Nature Lover
Currently working on https://sigmerra.com
[based on public triggers = public data points that show the moment of pain]
Rainne @alantielrainne.bsky.social Just another dreamer. — Pronounced “rain” — she/her
https://mastodon.social/@Rainne
Morgan @meowmorgan.bsky.social sharing, photos, and tech thoughts | Software Developer | Washington | Gamer, coffee lover, and sci-fi fan | Hiking, coding, and always learning
Chukwuma @fearful-odds.rocks Backend dev with Kt |🐫| F# | TS | C# on Debian 13 and Nix-OS.
Decisions are temporary.
Currently playing nothing
Wikipédia en français @wikipediafr.bsky.social « Imaginez un monde dans lequel chaque personne sur la planète aurait accès à l'ensemble des connaissances humaines. »
Compte animé par des contributeurs et contributrices bénévoles de la version francophone de Wikipédia.
Tomas Latal @tomaslatal.cz Developer, dancing between 1's and 0's, addicted to coffee, @elmlang and clean code.
Flavio 🏴☠️ @flaviocorpa.com 👨🏼💻 Senior Software Engineer
🦥 Haskell/Elm at Scrive
♟️ First #chesspunks on this app
🏯 日本語を勉強中(N3)
🏁 On a mission to reach 2000 FIDE before 2031
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.
Joe Cutler @alphaconvert.bsky.social cutler.pl
Jan Midtgaard @janmidtgaard.bsky.social Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Sproutnik en français @sptnikfr.eurosky.social La vérité et rien que la vérité approuvée par le Kremlin.
Retrouvez ici les informations de l'univers parallèle Russe.
Compte parodique
Zez Vaz @zezvaz.bsky.social Award-winning cartoonist from Portugal
www.zezvaz.com/cartoons
animator | director | cartoonist
Martin Janiczek @janiczek.cz martin.janiczek.cz / Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
Andrew Couts @couts.bsky.social Security & Investigations Director at @WIRED.com. Send tips and/or dog pics.
Signal: couts.01
isabel @isabelroses.com smart enough to know better, dumb enough to do it anyway
22 | she/her
Jojo @thewreckingbald.bsky.social Un trentenaire gênant
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Nate @smith.fo Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
Josh DeGraw @degraw.dev Husband, dad x3, world-class yak shaver.
Senior Software Engineer.
ADHD, F#, C#, Rust, TS, React, etc. Opinions my own
AngryDutchman @handle.invalid devops monkey | ex-infosec | iot | perl | video games | boats | sailing | spicy food lover | blues | rock | cat person | amateur bass player | languages: nl, en, fr, de, id | MDNI
John La Rooy @johnlarooy.bsky.social Computing. Science. 3D printing. Melbourne
Joe @spanishjonny.bsky.social 
Teresa Valdés @tvaldes.bsky.social Socióloga. Integrante del Observatorio de Género y Equidad, comprometida con los movimientos ciudadanos y de DDHH, Feminista, política. Chile
Tom @tompscanlan.bsky.social #devops and #softwaredev leader on a quest to reduce loneliness and expand neighborly friendliness in our towns. #Louisville KY.
* https://www.linkedin.com/in/tomscanlan/
* https://github.com/OpenMeet-Team
* openmeet.net
Omniscient @omnisci3nce.bsky.social Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages. 日本語OK
blog.joshrowe.dev
Sleeping Giants FR @slpng-giants-fr.bsky.social Collectif citoyen de lutte contre le financement du discours de haine
Aussi en anglais sur @slpng-giants-fr-2.bsky.social
#BrandSafety #LoveNotHate #FixAdvertising ✊
🌐 https://sites.google.com/view/slpng-giants-fr/
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️ coworkers DNI
https://linktr.ee/gabriella439
💖 @ember.pet
db (I/We) @db1960.bsky.social “He who fights, can lose. He who doesn't fight, has already lost” (Brecht) ....
From the Plough to the Stars
From the River to the Sea
Another migrant from X
Sam Thoyre @samthoyre.bsky.social 🌐 Tech Enthusiast | AI & Dev Tools 🛠️
🎥 Sharing insights on Next.js, Payload, Supabase, Tailwind, AI, and serverless architecture.
📺 Watch my tutorials & build with me: https://www.youtube.com/channel/UClxm1AYVvel_7Lhft3FPdhg
Marcio Frayze @segunda.tech Autor do app Edudu e projetos http://segunda.tech, http://cursos.segunda.tech, http://anchor.fm/pdepodcast e http://elm.dev.br.
Entusiasta de Elm.
Praticante de Tecido Acrobático.
λ 🎪🍎
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
@valdelamar.bsky.social @valdelamar.bsky.social 
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
Adam Murray @armurray.com Software Engineer developing tools to enable evolution, collaboration, and design (esp as pertains wicked problems)
I like motion graphics and films on parallel universes and time travel #latedeveloper
Mert Torun 🇺🇦🇵🇸 @merttorun.com Design, coffee, software, TTRPGs
enderchief @enderchief.bsky.social sleepy computer person from 🇨🇦
https://github.com/enderchief
Federico Biccheddu @f15u.dev Software Engineer, CTO @ Parcy, Inc · Effect-TS enthusiast · EDM Composer
Jack D @jackjayd.bsky.social Techie & CTO
Marc Gris @m-gris.bsky.social FP lover & Data “something”
Spielzeugmacher @spielzeugmacher.link Backend engineer (Elixir/Erlang). Erlang Ecosystem Foundation member. Interested in #kubernetes.
♂️ he/him
📍 Germany
⚽ 1. FC Köln
Philip Schwarz @philip-schwarz.bsky.social s/w development is what I am passionate about
https://fpilluminated.org
https://speakerdeck.com/philipschwarz
https://github.com/philipschwarz
https://flying-officer-peter-bate.co.uk
Navin Peiris @navinpeiris.com Dad • Building things for fun & profit • Bootstrapping WallStRank.com with Amrit Rupa • Bad jokes, Good vibes • Love #BuildInPublic #ElixirLang
Jaeyson Anthony Y. ⚗️ @jaeyson.dev Full Stack Engineer at Boogiebrands. Building fancies with Elixir ⚗️ and relearning fundamentals.
https://jaeyson.dev
#ElixirLang
Chris @chr1s.bsky.social Occasional computer user. I like ☕ and infrastructure. https://mastodon.social/@chr1stian and https://twitter.com/@_that_chris . Gopher. ʕ◔ϖ◔ʔ
Pietro Loffredi @pitloffredi.bsky.social Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
Raphael @fagundescodes.bsky.social Open Source Enthusiast • 🌱 Always learning
N Lucaroni @nicholas-lucaroni.bsky.social FP; OCaml Programmer; Generally lurking, not posting.
jtulley @jtulley.bsky.social Programmer, biker, desert hiker, nerd, skeptic
Married to @jenndola
(He/him)
Fabio Mogavero, Ph.D. 🌍🇪🇺🇮🇹 @fabiomog.bsky.social A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
Juan Manuel @babui.bsky.social - Programación (especialmente Java / Scala / Rust)
- Ciencia ficción
- Novela negra
Pero no tengo claro en qué orden.
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Charles Beynon @eulerpi.dev I turn latté into code. #ElixirLang #Ruby dev and #AWS #CloudEngineer with 10+ years experience in tech and #DevOps. Former K-8 computer educator and MacOS #sysadmin. Hobbyist #pathfinder2e #ttrpg #tabletop #jrpg gamer and avid #sff reader. NYC he/him
Michał Płachta @mplachta.com λ coder • 📙 Author of "Grokking Functional Programming" • #Scala • Learning through teaching • https://michalplachta.com
Joey Trapp @itsatrapp.com Web developer at Apple. FP enthusiast. #ElixirLang, Gleam, #Erlang, #OCaml, and JS when forced.
Puff @puffmagicdragon.bsky.social Puff likes Haskell and Compiler stuff
Justin @just-be.dev Open-source enthusiast; maker. Previously at Val.town, Membrane.io, oxide.computer, artsy.net. Co-host of devtools.fm. Recurse center alum.
Twitter: @zephraph
Mast: just_be@pkm.social
ꪖꪶꫀᥴ ꪶꪖ᥅ᦓꪮꪀ @retropragma.bsky.social Building apps with web technologies, Node.js, PostgreSQL, and OSS.
https://github.com/aleclarson
Sharun @sharunkumar.com 👨💻Software Engineer | 🎮Gamer | 💻Tech & 🚗Car Enthusiast | 🐱Cat Person
sharunkumar.com
DarkMarmot @darkmarmot.bsky.social Elixir dev, collector of the genus eugenia, apocalyptic cult leader.
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Code BEAM @codebeam.bsky.social The family of tech conferences focused on BEAM languages:
#Erlang, #Elixir and #Gleam
21-22 October Code BEAM Harleem Join us! https://codebeameurope.com/
Adrian C @adrianc.eu another #ElixirLang dev 🏳️🌈
in the outside world i'm also a #ttrpg enjoyer, an avid reader and a typical geek. I do climbing, but that's probably typical geek too
he/him
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Jyun-Ao Lin @carquois42.bsky.social decision procedure, QPL, automata theory
Christopher Dierkens @dierkens.dev Staff Software Engineer | riseworks.io
TypeScript | Systems Design | Scalable Architecture
🌐 Blog at dierkens.dev
💍 Married to @saraedierkens.bsky.social
👨💻 Code at https://github.com/cdierkens
Jonas Tebben @tebben.dev Freelance Software Engineer & Lecturer | 15+ years XP in building large-scale eCommerce systems
https://jonas-tebben.de
Arborius @handle.invalid 🎲Board game designer🎓Grad student studying 💾 bits and bytes 🖥️⚙️Operating systems📈mathematical finance
Weekly playtesting: https://arborius.online/discord
{:ok, :bumbus} @8um8u5.bsky.social Developer: Elixir, JS / Node, SQLs & more
naufalauddin @naufalauddin.bsky.social A bimbo learning programming, Haskell, Purescript and Lean4
Vitor @vitorsalmeida.com Developer.
Still learning how to think better.
Orestis Ousoultzoglou @xlxs4.bsky.social SWE. Aerospace R&D. I like SynBio, compilers and programming languages :)
“And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.” — Brian Beckman, Don’t fear the Monad
Matt Thompson @mthomps4.bsky.social Software architect, mentor, woodworker
#ElixirLang #Rails whatever works…
mthomps4.com
Tim @timholmesmitra.bsky.social 💻 Building a blind computer @ Nillion
🛠️ Ex-Engineering Director @ Ubuntu
🚀 Co-founder @ Glimpse Protocol
🎖️ Former Army Officer
🇨🇦 Canadian in Bath, UK 🇬🇧
☕ Into engineering, open source, web3, coffee, family
Sean Holm @seanholm.bsky.social Engineering / Programming (C++, .NET, Python, R) - AI, Analytics, MLOps, Data Science, DevOps, SQL, Synapse, Databricks.
Occasional jokes & rugby banter.
Matylda Kamińska @matkam.bsky.social Employer Branding @ Scalac. On the hunt for passionate Scala enthusiasts eager to share their expertise at our events or become a part of Scalac crew 😎
Pierrot @pierrot-lc.bsky.social AI and combinatorial problems
Jack Slingerland @jackslingerland.bsky.social Husband, father, Director of Engineering @ SpotOn.
Founder https://kernl.us
Jonathan Gruber @grubersjoe.bsky.social Cake driven development 🧁. Interested in CSS, TypeScript, React and Golang.
https://github.com/grubersjoe
https://jogruber.de
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley
henry @h14h.com programming, baseball, and walkable cities -- all in chicago
typescript & react (+native) developer, elixir & liveview (+native) admirer
cubs fan, strong towns advocate, and nuance enjoyer
trav @techsavvytravvy.com sr software engineer @ crunchyroll
🦀🔪 @ crablang
winning the fight against Big Outside™
Troy Spruit @threefivesix.com Always curious and always learning software engineer.