@bgamari.bsky.social @bgamari.bsky.social 
でんか @k-hermit.com 海洋生物観測所。海のちいさな生物を毎日投稿してます
▶︎磯の生物図鑑/ 水産増養殖/ 水族館への生体提供
▶︎著書：『ヤドカリ探索図鑑』『海のあかちゃん』...
▶︎Marine life in Japan. All Original content.
Oxters @oxgamesco.bsky.social I may make
Eshed Ohn-Bar @eshedob.bsky.social Assistant Professor, Boston University
Previously MPI-IS, CMU (RI), UCSD (EE), UCLA (math)
Systems, Accessibility, Computer Vision
https://eshed1.github.io/
Salar Rahmanian @salarrahmanian.bsky.social Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems.
My blog: https://www.softinio.com
Graham Christensen @grahamc.com determinate.systems. Nix obsessed.
he/him
📻 no5ig
Gaétan Lepage @glepage.com 🇫🇷 Research engineer at mistral.ai | Nix(OS) ❄ contributor | Nix CUDA team.
🌐 glepage.com
⚙️ https://nixos-cuda.org
🍴 https://lepage-knives.com- N Eelco Dolstra @niksnut.bsky.social
Martin Wimpress @wimpys.world Long-time #Linux user, developer, and community builder 🐧 Flake wrangler ️❄️ Maker 🪛 Aspiring game developer ️🕹️ Linux Matters podcast presenter ️🎙️
Luc Perkins @lucperkins.dev Nix advocate @determinate.systems. Buenos Aires 🇦🇷.
watch.softinio.com @softinio.bsky.social Great technical content and conference talks all ad-free on the fediverse:
https://watch.softinio.com
By Salar Rahmanian ( https://bsky.app/profile/salarrahmanian.bsky.social )
Blog: https://www.softinio.com
Newsletter: https://notes.softinio.com
Determinate Systems @determinate.systems Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪 https://determinate.systems
David Flanagan @rawkode.bsky.social Helping developers & operators level-up with Kubernetes, Cloud Native, Rust, WebAssembly, & Nix.
🌟 Founder @rawkode.academy
💼 CoreWeave
📆 Co-Organiser @kubernetes.london
🏴
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
Gabriel Volpe @gvolpe.com Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell #UnisonLang
Sam Rose @samuelrose.bsky.social Platform Engineer @ Supabase Complex systems science, Foresight practice, Research, Nix/Nixos, Elixir/BEAM, Julia, Clojure, Go, Postgresql
isabel @isabelroses.com smart enough to know better, dumb enough to do it anyway
22 | she/her
Kaya @tired.moe Goober 🇪🇪
Daniël de Kok @danieldk.eu Machine Learning, Natural Language Processing, LLM, transformers, macOS, NixOS, Rust, C++, Python, Cycling.
Working on inference at Hugging Face 🤗. Open source ML 🚀.
Ellyse @ellyxir.com Programming languages enthusiast, choir, classical singing, video game creation, retro computers, languages
YouTube: https://www.youtube.com/@ellyse7777
PeerTube: https://video.mycrowd.ca/c/learn_together/videos
Fedi: https://humanwords.cc/@ellyxir
sander @sandydoo.me code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
zimbatm @zimbatm.com I like to build things.
Helping companies adopt #Nix and #NixOS at https://numtide.com
Domen @domenkozar.bsky.social Hacking on devenv.sh
Ross Turk 👋 @rossturk.com Member of amazing teams, lover of open technologies, husband, maker of things.
Steve Jones @sjfloat.bsky.social Types, Principles, Creation, Humanity
Scala's been paying the bills.
I respectfully disagree.
Rickard Nilsson @rickynils.bsky.social Building nixbuild.net
winter @homosexual.cat 🐱 catgirl on the internet
❄️ nixos developer
👾 engineer/professional dogposter @antithesis.com (but words are my own)
✨ she/her
📍 nova (come say hi, i don’t bite!)
John Ericson @johnericson.me https://github.com/ericson2314/
Also volunteer member of @etany.org
Jeezy @lgug2z.com I build komorebi, the cross-platform tiling window manager for Windows and macOS, and run https://notado.app and https://kulli.sh
I yap incessantly about post-open source software licensing philosophy
https://linktree.lgug2z.com
@jeezy.codes on Blacksky
akshay @handle.invalid rust • nix • vim • 1-bit pixel art • film photography
UTC+0 <> UTC+5.5
blog: oppi.li
art: oppi.li/art
Pico @mrpickles.co.za Software engineer: Python, Linux, Nix, Vim
Creator of sarcasm
South Africa
Martin Schwaighofer @mschwaig.bsky.social Proving the link between source code and running systems with Nix. ❄
A solid foundation for supply chain security: https://doi.org/10.1145/3689944.3696169
stef @stefn.co.uk he/him, extreme music fan, anarchist, foss / privacy nerd, software dev, manchester uk
https://stefn.co.uk - me
https://chobble.com - me @ work
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
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/
gelisam @gelisam.bsky.social professional Haskeller
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
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.
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
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
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Alejandro Serrano Mena @serranofp.com 👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
Rawane @ra1issa.bsky.social I work in cryptography and privacy. Im currently at Galois, inc.
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
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
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app