Ellisande
Solo founder making financial ledgering software. I'm a huge gamer, lover of typescript and BDD. https://string-theory.finance
@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 Post 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
Docopt, 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
@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 🌈
@giacomocavalieri.me
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
@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
@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
@hyeseong.kim
Integration engineer / Open source hitchhiker / DX enthusiast @rescript-lang.org committer
@salarrahmanian.bsky.social
Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems. My blog: https://www.softinio.com
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@perevillega.com
Principal Engineer. Consultant. Builder. Some AI. Born at 340ppm “It's said your life flashes before your eyes just before you die. That's true, it's called Life” – Terry Pratchett. Location: 🇪🇸 Languages spoken: English, Spanish, Catalan, German
@lancewalton.bsky.social
Programmer (mostly Scala), Pianist, Composer of Baroque Musick
@channingwalton.bsky.social
Scala dev, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
@michael.bacarella.com
Founded mobile media company that exited to Synchrony; ex-Jane Street; ex-Google; OCaml programmer; occasional shitpoaster
@eikopf.dev
he/him | absolutely will not shut up about programming languages | a little gayer than is legal in this jurisdiction | 🇨🇭 🇦🇺 🇬🇧
@mvsamuel.bsky.social
I solve large software systems problems with programming language techniques. Previously, I was the first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@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!
@markholmes.bsky.social
Functional Programmer · Gleam community team · Building https://williamsandholmes.com with Gleam! Please send book recommendations! 📚
@thidean.bsky.social
Software Engineer & Dad 👨💻🍼 • CEO @ everlyrusher.com: audit, refactor, mentoring, team/culture building. 👨🍼>> λ >>☕️>>🚴♂️
@ebago.bsky.social
Senior Data Scientist @ UChicago Biostats Lab & Neurology D | prev @ Johns Hopkins School of Public Health & ITAM | Music & Philosophy Lover | Building a music recommender @ http://stell-r.com
@handle.invalid
https://github.com/jessealama Math & theorem proving. Lean, Racket, JS. American. Igalian.
@ameliebenoit33.bsky.social
👩💻 Tech Lead Manager @Busbud 🇨🇦 • ⚛️ React & NodeJS • 👩🎓 DDD learner • 📢 Meetups creator & BDX I/O organizer • ✍️ Sketchnoter
@colinhacks.com
💎 Creator of Zod, tRPC (v0) 🔮 OSS Fellow @ Clerk 🦆 Friendly neighborhood TypeScript nerd 🧑🏼💻 Prev @ Bun, EdgeDB, YC, MIT
@tannerlinsley.com
⚔️ Sir Tan @TanStack.com 🎉 TypeScript 🌎 Web ⚛️Open Source Software💡UI/UX/DX 💼Co-Founder @NozzleIO 👨👩👧👦@Ch_JesusChrist
@jakebailey.dev
According to git blame, I wrote the TypeScript compiler, don't fact check that Senior Software Engineer at Microsoft working on TypeScript Underground gopher, finally revealed https://jakebailey.dev/ https://github.com/jakebailey arch btw
@ssalbdivad.dev
Full-time open source dev and author of @arktype.io, TypeScript's 1:1 validator optimized from editor to runtime⛵ (http://github.com/arktypeio/arktype )🌱
@kettanaito.com
Software engineer. Helping you master automated testing at http://EpicWeb.dev. Author mswjs.io. Instructor egghead.io. I tell stories @zakarcher.com.
@timneutkens.bsky.social
Next.js lead at Vercel, co-author of Next.js, MDX, Micro, and ncc. Opinions are my own.
@andarist.bsky.social
programmer but also a little bit of code-poet wannabe, maintaining XState, Emotion, Changesets, redux-saga & more, OSS enthusiast