[he/they]
EN/FR/IT
quartztz.com
MSc @ EPFL
verification obsessed nerd with too little time on their hands.
🐾 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.
- DEV #OCaml #Elixir #Clojure
- Mestrando em Engenharia de Software na UTFPR
- ADM/ORG na ulivre.dev + gambiconf.dev
Interests in ML and social aspects of tech.
Building For You feed: https://bsky.app/profile/spacecowboy17.bsky.social/feed/for-you
Hobby project: linklonk.com
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.
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
PipeWire is a media server for Linux systems covering audio, pro audio and video usecases.
Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
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
Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
charts and graphs
follow me on twitter https://twitter.com/norvid_studies
you’d think being a nerd every waking hour would make me knowledgeable…
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
1st Workshop on Software Engineering for Functional Programming (SE4FP)
In 2025, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io/2025/
XVII Congresso Brasileiro de Software 2026 - CBSOFT
8 a 12 de setembro em São Paulo
Site: http://cbsoft.sbc.org.br
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
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
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/
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
Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
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.
Entrepreneur
Costplusdrugs.com
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Functional programming enjoyer
Co-founder of https://functionalsoftware.se
Personal website: https://chreke.com
Sometimes I write stuff here: https://blog.snork.dev/
LLMs, system programming
https://taras.glek.net
github.com/r17x - Nix/Neovim/OCaml/JS bEtEwE
💻 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
i live in the bay area and work in fintech. stream of consciousness account. here for a fun time
Independent Practice @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | 🧠 Learning Machine | 🌮 Enthusiast | Husband, Dad, Cat Whisperer
I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
this bio is left as an exercise to the reader
🌱 emilyliu.me
'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
👨🏼💻 Senior Software Engineer
🦥 Haskell/Elm at Scrive
♟️ First #chesspunks on this app
🏯 日本語を勉強中(N3)
🏁 On a mission to reach 2000 FIDE before 2031
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
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
liquid type in liquid type connoisseur
alecsferra.github.io
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
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
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Working @ Epic Games Tools (RAD) on the RAD Debugger. Opinions my own.
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden
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 🫡
He/Him
Content Creator, Software Architect
DevRel Engineer @powersync.com
Core team @solidjs.com
Organizer @momentumdevcon.com
youtube.com/@devagr
twitch.tv/devagrawal09
Born to use camera, forced to use neovim.
Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
The AI-powered developer platform to build, scale, and deliver secure software.
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
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
I’m an atypical antipsychotic who loves theorem provers
- 🖥️ Rust 🦀 & OCaml 🐫
- 📖 Type Theory & Nerd stuff
- 🇧🇷 São Paulo
⏱️ @io_gabx on twitter/x
I like programming languages
🏳️⚧️🍰
absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
Huge software nerd. Love C, Rust, OCaml
Began working on an embedded system in the RFID/Access control industry but prev. worked on CAD & DFM software
Outside of tech I enjoy racquet sports, pottery, and language learning 日本語OK!
blog.joshrowe.dev
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
software engineer | http://zeu.dev
tangled.sh/@zeu.dev | http://github.com/zeucapua 🇵🇭🇺🇸🏳️🌈
i stream:
https://twitch.tv/zeu_dev
https://stream.place/zeu.dev
blog reader https://potatonet.app
maintainer https://npmx.dev
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Functional programming is great. Currently playing dark souls
www.chandlerbarlow.com
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
Lost in macro expansion
https://github.com/rizo
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: https://buttondown.email/hillelwayne/
I am the founder / CEO of FifthTry.com, YC-W21 and creator of fastn.com.
Domain: amitu.com
#Rust #ProgrammingLanguage #Python #fastn
Software engineer. Parent. Other stuff.
CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
extremely dubious of "everything is public" social network
I like building stuff. I mainly tweet about ReScript, Relay and GraphQL. ReScript core contributor. @arizon_ab.
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
Creator of Elixir. Working at Dashbit and Livebook.
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 🏳️⚧️
https://linktr.ee/gabriella439
💖 @ember.pet
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
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
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
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
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
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
Founder & Chief Innovation Officer @ Bluesky
🌱 🪴 🌳
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
Integration engineer / Open source hitchhiker / DX enthusiast
@rescript-lang.org committer
#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!
Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
