Ranjit Jhala
@RanjitJhala
curmudgeon
ID:299884228
http://goto.ucsd.edu/~rjhala/ 16-05-2011 20:52:56
10,6K Tweets
2,8K Followers
538 Following
Shriram Krishnamurthi 🟤 🏴☠️ 👨🏽🏫 🚴♂️ 🏏
@ShriramKMurthi
🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketLoris D'Antoni
@lorisdanto
Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Kristopher Micinski
@krismicinski
@[email protected]. Tweets do not represent anyone's views, especially mine.Mike Hicks
@michael_w_hicks
Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new locationDerek Dreyer (@[email protected])
@HerrDreyer
Get used to disappointment.Andrew Myers
@AndrewCMyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.KC Sivaramakrishnan
@kc_srk
CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Nate Foster (@[email protected])
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.Aws Albarghouthi 🍉 أوس
@awsTO
computer scientist, professor, palestinianSam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]Nikolaj Bjorner
@BjornerNikolaj
Ron Garcia
@rg9119
Transmogrifies coffee into LaTeX at University of British ColumbiaJonathan Aldrich is Ken
@JAldrichPL
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (https://t.co/sNSJTo6uHj). He/him. Views are mine.Rachit Nigam
@notypes
MIT visiting scholar & Cornell PhD Candidate | Computer Architecture + Programming Languages. Organizer @PLteaforplt. He / him.✨ Jean Yang ✨
@jeanqasaur
New Product @getpostman. Founded @akitasoftware. Programming, APIs, and developer experience. Former programming languages professor @CSDatCMU.Peter O'Hearn
@PeterOHearn12
formal proof for funMoshe Vardi
@vardi
My mastodon account: @[email protected]Rob Henderson
@robkhenderson
Best-Selling Author of Troubled: A Memoir of Foster Care, Family, and Social Class: https://t.co/TGd7JHRsFoJonathan Haidt
@JonHaidt
Social psychologist at NYU-Stern, working to roll back the phone-based childhood. Please visit https://t.co/ZjBuXdDr8I & https://t.co/7aVAmOTlnlBrianna Wu
@BriannaWu
Executive Director of @rebellionpac. Former Candidate for US House in MA. Software engineer. Bond dog proponent. 🏎🏍🏃🏻♀️🎮 [email protected]David Burge
@iowahawkblog
Karma's janitorFilip Jerzy Pizło
@filpizlo
PL/VM/compilers @ Epic GamesNigella Lawson
@Nigella_Lawson
My eating - and other - updates. If you need to contact me for work, you can find the right email on this link https://t.co/DmAtrxzFqlТsфdiиg
@tsoding
Recreational Programming: https://t.co/cPjxUvz266 ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀Kevin Bardosh
@KevinBardosh
Social science, global public health Director/Head of Research: @collateralglbl Affil Prof: @UW @EdinburghUnI Lines: @unherd Citizen🇨🇦🇺🇸🇪🇺+dad(3)FDD
@FDD
The Foundation for Defense of Democracies (FDD) is a non-partisan institution focusing on national security and foreign policy.Wojtek Kopczuk 🇵🇱🇺🇦
@wwwojtekk
Economist, tax policy/inequality. Editor of @JPubEcon. President @iipf_org. Professional skeptic. Anti-illiberal. Persiflageur.Matt Taibbi
@mtaibbi
Author of INSANE CLOWN PRESIDENT, I CAN’T BREATHE, SPANKING THE DONKEY, and SMELLS LIKE DEAD ELEPHANTSChris Arnade 🐢🐱🚌
@Chris_arnade
Walking the world, one city at a time. I like turtles, cats, & buses. Subscribe to my Substack: https://t.co/j6mE4TVfBlA.A.Milne
@A_AMilne
'Did you ever stop to think and forget to start again?' Celebrating words written, or inspired by, the much-loved author and playwright. Instagram: @a_amilneJeffrey Flier
@jflier
Harvard University Distinguished Service Professor and Higginson Professor of Physiology and Medicine at Harvard Medical School. Former Dean of HMS.stefan brunthaler
@stbrunthaler
Language-based security is the continuation of compiler construction by other means. PLs, pretty much all things compilers. also: [email protected]Glenn Loury
@GlennLoury
Race, inequality, economics in US and throughout the world from Glenn Loury, Prof. of Economics @BrownUniversity; Paulson Senior Fellow @ManhattanInstJohn McWhorter
@JohnHMcWhorter
Columbia linguist, weekly at NYT, biweekly Lexicon Valley podcast and Glenn Show. 9 NASTY WORDS and WOKE RACISM in 2022. Later this year: PRONOUN TROUBLE!John Sailer
@JohnDSailer
Senior Fellow at @NASorg | Investigating higher education | Words in @WSJ, @theFP, @tabletmag, @unherdGrady Booch
@Grady_Booch
scientist, storyteller, philosopherRenu Mukherjee
@RenuMukherjee1
Political science nerd @ManhattanInst. PhD Candidate in American government @BostonCollege. @holy_cross alumna. views mineTyler Austin Harper
@Tyler_A_Harper
Contributing Writer @TheAtlantic. Teaching @BatesCollege. Professional Doom-Monger. Co-host of Time to Say Goodbye @ttsgpod. Red-Blooded Lacanian Male.Apoorva Govind
@Appyg99
Founder & CEO @BesteverAI. Ex @Ubereats. Previously @Apple. Technology SysterGhosted Pepper
@GhostedPepper
Former Bernie Bro. Wanted healthcare, got biosecurity.Science girl
@gunsnrosesgirl3
science in context, art history and some puzzles to solveDan Wuori
@DanWuori
Dan Wuori, Ph.D. | Author, The Daycare Myth: What We Get Wrong About Early Care and Education (and What We Should Do About It) coming Sept. 2024 from @TCPressAll The Right Movies
@ATRightMovies
The account on classic and hit films. Detail in our making of stories is from cast/crew or 3+ sources. To support what we do, please subscribe 😁Arie Gurfinkel
@ariegurfinkel
The Cultural Tutor
@culturaltutor
A beautiful education.kang
@jaycaspiankang
founder/CEO of the NBA Dark Web. Host of Time to Say Goodbye @ttsgpod.Jonathan Ragan-Kelley
@jrk
The lyf so short, the craft so longe to lerne.Rodney Brooks
@rodneyabrooks
Distinguishing hype-notism from plausibility one press release at a time. I post regularly as @rodneyabrooks at https://t.co/sF7HmACXdd cofounder at https://t.co/LUTTbi3pdsMilena
@jelistrop
European. 'Left-wing libertarian'. PhD. Historical Epistemology. Evidence matters. Kids first. Mom. Violinist. Keeping my account mostly private these days.Muriel Blaive, PhD
@MurielBlaivePhD
Historian of Czechia. Inveterate enemy of hypocrisy and self-righteousness. Admirer of Stefan Zweig, Hannah Arendt, George Orwell, and Karl Popper.Christina Pushaw 🐊 🇺🇸
@ChristinaPushaw
Team @GovRonDeSantis • Grateful to live in the Free State of Florida! 🇺🇸 (Note: DMs not monitored or used)Samantha Godwin
@samanthaagodwin
@yaleisp fellow - thinking about ethics, law, politics and society. All views held open to reconsideration. Bad at twitter.Cassandra B.C.
@michaeljburry
Aaron Astor
@AstorAaron
Historian of the 19th Century U.S. and Professor at Maryville College. Author of Rebels on the Border and Civil War along Tennessee's Cumberland PlateauOege de Moor
@oegerikus
CEO and founder of XBow. Previously: VP of GitHub Next - the team behind GitHub Copilot, CEO and founder of Semmle (acquired by GitHub), prof at Oxford.VFox
@drvictoriafox
Rational evidence-based people have a civic duty to challenge bad ideas. Cantankerousalex gutentag
@galexybrane
senior editor, public. contributing editor, @compactmag_.Andreas Zeller
@AndreasZeller
Software researcher at @CISPA. Testing, debugging, analyzing, and protecting software for a better world. Find me on Mastodon as @[email protected]Andrew Sullivan
@sullydish
Here for the articles.〚Dan R. Ghica〛
@danghica
Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.Neringa Young 🇺🇦 ❤
@NeringaYoung
Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASHWill Crichton
@tonofcrates
Cognitive engineer, incoming assistant professor @BrownUniversity.Prof Irene Petersen
@i_petersen
Professor of Epidemiology and Health InformaticsJoe Nocera
@opinion_joe
Latest podcast: American Dreamer: Who Was Jay Gatsby (Audible) Latest book: The Big Fail. Latest writing gig: The Free Press. And still time to tweet!Allysia Finley
@AllysiaFinley
Wall Street Journal editorial board member