Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
https://ko-fi.com/adolfoneto
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Dad, writer, cyclist, citizen, cereal dilettante. Advocate for freedom of information, open governance, & democracy. Lover of the Oxford Comma, hater of hubris. Recovering journalist. Trying to move carefully, & fix things. https://civic-texts.ghost.io
technology mother @ the washington post. baddie in the digital badlands. signal: nitasha.10
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
was X Marks My Comment on X
❤️ grandchild of three holocaust survivors
❤️ daughter of a refugee
🇺🇸 first gen american
✡️ Dem Jewish woman in her 30s
🐶 PFP is my dog
“if they steal your joy, they’ve won before it’s begun”
Black, Jewish, British, mother, friend & everything else beautiful in between. Living with an open heart.
Blewish cockney version of Hillel.
Occasional rants.
Education and science, cycling and coffee.
"Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Mathematics, CS, physics, philosophy
Most recently : Teaching logic and philosophy of mathematics in the Philosophy department at the University of Bristol
🔑proofs⚙️dances🔥bodies⭐️dreams
Husband, Father, Grandfather, Datahound, Dog lover, Fan of Celtic music, Former NIGMS director, Former EiC of Science, Stand Up for Science advisor, Shenanigator, Pittsburgh, PA
NIH Dashboard: https://jeremymberg.github.io/jeremyberg.github.io/index.html
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
Machine Learning researcher. Former stats faculty. Works for Google Research, and on better days, herself.
Researcher @ Microsoft | ex. PhD @ CISPA | Neurodivergent 🧠🦋 | AI safety & security | life and peace for all ☮️, permanent ceasefire 🍉
Opinions my own.
We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences.
https://sigplan.org/AV
Every event we cover is available on YouTube:
https://youtube.com/@acmsigplan
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
SJSU math prof living in SF. Too old to spend this much time on comic books and music. He/him
Delivered effective, efficient, and secure digital services for the American people until we were forced to stop on March 1, 2025. Not an official government account. Reposts are not endorsements. Our new website: https://18f.org/ #AltGov
Homeschooling mom of 4, Christian, opera singer, literature nerd.
I bake bread. (And other things.)
Digitizing and translating Old English texts
Books, music, Germanic language
lore.house
lorehord.com
Hobby consultant, 💎🪚🎮🖥️🎙️🎹🎧👨🍳📷🪛➕
Quant UX Researcher @ [Home] (posts are my own)
Writes a data newsletter: https://www.counting-stuff.com/
https://linktr.ee/randy_au
Languages: EN/JP/CN
Supporting the Formal Mathematics revolution
Building humans in private while I share my development projects in public! A coding momma with a hobby in cyber resiliency, and a passion for spiritual wellness ✨ thriving in my authentic self 💙
cyberpunk is a warning, not a manual
she/her. dayjob & usual location: City & County of San Francisco (this is a personal account)
ex-18F; on the board @publicgood.tech ; wrote a small book about doing this: https://cydharrell.com/book/
activist, aspiring-polymath, problematic feminist working to better this world
@b_cavello@mastodon.publicinterest.town
avatar description: Portrait of B against colorful background
banner description: Collage of creative commons illustrations
end apartheid and the occupation
Applied scientist working on LLM evaluation and publishing in AI ethics. Formerly: technical writing, philosophy. Urbanism nerd in my spare time. Opinions here my own. he/they 🏳️⚧️. https://boltzmann-brain.github.io/
✨ Keep it simple, make it scale. AI should be about empowering users and building understanding. 👩💻 AI Developer Experience @ Google DeepMind, ex-Github, ex-Google
Assistant Teaching Prof, Emory University Writing Program & Affiliated Faculty, Data Science. Citation, data, & disciplinary rhetoric. Co-editor, JITP Reviews. 📷🎾☕️🎹. Opinions mine. he/they
Researcher trying to shape AI towards positive outcomes. ML & Ethics +birds. Generally trying to do the right thing. TIME 100 | TED speaker | Senate testimony provider | Navigating public life as a recluse.
Former: Google, Microsoft; Current: Hugging Face
mostly not here, but there: https://hci.social/@chrisamaphone
Assistant Prof at UT Austin's iSchool.
Big Tech, political economy, AI hype, AI in War
trying to help computer ppl think more critically about computer, including me
exCornell/CMU/NASA/MSR/IntelLabs.
davidwidder.me
AI for storytelling, games, explainability, safety, ethics. Professor at Georgia Tech. Director of ML Center at GT. Time travel expert. Geek. Dad. he/him
Programming Languages Researcher
https://kirancodes.me
M (they/them) 🏳️⚧️ ✡️
Doctor (allegedly) - Recovering Academic (read: professional pedant)
Does machine learning but never learns
Used to do biology
Pfp by @papiroflexio.bsky.social
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Round glasses and crazy hair, spends too much time in a workshop Human-Computer Interaction Researcher, Wikipedian, designer, mother
Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
asst prof @cornellbowers.bsky.social thinking about dynamics, control, machine learning
sdean.website
Researching planning, reasoning, and RL in LLMs @ Reflection AI. Previously: Google DeepMind, UC Berkeley, MIT. I post about: AI 🤖, flowers 🌷, parenting 👶, public transit 🚆. She/her.
http://www.jesshamrick.com
phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
web: http://maxim.ece.illinois.edu
substack: https://realizable.substack.com
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Associate Professor (Reader), soas @soasuni.bsky.social, researching Palestine/Israel history. Race, migration, material culture, Antisemitism. "City in Fragments" (Stanford 2020) Currently working on Ashkenazi integration in the Arab Levant
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Genealogist. Mathematician. Book blogger. Theatre fan. I'm not so good at having "a brand." These are just my inner thoughts, inner thoughts. She/her. #hEDS
🌳📜 Genealogy (mine, or whoever's) ideally; trying to get back to that ideal.
Professional/study/moderation list account.
Personal account: @pymundgenealogy.bsky.social
🔗: pymundgenealogy.com
Researcher (medical imaging now, previously computer security and forensics). 🇬🇧 in 🇺🇸, divorced father of a two year old. DMs and followers welcome if fully dressed.
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Associate Professor of Human-Centered Computing and Social Informatics at Penn State. AI and sociotechnical NLP, especially for privacy and fairness. Also posting about academia, photography, and travel. Opinions mine. he/him. http://shomir.net
I research programming languages and turn Category Theory into code
Composer, physics guy and all around nerd. Holding out for peace. Haven't done a commission in forever but always open. He/Him
My posts here will be a mishmash of personal opinions and smol curious excursions..
Been fooling around with generative machine learning since before it became mainstream 😊
https://linktr.ee/Norod78
Transit researcher in Berlin. Lived in Tel Aviv, Singapore, the Riviera, New York, Providence, Vancouver, Stockholm, Paris. https://pedestrianobservations.com/ http://patreon.com/alonlevy alon@pedestrianobservations.com @alon@mastodon.social
Graphics ∩ Vision, Electronic Elsewheres. AI for XR @ Meta. Previously : NVIDIA {Research, Omniverse XR, Robotics}, much before that VR, VFX & TV.
Thinkpiece Piñata & Artist inbetween.
Opinions? No
📍Brooklyn/TLV
https://omershapira.com
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 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.
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
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.
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
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/
Programming Languages Researcher and Consultant
Interpreters, compilation, concurrency, and debugging tools.
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
actually just on Mastodon: https://discuss.systems/@adrian
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
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
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
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Computer Scientist, Hiker, Photographer
CS professor. PL/Model Checking/Concurrency.
Sr. Distinguished Engineer @nvidia
Assoc. prof. at Uppsala University, working in programming languages and verification
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Programming language researcher at Microsoft.
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
formal methods researcher, CEO of Kestrel Institute
