Verberon
On the intersection of software engineering, security (as in "security-by-design"), type systems and programming languages.
@charity.wtf
cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
@gunnarmorling.dev
Technologist @ Confluent · Ex-lead of Debezium · Spec lead of Bean Validation 2.0 · Creator of JfrUnit, kcctl and MapStruct · Java Champion · morling.dev · 🚴
@wesbos.com
Fullstack Dev ❯ JS⚛ CSS Node ❯ JavaScript30.com ❯ wesbos.com/courses ❯ 🔥 Tips ❯ Podcast @syntax.fm
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@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.
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@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
@briangoetz.bsky.social
Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
@kevinb9n.bsky.social
Java Platform Group @Oracle (all opinions are my own alone). See random stuff about me at http://kevinb9n.github.io
@unison-lang.org
Friendly programming language from the future Open source http://github.com/unisonweb/unison Cloud platform: https://unison.cloud Community: https://unison-lang.org/discord
@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.
@martinelli.ch
Java Champion, Vaadin Champion, Oracle ACE Pro, International Speaker, Programming Architect, and Lecturer for Software Architecture, Java, Persistence, and DevOps. https://martinelli.ch
@lanayx.bsky.social
Developer, architect, enthusiast https://github.com/sponsors/Lanayx
@martinfowler.com
Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him. host of https://martinfowler.com
@dsyme.bsky.social
GitHub Next. Copilot Workspace. F#. GitHub Next. Visiting Professor Kings College London. https://linktr.ee/dsyme
@fsharponline.bsky.social
Supporting the worldwide #fsharp community via online channels https://hachyderm.io/@fsharponline https://x.com/fsharponline
@scottwlaschin.bsky.social
@attack.mitre.org
MITRE ATT&CK® - A knowledge base for describing the behavior of adversaries. Replying/Following/Reposting ≠ endorsement.
@chiefgyk3d.com
#Cybersecurity and #InfoSec by Trade and content creator by night for #Tech, Cybersecurity, #IT, #Linux, #AmaterRadio, and #GamingonLinux Twitch | YouTube | TikTok | Mastodon CISSP Socials and Tipping: https://links.chiefgyk3d.com/socials #OpenSource
@daverooney.dev
Software guy since the early ‘80s. 25 years of Extreme Programming! Aviation Geek/Pilot. Proud Canadian on the banks of the mighty Carp River in Ottawa! 🍁🇨🇦 #ElbowsUp
@jbrains.ca
A professional 5-pin bowler who helps software professionals work with less stress for ready money. tdd.training jbrains.ca
@agile-otter.bsky.social
Software, guitars, books and articles, Industrial Logic's own Agile Otter
@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
@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
@giacomocavalieri.me
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
@winchester.dev
I write code and listen to chiptunes. Elixir nerd. My thoughts are your own.
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@dstepanovic.bsky.social
Trying hard not to think about small batches, bottlenecks, and systems. In the meantime: XP, ToC, Lean, Systems Thinking. Moved here from that other place for good.
@udidahan.com
Posts about Software Development, Design, and Architecture. Founder and CEO of NServiceBus. He/Him. https://udidahan.com/ https://twitter.com/UdiDahan https://hachyderm.io/@udidahan
@ijrussell.bsky.social
Mainly DDD, F#, C#, Architecture Author of Essential F# -> https://leanpub.com/essential-fsharp
@johncutle.fish
I like the beautiful mess of product development.| newsletter: https://cutlefish.substack.com
@damian.social
Architect | SOD/EDA | DDD | SaaS | Chief Architect & Engineering Director @DuendeSoftware | Recovering OSS contributor. Mostly. NET and dable in other ecosystems. Rugby.
@matthewskelton.com
CEO/CTO at Conflux / Co-author of Team Topologies 📗 / AI wrangler - Disrupting organizational transformation via Team Topologies, fast flow, and Adapt Together™ https://matthewskelton.com/
@vaughnvernon.bsky.social
Software Ecologist, Architect, Modeler | #DDDesign | Systems Transformation | Actor Model | Team & Individual Optimizer | Writes Code | kalele.io Domo and XOOM
@adam.eventmodeling.org
#EventModeling author, #EventSourcing programmer and contributor, #EventDriven systems architect, #GIT geek, #FOSS proponent and #OpenStandards supporter EventModeling.org AdaptechGroup.com
@jimmybogard.com
Independent consultant. Creator of AutoMapper and MediatR. Originator of Vertical Slice Architecture. Blogger, speaker, author. DDD, distributed systems, etc Twitter: @jbogard
@ted.dev
#Java coach/consultant/streamer. Maker of "JitterTed's TDD Game" https://tdd.cards Live streaming my coding mistakes at https://JitterTed.Stream and https://JitterTed.TV #Refactoring #JUnit #TDD #TestableArchitecture #DomainDrivenDesign #Ensembling #LGM
@vladikk.bsky.social
Author of Balancing Coupling in Software Design and Learning Domain-Driven Design 🐒