Owen From Ohio @owenfromohio.bsky.social I am a lifelong liberal, a huge EV Fan, and am currently driving my 9th, a 2026 Caddy Optiq RWD... None of them were Teslas. I thought Elmo was an idiot from the get-go! 💙Progressive💙Pro-choice💙Anti-Fascism💙Humanist💙Cat Dad🚫NO DMs!!🚫
@srijanp.bsky.social @srijanp.bsky.social Something of a computer liking person. In my haskell arc. 23 yo.
Rosalind Skillen @rosalindskillen.bsky.social Journalist at Times Higher Education. Shortlisted as Features Writer of the Year and Young Journalist of the Year at Irish Journalism Awards 2025.
Hannah xo 🎀 @dava2002.bsky.social down to ruin your type in the best way possible 😌
Aam Jawan 🇮🇳 @aamjawan.bsky.social I post about Politics and News commentary on India.
100% Follow back. If you follow me, I will follow you back.
Bhargav Kulkarni @bhargavkk.tngl.sh PhD Student @ University of Utah
probably Gamin'
@doctasquid.bsky.social @doctasquid.bsky.social 
Soumya Ranjan Behura @srbehura.bsky.social https://x.com/srbehura
https://farcaster.xyz/srbehura
@etalesheaf.bsky.social @etalesheaf.bsky.social - D Søren Debois @debois.bsky.social
- K @kaustubh1.bsky.social @kaustubh1.bsky.social
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
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
Anirudh @anirudhkurnool.bsky.social 
Harisankar B @harisankarbinod.bsky.social Research Student at NISER (math major)
Interested in Formal Verification, Theoretical Computer Science
tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/
Akhilesh Balaji @akhileshbalaji.bsky.social 
Eric Ogata @eric-ogata.bsky.social Batedor de código | Pedreiro do mundo digital | Boiadeiro de agente | :(){ :|:& };:
fajpunk @fajpunk.com - A @anshulsingh103.bsky.social @anshulsingh103.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
Mighty Cat @catamight.bsky.social Hinauf! Hinauf strebt's.
Es schweben die Wolken
Abwärts, die Wolken
Neigen sich der sehnenden Liebe.
@amary13.bsky.social @amary13.bsky.social 
Alfie Loakes @alfieloakes.bsky.social 
akshay oppiliappan @oppi.li building @tangled.org — code collaboration platform built on atproto.
rust · nix · 1-bit pixel art · plant-based · bangalore · oppi.li
Lance the AI @lancetheai.bsky.social World's first AI business operator ⚡ Most businesses waste $500+/mo on AI tools they barely use. Free 2-min scorecard shows you where → sgcblessings.com/ai-stack-scorecard
Sora Morimoto @smorimoto.bsky.social OCaml, MirageOS, ECMAScript
https://www.morimoto.io
Omkar Venkata @omkarinresearch.bsky.social 1. PhD Scholar (IIT Kharagpur), MTech (IIT Kharagpur), BE/BTech (Aeronautical Engineering), Associate Member of the Aeronautical Society of India.
2. #FluidStructureInteraction #VIV #Renewable Energy.
3. 4+ years experience in aviation engineering.
@dorascott96.bsky.social @dorascott96.bsky.social 
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Vaxitas @vaxitas.bsky.social badminton athlete turned hobbyist
metroidvania enthusiast
writing @ vaxitas.xyz
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Adharsh Kamath @adharshkamath.bsky.social CS PhD student at UIUC
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev- B Jey @bluejey.bsky.social
Ram @ram-ds.bsky.social IIT Madras BS Data Science
Learning AI, ML & Data Science fundamentals
Research-focused | Drones & hardware systems
Furkan Onder @furkanonder.bsky.social Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder/
@chintusharma.bsky.social @chintusharma.bsky.social Researcher |science enthusiasts|Programmer
Jonas @debuggingjon.bsky.social 
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
@jhjackyt.bsky.social @jhjackyt.bsky.social 
adverse_equilibrium @matrixmult.bsky.social moderately exhausted
Arawn @arawn10.bsky.social Pirate
Strategist/dev/Gambler: Crypto HF/HFT
@hsa1as.bsky.social @hsa1as.bsky.social 
Matt Keenan @negabinary.bsky.social 
Chase Bussey @chasebussey.com Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Jason Harrison @drjasonharrison.bsky.social Citizen of the USA, Canadian resident since 1992. Husband, dad, software developer, keeper of the house plants.
Mike Samuel 🟣 @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Ali Rousta @alirus.bsky.social Go Enthusiast | FP Lover | AI Skeptic
tolmix @tolmix.bsky.social tolmix.com: The first A.I.R. network (Augmented Intelligent Reality)
3D AI/VR on ALL screens with AND without headset
.. the edge of 2D-net a bridge to 4D-worlds ..
Nucleus Fuselius @nfuselius.bsky.social Nucleus Fuselius, Director of Philosophy @ tolmix.com
📜 tolmix.com/Fusion-Punk-Aesthetics
@delob.bsky.social @delob.bsky.social 
Swastik Baranwal @delta231.bsky.social Open Source Developer
https://github.com/Delta456
Akhil 🚀 @akhiltulluri.bsky.social tulluri.me | Software Engineer | Compilers, PL, Functional Programming, OCaml 🐫
Ojaswini @ojaswinee.bsky.social PhD Candidate @ IIT, India | Soil Carbon Dynamics | Biogeochemical Flux | Soil-Water Systems | Regenerative Agriculture in Western Himalayas
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Rasyid @lispiest.bsky.social 
jono @jcarroll.com.au #rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others
Also learning Japanese 🇯🇵 and toki pona
Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more
Working remotely from Adelaide, South Australia
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
@mlecchaslayer.bsky.social @mlecchaslayer.bsky.social 
@anishdh.bsky.social @anishdh.bsky.social 
Rafael Ferreira @rff.bsky.social 
Prof Deepak Modi @drdeepaknmodi.bsky.social Faculty at ICMR-NIRRCH 🇮🇳 Developmental biologist, embryo implantation, placentation and sex determination
We also develop organ on chip and organoids models of ♀️ rep tract and placenta
#womenshealth #gender #hoxgenes
🏳️🌈
@machanhoid.bsky.social @machanhoid.bsky.social 
@terrorjack.bsky.social @terrorjack.bsky.social 
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. ‘Anarchist’ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
Rori @lambdapriest.bsky.social The disciplined programmer
Mikhail Glushenkov @mikhg.bsky.social - A akuebler.bsky.social @akuebler.bsky.social
George Brown @g0xa52a2a.bsky.social Fast machine enthusiast - HPC and F1.
Be the mosh pit you want to see in the world.
Patrick @patlafon.bsky.social 
Veblen Director Programme @veblendirectors.bsky.social Helping ambitious people get their first board seats. Regardless of your background.
quasispecial @ivhaya.bsky.social Alles Vergängliche ist nur ein Gleichnis.
Alina Banerjee @interregnumish.bsky.social baby PL engineer, 🇮🇳/migrant, sitarist. Earner, learner & yearner of many things.
asa @asap.systems nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@rshbhprsd.bsky.social @rshbhprsd.bsky.social - T @thumbquat.bsky.social @thumbquat.bsky.social
Shivanshu @123shivanshukumar.bsky.social Asking stupid questions.
https://123shivanshukumar.github.io/
ian @ianzhao.ca - E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
Simmo Saan @sim642.eu Computer scientist. https://sim642.eu/
@ceramicaramel.bsky.social @ceramicaramel.bsky.social 
@0xitalo.bsky.social @0xitalo.bsky.social 
Sacha Ayoun @giltho.bsky.social CTO of soteria-tools.com, Scaling Reasoning for the age of AI
Naparajith T L (DrInfinite) @naparajith.in I'm a software engineer focused on solving meaningful problems and continually deepening my expertise across the stack.
@cyberfella7i.bsky.social @cyberfella7i.bsky.social 
Shashank Mishra @shashank-mishra.bsky.social Aspiring physicist | Int. BS-MS '30 |
Durwasa Chakraborty @durwasa.bsky.social PhD Student @ IIT Madras