CoopCoding
Loves programming; with an interest in functional programming.
Current language: purescript
https://www.coopcoding.top/
@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
@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
@mattkeeter.com
✨ Weird CAD and graphics research ⚙️ Embedded software and Rust 🌎 Cambridge, MA 🏠 mattkeeter.com
@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 🌈
@giacomocavalieri.me
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
@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
@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.
@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.
@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
@asimersky.mstdn.social.ap.brid.gy
[bridged from https://mstdn.social/@asimersky on the fediverse by https://fed.brid.gy/ ]
@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/
@eed3si9n.com
enjoys music, good food, coding, and talking about them. learning machines at employer. sbt core dev. he/him
@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
@clojurejobboard.com
The job board dedicated to clojure developer jobs, i.e. job ads where companies are looking for developers that know Clojure / Clojurescript. Find your next job at https://ClojureJobboard.com
@rusttrending.bsky.social
Automated bot posting trending Rust repositories on GitHub. Made by @pbzweihander.dev, but not curated by. Source code: https://github.com/pbzweihander/rust-trending
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@kosmikus.bsky.social
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder. Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@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
@mpilquist.bsky.social
Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow @comcast working in video. He/him.