Tell me about challenges, the unbelievable, the human mind and artificial intelligence, thoughts, social life, family life, science and philosophy.
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Official Bluesky account of the City of Boston's Archaeology Program. We celebrate Boston’s diverse history through preservation, excavation, & community engagement.
www.boston.gov/archaeology
Tech reporter, tech Historian. Bylines Fast Company / The Atlantic / Retronauts. http://www.benjedwards.com Founder http://Vintagecomputing.com
https://Answer.AI & https://fast.ai founding CEO; previous: hon professor @ UQ; leader of masks4all; founding CEO Enlitic; founding president Kaggle; various other stuff…
scheme48 -> PLT Scheme -> Racket. Haven't been bored in 25+ years. Almost continuously avoiding some kind of work, often by riding and running.
AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
Working with
@OceanVisionAI. Computer vision and science writing.
I work on Programming Languages at Microsoft Research
Advisor & builder. Formerly security @dropbox, product @instart & @google, authored Surreptitious Software, TL for Caja. I love good food, fine wine & great JS.
🤗 LLM whisperer @huggingface
📖 Co-author of "NLP with Transformers" book
💥 Ex-particle physicist
🤘 Occasional guitarist
🇦🇺 in 🇨🇭
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
tinkerer interested in distributed systems, compilers, and sometimes philosophy. he/him.
Senior writer at @chronicle.com, writing about scholarship, scholars, and society. stephanie.lee@chronicle.com / Signal: stephaniemlee.07 / stephaniemlee.com / San Francisco
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Researching computer vision stuff at Stack AV in Pittsburgh. Photography @ishankhatri.com
Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
Forest Baskett Professor of Computer Science and Director of the Brown Institute for Media Innovation at Stanford.
http://graphics.stanford.edu/~maneesh
STS researcher who likes to look at things sideways. Founded Data & Society.
Topics: Census | Youth | Data | Society
Professor of Communication, Cornell
https://made-not-found-by-danah-boyd.ghost.io
I am A Panda. I work on systems and networking at NYU.
I mostly hang out at https://discuss.systems/@apanda
Host of HUB History, a Boston history podcast that goes far beyond the Freedom Trail. Freelance podcast producer. Recovering marathoner and current YMCA swimmer. Dog lover.
🔗 https://HUBhistory.com/
📍 Boston, MA
🎧 HUB History
The Association for Computational Linguistics (ACL) is a scientific and professional organization for people working on Natural Language Processing/Computational Linguistics.
Hash tags: #NLProc #ACL2026NLP
Princeton computer science prof. I write about the societal impact of AI, tech ethics, & social media platforms. https://www.cs.princeton.edu/~arvindn/
BOOK: AI Snake Oil. https://www.aisnakeoil.com/
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
AI Ecosystem Director @ServiceNow @ServiceNowResearch @BigCodeProject #TheAIAlliance - formerly @IntelAI @ActianCorp @HPE - All posts are my own opinion.
The National Deep Inference Fabric, an NSF-funded computational infrastructure to enable research on large-scale Artificial Intelligence.
🔗 NDIF: https://ndif.us
🧰 NNsight API: https://nnsight.net
😸 GitHub: https://github.com/ndif-team/nnsight
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
The AI community building the future!
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Associate Professor at Northeastern University and father of 3. Interests include artificial intelligence, reinforcement learning, and robotics (he/him).
Computer science professor at #Khoury College of Computer Science at #NortheasternUniversity, formerly Mills College #Google #AppInventor #Mozilla #Code.org #MIT #Microsoft. #CSed #feminist #SanFrancisco #Oakland
Mom, foodie, traveller, computer scientist
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
https://pbg.cs.illinois.edu
SmolLMs & Data @huggingface
Training SmolLMs and curating high quality web and synthetic datasets ✨
https://loubnabnl.github.io/
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Professor at Aarhus University
https://cs.au.dk/~amoeller
Garbage collector.
Professor.
The ACM Special Interest Group on Programming Languages.
A flexible package manager designed to support multiple versions, configurations, platforms, and compilers.
🌎 spack.io
👩💻 github.com/spack/spack
💬 slack.spack.io
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Interpreters, compilation, concurrency, and debugging tools.
Distinguished Professor at UMass Amherst, Computer Scientist, Distributed Systems researcher. Views my own.
people.cs.umass.edu/~shenoy
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
actually just on Mastodon: https://discuss.systems/@adrian
I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
Dev tools, open source, HPC, systems, parallel computing at LLNL. spack.io guy. Setting up http://hpsf.io. Opinions mine. he/him.
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Assistant professor at UMass Amherst CS department
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Interpretable Deep Networks. http://baulab.info/ @davidbau
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community 😁
Join us at https://racket.discourse.group/
https://racket-lang.org/
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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.
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
CS professor at UT Austin, does research in programming languages & formal methods.
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.
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Wellesley CS professor and computational linguist. Studies meaning with computational and experimental tools.
