jade @jade.fyi sicko build engineer
webbed site: https://jade.fyi
Ben Orchard @raehik.bsky.social 夢を抱きしめろ Embrace your dreams.｜日JA (N1)・英EN・λHaskell｜ダンレボDDR・音ゲーrhythm games｜he/him｜trans rights
skyking @jkachmar.com sounding rockets & bad computer programming
formerly Groq, WeWork, NASA Wallops, among others
Tixie Salander @tixie.mastodon.guerilla.studio.ap.brid.gy Used to be a musician but now busy eating thinking sand because life is a beach — Love hating tech, what I make is for the few left out by the many.
I’m not […]
🌉 bridged from ⁂ https://mastodon.guerilla.studio/@tixie, follow @ap.brid.gy to interact
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
ArrayCast @arraycast.com ArrayCast explores the world of array programming languages including APL, J, K, Q, BQN, Uiua, and more.
Applicative Code @code.applicative.co IDE for functional programming on macOS • currently in beta
Interested in beta testing? Just DM an email address for a TestFlight invitation.
Lucretiel @lucretiel.me Neophile. #ADHD. #rustlang at @datadoghq.com. #boardgames. Mercator Projection Apologist.
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
Evan Greer @evangreer.bsky.social Queer activist, writer, and musician causing problems for the powerful. Director of Fight for the Future. New album "AMAB/ACAB" out 9/19/25 on Get Better Records. $5 ft. Eve 6 out now on your fav surveillance capitalist streaming platform she/her/they/them
Jujutsu VCS @jj-vcs.dev Jujutsu—a version control system #jj-vcs
Documentation: https://docs.jj-vcs.dev/
East River Source Control @ersc.io Building blocks for human and machine collaboration.
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
LaurieWired @lauriewired.bsky.social researcher @google; serial complexity unpacker
ex @ msft & aerospace
Pierre Chalamet @pchalamet.bsky.social ⚒️💉🧻🔧🗑️📏🚭🦄🌴🍺🚀🎸💾
Founder of @MagnusOpera.io
Making @terrabuild.io
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.
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Michael Chavinda @mschav.bsky.social Curious about many things
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
Chelsea Edmonds @cledmonds.bsky.social Lecturer at UWA working on proof assistants, formal verification & security. CS Education Advocate. Cambridge Australia Scholar Alumni, PhD, AFHEA. Views are my own.
@terrorjack.bsky.social @terrorjack.bsky.social 
Sami Badawi @samibadawi.com Coder monkey 🐒 - aerospace amateur 🚀
ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
Galois @galoisinc.bsky.social galois.com
For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
Sarah Kendzior @sarahkendzior.bsky.social Bestselling author of THEY KNEW, HIDING IN PLAIN SIGHT, THE VIEW FROM FLYOVER COUNTRY and THE LAST AMERICAN ROAD TRIP.
https://sarahkendzior.substack.com/
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
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
Flora.pm @flora.pm Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes.
https://flora.pm
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
jkone27 @jkone27.bsky.social Sw dev in love with .NET/F# 🦔 and climate science 🌎💚
Avian Hang Gliders @avian.mstdn.business.ap.brid.gy The UK's only hang glider manufacturer. We build hang gliders from sky floaters to high performance competition wings and wings for sub-70 nanolight trikes.
To support […]
🌉 bridged from ⁂ https://mstdn.business/@avian, follow @ap.brid.gy to interact
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Dani Díaz @diazcarrete.bsky.social 
Mark Holmes @markholmes.bsky.social Senior Engineering Manager @ ferguson.com
Cofounder @ usetruecase.com
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.
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.
Isaac Harris-Holt @ihh.dev I sometimes make videos about Gleam. Head of Eng @ Medfin
Kayla はな @lilac.ooo artisanal software engineer, collector of pokémon, aspiring wannabe 🏳️⚧️
Giacomo Cavalieri @giacomocavalieri.me I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
Brett @brett.ooo 🍞 Software Engineer
✨ Gleam enthusiast
📍 NYC
Peter Saxton @crowdhailer.bsky.social I am working to maximize agency in the digital world. I believe human ingenuity and productivity is diminished by the tools available today. eyg.run
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Chouquette @chouquette.dev Gleamlin by day, pink pony by night.
ReScript @rescript-lang.org https://rescript-lang.org/
Ship great products!
Florian @fham.dev ReScript enthusiast and core contributor
fham.dev
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
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
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.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Dillon Mulroy λ @dillonis.online Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
OJ @oj.cx I'm here to blurt climbing stuff, and periodically whinge.
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
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.
peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
Mihai Maruseac @mihai.page Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google OSS Security Team (model signing, GUAC).
Previously: TensorFlow Security & OSS (@ Google)
Previously: Haskell+differential privacy+ML @ LeapYear
Arian van Putten @arianvp.me Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Leftover woman @rosactrl.bsky.social Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
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
Тsфdiиg @tsoding.bsky.social Recreational Programming
- https://www.youtube.com/@Tsoding
- https://www.youtube.com/@TsodingDaily
- http://twitch.tv/tsoding
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
⇢ Anler @anler.me Psycho-framed into void
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
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 
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Susan Potter @susanpotter.net Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
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
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
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
Liam Blizard @blizard.io .NET developer living on the Isle of Arran 🏴 with my wife, daughter & dog. Likes being in the mountains, under or on the ocean, or in the stands at Sheffield United.
Codes in C#, F# and Swift
blizard.io
Ian Russell @ijrussell.bsky.social Mainly DDD, F#, C#, Architecture
Author of Essential F# -> https://leanpub.com/essential-fsharp
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
Angel Munoz @tunaxor.me One of the 12 #fsharp devs in the world, trying out kotlin and #buildinginpublic fun, I started this journey around 2013.
https://linktr.ee/angel_d_munoz
Other social media, not an OF 😆
Mexican, so spanish sometimes
Thomas Bandt @thomasbandt.com Bootstrapped Founder | Software Engineer
@amplifyingfsharp.io @amplifyingfsharp.io 
Florian Verdonck @nojaf.com Open-source developer | Full stack Web | Self-employed | Hire me to move your favorite OSS forward!
68K 💜🐾 @68khe.art Gender disaster bike-brained doggy that likes adventure, old tech music/art, and kissing boys. Recovering ex-software engineer. Retro, rhythm, and puzzle game enjoyer. they/them 💜🤍💚
twitch.tv/68kHeart 🐾 tech.lgbt/@68kHeart 🐾 Art: #68kArt 🐾 18+: #69kArt
Lucas Teles: Dev❮T❯ @lucasteles42.bsky.social Dev #fullstack, podcaster, agilista, speaker, entusiasta de teclados mecânicos, evangelista de Vim e aspirante a GameDev
https://linktr.ee/lucasteles42
Dustin @dusted.codes Highly functioning organism that transforms caffeine into code.
Currently building https://msgdrop.io and blogging at https://dusted.codes.
Find the best .NET news at http://dotnetketchup.com.
You can find me on X: https://x.com/dustinmoris
Julien Roncaglia @vbfox.hachyderm.io.ap.brid.gy Software developer 🇫🇷 🇪🇺
Currently working at Waldo 🦙, previously Zenly 🍦(Snap 👻), Virtu Financial 💵 and Microwave Vision 📶
I like programming (F#, Rust […]
[bridged from https://hachyderm.io/@vbfox on the fediverse by https://fed.brid.gy/ ]
Shawn Martin @shawnmartin.bsky.social F# and SQL programmer. Curious about better languages and tools.
Scott Wlaschin @scottwlaschin.bsky.social 
Sergey Tihon 🦔🦀 @sergeytihon.com Father. Husband. Developer. Microsoft MVP. Likes #fsharp 🦔, #rust 🦀 and is curious about NeoVim.
https://sergeytihon.com
https://github.com/sergey-tihon
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
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
Paweł Stadnicki @pstadnicki.bsky.social F# developer
Dad x2
EU/Poland/Wrocław
Jordan Marr @jordanmarr.bsky.social Spreading the gospel of F#
https://github.com/JordanMarr