Harshit Garg @harshitgarg22
Incoming CS PhD @Northeastern | Currently Research Fellow @Microsoft | Systems / PL / AI harshitgarg.in New Delhi, India Joined October 2013-
Tweets425
-
Followers51
-
Following324
-
Likes709
Harshit Garg retweeted
everyone is on their own journey??? that is horrible maybe let’s get into groups of 3-5
131
16K
121K
2.7M
3K
Harshit Garg retweeted
Complex numbers are weird and counter-intuitive. For instance, did you know that
Harshit Garg retweeted
Driving down the road she passed signs saying "4GB", "8GB", "16GB", "32GB"... It was a trip down memory lane
Harshit Garg retweeted
Widebody jets often elect to dump fuel before many emergency landings in order not to land overweight, but what happens when there's no time to dump fuel? Here's our explainer. flightradar24.com/blog/overweigh…
Harshit Garg retweeted
anyone have the source for this gem?
Harshit Garg retweeted
Just at that final moment before the sun disappeared and the rain and hale took over. the light was just so intense. Glastonbury Tor this morning.
Harshit Garg retweeted
Applejuiceification and the illusion of choice: a short thread
Harshit Garg retweeted
just accidentally closed a tab I’ve had been meaning to read for the past 2 years
humanity never ceases to amaze me
humanity never ceases to amaze me
Harshit Garg retweeted
Productivity and the wealth of nations
Harshit Garg retweeted
She died doing what she loved. Walking into the road while saying "Pedestrians have right of way"
Harshit Garg retweeted
Harshit Garg retweeted
i wasn’t made to hustle and grind i was born to dilly and dally
Harshit Garg retweeted
She’s the closest thing we have to a modern day Princess Diana.
Harshit Garg retweeted
they should invent something that has the exact same vibes as smoking a cigarette when you’re in a doomer mood but doesn’t give you lung cancer
Harshit Garg retweeted
don’t let it carry you away
Harshit Garg retweeted
Harshit Garg retweeted
Word of the day is ‘finifugal’, from the 19th century: avoiding the end of something (a box set, an excellent book, sleep, etc.) because you want it to go on forever.
Cinema.
Jubi Taneja @jubitaneja
2K Followers 2K Following Working at @RiSE_MSR, @MSFTResearch. Ph.D. @UtahSoC | ML compilers, Formal Verification, AI for Compilers
Akhil 🧑💻 @akhiltulluri_
281 Followers 2K Following On https://t.co/S05WroWebN and https://t.co/amLMOqy58y | Distributed Systems, Databases and Operating Systems
Cuinal @Cuinal280826
19 Followers 352 Following
Eerauiehval @Eerauiehval535
27 Followers 335 Following
Sloseathou @SloseathougISw
19 Followers 589 Following
Nalin Wadhwa @nalin_wadhwa
159 Followers 285 Following RF @MSFTResearch India | CS’23 @ IIT Delhi #AI4Code
Michelle Cowbourne @Glastomichelle
63K Followers 44K Following Photos of Glastonbury. https://t.co/HqNvixU0qd https://t.co/ibv3sxTd2C… All ©Visions of Somerset Email: [email protected]
Muhammad Junaeid @MmJunaeid
212 Followers 1K Following Sharing insights on AI, Books, Entrepreneurship
Aarushi @run_aarushi
453 Followers 190 Following Her/she Grass is greener on my side || All that toxicity in that head, give it some rest BITS'22
Ernest Ng @ngernest2
507 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Fahad Nayyar @faint_variable
172 Followers 197 Following Interests: ✈️📚🎶🗣 SWE in Clang Compiler @🍎 Previously worked at: PL @Microsoft_ research, Compilers @Nvidia, Linux @Qualcomm Research @IIITD, @EPFL
Immad Naseer @immadnaseer
84 Followers 168 Following Principal Software Engineer @Azure • Interested in techniques and tools that can help us build reliable distributed systems.
Atharv Sonwane @twm_as
209 Followers 908 Following CS PhD @ Cornell Prev. RF @ Microsoft Research India, CS @ BITS Goa AI, PL, Robotics
Tanay @Tanay98010058
9 Followers 53 Following
Elba Garza @heyelbs
1K Followers 434 Following Latina 🇲🇽🇺🇸 Assistant Teaching Prof @uwcse. Computer Architect. ADHD-PI wrangler. Veteran. Former DREAMer. Subtitles user 24/7. Personal opinions, obvs.
Abdulrahman Mahmoud @ARHmahmoud
596 Followers 665 Following Asst Prof of CS @MBZUAI. Pretrained previously: @Harvard | @UofIllinois | @Nvidia | @Princeton. Checkout @CompArchSA !
Lena Olson @zehlyi
541 Followers 769 Following I like computer architecture. Now working on networks at Google's Madison, WI office. Views my own.
Edwin Mascarenhas @Kooledd
320 Followers 418 Following I like building fast computing systems. Deep Learning Architect @nvidia.
Neeldhara 🐦|🐘 @neeldhara
6K Followers 4K Following Department of Computer Science and Engineering, IIT Gandhinagar.
Alberto Maldonado @AlbertoMaldoQC
164 Followers 108 Following trying to understand quantum computation I like to draw trying to do qomics in @QuantUniEd
Aarjav Jain @aarjav00
6 Followers 20 Following
Pranjal Kapoor @PranjalKapoor20
11 Followers 234 Following Physics and EE @bitspilaniindia | Research Engineer 202Q Lab, @chalmersuniv
Marco Pistoia @marco_pistoia
1K Followers 1K Following Ph.D., Managing Director, Distinguished Engineer, Head of Global Technology Applied Research, Head of Quantum Computing, JPMorgan Chase & Co.
Zaiku Group @ZaikuGroup
258 Followers 152 Following A Collaborative Commercial R&D Company focusing on Deep-Tech Ideas involving; Pure Mathematics, AI, Cyber, Blockchain and Quantum.
Quantum Universal Edu... @QuantUniEd
518 Followers 72 Following We are a not-for-profit organisation aiming to make quantum education open-source on a global scale.
Propagator Ventures @PropagatorVC
913 Followers 1K Following Early stage #DeepTech VC with strong ties to science. We propagate science to market, focusing on AI, #QuantumComputing, new materials, #robotics & encryption.
Praveen Jayakumar @praveen91299
168 Followers 248 Following Quantum @ UofT, making quantum computers useful. Roots from IISc 🌱
Rochisha Agarwal @AgarwalRochisha
348 Followers 587 Following she/ her | former swe intern @microsoft | an awkward one | quantum enthusiast | physics @iitroorkee
Amitabh Yadav @amitabhphd
596 Followers 2K Following Doctoral Asst. @EPFL / Digital and Mixed-Signal IC Design / prev. @CERN x〈@UCBerkeley〉 x #QuTech / I chase • White Rabbits 🐇 •
Bambordé @zaikubalde
628 Followers 683 Following Co - Founder & Head of Mathematical Sciences @zaikugroup. Leading Quantum Formalism Academy (https://t.co/FNkyUdv9M9).
S̶o̶l̶a̶c̶e̶ ̶... @SolaceQuantum
2K Followers 3K Following Blogging for Tech outreach. Quantum technologies for research, life and business.| No affiliations.| No copyright infringement intended.| RTs not endorsements.
Rana Prathap @RanaPrathapSimh
593 Followers 2K Following Enabling frictionless recruiting @MapRecruit.ai. Math and Computing @IITKgp. Ex #IBMQuantum
Cryptocityy @Cryptocityy
27 Followers 341 Following Investor | Enthusiast | Crypto Fanatic | Software Developer | Bargain Hunter | Not a Financial Advisor
Zlatko Minev @zlatko_minev
20K Followers 1K Following Google Quantum AI | Ex-Team Lead, IBM Quantum | MIT TR35 | Founder, Open Labs | Board, Yale Alumni Assoc | Yale PhD
Nishika Gupta @gupta_nishika
60 Followers 180 Following 23/ Analyst at Goldman Sachs/ Mathematics and Computer Science undergrad @bitspilaniindia/ High School @dps_mathuraroad
Saumitra Rai @rai_saumitra
250 Followers 875 Following PhD student of Environmental Eng @UofIllinois | Water & Sanitation | @bitspilaniindia'22 | Eternally hungry consumer of Literature & Cinema | he/him 🌈
افلام @afiaamx18
55 Followers 600 Following
Rachel Zilewicz @TheTypsyGypsy72
6 Followers 82 Following
FSE 2025 @FSEconf
5K Followers 1K Following ACM International Conference on the Foundations of Software Engineering (FSE)
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
SPLASH Conference @splashcon
3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Jubi Taneja @jubitaneja
2K Followers 2K Following Working at @RiSE_MSR, @MSFTResearch. Ph.D. @UtahSoC | ML compilers, Formal Verification, AI for Compilers
VLDB Summer School @vldb_ssc
71 Followers 5 Following Official account of the ☀️ VLDB Summer School ☀️ Join us for the next edition, 28-31/07/2025, in Wroclaw, PL! 🇵🇱 👉 https://t.co/57lkmUXa0F👈
Laurence Tratt @laurencetratt
4K Followers 309 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Andy Pavlo (@andypavl... @andy_pavlo
36K Followers 200 Following Associate Professor of Databases @CarnegieMellon.
Jay Parlar @parlar
1K Followers 898 Following 🇨🇦 Engineer @crowdstrike. Ph.D. in Software Engineering. Formal methods advocate (TLA+, Alloy, Z3). Python/JavaScript/etc. Husband & dad. He/him
Lester Mackey @LesterMackey
3K Followers 274 Following Machine learning researcher @MSFTResearch (@MSRNE); adjunct professor @Stanford
Dane Knecht 🦭 @dok2001
21K Followers 2K Following I help invent the future. CTO @cloudflare. Angel investor.
rita kozlov 🐀 @ritakozlov_
8K Followers 972 Following vp developers & ai @cloudflare ✨ and how does that error make you feel?
ICSE @ICSEconf
12K Followers 1K Following The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
The Times Is On It @NYTOnIt
34K Followers 14 Following Because sometimes stories in newspapers are just *that* obvious. (This is a parody account clearly not associated with any newspaper.)
“paula” @paularambles
25K Followers 3K Following playing with words. creating whimsical ai companions @ https://t.co/khnCIsqbhL. built iOS apps @xAI, @Spotify, and co-founded @imagilabs.
Neurosymbolic Program... @neurosym
248 Followers 0 Following An emerging area in computer science that bridges deep learning and programming languages for scientific discovery. Funded by @NSF Grant 1918839.
Patrick Ventuzelo @Pat_Ventuzelo
4K Followers 1K Following Founder & CEO of @FuzzingLabs | Security Researcher focused on Fuzzing & Vulnerability Research | Rust, Go, Wasm, Browser, Telecom, Blockchain & web3 Security
FuzzingLabs @FuzzingLabs
8K Followers 4K Following Research-oriented Cybersecurity startup specializing in #fuzzing, Vulnerability Research & Offensive security on Mobile, Browser, AI/LLM, Network & Blockchain.
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Marc Brooker @MarcJBrooker
21K Followers 745 Following AI, agents, databases, and serverless at AWS. Views are my own.
Michelle Cowbourne @Glastomichelle
63K Followers 44K Following Photos of Glastonbury. https://t.co/HqNvixU0qd https://t.co/ibv3sxTd2C… All ©Visions of Somerset Email: [email protected]
Garmin @Garmin
217K Followers 561 Following Engineered on the inside for life on the outside. 𝗤𝘂𝗲𝘀𝘁𝗶𝗼𝗻𝘀: https://t.co/vMQMIsrxky
the reporters' collec... @reporters_co
44K Followers 39 Following a deep-dive journalism collaborative. investigative reportage in many languages and mediums. without fear. email: [email protected]
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
tobi lutke @tobi
416K Followers 2K Following @Shopify CEO by day, Dad in evening, hacker at night. Aspiring comprehensivist. (tweets auto delete eventually) retweet=noteworthy share, not endorsement
Thomas Ball @tballmsft
828 Followers 225 Following at Microsoft Research. Jacdac https://t.co/pvNvKCcwsm, MicroCode https://t.co/9vEdkKt7jk, MakeCode https://t.co/eJZxzpKNOA.
Programming Languages... @PLMentoring
875 Followers 69 Following PL Mentoring Workshop at POPL, PLDI, ICFP, and SPLASH.
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Dominik Tornow @DominikTornow
10K Followers 528 Following Founder @resonatehqio | Distributed Async•Await | Thinking in Distributed Systems | https://t.co/KAoD02dKrq
Vaastav Anand @vaastav05
870 Followers 574 Following PhD student at MPI-SWS, FPL + Football Enthusiast! Previously a grad student at NSS/Systopia Lab at UBC
PLDI @PLDI
5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0
ArtButMakeItSports @ArtButSports
572K Followers 278 Following I turn Art into Sports (and vice versa) | NO AI USED | “Everything I didn't know I needed" - follower testimonial | also @artbutnow
Peter O'Hearn @PeterOHearn12
1K Followers 117 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Cristina Cifuentes @criscifuentes
2K Followers 287 Following Latina, migrant, mother and wife, researcher, teacher, mentor, leader. Mother of decompilation
World Bollard Associa... @WorldBollard
199K Followers 22 Following The official Twitter account of the World Bollard Association™️. MERCH STORE - https://t.co/lGlBqCjY49
Reyhan @Reyhaneh
2K Followers 762 Following Assistant Professor of @plfmse at @IllinoisCS, Director of Intelligent CAT Lab (https://t.co/wO38Gqxs7n), PhD @UCIbrenICS, @Google PhD Fellow
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Michael Caine @themichaelcaine
820K Followers 80 Following
C++ fanboy @ajay9470
2K Followers 643 Following Straight A student but I'm friends with the cool kids!
Leo Lampropoulos @LeoLambro
1K Followers 623 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Robert Krook @Rewbert
177 Followers 196 Following PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://t.co/sbwlxU3jm3
Susie Dent @susie_dent
1.0M Followers 828 Following That woman in Dictionary Corner. @susiedent.bsky.social
Hernan Ponce De Leon @h_poncedeleon
404 Followers 226 Following Research Engineer @Huawei Dresden Research Center (DRC). Interested in #SoftwareVerification, #ProgrammingLanguages and #Security.Trends for United States
84,7 B posts
3.383 posts
23,9 B posts
65,7 B posts
6.455 posts
21,7 B posts
3.970 posts
9.680 posts
9.493 posts
16,5 B posts
89,1 B posts
39,7 B posts
66 B posts
55,3 B posts
1.877 posts
44,7 B posts
You might like
DeeDee
@ShridharDeeksha
237 Followers
Smit Cħaudhary
@Smit_Chaudhary3
209 Followers
Akash Kumar Singh
@TheAkashKSingh
362 Followers
AurikaYadaeva π²
@ArunikaYadav
55 Followers
Atmn
@template_error
81 Followers
Shail Dave
@shail_dave
467 Followers