Verberon
On the intersection of software engineering, security (as in "security-by-design"), type systems and programming languages.
@ziobrando.bsky.social
๐ง EventStorming Wizard, ๐ฉ BS Detector, ๐ DDD pathfinder, ๐๏ธ Speaker & Founder at https://avanscoperta.it
@fullmoon.id
Author of Dhall, http://haskellforall.com, professional doggirl, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB ๐ @ember.pet
@oskardudycz.bsky.social
โก Event Sourcerer โ๏ธ Blogger at http://event-driven.io ๐จโ๐ป Open Sourcing at https://github.com/oskardudycz ๐ง Newsletter: http://architecture-weekly.com
@purefunctor.me
purescript @ oxfordabstracts.com core team @ purescript.org organiser @ functional.org.ph I work on web, compilers, and type systems using FP ๐ต๐ญ he/him
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@keleshev.com
OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@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
@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
@jessitron.bsky.social
Symmathecist, in the medium of code. Software, systems thinking, observability, process philosophy, enactivism. She/her
@trishagee.bsky.social
Java Champion, Developer Productivity Advocate, Author https://trishagee.com https://linktr.ee/trisha_gee ๐ช๐ธ๐ฌ๐ง๐ช๐บ
@kentbeck.com
Independent I guess these days you'd say content producer, artist, programmer, musician, pokerist. More about me at https://KentBeck.com.
@kevlin.bsky.social
consultant ยท father ยท he/him ยท human (very) ยท husband ยท itinerant ยท programmer ยท keynote speaker ยท technologist ยท trainer ยท writer
@raymyers.bsky.social
Retrofuturist software mender / Craft vs Cruft / Empathy in Tech / Mender.AI jan Pana Suno li toki pona
@tpierrain.bsky.social
Change Agent (powered by software) now living in Lyon(France). Symmathecist & VP of Engineering in a booming scale-up (Agicap).Organizer of #DDDFR #AntiColonialist https://medium.com/@tpierrain +70 talks: https://github.com/tpierrain/me-myself-and-i
@allenholub.bsky.social
Author, international speaker, consultant, software architect, kitchen-sink wrangler.
@kenny.weave-it.org
Co-author Collaborative Software Design: How to facilitate domain modeling decisions. Independent consultant & trainer specialised in technical leadership, software architecture, and #sociotechnical systems design. #DDD #TeamTopologies #DeepDemocracy
@ewolff.com
Head of Architecture at SWAGLab . Software Architecture. Technology. Learning every day. He / him๐บ
@icooper.bsky.social
Principal Engineer, speaker, gamer, geek. Tattooed, pierced, and bearded. The 'guv' on https://github.com/BrighterCommand Line Editor at Chaosium for QuestWorlds: https://github.com/ChaosiumInc/QuestWorlds #Tech - tech posts #TTRPG - rpg posts
@tdpauw.bsky.social
most outspoken shy & introverted engineer ๐ ๐ช former electromechanical engineer โ๏ธ consulting CTO ๐คต founder https://thinkinglabs.io/
@gergely.pragmaticengineer.com
Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
@warski.org
Sharing elegant solutions to everyday problems | R&D @ SoftwareMill | #Scala / functional programmer #FP | Blogger | #OSS developer
@channingwalton.bsky.social
Scala dev, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
@guizmaii.bsky.social
| Software Engineer | Functional Programmer | ๐จ๐ต citizen | ๐ฆ๐บ permanent resident | ๐ ๐๐ปโโ๏ธ โค๏ธ | ๐ฆ @guizmaii
@gvolpe.com
Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell #UnisonLang
@tastapod.com
Started BDD, caused Cucumber. Optimizes orgs, teams, code. Coach, mentor, geek, mischief-maker. Christian, infrequent blogger. WWGH
@janetacarr.com
Independent Clojure Consultant. Aspiring Blonde Bombshell. Posts about Software Dev, Clojure, & Functional Programming Twitch: twitch.tv/janetacarr Course: clojureforpros.com Clojure blog: blog.janetacarr.com Freelance Blog: fixedrate.dev
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@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/
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@flaviocorpa.com
Software Engineer ๐ฆฅ Haskell & ๐ณ Elm @Scrive โ๏ธ First #chesspunks on this app ๐ฏ ๆฅๆฌ่ชใๅๅผทไธญ(N3)
@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/
@chshersh.com
๐งโ๐ป Senior Software Engineer at Bloomberg using OCaml ๐ซ โพ๏ธ Autistic ๐ฝ Content: https://youtube.com/c/chshersh All opinions are my own.
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml โ styled-ppx / server-reason-react / reason-react / Reason / Melange
@thorstenball.com
Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com ๐ mission for 2025: take care of leo ๐ธ street photographer at photo.leostera.com ๐บ watch me code: twitch.tv/leostera ๐ writes at leostera.com ๐ฆ๐ท๐ธ๐ช๐ณ๏ธโ๐๐๐ผ he/they #adhd
@dillonis.online
Software Engineer @vercel โฒ โข Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 โข http://github.com/dmmulroy โข http://twitch.tv/dmmulroy
@metameeee.bsky.social
Just that typical gender non-conforming long-bearded autistic queer dude yelling at clouds (and cloud providers) that has everything and nothing figured out all at the same time. I don't agree with any of your opinions. ๐ณ๏ธโ๐
@chreke.com
Functional programming enjoyer Co-founder of https://functionalsoftware.se Personal website: https://chreke.com Sometimes I write stuff here: https://blog.snork.dev/
@hayleigh.dev
โจCore Team at Gleam ๐ช Founder of Lustre Labs ๐ฉโ๐ป Frontend Consultant at ???? ๐ Iโm just a ๐ณ๏ธโโง๏ธ girl learning ๐ซ๐ท and vibing in ๐ง๐ช Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.
@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
@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
@freya.bsky.social
๐ฎ indie tech artist ๐๏ธ I made Shader Forge & Shapes ๐ working on https://half-edge.xyz ๐ฅ shader sorceress ๐ math dork ๐ฅ rare YouTuber/streamer ๐ก ex-founder of @NeatCorp my kids: ๐ฅช @toast.acegikmo.com ๐ฅ @salad.acegikmo.com ๐โโฌ @thor.acegikmo.com