Verberon
On the intersection of software engineering, security (as in "security-by-design"), type systems and programming languages.
@sekun.net
i like learning, and making stuff with computers #rust #haskell #nix my yap collection → https://sekun.net github → https://github.com/sekunho
@vpatryshev.bsky.social
Programmer, categorist, blogger, spending time between S.Carolina and Gascogne.
@gearsco.de
Amateur software developer, investigating functional programming, compilers and Minecraft datapacks. - Core team member @gleam.run - One half of @datapack.dev
@markholmes.bsky.social
Functional Programmer · Gleam community team · Building https://williamsandholmes.com with Gleam! Please send book recommendations! 📚
@crowdhailer.bsky.social
I am working to maximize agency in the digital world. I believe human ingenuity and productivity is diminished by the tools available today. eyg.run
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@raimeyuu.bsky.social
Problem Solver/Solution Problemer. Engineer, baptized in control engineering. Passionate about people, software design, and modeling. Functional-first thinker.
@bitboss.bsky.social
Independent Tech Consultant. Regular conference speaker and author. Translator of the German edition of Team Topologies for O‘Reilly. INNOQ Fellow and Team Topologies Advocate.
@mathiasverraes.bsky.social
Student of Systems Consultant @ https://aardling.eu Curator @ https://dddeurope.com Author @ https://verraes.net
@yordisprieto.com
Fullstack Polyglot Programmer focused on #ElixirLang #EventDriven #DistributedComputing #SystemThinking #EventSourcing #CQRS ✅ 👉🏻 https://x.com/yordisprieto
@mateusznowak.bsky.social
👨💻 Software Craftsman ✍️ Blogging at: dddheroes.com / nakodach.pl 🧠 Domain-Driven Design | Event Sourcing | EventStorming | Event Modeling | Kotlin | Java | C# .NET | Ruby | Node.js
@emptysqua.re
Senior Staff Research Engineer in the MongoDB Distributed Systems Research Group. Photographer, Gunks climber, Zen Buddhist. Blog: https://emptysqua.re
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@jmct.bsky.social
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @[email protected] I miss Yorkshire
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@julianhyde.bsky.social
On a mission to tame data. (Ex-Google, always ASF, working on something new.)
@howard.fm
https://Answer.AI & https://fast.ai founding CEO; previous: hon professor @ UQ; leader of masks4all; founding CEO Enlitic; founding president Kaggle; various other stuff…
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@zackwhittaker.com
Security editor, TechCrunch Signal: zackwhittaker.1337 mastodon.social/@zackwhittaker this.weekinsecurity.com
@jeffgeerling.com
Father, author, developer, maker. Sometimes called "an inflammatory enigma". #stl #ansible #k8s #raspberrypi #mac #crohns www.jeffgeerling.com
@norootcause.surfingcomplexity.com
Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
@marcbrooker.bsky.social
Serverless, databases, and serverless databases at AWS. Views my own. Check out my blog: https://brooker.co.za/blog/
@asatarin.bsky.social
Staff SRE at Google. Distributed systems / databases / reliability / correctness. Views my own. Repost / like is not an endorsement. http://asatarin.github.io
@jamesward.com
Just another nerd with a podcast: happypathprogramming.com And a book: effectorientedprogramming.com
@philip-schwarz.bsky.social
s/w development is what I am passionate about https://fpilluminated.org https://speakerdeck.com/philipschwarz https://github.com/philipschwarz https://flying-officer-peter-bate.co.uk
@rickasaurus.bsky.social
Algos/ML/LLMs/FP/Mgmt, Formerly: AI Healthcare VP of Eng, AI RegTech CTO (successful exit). Twitter circa 2008.
@alvinalexander.bsky.social
Author of the Scala Cookbook and Functional Programming, Simplified (and more).
@debasishg.bsky.social
Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@gleam.run
Support Gleam development on GitHub sponsors! https://github.com/sponsors/lpil
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@jeremymorrell.dev
Principal engineer @ Cloudflare. I talk about tech sometimes Location: Squamish, BC 🇨🇦 Website: https://jeremymorrell.dev/
@ifesdjeen.bsky.social
Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals. Mountain person. http://databass.dev/
@hannes.muehleisen.org
I like databases and boats. Co-creator of @duckdb.org, Co-Founder and CEO DuckDB Labs. Professor of Data Engineering at Radboud Universiteit.
@chris.blue
Writer of books (http://themissingreadme.com), code (http://slatedb.io), checks (http://materializedview.capital), and newsletters (http://materializedview.io)
@nick-tune.me
Author of Architecture Modernization Check out my DDD list to find lots of DDD people on here - nick-tune.me - @[email protected] - https://www.linkedin.com/in/nick-tune/ #domainDrivenDesign #softwareArchitecture #ddDesign