David Fox
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@raehik.bsky.social
夢を抱きしめろ Embrace your dreams.｜ 日JA (N1)・英EN・λHaskell｜ ｱ▮▮ﾞﾐｽﾄ｜ 音ゲー｜ he/him｜ trans rights
@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.
@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/
@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)
@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
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@isabelroses.com
Black magic-practitioning Nix witch 20 | she/her | 🖤 @robinroses.xyz my website -> https://isabelroses.com hell -> https://isabelroses.com/api/discord
@gerardonunez.bsky.social
(Typed) Functional programming enthusiast. Haskell, Purescript.
@diazcarrete.bsky.social
@pcsofmath.bsky.social
Math enthusiast, studying the subject and blogging about it on: https://www.piecesofmathematics.com/
@stphrolland.bsky.social
StephaneR@332ppm posts Roma🇫🇷🇪🇸🇮🇹🇵🇹🇧🇷(🇷🇴)+Germ🇳🇱🇧🇪🇩🇪🇬🇧(🇸🇪🇳🇴🇩🇰)~Eo~Slav🇵🇱(🇸🇰🇨🇿🇭🇷🇺🇦🇷🇺🇧🇬)~A1🇨🇳🇹🇼A0🇯🇵🇹🇷🇫🇮 Linguistics Climate AgnotologyDisinformation BayesStatsDataML LinuxFPMaths Antispeciesism Astro 🌒🌕🌘
@mjj8.bsky.social
🇵🇸 roboticist@toyota. he/him. previously at the bretl robotics lab https://bretl.csl.illinois.edu mars rover science team http://pancam.sese.asu.edu https://types.pl/@mjj8 on mastodon
@liamoc.net
Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about. https://liamoc.net
@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
@geekitarian.bsky.social
I have helped 1000s of engineers sharpen their skills and find jobs. Full-time Engineering VP and part-time computer science instructor. Always mentoring & always learning. Disgruntled but optimistic. I like photography & music & photography & ampersands.
@chandlerbarlow.blog
Functional programming is great. Currently playing dark souls www.chandlerbarlow.com
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@pelenitsyn.top
Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.
@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/
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@martindybdal.dk
Implementing financial contracts as code at SimCorp. Previously, computing education researcher. Ph.D. from University of Copenhagen
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@chrislhayes.bsky.social
Bronx boy. Cubs fan. Dad, husband, writer, podcaster and cable news host. The Sirens’ Call: How Attention Became the World’s Most Endangered Resource out now. https://sirenscallbook.com/
@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.
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@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.
@flippac.bsky.social
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else. (she/her)
@taliaringer.bsky.social
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@georgemporter.bsky.social
UC San Diego professor, building networks that enable high-performance, scalable, and sustainable computer systems. https://www.cs.ucsd.edu/~gmporter
@tagide.com
Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.
@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
@dillonis.online
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
@rodmurraysmith.bsky.social
Professor of Computing Science at the University of Glasgow.
@jocare.bsky.social
Senior Lecturer (Associate Professor) in @uofgcompsci.bsky.social at @uofglasgow.bsky.social | Leads @giclab.bsky.social | #ComputerArchitecture #Compilers #EdgeAI #Security https://www.dcs.gla.ac.uk/~josecr/
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@jamesbrock.bsky.social
Pure functional programming, Haskell, PureScript, Nix. Vermont provenance, Yokohama residence. https://github.com/jamesdbrock https://twitter.com/jamesdbrock