@aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
@myshoggoth.bsky.social
I love music, stories, infrastructure, logistics, technology, and building community. Based in SE Portland, Oregon. Senior Director of Engineering at Well.co, FP enthusiast. All opinions are mine and not my employer's.
@raymyers.bsky.social
Retrofuturist software mender / Craft vs Cruft / Empathy in Tech / Mender.AI jan Pana Suno li toki pona
@koray.al
Parent of two daughters #electronics engineer working as a software engineer writing #haskell code Interested in #nix , #functionalprogramming Principal Software Engineer @ Soostone ( & contractor @ Well.co )
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@ezyang.bsky.social
Developer on PyTorch at Meta. Previously Haskeller and GHC developer.
@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
@jamesbrock.bsky.social
Pure functional programming, Haskell, PureScript, Nix. Vermont provenance, Yokohama residence. https://github.com/jamesdbrock https://twitter.com/jamesdbrock
@storakatten.bsky.social
Polyglot functional programmer in more ways than one. Any Pronouns @storakatten on Twitter. Using it less and less now.
@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
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@0x3d.lu
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@michaelnielsen.bsky.social
Searching for the numinous Australian Canadian, currently living in the US https://michaelnotebook.com
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@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.
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@davidrichey.bsky.social
Functional programming, programming languages, developer tools, that kinda stuff
@mihai.page
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
@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)
@rosactrl.bsky.social
🇨🇱 ✈️ 🇳🇴 immigrant. I like computers, urbanism, literature and music. Too woke for my age. Posting mostly complaints
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@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
@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
@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
@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
@chrisbratt.bsky.social
One of the people who makes People Make Games. chris@peoplemakegames.com
@taktoa.bsky.social
Chip compiler engineer at MatX Computing. http://keybase.io/taktoa http://admonymous.co/taktoa http://github.com/taktoa
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@liamgoodacre.bsky.social
I try to tell computers what to do and sometimes they pretend to listen.
@sjoerdvisscher.w3future.com
#haskell #categorytheory #lumatone 👫 @boekencurator.bsky.social 🏠 https://sjoerdvisscher.glitch.me 💼 https://tweag.io 🗣️ https://strijpskamerkoor.nl
@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @rntz@recurse.social 🐦 @arntzenius Attempting to use bsky more now that people are showing up.
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.