Ellisande
Solo founder making financial ledgering software. I'm a huge gamer, lover of typescript and BDD. https://string-theory.finance
@expede.wtf
๐ Vancouver, Canada ๐ฐ Always learning ๐ณ๏ธโ๐ Sapphic as heck ๐ณ๏ธโโง๏ธ Trans rights are human rights โ BLM & Land Back ๐ค United we stand, divided we fall โ๏ธ notes.brooklynzelenka.com ๐ฉ๐ผโ๐ป github.com/expede ๐ types.pl/@expede
@marianoguerra.org
๐ง๐ฝโ๐ป Co-founder of Gloodata & Instadeq ๐ Co-author of https://wasmfromthegroundup.com/ ๐ฐ Future of Coding Weekly: https://newsletter.futureofcoding.org/join/
@janiczek.cz
Frontend FP developer (spending a lot of time in Elm the past few years). NuAshworld MMORPG. Programming language design (cara-lang.com). Property based testing!! Music making. Drive for teaching and unblocking others, writing little experiments. He/him
@anjana.dev
coding & teaching & learning โจ adventuring & exploring & healing โจ bicontinental & biracial & bisexual โจ she & her & hers
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called โeclairโ with Haskell and LLVM.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@samth.bsky.social
Associate Professor, IU Computer Science ยท Core Developer, @racketlang.bsky.social ยท Member, TC39 ยท Handler, Gravymaker ยท Bike Advocate, Bloomington IN
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@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/
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL โ UBC โฆ PhD @ PLClub โ UPenn asian-canadian ๐จ๐ฆ๐น๐ผ๐ญ๐ฐ๐ณ๏ธโ๐ https://ionathan.ch
@avh.bsky.social
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/
@k4rtik.bsky.social
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering. Chicago
@ocaml.com.br
@alexn.org
Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org. ๐ Bucharest, Romania https://alexn.org/about/
@fasterthanli.me
hi, I'm amos! ๐ they/them ๐ซ open-source goblin and content creator(TM) at @bearcove.eu โจ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com work: https://bearcove.eu
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@tunaxor.me
One of the 12 #fsharp devs in the world, trying out kotlin and #buildinginpublic fun, I started this journey around 2013. https://linktr.ee/angel_d_munoz Other social media, not an OF ๐ Mexican, so spanish sometimes
@badcop.live
professional bash enthusiast play my video games or watch me code: https://badcop.itch.io/ https://twitch.tv/badcop_
@sabine.sh
OCaml developer advocate, ๐ซ OCaml.org maintainer, RFC 3339 dating coach, web developer โจ twitch.tv/sabine_sh github.com/sabine
@flaviocorpa.com
Software Engineer ๐ฆฅ Haskell & ๐ณ Elm @Scrive โ๏ธ First #chesspunks on this app ๐ฏ ๆฅๆฌ่ชใๅๅผทไธญ(N3)
@omnisci3nce.bsky.social
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
@raulmarin.dev
Software Engineer @SFTec (TypeScript, Python, Scala) ๐ธ Proud cat dad ๐ Callisthenics, Nature, Books, BCN ๐ https://github.com/raulmarindev โฅ๏ธ @erikavega.com
@degraw.dev
Husband, dad x3, world-class yak shaver. Senior Software Engineer at Shopify. ADHD, F#, C#, Rust, TS, React, etc. Opinions my own
@sminn.ee
Techie, dad, Wellingtonian. Founded Silverstripe in a past life, now CTO for tellfrankie.com, astronort.com, and vcxo.directory.
@vlkpack.com
Dad of 2, software developer, functional programming enthusiast, PC gamer, and very into Pathfinder. I like @rescript-lang.org.
@z-th.bsky.social
I like building stuff. I mainly tweet about ReScript, Relay and GraphQL. ReScript core contributor. @arizon_ab.
@shoebum.bsky.social
I might post less here and more at https://shubhamkumar13.codeberg.page
@aspeddro.bsky.social
@tsnobip.bsky.social
@rescript-lang.org contributor. Fond of geopolitics, space exploration, functional programming, typefaces and music. I know it's a bit eclectic :)
@freddyharris.com
Founder @mangacollec.com Front-end Mobile and Web App Developer I use @reactnative.dev & @rescript-lang.org
@bloodyowl.io
front-end lead manager & chief shitpost officer @ https://swan.io, organizer @ https://parisjs.org, co-creator and podcast host @ https://putaindecode.io https://bloodyowl.io
@nojaf.com
Open-source developer | Full stack Web | Self-employed | Hire me to move your favorite OSS forward!
@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.
@lessp.dev
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker O'Cameleer @ ahrefs Stockholm, Sweden
@diogomafra.bsky.social
life long learner ๐ Software engineer, rust ๐ฆ, rescript, elixir
@chshersh.com
๐งโ๐ป Senior Software Engineer at Bloomberg using OCaml ๐ซ โพ๏ธ Autistic ๐ฝ Content: https://youtube.com/c/chshersh All opinions are my own.