Chris Armstrong
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
Twitch: https://twitch.tv/lambdalith
@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
@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
@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
@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.
@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.
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@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.
@keleshev.com
OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@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