@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@psypost.bsky.social
Reporting research on human behavior and cognition. #PsychSciSky #Psychology #SciComm
@xurxodev.com
Saber crear software de calidad te da libertad. Escribo historias, consejos y experiencias. https://xurxodev.com/libros https://xurxodev.com/estudio-comunidad-xurxodev/
@joycewhitevance.bsky.social
UALawSchool |MSNBC & NBCNews |Podcasts #SistersInLaw & Cafe Insider|Obama US Atty |25 year fed'l prosecutor|Wife & Mom of 4|Knits a lot|Civil Discourse newsletter: joycevance.substack.com
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@dworkin.bsky.social
Dworkin Report. Journalist. Investigator. Author. Musician. https://www.dworkinsubstack.com/
@matt.godbolt.org
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights. he/him
@cubfox.bsky.social
@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
@idabzo.bsky.social
Functional Programming Ambassador passionate about fostering connections in tech communities. A marketer with expertise in JVM technologies, and organizing events. Enthusiast of Haskell, Scala, and Lean.
@furioussheep.bsky.social
FAFO-oriented programmer. Please don't ruin the social thing yet again. he/they
@flyingguibou.bsky.social
Doing some programming (#haskell, #nix, ..) remotely from 🇷🇪, running or jumping from different objects with a parachute. Naive in politics, but left biased.
@jamesbrock.bsky.social
Pure functional programming, Haskell, PureScript, Nix. Vermont provenance, Yokohama residence. https://github.com/jamesdbrock https://twitter.com/jamesdbrock
@chiroptical.dev
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Erlang programmer. Occasional content creator youtube.com/chiroptical twitch.tv/chiroptical. Fencing enjoyer.
@raehik.bsky.social
夢を抱きしめろ Embrace your dreams.｜ 日JA (N1)・英EN・λHaskell｜ ｱ▮▮ﾞﾐｽﾄ｜ 音ゲー｜ he/him｜ trans rights
@flaviocorpa.com
Software Engineer 🦥 Haskell & 🌳 Elm @Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3)
@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/
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@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.
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@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/
@susanpotter.net
Antifascist, founder, options trader, and polyglot software engineer (Haskell, PureScript, Erlang, Scala, Nix, NixOS, Deno) with systems reliability and scalability focus. Irreverent heretic. Work with me: https://www.susanpotter.net/
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@rosactrl.bsky.social
🇨🇱 ✈️ 🇳🇴 immigrant. I like computers, urbanism, literature and music. Too woke for my age. Posting mostly complaints
@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)
@keleshev.com
OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳 💥 Book your spot and see you soon: 12-13 June 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
@sjoerdvisscher.w3future.com
#haskell #categorytheory #lumatone 👫 @boekencurator.bsky.social 🏠 https://sjoerdvisscher.glitch.me 💼 https://tweag.io 🗣️ https://strijpskamerkoor.nl
@typedfern.bsky.social
@tttardigrade.bsky.social
If Deleuze was right in saying that a concept is a brick, then I told Virgil to write concept on my concept
@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.