ligh7.bsky.social @ligh7.bsky.social Rise Relentlessly.
abenmohamed.bsky.social @abenmohamed.bsky.social 
A Pat Day @apatday.bsky.social Deeptech founder (stealth)
- engineering high dimensional control planes for energy, finance, & space systems
- low level code; n-dim math (HoTT)
Saxxie.dev @saxxie.dev Software person; mathematician wannabe
Γ ⊢ quartztz : bnuy @jack.quartztz.com [he/they] EN/FR/IT
quartztz.com
Stop playing all that bullshit, those weird notes. Play the melody.
MSc @ EPFL
verification obsessed nerd with too little time on their hands.
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
Adolfo Neto @adolfont.github.io Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
https://ko-fi.com/adolfoneto
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
sekun @sekun.net zelda fan | 4funning programming | EN/ES
currently building: @remotehiro.com
website (and blog): https://www.sekun.net
pfp: @yamazatomorito.bsky.social
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Libro YO Y TÚ TAMBIÉN 🦋 @ellibro.yoytutambien.com YO Y TÚ TAMBIÉN es una novela de acción trepidante, llena de giros que no verás venir y de enigmas que querrás descifrar. Te fascinará y deleitará, dondequiera que estés.
Lee el Libro GRATIS desde yoytutambien.com
#yoytutambien #ElLibroQueNosUne
📚💙🔥🚀⚡️📚🪐📚🤖
Akhil 🚀 @akhiltulluri.bsky.social tulluri.me | Software Engineer | Compilers, PL, Functional Programming, OCaml 🐫
Get Launched @getlaunched.bsky.social Make yourself the 'Go To' person in any industry and earn a side income from running small networking events.
Earn through entrance fees, membership fees, sponsorships & deals. GetLaunched.org
Callum Laing @callumlaing.bsky.social I help ambitious people raise capital, get board seats, take companies public. Let's get more entrepreneurs and builders on bsky!
Author of 4 best selling business books
roza @roza-0.bsky.social Maths - CS - Programming - Cognitive Science ...
Mais curieux de toutes choses en général
λdu.du @handle.invalid 🇧🇷
logic | PLT | Concurrency
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
Chukwuma @fearful-odds.rocks Backend dev with Kt |🐫| F# | TS | C# on Debian 13 and Nix-OS.
Decisions are temporary.
Currently playing nothing
Dr. Reinhold P. Lautner @dermacure.bsky.social I am retired and have used AI professionally for years. To help retirees, I created AI Maturity, a group on skool.com for seniors. There, they can learn to handle everything related to AI in the simplest way.
https://www.skool.com/aimaturity-5066/about
disgruntleddev @disgruntleddev.bsky.social Mobile and Desktop Developer. In love with Functional Programming & TS (effect btw).
F1 x Ferrari (my mental illness) and I love Comic Books (DC >>>)
You will weep at the sight of it 😑
• https://github.com/Inalegwu • https://ikwueinalegwu.vercel.app/
Hecate @ohmygoedel.bsky.social It has come to an end
The unknowing sun will rise again
Maybe all is gone, but She still lives on
✍️ Logics, Maths, and Theoretical CS
🐈⬛ Cats, Crows, and Ravens
⚛️ Progressive and Nontheist
🏳️🌈 Pro-LGBTQIA+, Anti-fascist, and Anti-racist
Kaqui Roggia @kaqui.bsky.social Computóloga, matemática, lógica, professora, mãe de dois guris, fibromiálgica, viciada em café e cheerleader de Maratona de Programação.
Stig Helmer @stighelmer.bsky.social #1 Mindy Furano fan account
Martin Janiczek @janiczek.cz Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
@xmateozzz.bsky.social @xmateozzz.bsky.social 
BlueHotDog @thedanni.com 
Florian @fham.dev ReScript enthusiast and core contributor
fham.dev
@david-chaves.bsky.social @david-chaves.bsky.social 
iurii (Юра) 🇺🇦 @iurii.net We need to write code… You son of a bitch, I’m in.
🇺🇦 Ukrainian. #SoftwareEngineering and #TechnicalLeadership. I also write about #politics and hobbies.
Music lover.
Vacation = Mountains.
https://iurii.net
https://mastodon.world/@iurii
Charles Dong @chardoncs.dev Random software dev based in Shanghai; CEO of @htmx.org (冗談だ)
I share photos, music, and niche thoughts here
sai @texoport.in 
Talen 🏳️⚧️ @talen400.bsky.social Mulher Trans 🏳️⚧️ | Ela/Dela | 21 yr
Metal, Doom, Frieren Lover, RPG
maxrn @maxrn.dev Computer science student
Go, nix, OCaml, some web
neovim btw
📎🐸🕊️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
Linux @stanmangohr.bsky.social Be Part of the Stealth Movement: The Intelligent Linux OS That Changes The Way We Will Communicate With Computers- M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
Guillaume Claret @guillaume-claret.bsky.social Founder/Security researcher at Formal Land
Formal verification in Rocq (PhD). Solitity/Rust/ZK
Discuss: https://calendly.com/guillaume-claret
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Andre Mesquita @andremesquitap.bsky.social Software engineer
Guitar player
Grumpy
Formal Land @formalland.bsky.social Formal verification for everyday-life applications
We use math to ensure your code has no vulnerabilities
For Rust, Solidity, zk circuits. We use Rocq.
https://formal.land/
@tiancaiamao.bsky.social @tiancaiamao.bsky.social 
Pocket AI @pocketai.bsky.social a billion parameters in your pocket
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady
elisabeth lemma ☔ @wendigotypes.bsky.social theoretical computer sorcery and theorem potions · she/they/e
phantomtyp.es
n me zoey 🏳️⚧️ @zoedsoupe.zeetech.io software bricklayer | travesty | they/she/elu/dela | BS CS | pt-br/en | cohost @elixiremfoco | heated about tech & social justice
may interact with soft NSFW
💜 elixir tooling OSS dev
💜 elixir sdk dev at @supabase.com
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley
yui111 @yui111.bsky.social I like programming
@oganesson118.bsky.social @oganesson118.bsky.social 
Mantissa Significand @marinagirl.bsky.social pilates and vibes 🪼⛵✡️
Saddam Hossain @saddambd24.bsky.social Web 🌐 Development Simplified • Frontend Web Developer • Learning and Building ( Javascript, React.js,Next.js )🚀 • Simpler threads • Join the journey🤝
@ogolovko.bsky.social @ogolovko.bsky.social 
oliver @eikopf.com absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
🎲 druth 🐌 @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
💻 github.com/massivefermion
📸 instagram.com/massivefermion
Oséias Couto @oseiascouto.bsky.social Escrevinhador | Professor
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it 💜 & Rust Rec 🦀⚙️
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
Tom @lessp.dev appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden
Roland Rodriguez @govcraft.ai Independent Practice @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | 🧠 Learning Machine | 🌮 Enthusiast | Husband, Dad, Cat Whisperer
Vilson Arco 🏳️🌈🇧🇷🚩 @vilsonarco.bsky.social 🇧🇷🚩🍀 | 🌈 Ativista LGBTQIA+ | 📚 Defensor da Justiça Social | 🎮 Gamer | 💭 Reflexões sobre a vida, sociedade, política e economia do Brasil e do mundo!
Devo me rotular?
instagram.com/vilsonarco
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
Timothy James @geekitarian.bsky.social I have helped 1000s of engineers sharpen their skills and find jobs.
Full-time Engineering VP and part-time computer science instructor. Always mentoring & always learning. Disgruntled but optimistic. I like photography & music & photography & ampersands.
TheMaxus @purelysymbolic.bsky.social 🇫🇮 Black metal and black coffee enjoyer, BSc in software engineering, ham radio operator (OH5COB) and armchair philosopher.
he/him
https://purelysymbolic.fi/
@sebosin2024.bsky.social @sebosin2024.bsky.social 
@ericluap.bsky.social @ericluap.bsky.social 
Rusty Key @rusty-key.bsky.social 
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Omniscient @omnisci3nce.bsky.social Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages. 日本語OK
blog.joshrowe.dev
Kamil 🧑💻 cimatic.io @kamil.chm.ski Driving CI/CD innovations @cimatic.io
#buildinpublic https://kamil.chm.ski/- M Maris Orbidans @marutks.bsky.social I am a software engineer who uses clojure and emacs. I live in Hampshire 🇬🇧.
Noe ✨ @noeskabar.bsky.social 🇦🇷🇸🇪
Environment Artist 🌱
Developing an indie game 👾
https://www.artstation.com/noelia
Channing Walton @channingwalton.bsky.social Scala software developer, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
Raúl Marín @raulmarin.dev Software Engineer @SFTec (TypeScript, Python, Scala)
😸 Proud cat dad
💚 Callisthenics, Nature, Books, BCN
🐙 https://github.com/raulmarindev
♥️ @erikavega.com
Axel 👨💻 Developer @axelgarciak.bsky.social 👨💻 Software Engineer 💾 Software minimalist/retro
🤖 AI tinkerer 🏗️ Building tech communities
🇪🇺 UK 🇬🇧🇩🇪🇻🇪 | Check bio: axelgarciak.com/bio