Matt McCarty
Software Engineer by trade. λ, PL theory, distributed systems, all jawns Philly 🔔
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@purefunctor.me
purescript @ oxfordabstracts.com core team @ purescript.org organiser @ functional.org.ph I work on web, compilers, and type systems using FP 🇵🇭 he/him
@kha.functional.cafe.ap.brid.gy
makes Lean at Lean FRO Munich, Germany [bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@sjoerdvisscher.w3future.com
#haskell #categorytheory #lumatone 👫 @boekencurator.bsky.social 🏠 https://sjoerdvisscher.glitch.me 💼 https://tweag.io 🗣️ https://strijpskamerkoor.nl
@mpilquist.bsky.social
Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow @comcast working in video. He/him.
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@azariah.bsky.social
Principal SDE @ Microsoft · GenAI · FP · F#/C#/Q# · 🇮🇳 · 🇦🇺 · D93 · He/Him · http://johnazariah.github.io I try to be woke and progressive like Jesus was. Meanjin Land
@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
@fullmoon.id
Author of Dhall, http://haskellforall.com, Nix Steering Committee, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@maybevoid.com
Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
@dsyme.bsky.social
GitHub Next. Copilot Workspace. F#. GitHub Next. Visiting Professor Kings College London. https://linktr.ee/dsyme
@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳 💥 Save the date for 2025: 12-13 June! 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
@scala-lang.org
A programming language that scales with you: from small scripts to large multiplatform applications. https://www.scala-lang.org
@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/
@eed3si9n.com
enjoys music, good food, coding, and talking about them. learning machines at employer. sbt core dev. he/him
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@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
@chethusk.bsky.social
Functional Programmer. .NET SDK/MSBuild/Templating PM @microsoft. @IonideProject contributor. :heart: F# and Linux. he/him.
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source goblin and content creator(TM) at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com work: https://bearcove.eu
@lpalmieri.com
Author of zero2prod.com, a book on backend development in Rust, and https://rust-exercises.com. Building pavex.dev, a new Rust web framework. Principal Engineer at Mainmatter. Opinions are my own. He/him. @algo_luca on Twitter.
@chriskrycho.com
Software craftsman, composer, theologian, writer, runner, photographer. Anglican Christian. Platform eng. at Vanta. Co-author of the Rust book. Previously LinkedIn; Ember TS & Framework alum. I can help you adopt Rust or TypeScript! → chriskrycho.com
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@krever01.bsky.social
Staff Engineer at @SwissBorg • Crapposter • Occasional conference speaker • Libertarian paternalist • #Scala developer • Books addict • Building https://business4s.org
@alvinalexander.bsky.social
Author of the Scala Cookbook and Functional Programming, Simplified (and more).
@warski.org
Sharing elegant solutions to everyday problems | R&D @ SoftwareMill | #Scala / functional programmer #FP | Blogger | #OSS developer
@softwaremill.com
Custom software by true engineers #ML #BigData #Scala #Kafka #Akka #Rust #Kotlin organizer: @scalar-conf.com @rustikon.dev
@gvolpe.com
Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell
@debasishg.bsky.social
Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
@geirsson.com
Building Agents at Sourcegraph. Posts about coding, AI, and family (3 kids). @olafurpg elsewhere. Based in Oslo, Norway. https://geirsson.com
@stringdiagram.bsky.social
Categories, computer science and logic. Also: @stringdiagram@mathstodon.xyz Website: https://stringdiagram.com/
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@principalengineer.com
Principal Engineer, maker, builder, sometimes manager of Engineers. I like to talk about tech, software, data/AI, startups, on rare occasions economy. Location: 🇨🇭 Languages spoken: English, Swedish, Finnish, German https://www.principalengineer.com
@davidjustodavid.bsky.social
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms