Followers

@natefoster.bsky.social

Aaryan Patel @patelaaryan.bsky.social CS PhD @ UW-Madison. Intetested in Security and Privacy, and Programming Languages
anatole debierre @tolide.bsky.social anatole.wiki
@akshayn.xyz @akshayn.xyz
Abhinav @a4abhi.bsky.social
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 :-)
Alex Ghita @alexghita.eu freelance government analytics pro | helping tackle administrative and territorial challenges with R-powered data solutions, automation and AI | making sense of data, one insight at a time. RO newsletter: adunate.alexghita.eu
Akshay Srivatsan @srivatsan.net Stanford CS B.S. '21, M.S. '22, Ph.D. '28. I research (Distributed?) Operating Systems and/or Programming Languages and/or Networking depending on whom you ask.
Alireza Shirzad @alrshirzad.bsky.social Current: Cryptographer, CIS Phd student at @Penn Past: intern at @lagrange MSc and BSc at Aryamehr (Sharif) always: (( Women, Life, Freedom 🕊️ )) website: https://alireza-shirzad.github.io
number go up @numbergoup.com No relation to the book.
@parameme.bsky.social @parameme.bsky.social
andrea wen-yi wang @andreawwenyi.bsky.social phd candidate @ cornell infosci https://andreawwenyi.github.io
I @ineol.bsky.social @ineol.bsky.social
@virtue-carrot.bsky.social @virtue-carrot.bsky.social
@ravi-n.bsky.social @ravi-n.bsky.social
Ttamttam @ttamttam.bsky.social
norinecoenen.bsky.social @norinecoenen.bsky.social
Rupert Rivett @rupertrivett.bsky.social 📸 Photographer | capturing life's candid moments with my camera 📸 🌍 https://rupertrivett.photoshelter.com 🌍 #RealStreetPhotography #Photojournalism| Skilled in unobtrusive, authentic #storytelling 📣NEW SUBSTACK 📔 👇📸👇📸👇📸👇📸 https://rupephoto.substack.com/
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
Conor O'Sullivan @conorosullyds.bsky.social PhD in progress - XAI and ML for coastal monitoring 🌊 My content: linktr.ee/conorosullyds
Tori @proof-by.bsky.social Logic and categories https://victoriavollmer.github.io/
Farbod @fshahinfar1.bsky.social PhD student, interested in computer systems https://fshahinfar1.github.io
Aaron Eline @aaroneline.bsky.social
BabySwiss @284-220.bsky.social Loves to swim
Gareth Tyson @garethtyson.bsky.social
@demarkofulcher.bsky.social @demarkofulcher.bsky.social
@zarohs.bsky.social @zarohs.bsky.social
Ken Holstein @kenholstein.bsky.social HCI Prof at CMU HCII: thecoalalab.com Research on: - technologies to augment human thinking and learning - participatory & responsible AI - human-AI interaction
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.
@fvramos.bsky.social @fvramos.bsky.social
Zili Meng @zilimeng.bsky.social Live with unpredictability. Enjoy the life. Assistant Professor @ HKUST. AR/VR, low-latency network, video streaming
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
Hong Xu, Henry @henryhxu.bsky.social Prof. at CSE, CUHK, working on AI systems and networking
Martin Jaggi @mjaggi.bsky.social Prof at EPFL AI • Climbing
Financial Media Group @financialmedia.bsky.social Financial Media Group offers full digital marketing turn key solutions for small to medium sized & publicly traded companies.
@composmin.bsky.social @composmin.bsky.social
yashyaoo @yashhhh.bsky.social "love is he answer"
M @mhicks.bsky.social @mhicks.bsky.social
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
@kdubovikov.bsky.social @kdubovikov.bsky.social
Ammar @ammart24.bsky.social CS PhD student @ UIUC, systems & networking https://ammart2.web.illinois.edu/
@julyphant.bsky.social @julyphant.bsky.social
E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
@0xitalo.bsky.social @0xitalo.bsky.social
Amith @somebodyschelsea.bsky.social
Mr. E @blueskyreposts.bsky.social Repost every single post
Adela @kaguuura.bsky.social
Versorlessly @solobugplayer.bsky.social
@ridingspam.bsky.social @ridingspam.bsky.social
@liyuanjie08.bsky.social @liyuanjie08.bsky.social
Lorenz Leutgeb @lorenz.leutgeb.xyz PhD student in Automation of Logic at Max Planck Institute for Informatics
Kate Donahue @kpaxdonahue.bsky.social MIT postdoc, incoming UIUC CS prof katedonahue.me
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Curly Braces @loopinglife.bsky.social Daily nuggets of software wisdom.
@charliegrimshaw.bsky.social @charliegrimshaw.bsky.social
Marie Kerjean @mariekerjean.bsky.social Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly. Pronouns : She/her 🔗 https://lipn.univ-paris13.fr/~kerjean/
Anish Nyadignity @anishnya.bsky.social CapCombinator & Capodon: Founder, CEO, CFO, CTO 10x sports, 100x shareholder value, 1000x Dignity commentary engineer 📝📊🤙 🥇: Esteemed Intellectual 📍: A million miles away, right down the street 🎓: 4+ degrees — GRIT Research Institute of Technology (GRIT)
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Colin Perkins @csperkins.org Computer networking research and Internet standards. Professor in the School of Computing Science at the University of Glasgow. Long-time IETF participant. Former chair of the IRTF. Personal views only. 🏴󠁧󠁢󠁳󠁣󠁴󠁿🇪🇺 https://csperkins.org/
Blue Skies In Utah @papabear333.bsky.social Old hippie Democratic Socialist San Jose State alum Aaron Rupar groupie
Harvey South @harveysouth.com I do data analysis. I'm interested in research at the intersection of Machine Learning Theory and Statistics, and in applying my skillset to applications in science. 🇬🇧🇺🇸
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
If I told you then I’d have to kill you. @crazytothemax.bsky.social 💙Diehard LIBERAL and ANTI-NAZI 💙Love my husband, daughters, and my cats 💙Enraged at the lack of social justice 💙I live for snarkiness and dark humor 💙I hate fake “Christians” & hypocritical people 💙I detest gaslighting 🚫DMs, Nudie/sex content, MAGA
New Ideas in Networked Systems @nines-conference.org A new conference on networked systems dedicated to all the new ideas fit to discuss! https://nines-conference.org/
@madhu001.bsky.social @madhu001.bsky.social
Talia Ringer @taliaringer.bsky.social
T @thepariah.bsky.social @thepariah.bsky.social
salil nadkarni @salnad.bsky.social software @ graphite.dev, umich ‘23 having fun with salnad.me
Mark @mkeller7.bsky.social Researcher in bioinformatics working on single-cell data visualization https://markk.co
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
Kyle Baxter @kbaxter.bsky.social Cause it feels like I've been, I've been here before. The lite brite is now black and white. Exploring LLMs and HCI http://TightWind.io/
D The Data Therapist in the Blue Sky @datatherapist.bsky.social #NLP / #NLProc , #dataScience, #AI / #ArtificialIntelligence, #linguistics (#syntax, #semantics, …), occasional #parenting, #gardening, & what not. PhD. Adjunct prof once in a full red moon. Industry / technical mentor. Not my opinion, never my employer’s
Jesseba Fernando @jesseba.bsky.social PhD Student @nunetsi.bsky.social Put me in the middle of nowhere with coffee and I'm happy jesseba.github.io
Tom Pepinsky @tompepinsky.com Teacher, researcher, internationalist, republican. tompepinsky.com
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
@doyougnu.bsky.social @doyougnu.bsky.social
Diogo Pereira Henriques 鬼佬 🐯 📚 @diogo-ph22.bsky.social 🌍 Cities & social justice activist, creative technologist, designer, researcher, educator, learner @ UNESCO 💡 Communications officer @ecreaeu.bsky.social 🛜 Social media editor @ Nexus Network Journal 💬 Writing: PT, ENG, ES, FR, CN 🔗 https://dph22.github.io
@proustian.bsky.social @proustian.bsky.social 🐫
@binarymonkee.bsky.social @binarymonkee.bsky.social
AllSeerX 👁️ ✪ @allseerx.bsky.social Fan des réseaux, de la musique , du cinéma, des séries , de la WWE . Des sports tv https://linkfly.to/WinterAnge
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@nonsenseword.bsky.social @nonsenseword.bsky.social Real human, I promise. I'm mostly here to lurk.
@kondorkev.bsky.social @kondorkev.bsky.social
Sobrie_ @sobrie.bsky.social Chronic Mario Kart addict | Twins Fan | Streamer | Real Person Twitch.tv/sobrie_ everything you need -> https://linktr.ee/Sobrie_
Robert Long @robertlong.me Building 3D tools at Bezi.com Apple Design Award Winner: Blackbox Prev: Third Room, Mozilla Hubs, AltspaceVR
Johannes Hoffart @hoffart.ai CTO, AI at SAP - #foundationmodel #linkedbusinessdata #knowledgegraph #nlp #ai - www.hoffart.ai
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D