Aditya @_hiraditya_
Menlo Park, CA Joined February 2012-
Tweets993
-
Followers401
-
Following400
-
Likes7K
We’re pleased to welcome @Qualcomm as a 𝐒𝐢𝐥𝐯𝐞𝐫 𝐒𝐩𝐨𝐧𝐬𝐨𝐫 of IICT 2025. With a legacy of driving innovation in system technologies and performance, their support strengthens our mission to advance compiler research and community collaboration. 📍 Join us at IISc…
Thanks @Google for sponsorship
new post: When to Hire a Computer Performance Engineering Team (2025) part 1 of 2 brendangregg.com/blog/2025-08-0…
Ubuntu, by taking a stance to *only* support the latest ratified spec (RVA23) is somewhat forcing the industry’s hand. At minimum, a compatible CPU will need 1.0 Vector Instructions, *and* Hypervisor support. If you get a raspberry pi style RISC-V board in the future, and it…
We’ve extended the deadline for Call for Proposals to July 15! If you're working on cutting-edge research, novel tools, or insightful ideas in the space of compiler technologies and programming languages, we’d love to hear from you!
We’ve extended the deadline for Call for Proposals to July 15! If you're working on cutting-edge research, novel tools, or insightful ideas in the space of compiler technologies and programming languages, we’d love to hear from you!
𝐂𝐚𝐥𝐥 𝐟𝐨𝐫 𝐏𝐫𝐞𝐬𝐞𝐧𝐭𝐚𝐭𝐢𝐨𝐧𝐬 – 𝐈𝐈𝐂𝐓 𝟐𝟎𝟐𝟓 Got ideas in compiler optimization, static analysis, or programming language design? Present your work at IICT 2025 — a gathering of brilliant minds from academia and industry. 📝 Formats accepted: Abstracts, Papers,…
This year's GCC 15 Improvements on AArch64 blog is now live. Read all about the exciting new stuff in it! community.arm.com/arm-community-… @gnutools
Ubuntu 25.10 Planning To Raise RISC-V Support Baseline To RVA23 Profile phoronix.com/news/Ubuntu-25…
100% of ACM publications available for free from 1st January 2026! 🎉 Landmark achievement!
Registration for RISC-V Summit China is NOW open! Join us July 16–19 in Shanghai for four days of cutting-edge RISC-V innovation. From AI to HPC, and automotive to EDA, we’re diving deep into every vertical. 💡 Tutorials, tech forums, a massive exhibition, and more. 🔗 Free…
Change all of your passwords right now
The 2nd Innovations In Compiler Technology Workshop is here! Submit your talk proposals before 1st July 2025 Head over to compilertech.org for more details! CC += @_hiraditya_ #compilers #llvm #mlir
A breakthrough has been achieved by demonstrating quantum entanglement based communication in an experimental setup through DRDO-Industry-Academia Centre of Excellence (DIA-CoE), IIT Delhi. The free-space quantum secure communication using quantum entanglement over a distance of…
Ready for PLDI? ✈️ Checkout the the incredibly detailed PLDI 25 travel guide created by Nuno Lopes. It includes tips on flights, transportation, local SIM cards, cultural norms, and even suggestions for things to do and see around the city. web.ist.utl.pt/nuno.lopes/pld…
Zig shipped a RISC-V backend before AArch64! I think RISC-V is doing really well in the technology enthusiast community. news.ycombinator.com/item?id=442222…
There’s a new breed of GenAI Application Engineers who can build more-powerful applications faster than was possible before, thanks to generative AI. Individuals who can play this role are highly sought-after by businesses, but the job description is still coming into focus. Let…
cppcon.org/poster-submiss… Submissions open: 16 June 2025 Submission deadline: 27 July 2025 #cppcon
Here's a paper describing quantum computing using standard programming constructs, w/o linear algebra! Goal: demystify quantum computing + serve as a formal foundation for reasoning about quantum programs. paper paper eprint.iacr.org/2025/1091.pdf code github.com/qqq-wisc/qwla
PLMW (@PLMentoring) is calling for student applications -- **Funding is available**. If you are a student interested in ICFP/SPLASH 2025, consider applying! 🗓️ Deadline: July 15, AoE conf.researchr.org/home/icfp-spla…
🚗 RISC-V is transforming how vendors across the automotive supply chain innovate and compete. Here’s how RISC-V rises to the challenge: ✅ Handles complex, evolving supply chains ✅ Meets tight cost and margin pressures ✅ Supports rigorous cybersecurity & safety standards…

