Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy Founder Functional Programming India, Concur UI framework.
“It’s all fine, if the compiler says it’s fine”.
"Be irrational. Don't let the economists win"
"Rage […]
🌉 bridged from ⁂ https://functional.cafe/@haskman, follow @ap.brid.gy to interact
Samyak Sarnayak @samyak.me rust, systems, query engines, pl
https://samyak.me/
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Rust Language @rust-lang.org A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
@tarides.com @tarides.com We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Swastik Baranwal @delta231.bsky.social Open Source Developer
https://github.com/Delta456
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
spacecowboy @spacecowboy17.bsky.social Interests in ML and social aspects of tech.
Building For You feed: https://foryou.club
https://bsky.app/profile/spacecowboy17.bsky.social/feed/for-you
Hobby project: linklonk.com
Slices @slices.network AT Protocol App network and SDKs coming soon.
quickslice.slices.network
https://tangled.org/slices.network/quickslice
join the discord: https://discord.gg/NqSd3eW8S8
By @chadtmiller.com
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
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.
Tangled @tangled.org https://tangled.org is the next-generation social coding platform.
→ Docs: https://docs.tangled.org
→ Discord: chat.tangled.org
→ IRC: #tangled @ libera.chat
Stephen Wolfram @stephenwolfram.bsky.social Creating ideas, science, technology, books, companies, ...
UpCloud @upcloud.com A cloud provider from Finland, with data centers around the world.
Private, secure, cost-effective servers.
This account is run by engineers.
Would you like to know more?
https://upcloud.com
Gabriele Petronella @gabro27.bsky.social Co-founder and CTO @ buildo.com
Luka @lukajcb.bsky.social github.com/LukaJCB
PhysLean @physlean.bsky.social A project to digitalize physics into the interactive theorem prover lean 4.
Account for news related to the project. Run by: Joseph Tooby-Smith.
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
Michael Evans @teamtock.bsky.social Texas mathematician studying applied category theory. Trying to make sense of it all.
I'm building a small company called TOCK Analytics, whose concept won an award from the office of Senator Ted Cruz, and is receiving many well wishes. Thank you so much!
Charlie (In my unghost era) @dka.bsky.social Philosophy and Category Theory | he/him | All socials: @CharlesDKA
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Bridgy Fed for the fediverse @ap.brid.gy Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your account to the fediverse, follow this account.
To ask a fediverse user to bridge their account, send their address (eg @user@instance) to this account in a chat message.
More i…
Adrian Sieber @adriansieber.bsky.social Building SaaS apps with Haskell and Elm:
Airsequel (https://airsequel.com)
github.com/ad-si
x.com/AdrianSieber
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
(λ. borkdude) @borkdude.bsky.social #clojure (#cljKondo, #babashka) * functional programming * whole food plant based * progressive rock+metal * ♥ @lalage_ * http://github.com/borkdude
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
Brobubu @storgemo.de "brobu" for short. I program computers irl but tend to escape that here. I like videogames and online hangouts
I follow an ever more absurd number of artists on here.
they/them/any
🔞
FOSS United @fossunited.mas.to.ap.brid.gy Promoting and strengthening the Free and Open Source Software ecosystem in India.
[bridged from https://mas.to/@fossunited on the fediverse by https://fed.brid.gy/ ]
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
@browncsdept.bsky.social @browncsdept.bsky.social 
Alexander Bandukwala @bandukwala.me 💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist 
chreke @chreke.com Functional programming enjoyer
Co-founder of https://functionalsoftware.se
Personal website: https://chreke.com
Sometimes I write stuff here: https://blog.snork.dev/
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.
Haskell Interlude @haskellinterlude.bsky.social The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
futur 🔹 @futur.blue words in places and ways they probably shouldn't be
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
borar @borar.bsky.social 
ゆきくらげ ❄ଳ @yukikurage.net 基本的にうるさいです
🎮ゲーム制作 stellagate.yukikurage.net
♥️ 純粋関数型 (PureScript) zenn.dev/yukikurage/articles/482a8647421fd5
🎵 作曲(Dynamix / Takumi³ / ChainBeeT) soundcloud.com/yukikurage
🎨 イラスト www.pixiv.net/users/44737353
traP元代表 twitter.com/traPtitech
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy Founder Functional Programming India, Concur UI framework.
“It’s all fine, if the compiler says it’s fine”.
"Be irrational. Don't let the economists win"
"Rage […]
[bridged from https://social.id1.in/@aj on the fediverse by https://fed.brid.gy/ ]
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
teo @doublenegation.bsky.social writes Haskell mostly | loves public transport | studied philosophy | 🏴 | | they/them
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
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.
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
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
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
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 
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
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.
Leftover woman @rosactrl.bsky.social Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
dan @danabra.mov no, this is how it works
John Soo 🏳️🌈 @jsoo.refl.club Types, parentheses, ideology. He/him/they
https://refl.club/posts
Host of the Orange Combinator meetup
https://meetup.com/orange-combinator
cis/het
There is no such thing as conservative thought!
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
Functional Conf @fnconf.bsky.social Asia's Premier Functional Programming Conference.
24-25 January 2025
https://functionalconf.com
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 🔥
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
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
James Dawson Brock @jamesbrock.bsky.social Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
Justin Garcia @purefunctor.me I work on full-stack web and code intelligence, 🇵🇭 he/him
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
Alexandru Nedelcu @alexn.org Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
🌍 Bucharest, Romania
https://alexn.org/about/
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
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/
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
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.
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
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
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
Kris Nuttycombe @nutty.land Haskell, climbing, blacksmithing; occasional SCAdian, compiler-induced psychosis. I work on the core Zcash team at https://zodl.com and build software for worker-owned cooperatives at https://aftok.com by night.
Signal: @nuttycom.01
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
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app