Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@dangdenk.bsky.social @dangdenk.bsky.social 
Kuda @murungu.bsky.social 🦋
Yannick L. @yannickloth.bsky.social Software architect | iSAQB | Originator of the Independent Variation Principle (IVP, software architecture)
@lepa74.bsky.social @lepa74.bsky.social 
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
Jer @jer-gremlin.bsky.social I do HPC, GP-GPU, SIMD & stuff, usually in Rust.
Green Bangladesh @gc-b.bsky.social Bangladesh Cybersecurity Law
Bryan (they/them) @chaosgreml.in @ecosystemaction.com | @atproto.la | @charcoal.watch | more
Focused on freeing everyone from doing things that don’t bring them joy, and building communal infrastructure that makes it possible.
@bmattqkltdht.bsky.social @bmattqkltdht.bsky.social 
cory @behri.org Software Engineer
he/him
Moroccan
en/fr/ar
Ricardo Mougán @ricardomougan.bsky.social 
Eerke Boiten @eerkeboiten.bsky.social Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him.
Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.
@nguyentuat842-06.bsky.social @nguyentuat842-06.bsky.social 
Anderson Nascimento @andersonc0d3.bsky.social Director & Security Researcher @alleleintel.com
Blog: https://blog.andersonc0d3.io
Deepak @iokarki.bsky.social Software engineer.
Distributed systems | Compilers & Runtime | Databases | HCI | Low level systems
perfectoid @perfectoid.bsky.social 
HλLFKØЯEN @0x9e3779b1.bsky.social een eenhoorn die zijn achterste helft verloor
Kerem Çeliker @keremceliker.bsky.social Founder, CTPO at MasterLabs Technologies | 2x Exit, 1x IPO
Domingos @domingosmcc.bsky.social I know not what tomorrow will bring…(Pessoa)
💙💛 Україна українцям! 💙💛
🚫 Nazifascists&Maga🚫 Bitcoin 🚫 Get-rich schemes
I reject fanaticism and outdated orthodoxies!
ＳＴ０１０－１４ @st01014.bsky.social Code synthesizing Carbon-Silicon based lifeform 🖥️🧬
#Coding #Math #Physics
#HPC & #AI
#RetroTech
#Aerospace
#ＡＥＳＴＨＥＴＩＣＳ
Random #Nerdiness & #Shitposting
@srijanp.bsky.social @srijanp.bsky.social Something of a computer liking person. In my haskell arc. 23 yo.
Alexander Bandukwala @bandukwala.me 💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist 
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Arthur Scardua @scardua.me Physicist, Machine Learning worker, Brazilian 
Hari Varsha V @nanodijkstra.bsky.social the yves saint laurent of systems programming.
i work at @AntithesisHQ btw.
mscs @nyuniversity.
WeblWabl @whateverforever.computer doing computer things @ Influxdata
I like cats and databases 🐱💽
@jhemann.bsky.social @jhemann.bsky.social 
sam @sam.ziazoo.co.uk I’m not a cat, but I once had a cat, and she was ace.
https://autotelic.ziazoo.co.uk/
Philip Z @teaql-io.bsky.social Founder of TeaQL ｜ AI-native business software ｜ Rust robotics 💪
Cowboy taming LLMs 🤠⚡
github.com/teaql
@jcferreira.bsky.social @jcferreira.bsky.social 
QuantumDynamic RangeVideo @qdrv2026.bsky.social https://github.com/qdrv/QDRV
Jon mills @jkmaxie8.bsky.social I’m 69 liberal to extent, love animals,comic books, movies, wrestling, single, work part time in customer service retail, Democrat. Vote carefully!
# Ethan Hill @indoorhill.bsky.social principal engineer, founder @Aphoryx
## about
data and ai engineer that also practices the ancient and forgotten arts of reading code & writing code
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Liberal Liz💙 @lizonline011.bsky.social Wife, two daughters and Westie.No dm’s
Politics,reading outside gardening and cactus and succulents are my joys!
@ivanyermakov.bsky.social @ivanyermakov.bsky.social 
@qandyshaa.bsky.social @qandyshaa.bsky.social 
@ike99.bsky.social @ike99.bsky.social 
Rusty @rusty-baxter.bsky.social 81 yo retired teacher. Ham radio operator. Computer tech. Poetry, history, music, photography. Atheist, liberal, straight, widowed, living alone, neither a veteran nor a draft dodger. Remembers when America was great, and we ain’t headed back there.
@sirenityk.bsky.social @sirenityk.bsky.social https://t.mbjms.com/331727/4080/0?po=6456&aff_sub5=SF_006OG000004lmDN
@moatshift.bsky.social @moatshift.bsky.social 
Saturns33 @saturns33.bsky.social The future could use both solar panels and neon skyscrapers
I like video games, music, and computers / video maker / 19 / 🇺🇸 🇧🇲
https://www.youtube.com/@saturns33
@jens11.bsky.social @jens11.bsky.social 
Component Creator for Joomla @component-creator.com 🚀 The fastest way to build Joomla extensions!
🛠️ Generate custom Joomla components in minutes—no coding required.
🌍 Trusted by developers worldwide.
🔗 https://www.component-creator.com- O Odyshe @odysheus.bsky.social venit, vidit, digessit. DFW. I am not a bot! Everybody's changing, and I don't feel the same. To understand , you must first not judge! ntr. sDm. Ama Druid
alto! @alto.pds.witchcraft.systems wannabe computer scientist. radically pluralist, mechanically sympathetic. mostly harmless
she/her if we're friends, they/them otherwise
Rand Arete @nulldivide.com algebraist | archer | acrobat
we keep us safe
💖💜💙
he/they
Dysthesis @dysthesis.bsky.social 
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
univalence and brae @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 bunny with too little time on their hands.
Alexis Espinoza Quinteros @alexisfeq.bsky.social Physics, Mathematics and Engineering.
ℒ = ψ̄(iγᵝDᵦ - m)ψ - 1/4 FᵝᵞFᵦᵧ
My Physics Portfolio: https://alexisfespinozaq.github.io/aespinoza-physics-portfolio/
Nev @alphukit.bsky.social Outdoors and all things nature type of guy.
I love camping, hiking, foraging and travelling anywhere, anytime.
Feoh @feoh.org Long time Boston area nerdy guy. I make sandcastles in the clouds. I'm a Pythonista, owned by a rescue dog and blessed with an amazing wife :)
Moobsky @i-like-to-moob-it.bsky.social The Bluesky -> https://moob.app migration is happening fast!
𝘾𝙤𝙢𝙢𝙪𝙣𝙞𝙩𝙮 𝙏𝙞𝙥: 𝙩𝙝𝙞𝙨 𝙖𝙘𝙘𝙤𝙪𝙣𝙩 𝙝𝙖𝙨 𝙗𝙚𝙚𝙣 𝙢𝙖𝙧𝙠𝙚𝙙 𝙖𝙨 𝙣𝙤𝙩 𝙠𝙣𝙤𝙬𝙣 𝙩𝙤 𝙗𝙚 𝙤𝙛𝙛𝙞𝙘𝙞𝙖𝙡𝙡𝙮 𝙖𝙨𝙨𝙤𝙘𝙞𝙖𝙩𝙚𝙙 𝙬𝙞𝙩𝙝 '𝙈𝙤𝙤𝙗 𝘼𝙥𝙥'
Nathan Douglas @tenesm.us ἐνθουσῐᾰστής
Platform/DevOps/SRE/Backend w/ delusions of grandeur
Blog: https://darkdell.net/
GH: https://github.com/ndouglas
Germán Vidal @the-heruman.eurosky.social Profe de universidad (VRAIN-UPV, Instituto Valenciano de Investigación en IA). Intereses: fotografía –las fotos que publico son mías salvo que diga lo contrario–, ciencia, cine, viajar, cocina y ciencia ficción. No necesariamente en ese orden.
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI 🔞
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
@tyrueng.bsky.social @tyrueng.bsky.social 
@luyoung4096.bsky.social @luyoung4096.bsky.social 
Pranesh Santikellur @praneshsantikellur.bsky.social Emb. Security Researcher, TII, Abu Dhabi, UAE
@nyame1.bsky.social @nyame1.bsky.social 
Görkem Paçacı @gorkempacaci.bsky.social Relational Programming, Symbolic AI
David Knickerbocker @itsgorain.bsky.social Founder, Author, Engineer. I live and breathe Data Science, Network Science, Natural Language Processing, Artificial Intelligence, Machine Learning, Cybersecurity, and more.
https://100daysofnetworks.substack.com
https://ko-fi.com/davidknickerbocker
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
Ajay Singh @ajaysingh1.bsky.social PostDoc @ICS FORTH. Cares about theory and practice in Parallel and Distributed computing.
Steven Shaw @steshaw.bsky.social Loves programming languages! 🇬🇧🇦🇺👨💻
@victrnl.bsky.social @victrnl.bsky.social 
julia @monomere.bsky.social she/her
Interests include pltdi, gamedev, music. living in germany. https://monomere.cc/
Seb Mondet @smondet.bsky.social Software Engineering #ocaml , Music, etc.
https://seb.mondet.org https://ni3.dance 
@breaady.bsky.social @breaady.bsky.social 
john hui @j-hui.bsky.social 
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
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
Vicent @vbosch.bsky.social Co-founder & CTO en transkriptorium, Researching formal specification for the Agentic Era as a side gig but related to my main one :-)- Y yishibashi @yishibashi.me hi
søren @sxren.social they/them
🏳️⚧️ rights are human rights.
software and data 💻❤️🔥.
🐍, 🦀, etc.
lives in 🇯🇵.
Carlos Baquero @xmal.bsky.social Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023)
Web: https://cbaquero.github.io/web/
@matthew169.bsky.social @matthew169.bsky.social 
Roland Rodriguez @govcraft.ai Independent Practice @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | 🧠 Learning Machine | 🌮 Enthusiast | Husband, Dad, Cat Whisperer
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Nigel James @nigeljam.es 🗣️ Speaking
🎼Vocalist
📷Photography
🚣♂️Watersports
💾 Software @nigeljames.dev
#include disclaimer.h
my opinions only - not opinions of any company
P.S. If you can be anything, be kind.
shoe_ _\;^-.-^;/_ _bum @shoebum.bsky.social I might post less here and more at https://shubhamkumar13.codeberg.page
Watch me on : twitch.tv/shoe_bum- K KG @kgnyc78.bsky.social AI Enthusiast, Science Believer, Progressive, Fluff lover, Happily married, Ph.D., Immigrant
No DMs
Taylor Hodge @hodge.bsky.social Striving to create that in the presence of which we feel more alive
Software gardener/eng: http://getprimitive.ai ↝ SwellAI, Rupa Health, Narrative Science, WorkOS
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
Sorry I'm not here to receive your call, but leave a message ... @chicagolandish.bsky.social A graduate school-educated mathematical physicist (still in training) who is tired of seeing trolls spread misinformation and disinformation online.
Not really active on Bluesky. Might be, later.
Kutand Alkım Bayer @kutandalkim.bsky.social IZTECH-Chemistry, I like to be Polymath(learning different subjects), Polygot(interested in the learning different languages) comments and opinions are my own RT≠ is not endorsement (he/him)
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
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com