Nadav Rotem @nadavrot
4K Followers 414 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Aart Bik @AartBik
1K Followers 859 Following 🇳🇱🇺🇲 Dutch-American computer scientist Utrecht (MSc), Leiden (PhD) @Nvidia @Google @Intel #astrophotography #chess #compilers #sparse #vectorization
Amir @disruptnhandlr
1K Followers 227 Following Compiler engineer obsessed with compute efficiency: LLVM BOLT, Meta • ex CPU R&D, Intel • МФТИ
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Denis Bakhvalov @dendibakh
5K Followers 448 Following Performance 🥷 @Intel. Book author📖. Blogger✍️. Speaker📢. Chess fan♟️. My newsletter: https://t.co/k0RKkc64zE. All opinions are my own. he/him
David Goldblatt @davidtgoldblatt
1K Followers 441 Following Low-level perf stuff mostly. At various points, I've done llvm, wg14/wg21/sg1, jemalloc, thrift, folly. @[email protected]
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
apardoe 🐀 @apardoe
798 Followers 1K Following Transportation is a housing problem. Housing is a transportation problem.
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Matt @matt_dz
5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance
Wilfred Hughes @_wilfredh
3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
Sam Mousavi @SamMousavi41986
14 Followers 366 Following
DarkPoolScans🇺🇸 @Exabgaw0801233
30 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Shashank Kirtania @5hv5hvnk
466 Followers 2K Following pre doc research fellow @prosemsft | interested in AI & Formal Methods
Joseph Garvin @joseph_h_garvin
1K Followers 3K Following voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? @[email protected] @josephhgarvin.bsky.social
Mike Dupont @introsp3ctor
4K Followers 7K Following ca: BwUTq7fS6sfUmHDwAiCQZ3asSiPEapW5zDrsbwtapump Zero Ontology System ZOS-SFM #SOLFUNMEME @zos_sfm https://t.co/UfJhs3TBSD :)
Shearrke @ShearrkeV9gpu
74 Followers 3K Following
Tomasa Halvorson @HalvorsonT37847
30 Followers 2K Following
Outuqu @Outuqu009
31 Followers 2K Following
8080 @harish_janarth
0 Followers 25 Following
Vinay Kumar Burugu @vinayburugu
57 Followers 728 Following
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 7K Following AI Community Architect @Neo4j. Chair, OSSci @NumFOCUS. Cofounder, AI Alliance, GenAI Commons. Run @scalebythebay: https://t.co/VG37Z4xowL. Join https://t.co/1CPrpnF1KU!
-- @m0iP6odsbL5LH3F
360 Followers 2K Following
𝕥harun @dottharun
17 Followers 105 Following upcoming swe @fico_corp | student @IITBHU_Varanasi | Ex-intern @layer5
yarcompsci @yarcompsci
8 Followers 471 Following
Gaurav Verma @vermagaurav_xin
68 Followers 491 Following Ph.D. Student, IACS, Stony Brook University. DNN Compilers, Scalable Machine Learning, and High-Performance Computing.
Launessh @LaunesshonkLCH
44 Followers 1K Following Skilled in performance management, designing and implementing KPI systems to drive team goals.
Sposhau @SposhauK3sGTK
106 Followers 3K Following
Saurabh Joshi (@sbjos... @sbjoshi
527 Followers 160 Following * Retweets ≠ endorsement * Views are personal
Karine Even-Mendoza @KarineEvenMend1
137 Followers 500 Following Computer scientist and a lucturer@KCL/Informatics
Priyanshu Mishra @Priyans57411485
1K Followers 5K Following SoC Verification Engineer | Processor Architecture Verification (RISC-V/Arm/x86) VLSI | AI/ML in Chip Design Research | DIY
Senthil Kumar @skselvaraj
4 Followers 122 Following
HarryAGC @Quantanix
0 Followers 51 Following
Harshit Gupta @HarshitGTweets
99 Followers 2K Following I work on Embedded Software, Electronics grad. I'm fond of Tech., and openly Tweet, explore and engage on content.
Gaurav Sharma @gaurav_sharmaaa
9 Followers 6 Following
moot @zhuyachao
20 Followers 861 Following
ZzZzZ @zdmc23
198 Followers 5K Following 🌱🧬 investing in longevity... in the metaverse 👾 and also the universe 🌌 1st non-longevity check @fluffyvectors bc they are doing cool things w agent memory
mdl fop @FopMdl3971
0 Followers 118 Following
wuc9521 @wuc9521
84 Followers 1K Following
Yannick Pass @yannick_pass
666 Followers 2K Following make the world a better place | building @superteamtalent | member @superteamDE | 🏀
Polaloshy @polaloshy2697
98 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
Jenowin Mcalister @jenowin14
14 Followers 169 Following
EricaSinclair @o4Z9NUyE54zFI
78 Followers 7K Following
Anil @anil__dewani
76 Followers 604 Following
Bastien Gares @bastiengares
3K Followers 7K Following ML Engineer | Data Scientist @ Orange | Student @ Mines Paris PSL Executive Education & DataScientest | alumni MSc Computer Science @ Supinfo | math python rust
McKay Davis @McKayHDavis
269 Followers 1K Following Proud father. Husband to @AmyReginaEggers Mojo tools engineer @Modular Ex: @Roblox, @Radial3D, @CodeWithAloha, @hnlmakerspace, @MakaiOceanEng, @UUSci, @PTC
Gurkirat singh @gurkirat_7
61 Followers 2K Following
Nadav Rotem @nadavrot
4K Followers 414 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Aart Bik @AartBik
1K Followers 859 Following 🇳🇱🇺🇲 Dutch-American computer scientist Utrecht (MSc), Leiden (PhD) @Nvidia @Google @Intel #astrophotography #chess #compilers #sparse #vectorization
Amir @disruptnhandlr
1K Followers 227 Following Compiler engineer obsessed with compute efficiency: LLVM BOLT, Meta • ex CPU R&D, Intel • МФТИ
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Chris Lattner @clattner_llvm
86K Followers 189 Following Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠
Patrick Walton @pcwalton
18K Followers 520 Following Programming languages and graphics person. @pcwalton.bsky.social
https://mastodon.soci... @vzverovich
11K Followers 90 Following Carbon-based open sourcerer, code necromancer and a former alien. Author of C++20 std::format and https://t.co/etCUwPDCEw. Opinions are not mine.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
JF Bastien @jfbastien
12K Followers 646 Following C++ standards committee language evolution chair — WebAssembly co-instigator— https://t.co/kR60YklfRH
@ericniebler.bsky.soc... @ericniebler
12K Followers 138 Following C++ core compute libraries tech lead at @nvidia, husband, father, @isocpp member, former nomad, and sometimes artist wannabe. Views are mine, not my employer's
llvm.org @llvmorg
11K Followers 7 Following Open source project for compiler infrastructure, tools, and more. Here Be Dragons.
Mehdi Amini @JokerEph
2K Followers 467 Following Curious about everything, tech and software in particular. Compilers (MLIR/LLVM/OpenXLA) & GPUs! @Nvidia
Denis Bakhvalov @dendibakh
5K Followers 448 Following Performance 🥷 @Intel. Book author📖. Blogger✍️. Speaker📢. Chess fan♟️. My newsletter: https://t.co/k0RKkc64zE. All opinions are my own. he/him
David Goldblatt @davidtgoldblatt
1K Followers 441 Following Low-level perf stuff mostly. At various points, I've done llvm, wg14/wg21/sg1, jemalloc, thrift, folly. @[email protected]
jon @jon_roelofs
396 Followers 446 Following tweets are provided as-if, and may or may not change observable behavior of my employer.
Geoff Langdale @geofflangdale
3K Followers 128 Following CMU CS PhD; Hyperscan chief; Intel Principal Engineer. Side projects include a superoptimizer. he/him
Bartlomiej Filipek @fenbf
8K Followers 907 Following Software developer with a technical blog about #cpp #cplusplus #programming. Author of https://t.co/RTymzbCl0a and https://t.co/sZKX50a7n5 4x Microsoft MVP
Barry Revzin @BarryRevzin
3K Followers 127 Following C++ (Jump Trading, Deducer of This, SG10 Chair) and Swimming (DC Trident 🔱, Occasional SwimSwam Contributor, Current Analyzer).
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Jason Turner @lefticus
27K Followers 681 Following Making C++ Fun, Safe, and Accessible https://t.co/PN23ICXVpp, https://t.co/Uv1E4fXvMx, https://t.co/V79Wtl5aXT @[email protected]
Roger Wattenhofer @TheWattenhofer
1K Followers 70 Following Head of Research at @anza_xyz. Professor at ETH Zurich. Freedom and Liberty.
Igor Babuschkin @ibab
103K Followers 852 Following Maybe the real ASI was the friends we made along the way. Co-founder @xAI, Research & Engineering
Modular @Modular
20K Followers 2 Following The future of AI development starts here. Sign up to our 📪 Newsletter → https://t.co/gpuHGRyHTs. We are hiring → https://t.co/cPTAes0HMt 🚀
jian @jianxliao
7K Followers 2K Following hci ∩ ai | founder https://t.co/ppXjJENSsq | building the world's first serverless agent platform @agentbase_
Jamie Voynow @jamievoynow
6K Followers 594 Following Building AI agents for quant finance @ https://t.co/VSMWf23KZo
Eureka Labs @EurekaLabsAI
73K Followers 1 Following We are building a new kind of school that is AI native.
Samuel Ekpe @samuelekpe
2K Followers 8K Following Building WorkOS for AI agents @grupa_ai ; cofounder @grupa_io
Matthieu Lemerre @lemerre_m
161 Followers 120 Following Matthieu Lemerre -- tenured researcher in formal methods, computer systems, cybersecurity and so on #StaticAnalysis #OS #Cybersecurity #AbstractInterpretation
Mo Shaikh @moshaikhs
81K Followers 3K Following Cofounder @aptoslabs prev. @Meta @BCG @BlackRock @ConsenSys @MeridioRE
0xJimmy @0xjimmyk
1K Followers 288 Following Founder of https://t.co/eQgOGDdWwL, learning materials for audits. Insists "crypto" stands for "cryptography." Senior Watson @sherlockdefi. Alt of @jimmykoppel.
Yao Li @lastland0
1K Followers 670 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
Jim Keller @jimkxa
43K Followers 153 Following CEO @tenstorrent, Cofounder @atomic_semi @BayaSystems, FlexAI, AheadComputing board member. Fan of 2x2 matrixes, books, refactoring and creative tension
Sam Westrick @shwestrick
1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Grants.gov @grantsdotgov
28K Followers 543 Following Connecting the Federal Grants Community: https://t.co/c5936z0B3n & #LearnGrants
Veridise @VeridiseInc
5K Followers 473 Following Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
Kuldeep S. Meel @ksmeel
2K Followers 319 Following Associate Professor at Georgia Tech and University of Toronto (On Leave). https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AI
compilertech @compiler_tech
140 Followers 59 Following Innovation in Compiler Technology workshop 2024 edition talks can be found here (https://t.co/jqbf5huiAU)
Bandana Preyashi @BandanaPreyashi
18K Followers 47 Following Mother, wife & an IAS Officer, Bihar Cadre, 2003 batch, Secretary, Social Welfare Dept & Managing Director, WCDC, Govt of Bihar
DeepComputing @DeepComputingio
1K Followers 216 Following Official account of DeepComputing. Turning RISC-V into Reality!
John Stossel @JohnStossel
1.3M Followers 395 Following To make sure you get our NEW video each week, sign up for video alerts here: https://t.co/tgSZwHuqq7
With Love Bihar @WithLoveBihar
13K Followers 2K Following Proudly Bihari | Showcasing Bihar’s rich culture, untold stories & bold opinions | Advocating progress & unity | ✉️/☎️ [email protected]
Lulu Cheng Meservey @lulumeservey
112K Followers 3K Following Founder of ROSTRA. Ex-Activision and Substack. “Meservey isn’t your typical flack.” -The Information. Writing https://t.co/4xKo7wQTQo
Rahul Kanyal @therahulkanyal
6 Followers 476 Following
Mukesh @imMukeshK
55 Followers 910 Following
Benchmark @benchmark
88K Followers 473 Following Benchmark focuses on early-stage venture investing in consumer, marketplaces, open-source, AI, infrastructure, and enterprise software.
Akhilesh Gupta @akhileshgupta
254 Followers 296 Following
Leanpub @leanpub
9K Followers 109 Following Leanpub is a unique platform for writing & publishing, with a bookstore that helps readers discover new books & authors every day! Follow us for news & deals!
Shung-Hsi Yu @shunghsiyu
406 Followers 1K Following Kernel Engineer @SUSE messing with BPF #StandWithUkraine 💙💛 Also at @[email protected]
Gagan Biyani 🏛 @gaganbiyani
106K Followers 3K Following Co-Founder @udemy. CEO @MavenHQ. Fighting for Oakland via https://t.co/gKEElNlpMH
Riya Bisht @b1shtream
559 Followers 3K Following neuromorphic computing research @CeNSEatIISc, all things deep-tech, prev @Vicharak_In @CERN @BerkeleyLab, temporarily inactive(reach out via [email protected])
Bihar Police @bihar_police
534K Followers 103 Following बिहार पुलिस के आधिकारिक Twitter (X) प्रोफाइल पर आपका स्वागत है। आप इस से जुड़कर बिहार पुलिस से जुड़ी सभी पुष्ट जानकारी प्राप्त कर सकते हैं......
Guillermo @memoselyk
182 Followers 2K Following
Andrej Karpathy @karpathy
1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
Tyler Sorensen @Tyler_UCSC
1K Followers 879 Following Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
RISC-V International @risc_v
32K Followers 490 Following RISC-V International is the non-profit home of the open standard RISC-V Instruction Set Architecture (ISA), related specifications, and stakeholder community.
Pradeep kumar @pt_of_no_return
94 Followers 607 Following MLIR / LLVM @ Nvidia | Programming Languages, Compilers & GPU | Cycling and Running | Love to talk about Physics, CS, Maths & Philosophy
Davide Italiano @davidecci
2K Followers 65 Following
Erik Meijer @headinthebox
31K Followers 2 Following
AIA Events @AIA_Events
42 Followers 6 Following Association of Indo Americans (AIA) is a non-profit organization which provides a forum to explore the rich and diverse heritage of the Indian American Comm.
The Browser Company @browsercompany
143K Followers 0 Following Building a better way to use the internet, with @diabrowser and @arcinternet.
Bihar Foundation @biharfoundation
64K Followers 293 Following An initiative of Government of #Bihar to facilitate interaction between the State and the #Diaspora. Core objectives - Bonding, Branding, Business.
Dheeraj Pandey @dheeraj
19K Followers 958 Following CEO @DevRev. Board Member @Adobe. Constant Student of Business/Tech. Beachcomber of People Experiences. Worshipper of Authenticity, Hunger & Design
Brendan Gregg @brendangregg
47K Followers 156 Following Makes things fast. Expert in computer performance and eBPF. Intel Fellow, ex-Netflix. Created flame graphs. Aussie. Opinions my own. [email protected]