Ryan Doenges @hackedy
Computer scientist. Certified Melville head ryandoeng.es Boston Joined March 2013-
Tweets303
-
Followers463
-
Following489
-
Likes15K
Was a pleasure to present our logical relation for concurrent termination at Boston University POPV on Tuesday :)
I am at LICS in Tallinn. Would like to talk to people about semantics for concurrency and randomness. And eat vegan food. Cheers
My family in Rafah are receiving threatening phone calls to evacuate. They already evacuated nine times and they live in a tent!
interesting how this photo @Northeastern is using to celebrate its recent grads only includes two of the three flags this student was waving
Princeton has arrested and evicted one third of its graduating African American studies majors. It has also locked the doors of Toni Morrison Hall, where the department is housed and which is right next to the encampment. Super racist stuff guys!
FYI: NYPD official Rebecca Weiner, who cited “outside agitators” as a reason for NYPD raids but offered no transparency is a Columbia adjunct. The unit she leads came under fire in the early 2010s for spying on Muslim New Yorkers. I know because I sued that unit for spying on me.
FYI: NYPD official Rebecca Weiner, who cited “outside agitators” as a reason for NYPD raids but offered no transparency is a Columbia adjunct. The unit she leads came under fire in the early 2010s for spying on Muslim New Yorkers. I know because I sued that unit for spying on me.
My husband, Prof. Steve Tamari, is out of the hospital. He will need surgery on his hand, and he is in pain from nine broken ribs. We are asking for time to rest and heal. We will not be taking media interviews at this time. Here is Steve's statement and ways you can support.
LOS ANGELES (AP) — At least 2,000 people have been arrested at pro-Palestinian protests on US campuses since April 18, AP tally shows.
Opinion | It's hard to be a fan of these university encampments. If I wanted to stop the war in Gaza — which, to be clear, I don't — I would protest in a more effective, undisclosed other way.
NEW: Professors at @Northeastern have begun circulating a letter denouncing the school’s response to student protests — including “the false justification for arrests,” “harmful weaponizing of anti-Semitism” and “tactics of intimidation” — and calling for charges to be dropped.

Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Dan Ports, @dan@discu... @danrkports
5K Followers 683 Following Exclusively on Mastodon these days: https://t.co/uq8vRRSnQa Distributed systems and operating systems. @MSFTResearch @uwsyslab
Shrutarshi Basu 🇺�... @basus
1K Followers 2K Following Programmer, currently looking new opportunities.Former faculty @middlebury CS, PhD @CornellCIS. Exploring the intersection of computing & law.He/him.
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Andrew K. Hirsch @andrewkhirsch
575 Followers 912 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
sewar @swsw1129633
6 Followers 52 Following
Ahmed Ali - Gaza 🍉... @a7med3mer3li
2K Followers 6K Following Teacher,dabke dancer. Survivor of the genocide after 8 previous wars. A witness to the brutal crimes committed by the Zionist occupation against my people🇵🇸.
Jalfou @Jalfou6892
65 Followers 3K Following
MARIANA PAMELLA @pamellamaria_09
709 Followers 3K Following
Pensé FFun @inftyCategory
136 Followers 7K Following
ariel valverde @arielva96889924
13 Followers 160 Following
DinahBruno @34u4k4JD2k3NLY7
57 Followers 6K Following
Haoyu Wu @haoyuwu_pl
5 Followers 255 Following PhD student at @ANUComputing in programming languages.
reeeeeeee @floating_reeds
562 Followers 2K Following when I am king, you will be first against the wall @bitspilaniindia math and cs undergrad he/him
Jinhao Tan @tamkamhou
70 Followers 427 Following Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.
Tolerance @Tolerance951517
46 Followers 3K Following
AIformedicine @ai4medicine4
547 Followers 7K Following
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Valentin Robert ❤�... @Ptival
220 Followers 355 Following He/Him. Research Engineer at @Galois. Static types and mechanized theorem proving enthusiast.
Ardent @arinobeshi21609
81 Followers 7K Following
Edward R. @Edd60
138 Followers 933 Following
Programming Languages... @PLMentoring
875 Followers 69 Following PL Mentoring Workshop at POPL, PLDI, ICFP, and SPLASH.
. @pm85124273
3 Followers 154 Following
Joel Svensson @sve10362122
295 Followers 2K Following Implementing a Lisp like language for microcontrollers. LispBM is a lisp or scheme like language with concurrency and an Erlang inspired message-passing system
Kai Mast @cskama
1K Followers 4K Following Doing stuff with distributed systems, blockchains, and Rust. (More active on Bluesky @kaimast.com)
Thesesl @thesesl89683
74 Followers 5K Following
Anirudh Khatry @AnirudhKhatry
589 Followers 1K Following CS PhD @UTCompSci | Advised by @IsilDillig and @gregd_nlp | Previously @ProseMsft @MSFTResearch | AI4Code | Guitarist | VJTI ‘21
KathrineLeete @KathrineLe8120
43 Followers 2K Following
Daniel Sainati @sainati_
63 Followers 140 Following Programming Languages PhD Student @CIS_Penn. Formerly @flow_blockchain, @flowtype. @Cornell CS ‘18
Ali Raza @Aliraza32743112
342 Followers 5K Following RF Optimization||SQL||Python||Data Analyst||ML Engineer
naturgeschichtliche @la_leere
4K Followers 1K Following mower sleeping among the new-mown hay (lou)is(e/a) [email protected]
Phenou @Phenou357941
18 Followers 1K Following Intelligence comes from hard work, and genius comes from accumulation.
Alan @AlanWan74454922
32 Followers 2K Following
Rohit Karki @RohitKa46660754
153 Followers 4K Following
Sangeeta Chowdhary @schowdhary02
630 Followers 706 Following Researcher @AMD. Ph.D. @Rutgers. Compilers and Runtimes for accelerators.
degrowth entrepreneur @xoayquanh
1K Followers 2K Following I'm the guy who throws people into the bitcoin volcano
Ramneet Singh @Ramneet_Singhh
848 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Mai @mai70johnson
288 Followers 3K Following
Claire @ramseyclaire74
2K Followers 3K Following
Pauline @paulinecordova9
308 Followers 3K Following
Tawfique Elahi @tawfiquee
643 Followers 8K Following PhD Researcher, Information Systems @ UNR • MSc, Informatics @ Lund University • AI Ethics & Safety • HCI • Usable Security & Privacy 🗣️ Opinions are my own
John Jacobson @JohnIII_SoC
71 Followers 212 Following @UUtah PhD student in computer science. Data race detection & memory consistency for HPC and heterogeneous systems.
Onur Ünlü @onur_unlu_01
23 Followers 430 Following PhD Student @Cornell | Multi-agent RL, Game Theory | Previously @BilkentUniv.
🅻🅸🆅 @ollywogs
297 Followers 2K Following I make things go beep boop beep | creativity and machine learning | @hseas @medialab @MIT_CSAIL @idmMIT
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Nintendo .DS_Store @sliminality
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Hila Peleg is not her... @HilaCodes
2K Followers 377 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Dan Ports, @dan@discu... @danrkports
5K Followers 683 Following Exclusively on Mastodon these days: https://t.co/uq8vRRSnQa Distributed systems and operating systems. @MSFTResearch @uwsyslab
Paul-André Melliès @pamellies
638 Followers 1K Following logician and computer scientist at work @CNRS @IRIF_Paris @Inria_Paris
Richard Eisenberg @RaeHaskell
3K Followers 149 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Jane Street @JaneStreetGroup
9K Followers 0 Following Jane Street is a global trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
Palestine Legal @pal_legal
42K Followers 1K Following Activists in the US are censored and punished for speaking up for Palestinian freedom. We challenge the censorship so voices for justice can be heard.
deez contents @lint_ax
5K Followers 2K Following "professor" (derogatory) | all views mine, not my employers’ | retweets not necessarily endorsements | whatever else you need to hear to leave me alone | he/him
The Coalition for Mut... @cmlcornell
656 Followers 110 Following We are a broad coalition of solidarity on Cornell’s Ithaca Campus inquiries/press: [email protected]
naturgeschichtliche @la_leere
4K Followers 1K Following mower sleeping among the new-mown hay (lou)is(e/a) [email protected]
deborah hathaway-cohe... @CohenLohan
2K Followers 335 Following former pageant winner, pretend ballerina, lyric gay comic drama, Orphic barricade of surprises, legendary judge
Prison Mathematics Pr... @prisonmathproj
2K Followers 74 Following We support the study of math and computer science in prisons by building apps, creating math circles, and pairing incarcerated people with math mentors.
PRCS @PalestineRCS
90K Followers 431 Following 🚨🚑 (PRCS) officially founded in 1968, is a national humanitarian organization caters to the health and welfare of the Palestinian people and others in need.
IfNotNow🔥✡️ @IfNotNowOrg
121K Followers 2K Following American Jews organizing our community to end U.S. support for Israel's apartheid system. We demand equality, justice & a thriving future for all #CeasefireNOW
Antony Loewenstein @antloewenstein
46K Followers 7K Following Independent journalist + written for NYT, Guardian etc + author ‘The Palestine Laboratory’ (@paleslaboratory) and others + @declassifiedaus
Nathan rd @nrduford
14K Followers 2K Following “archaeologist of the deranged” critical theory, political phil, wrote Solidarity in Conflict (SUP 2022)
Oliver Flatt @oflatt
221 Followers 74 Following PhD Student at the University of Washington, youtuber Mastodon: @[email protected]
HAFLANG - Functional ... @HaflangProject
82 Followers 2 Following Hardware implementations of high level functional programming languages. Supported by the EPSRC HAFLANG project at Heriot-Watt University (EP/W009447/1).
Tanvir Ahmed Khan @takhandipu
1K Followers 387 Following Assistant Professor @EE_ColumbiaSEAS; Computer systems researcher working in the intersection of computer architecture, compilers, and operating systems
Ben Delaware @GhostofBendy
1K Followers 309 Following Professor at @PurdueCS; dad; occasional cancer fighter🎗️. Tweets about programming languages and formal methods, but mostly bird pictures.
Jennifer Rexford @jrexnet
4K Followers 739 Following Provost @Princeton, Professor @PrincetonCS and @EPrinceton, affiliated with @PrincetonCITP, computer networking researcher, and mom. 🏳️🌈
NYC Tech Workers Coal... @techworkerscony
1K Followers 413 Following We are a coalition of workers in & around the tech industry & other friends in NYC This account is run by a rotating group of volunteers. Tweets are their own.
Magnus Lidström @soniccharge
7K Followers 612 Following Synplant 2, PO-32/35/137, Microtonic, Bitspeek, Permut8, Echobode, Cyclone, CWO, Crapre, Addictive Drums, Malström.
kristen roos @kris10roos
8K Followers 2K Following https://t.co/d8YLUp13sv (he/him) artist/educator. media art, sound, textiles, media archaeology & excavation.
Mahdi Haghifam @HaghifamMahdi
1K Followers 849 Following Foundations of ML and Trustworthy AI. RAP @TTIC_Connect. Prev: @KhouryCollege. PhD @UofT & @VectorInst. Prev. Research Intern @GoogleDeepMind,@ServiceNowRSRCH
Jonathan Ullman @thejonullman
3K Followers 264 Following Associate Professor of Computer Science @KhouryCollege @Northeastern. Probably an imposter.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
〚Dan R. Ghica〛 @danghica
1K Followers 313 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Dᵇ(Monkey) Alex Sch... @chmonke
2K Followers 219 Following Graduated from @UW-Seattle studying math. I like AG and commutative algebra. 2nd year PhD student @Columbia
Yihong Zhang @yihongz_bot
742 Followers 737 Following PhD student at @uwplse and @uw_db . Also on 🦋.
TUGSA @TUGSA_6290
4K Followers 450 Following The labor union for teaching and research assistants at Temple in Philly. Contact us at [email protected]. Temple is union made!
George Kaye @thegeorgejkaye
207 Followers 741 Following Computer Science PhD student at the University of Birmingham, interested in applied category theory. Tweets about walking, cycling, railways, and arsenal.
Guilherme Espada @GuiEspada
207 Followers 190 Following PhD Student @lasige @FC_UL | Working on Static Resource Analysis with @alcides | Mastadon: @[email protected] | BlueSky: https://t.co/FZYUHMHHVd
Jacob Gaboury @jacobgaboury
3K Followers 939 Following CG Histories, Screenshot Genealogies, Queer Computing. Associate Professor @UCBerkeley. he/him. Image Objects (MIT Press, 2021)
Vivian Ding @vivianyyd
108 Followers 124 Following Enjoyer of ideas. Taking the scenic route. Sometimes I think about computer science
Jan de Muijnck-Hughes @jfdm
873 Followers 658 Following Lecturer of type-driven approaches to trustworthy-systems at Strathclyde. PL & FM enthusiast. https://t.co/xrWhpZSkQm 🇳🇱🏴🇬🇧🇪🇺
Theo X. Olausson @theo_olausson
560 Followers 368 Following PhD student at @MIT_CSAIL, guest researcher @FlatironCCM. @InfAtEd '21. He/him. 🇸🇪 》🏴 》🇺🇸
Maddy Bowers @mattlbowers
386 Followers 619 Following PhD Student at MIT working in program synthesis. Interested in abstraction learning, probabilistic programming, and cognitive science. she/her
Christine Rizkallah @c_rizkallah
377 Followers 329 Following Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).
Matteo Capucci @mattecapu
6K Followers 820 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Nelson Niu @nelsonsniu
268 Followers 322 Following he/they • math phd student at uw • uaw4121 unit chair • actor • uw ms ’23 • mit sb ’21 • https://t.co/6FtLPEZm2i