Alexa VanHatttum
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
@skainswo.bsky.social
prev: @BrownUniversity, @uwcse/@uw_wail phd, ex-@cruise, RS @waymo. 0.1x engineer, 10x friend. spondyloarthritis, cars ruin cities, open source
@susan-ellison.bsky.social
Associate Professor of Anthropology at Wellesley College. Author of Domesticating Democracy (Duke 2018). Kentuckian. Often found in El Alto, Bolivia.
@aliaisnonlinear.bsky.social
applied math PhD student @ cornell; dynamical systems, collective behavior, complex systems, amateur musician & photographer, she/her https://valentine-alia.github.io/
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@elmcitytree.bsky.social
Professor at CUNY, scholar of Blackness, comics, music, & popular culture writ large, leftist & left handed. 🇰🇳 🇺🇸 🇵🇸 🏳️⚧️ I maintain the Blackademics feed, the scholarly side of #Blacksky https://bsky.app/profile/did:plc:w4xbfzo7kqfes5zb7 Personal account
@jgancher.bsky.social
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
@joborgs.bsky.social
Associate prof at Uppsala University in Programming languages Swedish econ through an MMT lens - MMT for Sweden Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭 Private account, he/him, 🌹 🇺🇦 🟣
@cgyurgyik.bsky.social
Stanford PhD candidate amongst other things https://cgyurgyik.github.io/
@jeffdean.bsky.social
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
@kcarterjackson.bsky.social
Wife. Mom. Friend. Historian. Award Winning Author. Podcaster. Seeker of Joy. Refusing Daily.
@cmorari.bsky.social
Faculty at Wellesley College. Researching Film Festivals, Public Media, Cultural Policy. Following track, tennis, winter sports news and gossip.
@beccaselden.bsky.social
Marine Ecologist. Fisheries, food webs, and climate change. Adaptive capacity and resilience of fishing communities. Professor at Wellesley College.
@wcwonline.bsky.social
Research & action center at @wellesleycollege.bsky.social on gender equality, social justice, human wellbeing. #womenchangeworlds
@ethancecchetti.bsky.social
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist Mastodon: discuss.systems/@EthanCecchetti Web: cecchetti.sites.cs.wisc.edu
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@floralart.bsky.social
Renaissance Wonderland in Bloom | Art for Modern Dreamers 🌸🎨🤖 Crafting Semi-autonomous Visions Beyond Human and Machine #Art #AICreativity #FineArt #ArtAndAI #AIArt #Artwork #ArtificialIntelligence #AIEvolution 🎨 https://bio.site/artcollector
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@brownvc.bsky.social
visual.cs.brown.edu - vision, graphics, HCI, design+fabrication
@cestlemieux.bsky.social
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@april.social
Staff Security Engineer at some random tech company, previously Mozilla, Dropbox, and (pre-Elon) Twitter. Has read @kateconger.bsky.social’s autobiography. web @ grayduck.mn // also github.com/april
@jamellebouie.net
The real jbouie. Columnist for the New York Times Opinion section. Co-host of the Unclear and Present Danger podcast. b-boy-bouiebaisse on TikTok. jbouienyt on Twitch. National program director of the CHUM Group. Send me your mutual aid requests.
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@skamille.themanagerswrath.com
she/her. Author, manager, distributed systems engineer, etc etc, my latest book Platform Engineering is available now! https://amzn.to/4eUz5zB
@norootcause.surfingcomplexity.com
Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
@paperswelove.org
A community of folks into computer science research and using it for great justice. 🌏 https://paperswelove.org 👀 https://pwlconf.org 🦣 https://mstdn.io/@paperswelove 📺 https://www.youtube.com/@PapersWeLove
@expede.wtf
📍 Vancouver, Canada 🔰 Always learning 🏳️🌈 Sapphic as heck 🏳️⚧️ Trans rights are human rights ✊ BLM & Land Back 🤝 United we stand, divided we fall ✍️ notes.brooklynzelenka.com 👩🏼💻 github.com/expede 🐘 types.pl/@expede
@lenazun.bsky.social
she/ella. not exactly "the voice of reason". scaffolding @eff. escribo cartas en podriaser.com
@martin.kleppmann.com
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
@ifesdjeen.bsky.social
Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals. Mountain person. http://databass.dev/
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@heidihoward.bsky.social
@charity.wtf
cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
@palvaro.bsky.social
Crackpot, nincompoop, magpie, pedant mostly @palvaro@discuss.systems
@jqchen.bsky.social
@feldmanmolly.bsky.social
Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
@runningredlights.bsky.social
@danr.bsky.social
TypeScript Program Manager and TC39 rep working on JavaScript standards. Enthusiast of compilers, dev tools, language VMs/runtimes.
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@ameliadobis.bsky.social
PhD Student in CS at Princeton University PL + HW Verification MSc CS ETHZ & BSc CS EPFL [she/her] 🏳️⚧️ | 🇨🇭🇵🇹 cs.princeton.edu/~ad4048 mostly on mastodon: miado@discuss.systems
@cybai.dev
Taiwanese, never Chinese! λ. @ServoDev contributor, Mozillian. Opinions are my own. he/him
@liamoc.net
Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about. https://liamoc.net