thattommyhall @thattommyhall.com Like mountains, cycling and math(s)
Doing a mix of Dev and Ops since before we concatenated the strings
Annoyingly pre-post-economic
Code Pergola @codepergola.eu Software & games studio working on our first game! ✨
🌐 https://codepergola.eu
🎮 https://codepergola.itch.io/
@kevinjahns.bsky.social @kevinjahns.bsky.social 
Matthias Plappert @matthiasplappert.com I sometimes like AI and computers. I do research @dfdxlabs.com. I always like dogs. Ex OpenAI and @github.com
Website: matthiasplappert.com
Zlatko Čajić @zlat.co software engineer, cyclist, traveller
@pagoda-vb.bsky.social @pagoda-vb.bsky.social 
RealityNet @therealitynetwork.bsky.social We are building a global truth layer for the internet
www.realitynet.xyz
andrii @unorsk.com L∃ⱯN ∩ VEGEMITE
Juan Raphael Diaz Simões @guaraqe.com 
Falk Sippach @sippsack.bsky.social Software architect @embarced, organizer @JUG_DA, @CyberLandConf, @iSAQB, @SpeaKonf, @devsonthestage, member of @Java_Champions
@web3privacy.info @web3privacy.info Research project & community about privacy in Web3 industry
#privacy #decentralization #freesoftware | web3privacy.info
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Lisi Hocke @lisihocke.bsky.social security engineer, holistic tester, quality enabler, agile experimenter, sociotechnical symmathecist, team glue. volleyball player, game lover, story escapist. she/her.
https://www.lisihocke.com
https://mastodon.social/@lisihocke
https://linktr.ee
Open Security Conference @opensecurityconf.bsky.social Welcome to the official account of the Open Security Conference (#osco), the people-centred international gathering for everyone interested in cybersecurity.
https://opensecurityconference.org/
Dyalog @dyalog.bsky.social Approach Problems Like Never Before - A world-class APL development environment enabling Subject Matter Experts and IT specialists to convert their ideas into software solutions. #Dyalog #APL
https://linktr.ee/dyalog
Dietrich Daroch @dietrich.daroch.me OK-ish guitar player and mediocre cyclist, but pretty good when it comes to doing both at the same time.
Palta @que-palta.bsky.social 
Mike Zhou @mikezhoucreations.bsky.social He/Him,An Artist/Animator/Writer in training,Randomized Maker.
Live in China 🇨🇳 Born,Established and being in there Since 2009
Email me for inquiries at MikeZhou49@outlook.com
Fridtjof Siebert @fridis.bsky.social ࿋🚴🏃🐕🦺🐈🎏🥨🥐🥝🇪🇺
Designing the Fuzion programming language and implementing related tools (http://fuzion-lang.dev).
SW safety&security, static code analysis, compilers, FP&OOP.
Radical cyclist, distance runner, resisting car centric culture.
@lyrm.bsky.social @lyrm.bsky.social 
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
Vicent @vbosch.bsky.social Transkriptorium AI co-founder & COO, Systems & Web Programmer, ML Researcher, BJJ student, Dad
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@djschneider.bsky.social @djschneider.bsky.social 
Toni Cebrián @tonicebrian.bsky.social Data Science - Wargames - Política
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Sam Thoyre @samthoyre.bsky.social 🌐 Tech Enthusiast | AI & Dev Tools 🛠️
🎥 Sharing insights on Next.js, Payload, Supabase, Tailwind, AI, and serverless architecture.
📺 Watch my tutorials & build with me: https://www.youtube.com/channel/UClxm1AYVvel_7Lhft3FPdhg
Guido Mureddu @guidomur.bsky.social 
Arnaud @pankzsoft.net 
max @klappradla.eurosky.social he/him
♡ antifa, bikes, music & code ♡
Das Gute Leben für alle!
Josselin @josselin.iblop.net Artisanal Retro-Futurist ⊗ Team-Scale Anarcho-Syndicalist
@alethkit.bsky.social @alethkit.bsky.social 
Ryan Gallagher @zero-g-ddr.bsky.social iOS Developer @Transport for London. Develops on the iOS TfL Go app: https://tfl.gov.uk/maps_/tfl-go
Opinions are my own and not my employer. LinkedIn: https://www.linkedin.com/in/ryan-gallagher-38560b232/
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
@tomasmikula.bsky.social @tomasmikula.bsky.social 
@fede2.bsky.social @fede2.bsky.social Berlin 🌇
Michael Chavinda @mschav.bsky.social Curious about many things
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Anjan @anjan910.bsky.social 
Matt Clawson @claw.dev work: union software developer and agitator
interests: cooking, vintage electronics repair, video game history, woodworking
he/him, nj
$ ssh stickr.shop @stickr.shop We sell you your nerdy laptop stickers that you desperately desire, the way they are supposed to be sold… In your terminal!
$ ssh stickr.shop
@eproxus.alind.io @eproxus.alind.io 
@howardpaul.bsky.social @howardpaul.bsky.social 
Daniel Brunner @dbrunner.de I ❤️ CS, Econ, programming in F#/🐪️ (still a fan of Common Lisp/Scheme/Racket). Located in 🇩🇪️, he/him.
https://www.dbrunner.de
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris- A akuebler.bsky.social @akuebler.bsky.social
- T Emiel @ttyout.net
- G @gdorian.bsky.social @gdorian.bsky.social
@2bitsalute.bsky.social @2bitsalute.bsky.social 
@halheinrich.bsky.social @halheinrich.bsky.social 
Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
Yuri Not Igor @ydewit.bsky.social Cryptic posts in general
Eduardo Hernacki @runlevel0.me Freelance Principal/Senior Software Engineer
Uplifts Software Teams, knows a thing or two about AWS, prefers functional programming
Organizer of @elixir-munich.org
https://runlevel0.me
#AWS #ElixirLang #Rust #TypeScript
@phil175.bsky.social @phil175.bsky.social 
@massin.bsky.social @massin.bsky.social 
Joel Wikström @kammadej.bsky.social Programming languages, BI, SQL, data warehouse, Haskell, Qlik
Yorgos @yorgos.net.gr Building a new home for #OpenSource with @radicle.dev !
(Dis)organizer at @socrates-crete.org, #JCrete. Co-founder @devstaff.gr
Ex - Red Hatter
⚽️ and board games for fun
If we talk long enough, it will become a philosophy discussion.
He/Him
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Gabriel @gm0stache.eu offline techy.
internet hippie.
techno optimist.
eu/acc advocate.
[✍️...💌](https://blog.gm0stache.eu)
[🧑💻...💥](https://tangled.org/gm0stache.eu)- A @anne-biene.bsky.social @anne-biene.bsky.social
Micha @micharied.bsky.social - working at active-group.de
- studying computer science at the University of Tübingen
- passionate beach volleyball player 🏐
Helmut @metal-heli.bsky.social Lego-Technic-Bauer, funktionaler Programmierer, Papa von K1 und K2, Burger-Tester, Island-Fan.
Tübingen
dave @daveliepmann.com berlin
tech bro
luddite
cargo bike & bahn dad
prehistory fanboy
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady
Ian Fernandez @ianffcs.bsky.social 
Ashton @adwray-dev.bsky.social 😶🌫️💙Wife, mom, veteran, casual gamer, software developer, professional googler. Forever learning.💙😶🌫️
Ilya Sergey @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
Soares Chen @maybevoid.com Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
Kenneth Kalmer @kennethkalmer.opensourcery.blog Performing regularly wizardry through open-source software // Father of two // Rubyist by day, Clojure advocate by night // 🇿🇦🇬🇧
https://opensourcery.blog // https://mastodon.social/@kennethkalmer
Building: https://how-far-really.imilingo.uk
Hernando Vera @hvera.bsky.social Out of the Tar Pit
Daniel Slutsky @daslu.bsky.social A community organizer at https://scicloj.github.io/
building a #Clojure platform for #data and #science
https://github.com/daslu
Gordon Friedman @gordonfriedman.bsky.social Father | Software Architect | Lecturer | Problem Solver | Entrepreneur
https://active-group.de/en/team/tobias-gutekunst/
beat @beathagenlocher.com Mostly random stuff I find interesting, or other sharable thoughts that cross my mind.
https://beathagenlocher.com
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
@ermiashabtegabr.bsky.social @ermiashabtegabr.bsky.social 
Julian @j4nk.dev Software Engineer from Munich 🥨
| ⚗️ Elixir | 🐦 Flutter | 🦀 Rust
| 🎛️ Synthesizers
| ⌨️ Mechanical Keyboards
| ☕ Coffee
| 🌐 https://bsky.j4nk.dev
ElixirBerlin @elixir.berlin We organize the Elixir Berlin meetup.
Discord: http://discord.gg/WaKTXHD.
Website: https://elixir.berlin/
{:ok, "Joel Jucá"} @joeljuca.com SWE. Founder & CM @elug-ce.github.io
👉 https://joeljuca.com
#elixirlang #golang #ruby #javascript #typescript #nodejs #scheme #lisp #react #postgres #sqlite #couchdb #linux #freebsd #opensource
@jacques-londres.bsky.social @jacques-londres.bsky.social - M Maris Orbidans @marutks.bsky.social I am a software engineer who uses clojure and emacs. I live in Hampshire 🇬🇧.
Kritoke @kritoke.bsky.social IT Professional, fan of lesser known programming languages and some functional ones. Currently obsessed with making projects in Crystal Language. Have dabbled with Elixir, Golang, Powershell, Haskell, Ruby, among others.
Rick Elrod @relrod.bsky.social Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his.
GitHub: https://github.com/relrod
Jonas Eschenburg @indyjonas.bsky.social Software developer with a passion for inconsistency | WIP: Command & Conquer for Atari ST | Brought DOOM to Atari ST | Graphics • Programming Languages • Robotics • Demo Scene • Retro Gaming • Retro Programming • Reverse Engineering • Flight Simulation
Linus Laserståhl @marianergraven.bsky.social Artist, dog lover and avid reader.
Jan <3 @janvhs.com Vocalist at https://abstracted.band BS, Germany
Linux system engineer at SUSE developing network infrastructure 🦎
ᓚᘏᗢ
Speak to me in German, English and Dutch (but slowly 🥺)
Fritz Feger @fritzfeger.bsky.social AgrEcon/Code/Data/Food/Music/Sci (alphabetisch).
@tarides.com @tarides.com We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Blue 🟦 @bluekamandy.bsky.social Educator
Origamist
Media Artist
Spatial Computing
Creative Technologist
Tools for Creativity, Education, & Thought
Senior R&D Prototyping Software Engineer @
He/They 🏳️🌈
Opinions, posts, and likes are my own.
📎🐸🕊️ΩZhSigma@332ppm≅Σx,x∈S{🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat;🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴;Nno🇮🇸🇫🇴
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux
@rakamar.bsky.social @rakamar.bsky.social 
Kira Howe (McLean) 🇨🇦 @kirahowe.com Canadian software/data engineer and yoga teacher from the East Coast
Writes about: Clojure, data, open source, community, yoga
Loves: dinner parties, live music, violin, my dog
Least Authority @leastauthority.bsky.social We're committed to building & supporting the development of technology solutions that advance digital security and preserve privacy as a human right.
Puff @puffmagicdragon.bsky.social Puff likes Haskell and Compiler stuff
Leaning In! @leaninginconf.bsky.social A workshop for Lean enthusiasts and practitioners.
March 12, 2026 — Berlin
https://leaning.in