Following

@eduardorfs.com

Phil Hawksworth @philhawksworth.dev Developer adoption at @cloudflare.social. Previously @deno.land, @netlify.com, Late-blooming choir boy. Eater of foods. https://philhawksworth.dev he/him
Sacha Ayoun @sacha.soteria-tools.com CTO of soteria-tools.com, Scaling Reasoning for the age of AI
Γ ⊢ quartztz : bnuy @jack.quartztz.com [he/they] EN/FR/IT quartztz.com Stop playing all that bullshit, those weird notes. Play the melody. MSc @ EPFL verification obsessed nerd with too little time on their hands.
Helpify @helpify.bsky.social 🐾 Every tail deserves a second chance. At our foundation, we rescue, feed, heal, and protect dogs who’ve been forgotten giving them the love and life they deserve. 💛 Join us in changing their world, one paw at a time. 🐶 🐾 Rescue. Love. Transform. Repeat.
Camilo de Azevedo @camilotk.ulivre.dev - DEV #OCaml #Elixir #Clojure - Mestrando em Engenharia de Software na UTFPR - ADM/ORG na ulivre.dev + gambiconf.dev
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
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him - https://types.pl/@brendan (preferred) - https://github.com/brendanzab
Kristopher Micinski @krismicinski.bsky.social kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@pipewire.org @pipewire.org PipeWire is a media server for Linux systems covering audio, pro audio and video usecases.
One Happy Fellow @onehappyfellow.bsky.social Head of The Institute for Type-Safe Memetic Research typememetics.institute I have a blog: blog.happyfellow.dev I like OCaml.
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats. Love to explore new programming languages and build dev tools. Really love a good pit He/him or they/them
norvid_studies @norvid-studies.bsky.social charts and graphs follow me on twitter https://twitter.com/norvid_studies https://substack.com/@norvidstudies/posts
least informed nerd @leastinformednerd.bsky.social you’d think being a nerd every waking hour would make me knowledgeable…
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️‍🌈 I inherited https://types.pl ⍼ https://ionathan.ch
Aaron Christianson @ninjaaron.bsky.social OCaml. Pronouns in bio.
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP) In 2026, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io
CBSoft 2026 @cbsoft.bsky.social XVII Congresso Brasileiro de Software 2026 - CBSOFT 8 a 12 de setembro em São Paulo Site: http://cbsoft.sbc.org.br
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Jeff Silksong Coelho @jeffquesado.ulivre.dev Content on pt-br, sometimes en Caerbannog-lang Minha toca => https://computaria.gitlab.io/blog/ Javeiro falhando miseravelmente em ficar fora de redes sociais =/ Bora aprender ciência da computação ou matemática? @ulivre.dev
Jake Follest @spotandjake.bsky.social An aspiring compiler engineer currently attending for Trent University for Computer Science. Github: https://github.com/spotandjake LinkedIn: https://www.linkedin.com/in/jake-follest-581ab42a2/
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
nikomatsakis @nikomatsakis.com Weird Al meets Grace Hopper. Rustacean. He/him. I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
sai @texoport.in
Giacomo Cavalieri @giacomocavalieri.me I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Mark Cuban @mcuban.bsky.social Entrepreneur Costplusdrugs.com
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
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/
Taras Glek @taras.glek.net LLMs, system programming https://taras.glek.net
Rin @rin.rocks github.com/r17x - Nix/Neovim/OCaml/JS bEtEwE
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
dennis lam @computing.bsky.social i live in the bay area and work in fintech. stream of consciousness account. here for a fun time
Roland Rodriguez @govcraft.ai Independent Practice @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | 🧠 Learning Machine | 🌮 Enthusiast | Husband, Dad, Cat Whisperer
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
Liro @handle.invalid Writing colorful text for a living
Emily Liu @emilyliu.me this bio is left as an exercise to the reader 🌱 emilyliu.me
Andrew Middleton @mapcenter.com 'Peddler of Wheres,' job creator, Owner at The Map Center in Pawtucket RI- it's like a hip record store but for maps. www.mapcenter.com Cartographer, GIS specialist and educator Linktr.ee/ecoandrewtrc
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
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Jesse Singal @jessesingal.com Journalist, co-host of Blocked and Reported, author of The Quick Fix and an upcoming book on youth gender medicine. Mostly just asking questions. More info: JesseSingal.com
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete alecsferra.github.io
Maynard @quelklef.bsky.social Maynard
Thomas Dickerson @elfprince13.mumak.app Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist Foraging & homebrew Bluesky open-source contributor Decentralizing systems (human & digital) Opinions are my own 📍Vermont
Lomig @lomig.bzh Rationnel, anticlérical, universaliste, réincarnation de Robespierre ; démon de la cohérence diégétique. Ce qui nous rassemble est plus fort que ce qui nous sépare. • Pirate de gauche 🏴‍☠️ • Mastodon : @lomig@social.baradoz.cloud
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Ryan Fleury @rfleury.bsky.social Working @ Epic Games Tools (RAD) on the RAD Debugger. Opinions my own.
henri @henr.in
Tom @lessp.dev appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker O'Cameleer @ ahrefs Stockholm, Sweden
Raghav Malik @r4ghav.bsky.social PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
Dev Agrawal @devagr.bsky.social He/Him Content Creator, Software Architect DevRel Engineer @powersync.com Core team @solidjs.com Organizer @momentumdevcon.com youtube.com/@devagr twitch.tv/devagrawal09
Dmitriy Kovalenko @neogoose.bsky.social Born to use camera, forced to use neovim. Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
Felipe O. Carvalho @felipe.rs SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
GitHub @github.com The AI-powered developer platform to build, scale, and deliver secure software.
Technology Connections @techconnectify.bsky.social I'm that YouTuber who taught you how dishwashers work. Guess I'm tryin' out the whole Bluesky thing now. he/him https://www.youtube.com/technologyconnections
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
wrongbyte @wrngbyte.bsky.social
μ @aripiprazole.dev
Hank Green @hankgreen.bsky.social Long Time Internet Guy
oliver @eikopf.com absolutely will not shut up about programming languages. apparently also now the calendar guy (he/him)
Omniscient @omnisci3nce.bsky.social Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages. 日本語OK blog.joshrowe.dev
Shreyas Mididoddi @shreyascodes.tech passionate developer, http://htmx.ceo 🤷 btw! always happy / *never sad (same thing) mental af ? 🤔 señor junior dev, I'm here to have fun and make friends * = almost
zeu @zeu.dev software engineer 🇵🇭🇺🇸🏳️‍🌈 http://zeu.dev - tangled.org/zeu.dev - http://github.com/zeucapua stream: https://twitch.tv/zeu_dev - https://stream.place/zeu.dev
Dmitrii Kovanikov @chshersh.com 🧑‍💻 Senior Software Engineer at Bloomberg using C++ 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
Grande @grande-0.bsky.social Rabisco texto colorido
polvo @coprodu.to polvo da internet 🐙 dev elixir crio código e empresas cofundador técnico @ cumbuca.com ⫻ internet octopus 🐙 elixir developer building code and businesses technical cofounder @ cumbuca.com
Rizo Isrof @rizo.odis.io Lost in macroexpand https://github.com/rizo
Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out July-ish) Newsletter: https://buttondown.email/hillelwayne/
AmitU (building fastn.com) @amitu.com I am the founder / CEO of FifthTry.com, YC-W21 and creator of fastn.com. Domain: amitu.com #Rust #ProgrammingLanguage #Python #fastn
Joe Cutler @alphaconvert.bsky.social cutler.pl
Jeremy Manson @jeremymanson.bsky.social Software engineer. Parent. Other stuff.
Chris Henson @chenson.bsky.social CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Gabriel Nordeborn @z-th.bsky.social I like building stuff. I mainly tweet about ReScript, Relay and GraphQL. ReScript core contributor. @arizon_ab.
Cassidy @cassidoo.co Making memes, dreams, & software! Sr. Director of Dev Advocacy at GitHub. Married to a dweeb and mom to a nerdy toddler + baby combo. She/Her ✝️ CHI 🏠 Subscribe to my newsletter! cassidoo.co/newsletter
OCaml @ocaml.org https://ocaml.org
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
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
Jared Forsyth @jaredforsyth.com trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
Lidia_FL @biolidia.bsky.social PhD in Biomedicine. Postdoctoral researcher in immune-oncology. Passionate and critical about Science. Cancer / CAR-T cells / Translational research / Mouse modelling / Lab 🔬🧬🧫🐁 🐦 @Bio_Lidia 📷 @LidiaFL_PhD
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
xvw @xvw.lol Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages). 🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
Andre Popp @andreypopp.bsky.social
Dillon Mulroy λ @dillonis.online Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
Justine @jcolegrv.bsky.social Dillonis.online #3 fan.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Chris Penner @chrispenner.ca FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
FUN OCaml @handle.invalid FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals September 15+16, 2025 - Warsaw, Poland https://www.youtube.com/@FUNOCaml
Jay 🦋 @jay.bsky.team Founder & Chief Innovation Officer @ Bluesky Working on @attie.ai 🌱 🪴 🌳
Marcello Seri @mseri.me Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster #mathsky #physics #scicomm #ocaml #edusky Also @mseri@mathstodon.xyz
Hyeseong Kim @hyeseong.kim Integration engineer / Open source hitchhiker / DX enthusiast @rescript-lang.org committer
Thomas Gazagnaire @gazagnaire.org #ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co ex Docker, Unikernel Systems, Citrix DMs open for collaboration on OCaml, Irmin or MirageOS projects!