Harshit Garg @harshitgarg22
Incoming CS PhD @Northeastern | Currently Research Fellow @Microsoft | Systems / PL / AI harshitgarg.in New Delhi, India Joined October 2013-
Tweets425
-
Followers53
-
Following324
-
Likes709
Harshit Garg retweeted
everyone is on their own journey??? that is horrible maybe let’s get into groups of 3-5
130
15K
120K
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.
Adreaofev @Adreaofev42122
20 Followers 602 Following She dances to the songs in her head, speaks with the rhythm of her heart.
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
14 Followers 350 Following
Eerauiehval @Eerauiehval535
18 Followers 333 Following
Sloseathou @SloseathougISw
17 Followers 582 Following
Nalin Wadhwa @nalin_wadhwa
166 Followers 293 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
218 Followers 1K Following Sharing insights on AI, Books, Entrepreneurship
Aarushi @run_aarushi
449 Followers 187 Following Her/she Grass is greener on my side || All that toxicity in that head, give it some rest BITS'22
Ernest Ng @ngernest2
502 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Fahad Nayyar @faint_variable
170 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
218 Followers 907 Following CS PhD @ Cornell Prev. RF @ Microsoft Research India, CS @ BITS Goa AI, PL, Robotics
Tanay @Tanay98010058
9 Followers 52 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 663 Following Asst Prof of CS @MBZUAI. Pretrained previously: @Harvard | @UofIllinois | @Nvidia | @Princeton. Checkout @CompArchSA !
Lena Olson @zehlyi
542 Followers 770 Following I like computer architecture. Now working on networks at Google's Madison, WI office. Views my own.
Edwin Mascarenhas @Kooledd
317 Followers 420 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
2K Followers 1K Following Ph.D., Senior Vice President of Industry Relations, IonQ
Zaiku Group @ZaikuGroup
257 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 590 Following she/ her | former swe intern @microsoft | an awkward one | quantum enthusiast | physics @iitroorkee
Amitabh Yadav @amitabhphd
597 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 682 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
607 Followers 2K Following Enabling frictionless recruiting @MapRecruit.ai. Math and Computing @IITKgp. Ex #IBMQuantum
Cryptocityy @Cryptocityy
29 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
252 Followers 878 Following PhD student of Environmental Eng @UofIllinois | Water & Sanitation | @bitspilaniindia'22 | Eternally hungry consumer of Literature & Cinema | he/him 🌈
افلام @afiaamx18
54 Followers 599 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
72 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 308 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 273 Following Machine learning researcher @MSFTResearch (@MSRNE); adjunct professor @Stanford
Dane Knecht 🦭 @dok2001
22K Followers 2K Following I help invent the future. CTO @cloudflare. Angel investor.
rita kozlov 🐀 @ritakozlov_
8K Followers 981 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
26K 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 747 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 560 Following Engineered on the inside for life on the outside. 𝗤𝘂𝗲𝘀𝘁𝗶𝗼𝗻𝘀: https://t.co/vMQMIsrxky
the reporters' collec... @reporters_co
44K Followers 40 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
421K 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
829 Followers 225 Following at Microsoft Research. Jacdac https://t.co/pvNvKCcwsm, MicroCode https://t.co/9vEdkKt7jk, MakeCode https://t.co/eJZxzpKNOA.
Programming Languages... @PLMentoring
881 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 532 Following Founder @resonatehqio | Distributed Async•Await | Thinking in Distributed Systems | https://t.co/KAoD02dKrq
Vaastav Anand @vaastav05
870 Followers 576 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: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.
ArtButMakeItSports @ArtButSports
572K Followers 279 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
2K Followers 118 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
198K Followers 22 Following The official Twitter account of the World Bollard Association™️. MERCH STORE - https://t.co/lGlBqCjY49
Reyhan @Reyhaneh
2K Followers 764 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
818K Followers 80 Following
C++ fanboy @ajay9470
2K Followers 639 Following Straight A student but I'm friends with the cool kids!
Leo Lampropoulos @LeoLambro
1K Followers 622 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Robert Krook @Rewbert
174 Followers 195 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 824 Following That woman in Dictionary Corner. @susiedent.bsky.social
Hernan Ponce De Leon @h_poncedeleon
404 Followers 227 Following Research Engineer @Huawei Dresden Research Center (DRC). Interested in #SoftwareVerification, #ProgrammingLanguages and #Security.Trends for United States
482 B posts
343 B posts
35,2 B posts
46,1 B posts
92,8 B posts
1.857 posts
7.954 posts
110 B posts
34,9 B posts
40,1 B posts
3.808 posts
27,3 B posts
28 B posts
3.784 posts
96,8 B posts
61,3 B posts
4.148 posts
41,8 B posts
7.665 posts
You might like
Daniel Sandner
@SandnerDaniel
137 Followers
DeeDee
@ShridharDeeksha
241 Followers
Smit Cħaudhary
@Smit_Chaudhary3
230 Followers
AurikaYadaeva π²
@ArunikaYadav
57 Followers
Atmn
@template_error
81 Followers
Shail Dave
@shail_dave
467 Followers