Anna from Ukraine @annafromukraine.bsky.social Telling the truth about my beautiful country Ukraine. Subjective, emotional but honest.
@idris-lang.org @idris-lang.org
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
BOB Konferenz @bobkonf.de The next BOB conference takes place in Berlin on 26 February 2027!
Organised by @active-group.de
Also at @bobkonf@discuss.systems.
Øredev @oredev.org International conference for software developers, taking place in Malmö, Sweden! Mark your calendar for a 20 year celebration: 4-6 November 2026 🌟
https://linktr.ee/oredev
Conference Director @maydbs.bsky.social
Producer @hannagustavsson.bsky.social
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Kris Jenkins @krisajenkins.bsky.social Lifelong Programmer, Host of the Developer Voices podcast.
Gabriel Volpe @gvolpe.com Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell #UnisonLang
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/
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
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
Kannupriya Kalra @kannupriyakalra.bsky.social Engineering Leader | AI | Scala Back-end | Google Summer Of Code 2024 & 2025 Org Admin & Mentor @Scala Center | Global Speaker | llm4s maintainer | AI Community Builder
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.
NAFO 69th Sniffing Brigade @69thsb.bsky.social Trucks and Drones are the easiest way to save Ukrainian lives
www.help99.co?utm_source=bsky.app&utm_medium=69
BrickTop_NAFO @bricktopnafo.bsky.social NAFO Head Of Tea Drinking Division, Boinker Of Vatniks, Master of Bastards, Maker of Memes
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
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Functional Architecture @funarch.bsky.social ACM SIGPLAN Workshop on Functional Software Architecture
https://functional-architecture.org/
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here 🥳
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
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
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
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
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
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
Simona Mikula Mrstakova @smikulamrstakova.bsky.social UCL researcher using zebrafish to investigate early eye development
Scala.IO @scalaio.bsky.social Scala.io - The French Scala event
Scalar Conference @scalar-conf.com Save the date 26-27 March 2026 and see you in Warsaw Poland!
Organized by @softwaremill.com x VirtusLab
#scalarconf
Scala Days @scaladays.org Time to meet again <3
Scala Days 12 - 13 October 2026
Kulturbrauerei Berlin
2026 organizing host: Plain Schwarz
Melanie Mitchell @melaniemitchell.bsky.social Professor, Santa Fe Institute. Research on AI, cognitive science, and complex systems.
Website: https://melaniemitchell.me
Substack: https://aiguide.substack.com/
Ergo @ergoplatform.org Ergo is the next-gen smart contract platform! Bringing economic freedom to ordinary people through decentralized financial tools.
https://direct.me/ergo
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app