Jim Larus
Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
@alt18f.bsky.social
Delivered effective, efficient, and secure digital services for the American people until we were forced to stop on March 1. Not an official government account. Reposts are not endorsements. Our new website: https://18f.org/ #AltGov
@nathantankus.bsky.social
President of Notes on the Crises Inc. (crisesnotes.com) Book: [About Undetermined], under contract with Viking Books email: crisesnotes(at)gmail(dot)com Signal: NathanTankus.01 (only for reporting, not reader speculation) https://linktr.ee/crisesnotes
@openjdk.org
The place to collaborate on an open-source implementation of the Java Platform and related projects · https://openjdk.org
@acm.org
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@casmudde.bsky.social
Dutchman in the South 🇺🇸 | Politicoloog 👨🎓 | European politics 🇪🇺 | far-right parties ✋ | soccer & politics ⚽ | punkrock 🎸 | movies 🎥 | columnist ✍️ | he/him/his 🚹 the “populism guy” who just wants to talk about soccer and politics 🤷♂️
@tartanllama.xyz
"building a debugger" book out june 2025 ~ c++ developer advocate at microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
@jfallows.bsky.social
Reporter and writer: https://fallows.substack.com/ and https://www.ourtownsfoundation.org/ One-time speechwriter, long-time pilot, longer-time husband of linguist/writer Deborah Fallows. Note same wristwatch in the two photos, more than 50 years apart.
@jay.bsky.team
CEO of Bluesky, steward of AT Protocol. Let’s build a federated republic, starting with this server. 🌱 🪴 🌳
@sophiepedder.bsky.social
Paris Bureau Chief, The Economist. Author of “Revolution Française: Emmanuel Macron and the quest to reinvent a nation” (Bloomsbury)
@home-assistant.dev
Follow us for the latest news around developing for Home Assistant. Follow the main account at @home_assistant.io
@dfisman.bsky.social
Notorious pro-vaxxer and pro-masker. Famously unfair to pathogenic viruses, bacteria, fungi, and the Toronto Star. Weary of all these death threats with so little follow-through. https://www.dlsph.utoronto.ca/faculty-profile/fisman-david-n
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@liblit.bsky.social
@tagide.com
Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@fpga.org
Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; Vice-chair RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@dangrossmanseattle.bsky.social
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@thenzinger.bsky.social
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
@bill-pugh.bsky.social
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications. Active maker, burner, traveler, husband, father.
@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.