KampaignLab @kampaignlab.bsky.social KampaignLab is a digital marketing publication that helps marketers, agencies, and businesses discover AI, marketing, and productivity software through expert reviews, comparisons, tutorials, and buying guides.
Aaryan Patel @patelaaryan.bsky.social CS PhD @ UW-Madison.
Intetested in Security and Privacy, and Programming Languages
Solderlocks @solderlocks.bsky.social Serial pursuer of insurmountable hardware and software problems, armed primarily with unwarranted optimism.
https://github.com/solderlocks
nate @loglog.wtf going fast (living slow)
professional quantum computing practitioner and hobbyist mountain enjoyer
come over to https://nates.place
UCSB Computer Science Department @ucsb-cs.bsky.social
@doctasquid.bsky.social @doctasquid.bsky.social
tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/
YesPress @yespress.bsky.social Covering people, companies and products shaping our world.
Craftlingua by SP Digital LLC @craftlingua.bsky.social HI I'm Scotty, independent developer from Wisconsin. I produced Craftlingua, the premier language creation app. Sign up and craft your own language using solid linguistic theory!
SP Digital LLC
norinecoenen.bsky.social @norinecoenen.bsky.social
Salesforce AI Research @sfresearch.bsky.social We advance state-of-the-art #AI techniques paving the path for innovative products at @Salesforce.com. Focus areas: #AIAgents, #EnterpriseAI, #EGI, and #TrustedAI.
Cong Ma @mc-pony.bsky.social PhD student at University of Waterloo
https://mc-pony.com
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Aaron Eline @aaroneline.bsky.social
Amazon Science @amazon.science The latest news and research from Amazon's science community.
http://www.amazon.science
JulieTheMainstreeter @juliemainstreeter.bsky.social Concerned about democracy from my home in Wisconsin. Grew up in Minnesota in childhood town of Sinclair Lewis, author of “It Can’t Happen Here” and of course, “Mainstreet”. Also love and advocate for pets.
https://theblue.report/
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
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Marco Cerezo @mvscerezo.bsky.social Staff Scientist at Los Alamos National Laboratory. Researcher on Quantum Computing and Quantum Machine Learning. Master of dungeons.
Steve Moss @gawbul.io Dad, husband, and PhD 🧑🧑🧒🧒👨🏻🎓 Scientist, technologist, and engineer 👨🔬📱👨💻 Bibliophile 📚 Philomath 🤓 Mental health advocate 💚
Passionate about #bioinformatics, #computing, #evolution, #genomics, #medicine, #science, and #sre 🧬🩺💻
Homepage: https://www.gawbul.io- M @mhicks.bsky.social @mhicks.bsky.social
@nyame1.bsky.social @nyame1.bsky.social
@bojle.bsky.social @bojle.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/
Adela @kaguuura.bsky.social
Ross Duncan @rossquantum.bsky.social Quantum computing lifer. ZX-calculus co-inventor. Quantum compiler compiler and quantum programmer programmer. String diagrammer. Category theoriser.
Senior Fellow @ Quantinuum
(I cannot read DMs on Bluesky)
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
jendarra @jendarra.bsky.social Science + public good. Fam: 🇺🇸 + 🇨🇦+ 🌎🌍🌏
For an ATX where y’all means all, we 🗳+ 💉+🚴🏻♀️
Toss out the corrupt bums (I’d prefer health care)
👩🏻🎓 eng@Rice + datascience@Berkeley 👩🏻💻
Th. Ma. @thierry.marianne.io
@acendrou.bsky.social @acendrou.bsky.social
PublicLewdness @publiclewdness.bsky.social I have been gaming since 1992 and building PCs since 2003. I enjoy Linux, supporting FOSS projects and am a tinfoil hat connoisseur. Gaming is my achilles heel in that regard.
Heath @heathhenley.dev Señor Application Engineer at a small sonar shop.
Writing about things here: https://heathhenley.dev- S ⟦Simon Charlow⟧ @simoncharlow.com linguist
simoncharlow.com
Graeme Smith @graemesmith.bsky.social Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
@roudoudou.bsky.social @roudoudou.bsky.social
Dr Oana Andrei @oanamandrei.bsky.social Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
AJR @ajroot.bsky.social PhD student at Stanford working on compilers and graphics
https://ajroot.pl
Bogdan "Bo" Stoica @cachemisses.bsky.social Postdoc-ing @ UIUC. Working on systems reliability and efficiency. Opinions, my own. Reposts are not endorsements. Personal website: https://bastoica.github.io/
jonathan @jonathanmfung.com I like research, programming, and the sciences 🖤 he/him (pfp is not me)
jonathanmfung.com
Yihao Sun @stargazermiao.bsky.social The Next 700 Programmers.
@ivanyermakov.bsky.social @ivanyermakov.bsky.social
@whysguy.bsky.social @whysguy.bsky.social
Stefan Abi-Karam @stefanabikaram.com Graduate Student (@SharcLab) + Research Faculty at @GeorgiaTech 🐝
Working on digital hardware design + AI
https://stefanabikaram.com/
a ton of crates @tonofcrates.bsky.social They will be hearers of many things and will have learned nothing; they will appear to be omniscient and will generally know nothing; they will be tiresome company, having the show of wisdom without the reality.
Alex Bradbury @asbradbury.org Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
@ceph.computer @ceph.computer
Chris Taylor @dftchemist.bsky.social Comp chemist/mat sci, applied science director, and assoc research professor. Enthusiast about all things Quantum, Star Wars, Sustainability, Chemistry, and Corrosion. Views my own.
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social
@proustian.bsky.social @proustian.bsky.social 🐫
Marco Z @ocramz.bsky.social ML, λ • language and the machines that understand it • building trellis.unfoldml.com • https://ocramz.github.io
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
Thousand Brains Project @thousandbrains.org Advancing AI & robotics by reverse engineering the neocortex.
Leveraging sensorimotor learning, structured reference frames, & cortical modularity.
Open-source research backed by Jeff Hawkins & Gates Foundation.
Explore thousandbrains.org
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
james @battle-racket.bsky.social
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
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
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.
Gaurav Parthasarathy @gauravpartha.bsky.social
Lucy Li @lucy3.bsky.social assistant prof at Wisconsin CS. #NLProc, computational social science, cultural analytics, responsible AI. she/her. Previously at UW, Berkeley, Ai2, MSR, Stanford. lucy3.github.io
Femi Alla @femialla.bsky.social Christian.
Cloud DevOps Engineer.
Techprenuer.
Ashish Mishra @ashishindia.bsky.social Assistant Professor @IITH | Earlier Postdocing @Purdue |
PhD, Computer Science @IIScCSA
Interested in Programming Languages, Politics, and Philosophy.
@deleonox.bsky.social @deleonox.bsky.social quanta of tech & buiz
Grundgesetz Ultra
Hamidur Tanvir @hamidurtanvir.bsky.social Seeking MS &/ PhD Opportunity | HCI, UI/UX Enthusiast
Predrag Cvitanović @chaosbook.bsky.social Theoretical physicist. Publications and online courses on field theory, group theory, chaos, turbulence - http://ChaosBook.org/~predrag.
Please list your online talks on https://researchseminars.org, blueprint them here.
@yersizyurtsuz.bsky.social @yersizyurtsuz.bsky.social - W Chentian Wu @wuct.bsky.social 25' BS @ UW-Madison >>= PhD @ UIUC
PL / Logic
https://wuct.site
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Tommaso @tschtommaso.bsky.social
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/
Sahar Abdelnabi @sahar-abdelnabi.bsky.social Researcher @ Microsoft | ex. PhD @ CISPA | Neurodivergent 🧠🦋 | AI safety & security | life and peace for all ☮️, permanent ceasefire 🍉
Opinions my own.
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
@kasikci.bsky.social @kasikci.bsky.social
Patrick @patlafon.bsky.social
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
@eqbalz.bsky.social @eqbalz.bsky.social
Benno Stein @bennoste.in bennostein.org
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Phil Nguyen @pcn0112.bsky.social Likely just stalking people for doomscrolling content, and posting 😺s
Samuel Ainsworth @skainswo.bsky.social prev: @BrownUniversity, @uwcse/@uw_wail phd, ex-@cruise, RS @waymo. 0.1x engineer, 10x friend.
spondyloarthritis, cars ruin cities, open source
Jan Dubiński @jandubinski.bsky.social PhD student in Machine Learning @Warsaw University of Technology and @IDEAS NCBR
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
Ben Liblit @liblit.bsky.social
Ashraf Aboulnaga @ashrafaboulnaga.bsky.social Professor of Computer Science at the University of Texas at Arlington
https://ashraf.aboulnaga.me/
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Prashant Nair @prashantnair.bsky.social The opinions here are of 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
Andrea Lattuada @utaal.bsky.social Research Group Leader @ MPI-SWS
@hugorichard.bsky.social @hugorichard.bsky.social Researcher at Criteo. Interested in Bandits, Privacy, Competitive Analysis, Reinforcement Learning.
https://hugorichard.github.io/
Joanna C S Santos @joannacss.bsky.social Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.