Christopher Dierkens
Staff Software Engineer | riseworks.io
TypeScript | Systems Design | Scalable Architecture
🌐 Blog at dierkens.dev
💍 Married to @saraedierkens.bsky.social
👨💻 Code at https://github.com/cdierkens
@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
@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
@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 witch & maker of snappy videos and articles at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com
@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
@noahbogart.com
he/him - cis - straight - white - 30 or 40 years old senior clojure developer living in the shadow of grief friend of eggbug profile pic commissioned from https://www.patreon.com/icelevel i'm NoahTheDuke elsewhere, but personal domains are nice
@badcop.live
professional bash enthusiast play my video games or watch me code: https://badcop.itch.io/ https://twitch.tv/badcop_
@flaviocorpa.com
Software Engineer 🦥 Haskell & 🌳 Elm @Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3)
@zoedsoupe.zeetech.io
software bricklayer | travesty | they/she/elu/dela | BS CS | pt-br/en | cohost @elixiremfoco | heated about tech & social justice may interact with soft NSFW 💜 elixir sdk dev at @supabase.com
@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!
@zachdaniel.dev
Creator of Ash Framework | Principal Platform Engineer at @teamalembic | he/him
@mitchellhanberg.com
lead engineer at draft kings. @elixir-tools.dev and @elixir-lang.org lsp team https://github.com/mhanberg https://github.com/elixir-tools
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Posts mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@textrecycling.bsky.social
Soziologie, Antisemitismus- und Nahostdebatten, Protest und Polizei, akademischer Kapitalismus. Intradisziplinäre Interpretationselite (c) @ TU Berlin & @rosaluxstiftung.bsky.social
@herminiotorres.github.io
I am waiting for someone to fix my issue, so I can access my account: @herminiotorres.bsky.social 🇧🇷 |> Latino |> Americano |> 🫰✊ #bolhatech #elixir #elixirlang #erlang #myelixirstatus #gleam
@katafrakt.bsky.social
⚗️ Just another #ElixirLang dev 👉 he/him 🔗 https://katafrakt.me 🥌 curling in my free time
@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.
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@mattkeeter.com
✨ Weird CAD and graphics research ⚙️ Embedded software and Rust 🌎 Cambridge, MA 🏠 mattkeeter.com
@cataploft.bsky.social
QA de inputs obcenos, mas na vida real não sou QA. Anti-java só por piada. Já ensinei matemáticos a andar de bicicleta. não reviso nada quee escrevo aqui. ele/o ilustra do perfil feita por @zerolimoes.bsky.social
@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
@samrat.me
Software engineer; climber; #ElixirLang Website: https://samrat.me Building https://octocut.com
@pablocostass.bsky.social
Software Engineer (Erlang/Elixir/Rust 💜). Erlang Ecosystem Foundation member. I like distributed systems, functional programming, property-based testing. he/him 🌈