Eve's Rose @evelyn-gaze.bsky.social Mostly here to look at animal pictures and art
And there are the Jacksonville Jaguars
Dr Linda Enow @drlindae.bsky.social Research: #TeacherCognition, #TacitKnowledge in #Teaching, Expert Performance using the #DreyfusModel, #ExpertiseResearch.
Was #EnglishTeacher + #EAP @uni, now; #EducationStudies #SeniorLecturer in #HE. #TheHumanMind #ThinkAloudProtocol
#DecisionMaking
Sahinur @sahinur.dev Full Stack Software Engineer | AI Engineer | Scalable Cloud Solutions
José Cano @jocare.bsky.social Reader (Associate Professor) in @uofgcompsci.bsky.social at @uofglasgow.bsky.social | Leads @giclab.bsky.social | #ComputerArchitecture #Compilers #EdgeAI #Security
https://www.dcs.gla.ac.uk/~josecr/
Adam Zhang @dashthru.bsky.social EDA Product Manager of DashThru Technology
High-Performance RTL and TCL/SDC/UPF Checking Tool Development /w Agentic Interface
@doctasquid.bsky.social @doctasquid.bsky.social 
@93032902.bsky.social @93032902.bsky.social 
RoboChiz @robochiz.bsky.social He/Him. Pan 🏳️🌈
Doctor Who Nerd &
Senior Engineer @StudioGobo 🎮
Views are my own.
Duc-Than Nguyen @ducthan.bsky.social Interested in Programming Languages & Formal Verification (he/him)
https://ducthan.net/
Cong Ma @mc-pony.bsky.social PhD student at University of Waterloo
https://mc-pony.com
Tim Green @otherprofgreen.bsky.social Professor of Electrical Power Engineering at Imperial College researching control of zero-carbon grids.
Known to get distracted by old trains and industrial heritage.
Drivel that follows comprised entirely of personal views.
He/Him
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.
@jhjackyt.bsky.social @jhjackyt.bsky.social 
Michele Alberti @lambdaxdotx.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
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Denford Littlebird @mcdenford.com 
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Zhaoyang Wang @zhaoyangw.bsky.social Researcher | Agentic AI Foundation Models, Bayesian Optimization, Reinforcement Learning, and AutoML. Uni of Birmingham.
Share the latest AI news. https://www.linkedin.com/in/zhaoyang-w-4995b5269/
@jane2-06.bsky.social @jane2-06.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/
@spfish.bsky.social @spfish.bsky.social 
RISER: RISC-V for cloud services @riser-project.bsky.social RISER will develop the first all-European RISC-V cloud server infrastructure, significantly enhancing Europe’s open strategic autonomy. 
HIGHER Project @higher-project.bsky.social European Heterogeneous Cloud/Edge Infrastructures for Next Generation Hybrid Services- E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
Mr. E @blueskyreposts.bsky.social Repost every single post
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
@0xitalo.bsky.social @0xitalo.bsky.social 
Sacha Ayoun @giltho.bsky.social CTO of soteria-tools.com, Scaling Reasoning for the age of AI
Alexandra 🍓❤️ @brunetteheadbaddie.bsky.social I’m 24 years old and I’m an animal rescuer 🐶 house flipper 🏠 and a slutty little whore on the side 😉
Instagram - brunetteheadbaddie
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Th. Ma. @thierry.marianne.io 
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores 🚀
https://buildstash.com
@acendrou.bsky.social @acendrou.bsky.social 
Tonnie Baumeister (vernoemd naar Antonius van Padua) @tonnie1963.bsky.social Positivo. Glas is half vol. Boekhoud-nerd, domweg gelukkig op kantoor, Excel-autist. Dankzij dit stuk software kan ik mij een verstrooide levenswandel permitteren met veel hardlopen (1/2 marathon) en wandelend lopen. Bermafval-opruimer (vrijwilliger).
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social 
Nicholas Yang @nicholasyang.bsky.social Programmer, obsessive cook, film nerd
@binarymonkee.bsky.social @binarymonkee.bsky.social 
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Tom Turcotte @tomturcottetech.bsky.social Mentored devs for 5+ years. Now building X Growth Engine full-time to fix my own social media struggle: authentic growth without endless scrolling.
xgrowthengine.com
Bachir Bendrissou @bbendrissou.bsky.social Google PhD Fellow | Doctoral Student at Imperial College London | Software Reliability | Fuzzing Enthusiast | Ex-CISPA
@bijkerhans.bsky.social @bijkerhans.bsky.social 
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
@shiftyflipflop.bsky.social @shiftyflipflop.bsky.social 
Low Society @metacapitalism.bsky.social Deeply committed to opposing MAGA. my pup, books, TV, old movies, jazz, rock, and classical music, beach walks, writing (fiction and non-fiction), abstract painting, stone sculpting, deep sleep, and non-violent villainy.
@yohanpipereau.bsky.social @yohanpipereau.bsky.social 
@mcianster.bsky.social @mcianster.bsky.social Research Software Engineer at Imperial College Mechanical Engineering department. Formally University of Manchester NLA Group. PhD from Imperial College EEE.
Lead developer for @kicad.org
Website: http://ism.engineer
Axiom Veritas @axiomveritas.bsky.social Who knows me better suggests that integrity, intellectual curiosity, analytical depth, pragmatism, and vision are my defining characteristics.
Socratic reasoning compels me to challenge assumptions, and uncover the deeper truths that shape our world.
@mnowack.bsky.social @mnowack.bsky.social 
Paul Danger Kile @paul-danger-kile.bsky.social Legal name: Paul Danger Kile
Name at birth: William Paul Caligiuri
Anagram: Guardlike Panel
Japanese Name: ポール・デンジャー・キレ
Callsign: K0PDK
Godless, Programming, Images, Opinion, Electric Bass
dangerismymiddlename.com
I Quit Smoking 🚭 📚 🐕 @iquitcigs.bsky.social Anti-Smoker My Website campralquitsmoking.net See How I Quit 20 Years Ago Fought Nicotine 35 Years Supporting others who Quit 🚭 STL MO ❤️To Promote Authors 📚 & Ozarks 🌄 Photographer 📷 Pez Add @piperformissouri.bsky.social @jesspiperfanpage.bsky.social 💙
Gaurav Parthasarathy @gauravpartha.bsky.social 
Ellie Clifford @ellie.clifford.lol using domains as handles is nice because I don't have to put in any extra effort to plug my website :3
🏳️🌈🏳️⚧️ she/her 🏳️⚧️🏳️🌈
Lesly-Ann Daniel @lesly-ann.bsky.social Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
Michael Mitchell @michaelmitchell.bsky.social I'm running for City Council in Ward 14 Toronto-Danforth. https://toronto-danforth.ca
Quick, what’s the longest word you can find —> https://bsky.app/profile/michaelmitchell.bsky.social/post/3mvadd2s4ic2l
@yersizyurtsuz.bsky.social @yersizyurtsuz.bsky.social 
Théo @theo.goureau.eu He/Him. Doctoral student in computer science. #Security #Microarchitecture
PLRG :: Bristol @plrg-bristol.bsky.social This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
@milosmum.bsky.social @milosmum.bsky.social Fabulous tea-aholic mum of 1, sparkly purple fan, fab writer wife @callyk.bsky.social Cally Kerr, writerly, leftie, animal lover, INFP, Welsh.
Kissable Bette @creativeeva157.bsky.social 
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
@rtwalker.bsky.social @rtwalker.bsky.social 
@fbusse.bsky.social @fbusse.bsky.social 
Mr Spectrum @timothynewman.co.uk Love radios and Integrated Circuits. Also big fan of open source, physical media, public transportation and occasionally photography.
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
@rozzai.bsky.social @rozzai.bsky.social 
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton
@pipelineisgushing.bsky.social @pipelineisgushing.bsky.social 
Ichbrauchekeinennamen @thetreeoftenere.bsky.social Der Drache des Südens.
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
Yotam Feldman @yotamfe.bsky.social PhD in computer science (formal methods), postdocing in computational chemistry. Schmidt Science Fellow 2023
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
Joseph Chiu @toybuilder.bsky.social Hardware / Product Developer. Altium/Alibre. Southern California.
@cgreil.bsky.social @cgreil.bsky.social 
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
Puppydudley🌹🇪🇺🇺🇳🇨🇦🇲🇽🇺🇦🇵🇸🇺🇸🗽🦅🔱⚖️🪿🍁🍉🫒🕊️✝️ @puppydudley.bsky.social socialist. federalist. supports democratic socialism, universal healthcare & universal basic income. he/him. pro-choice. pro-democracy. anti-war. anti-racist. anti-authoritarian. LGBTQ+ ally. PNW(WA), tech junkie, casual gamer, policy nerd, twitter refugee- L Laurence Aitchison @laurenceai.bsky.social Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
KinkyKongAI @handle.invalid The color of my dress means NOTHING. #Midjourney Event Host, Guide, and Community Outreach | Moderator at Hedra | Shares the best I see in AI | Your Fun, Friendly Creator at the Bleeding Edge of #AI . I BLOCKED MAGA words, Cuz I value my peace. 
Les Mood @greentechnetwork.bsky.social Creator | Entrepreneur | Instructor | Connector | CEO of GreenTech Network
On LinkedIn? 👇
https://lnkd.in/gApKGXcz
🌎 GreenTech Talks Newsletter:
https://lnkd.in/gGUwTbVm
Full Length 📹 on YouTube:
http://bit.ly/42uL5EO
#greentech #sustainability
Subash @anterr.bsky.social