Dong Chen @jameschennerd
Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more? dongchen-coder.github.io Joined April 2018-
Tweets19
-
Followers88
-
Following1K
-
Likes315
Welcome to submit your work on coding agents to the DL4C workshop at NeurIPS2025! I’m excited that we have such a workshop to discuss together the present and future of code intelligence!
Welcome to submit your work on coding agents to the DL4C workshop at NeurIPS2025! I’m excited that we have such a workshop to discuss together the present and future of code intelligence!
📣Excited to announce that the 4th #DL4C workshop “Deep Learning for Code in the Agentic Era" is coming to @NeurIPSConf 2025! AI coding agents are transforming software development at an unprecedented pace. Join us to explore the cutting edge of agent-based programming,…
New ARC Prize 2025 High Score 19.0% by Giotto. ai (@podesta_aldo)
Today we are announcing ARC-AGI-2, an unsaturated frontier AGI benchmark that challenges AI reasoning systems (same relative ease for humans). Grand Prize: 85%, ~$0.42/task efficiency Current Performance: * Base LLMs: 0% * Reasoning Systems: <4%
We are hosting the MIT Programming Languages Review on April 25th in person here at MIT! The PLR is a student-run workshop that aims to highlight the best papers from the past year that we believe will have a significant impact on shaping the future direction of PL research.
Full blown productivity in VSCode with OCaml: Happy New Year, OCamlers! 🎉 As we usher in another year, we have something special to celebrate — a New Year's gift that promises to make your coding experience even better! We have been… dlvr.it/TJGPw0 #OCaml #OCamlPlanet
Introducing MGX (MetaGPT X), The First AI Dev Team. · Chat with the AI team leader, product manager, architect, engineer, and data analyst 24/7 to create websites, blogs, shops, analytics, games, or anything else you can imagine. · Build, deploy, share, and remix various…
The submission deadline to our workshop has been extended until Feb. 7!!!! Submit your papers on trustworthiness + verification + genAI + ML and come hang with us in Singapore!
The submission deadline to our workshop has been extended until Feb. 7!!!! Submit your papers on trustworthiness + verification + genAI + ML and come hang with us in Singapore!
The goal of this meeting is to bring together researchers in AI/ML + PL/FM and AI/ML + CPS/Control, all interested in developing neurosymbolic solutions to challenging system design problems
The goal of this meeting is to bring together researchers in AI/ML + PL/FM and AI/ML + CPS/Control, all interested in developing neurosymbolic solutions to challenging system design problems
I'm presenting in #POPL our paper on dis/equality graphs on Thursday, 14h MST in Marco Polo. If you're writing or extending a prover/solver you have to deal with equalities. Here's what to expect from our talk and paper 🧵⬇️
Easy to figure out
📣Announcing VerifAI: AI Verification in the Wild, a workshop at #ICLR2025 VerifAI will gather researchers to explore topics at the intersection of genAI/trustworthyML and verification: verifai-workshop.github.io @celine_ylee @theo_olausson @ameeshsh @wellecks @taoyds
We are working endlessly on this. Trying to uncover the truth. We have open-sourced the traces so that everyone in the community can take a look at them and discover what went wrong: huggingface.co/datasets/AlexC… I will be posting more updates as we progress. Stay tuned! 🚀
I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: mikedodds.github.io/files/talks/20…
The tower has caught the rocket!!
We will never get humanity to Mars if this continues
FM+SE: Second panel of the day (fmse.io)
Congrats on Game of Year!

Josef Gattermayer | A... @jgattermayer
9K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU
Davina @Vrereapoo64353
47 Followers 2K Following You don’t have to play the game the way they wrote it.
Shekswess @Shekswess
243 Followers 676 Following AWS Ambassador @awscloud | Machine Learning Lead @lokahq | College Professor @Brainsterio
AstridQuiller @O1835b2u905bt3
17 Followers 571 Following
Xudong Sun @xu_dong_sun
1K Followers 803 Following Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
Sam Mousavi @SamMousavi41986
36 Followers 824 Following
Hokin Deng @DengHokin
515 Followers 509 Following prev neuroscientist @Harvard @JohnsHopkins | philosopher @GrowAiLikeChild | Founding member of technical staff @MyolabAI
Wanda Schamberger @WandaScham30164
80 Followers 4K Following
Anna @BergeFranc88680
110 Followers 5K Following
Amy @f_amy76
228 Followers 3K Following
huaijiang @huaijiangzhu
888 Followers 1K Following founding engineer @alquistrobotics, PhD @nyuniversity. prev Boston Dynamics AI Institute @MPI_IS @TU_Muenchen he/him 🏳️🌈
Patricia @ringer98patrici
375 Followers 3K Following
Strava Jockey France @StravaJockeyFr
34 Followers 70 Following 🏃♂️ Strava Jockey | I run so you don’t have to! 🔥 PRs, segments, challenges - I take them on for you. 📩 DM for details.
Marcella @f_marcella19
188 Followers 3K Following
Victoria Smith @VictoriVictory_
1K Followers 1K Following
Chao Peng @chao_peng_
482 Followers 243 Following Principle Research Scientist at @Trae_ai . PhD in Software Engineering from @EdinburghUni.
George Zakhour @_typeable
51 Followers 202 Following PhD student at @prg_grp interested in PL and Type Systems. Programmer for more than 10 years. Based in 🇨🇭 from 🇱🇧 he/him
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Jiuhai Chen @JiuhaiC
676 Followers 2K Following CS Phd student @ UMD Ex-intern @Meta @Microsoft @Amazon On the industry job market
Roberto Giacobazzi�... @rgiacobazzi
845 Followers 654 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
Jake Gyllenhaal offic... @JakeGyllen40075
16 Followers 176 Following official Twitter for IHeartJake.com- a fansite
Tyler Sorensen @Tyler_UCSC
1K Followers 878 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
Hacker Ben @scamrecovery01
98 Followers 1K Following Money recovery from scammers💯 Bitcoin recovery💯 Tracking of scammers💯 stopping of any kinds of blackmail🚫 Chat spy on your partner💯 Social media recovery💯
Faishal manzar @faishalmanzar
7 Followers 589 Following Tech Enthusiast 🚀 | Exploring LLMs 🤖 | Building for Fun 🛠️ | Freelance Innovator 💻
Charitha Saumya @charitha22
147 Followers 394 Following Compiler Engineer at Intel | PhD from Purdue ECE 🇱🇰
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Wiz 👨🚀 @WizLikeWizard
35K Followers 11K Following VC @Spacecadet ✦ Investing in Spacecadets & marketing their moonshots. 2x Founder. Techno-Optimist. Sometimes Chef. Son of immigrants. 🇨🇦
Alice @alicephillips60
265 Followers 3K Following
Danielle @altman29daniell
255 Followers 3K Following
Au Gai (R. G. Kula) @Augaiko
823 Followers 2K Following Pro-Retweeter and on both rain and sunny days a Professor at The University of Osaka.
Wesley K. G. Assunç�... @wesleyklewerton
2K Followers 2K Following Assoc Prof at @cscncsu. PhD in Computer Science. My interests are Software Modernization, Variability Management, Software Quality, MDE, and SBSE.
Eric Zelikman @ericzelikman
21K Followers 2K Following building for humans // was lgtm-ing @xAI, phd-ing @stanford
Chenxi Yang @chenxiyang_ut
111 Followers 278 Following PhD student @UTCompSci | Machine Learning Systems, AI Safety | Intern @Google X2 | Former @FudanUni. @GoldmanSachs
Quantum Gladiator @QuantumGladiat
75 Followers 2K Following
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Dissertation Helper @DissertatHelper
820 Followers 5K Following 1. Dissertation Topics 2. Research Proposal 3. Dissertation 4. Thesis 5. Course Work 6. Instant Article Publication 7. Online Exam / Test / Quiz 8. Assignment
algomax @algomax06
440 Followers 8K Following full-time shitposter, part-time: feel the AGI, building large-scale self-generating multi-agent workflow for multimodal AI
Vignesh Pamu @vigneshpamu
403 Followers 5K Following #ComputerArchitecture #Compilers #AI #ML #HPC #Kernel #QuantumComputing #తెలుగు #संस्कृतम्
Paa Yaw🌍🇬🇭 @theENGIN_EER
246 Followers 2K Following https://t.co/BPqz3VHmAK Focus is a matter of deciding what things you're not going to do.
Yuka Ikarashi @c20
3K Followers 646 Following PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_
Nouraldin Jaber @NouraldinJaber
211 Followers 206 Following Applied Scientist at AWS's Automated Reasoning Group. PhD from Purdue. Knows a thing or two about Mediterranean food.
Aart Bik @AartBik
1K Followers 860 Following 🇳🇱🇺🇲 Dutch-American computer scientist Utrecht (MSc), Leiden (PhD) @Nvidia @Google @Intel #astrophotography #chess #compilers #sparse #vectorization
Tanishq Mathew Abraha... @iScienceLuvr
82K Followers 1K Following CEO @SophontAI | Founder @MedARC_AI | PhD at 19 (2023) | ex Research Director Stability AI | Biomed. engineer @ 14 | TEDx talk➡https://t.co/xPxwKTq6Qb
Super Dario @inductionheads
5K Followers 4K Following autoregression is the secret sauce. agentic learning is the endgame
Da Yu @DaYu85201802
506 Followers 148 Following Research Scientist at Google Research. Former intern at @MSFTResearch and @GoogleAI. Joint PhD between Sun Yat-sen University and Microsoft Research Asia.
Hao AI Lab @haoailab
4K Followers 343 Following Hao AI Lab at UCSD. Our mission is to democratize large machine learning models, algorithms, and their underlying systems.
Arshdeep Singh @arsh99_singh
10K Followers 276 Following engineer @xAI | ex: @Relicx @Google @bitspilaniindia
Dustin Tran @dustinvtran
54K Followers 694 Following I work on reasoning & posttraining at xAI. ex-google
Lip-Bu Tan @LipBuTan1
11K Followers 36 Following CEO of Intel Corporation, Chairman of Walden International, Founding Managing Partner of Walden Catalyst Ventures
Claude @claudeai
135K Followers 1 Following Claude is an AI assistant built by @anthropicai to be safe, accurate, and secure. Talk to Claude on https://t.co/ZhTwG8dz3D or download the app.
Jeremy Berman @jerber888
4K Followers 1K Following post-training @reflection_ai. prev @ndea and co-founded https://t.co/aY50hNeJUD. yc w19.
Peter H. Diamandis, M... @PeterDiamandis
319K Followers 782 Following Exec. Chairman @XPRIZE @fountainlife_hq (and others) Working to extend human healthspan.
Shekswess @Shekswess
243 Followers 676 Following AWS Ambassador @awscloud | Machine Learning Lead @lokahq | College Professor @Brainsterio
Alex Zhang @a1zhang
13K Followers 597 Following phd student @MIT_CSAIL, ugrad @Princeton, 🫵🏻 go participate in the @GPU_MODE kernel competitions!
shyamal @shyamalanadkat
19K Followers 1K Following applied AI @openai. I work with the world's leading startups and developers to bring the benefits of safe AI to every human. views my own 🇮🇳 @dukeu
Oscar Balcells Obeso @OBalcells
967 Followers 431 Following
Neel Nanda @NeelNanda5
32K Followers 123 Following Mechanistic Interpretability lead DeepMind. Formerly @AnthropicAI, independent. In this to reduce AI X-risk. Neural networks can be understood, let's go do it!
Chen Cheng @cherry_cc12
1K Followers 114 Following maintainer of modelscope community, contributor of Qwen
Hongyuan Mei @RoverHM
1K Followers 162 Following Core Contributor to Grok 4 & Grok 4 Heavy. Member of Technical Staff @xAI. Training knowledgeable AI reasoners. ex-@GoogleDeepMind, @TTIC_Connect, @jhuclsp.
Ada Fang @AdaFang_
4K Followers 165 Following PhD Student @Harvard | AI/ML for Chemical Biology @marinkazitnik lab | currently at @GoogleDeepMind
Jiantao Jiao @JiantaoJ
2K Followers 124 Following Director of Research & Distinguished Scientist at @NVIDIA, Professor at UC Berkeley EECS and Statistics. Building AGI/ASI
GenBio AI @genbioai
9K Followers 0 Following Building the World’s First AI-Driven Digital Organism (AIDO). We're hiring: https://t.co/JwdGBJvhkL
Xudong Sun @xu_dong_sun
1K Followers 803 Following Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
Qian Huang @qhwang3
14K Followers 330 Following prev @xai | CS PhD student @StanfordAILab (on leave)
Byron Hsu @hsu_byron
4K Followers 2K Following ML system @xAI | @lmsysorg @liger_kernel @flyteorg @theASF
heiner @HeinrichKuttler
19K Followers 1K Following Pretraining @xAI. Previously: @InflectionAI, @AIatMeta, @DeepMind, @Google, @LMU_Muenchen, PhD math-ph. Opinions my own. (Can be yours for a small fee.)
Crystal @crystalsssup
13K Followers 661 Following Staff @Kimi_Moonshot prev. co-maker of ModelizeAI & gemsouls "Personality goes a long way" @UCSanDiego
Jonathan Gorard @getjonwithit
40K Followers 17 Following Applied mathematician, computational physicist @Princeton Previously @Cambridge_Uni Making the universe computable.
Yiling Lou @yiling__LOU
727 Followers 273 Following Pre-tenure Associate professor @FudanUniv, Postdoc @PurdueCS, BS and PhD @PKU1898. Researcher on Software Engineering.
Lucas Beyer (bl16) @giffmana
110K Followers 523 Following Researcher (now: Meta. ex: OpenAI, DeepMind, Brain, RWTH Aachen), Gamer, Hacker, Belgian. Anon feedback: https://t.co/xe2XUqkKit ✗DMs → email
Vaibhav (VB) Srivasta... @reach_vb
33K Followers 371 Following chief get-shit-done officer @huggingface | F1 fan | Here for @at_sofdog’s wisdom | *opinions my own
Sumanth @Sumanth_077
73K Followers 862 Following Simplifying LLMs, RAG, Machine Learning & AI Agents for you! • ML Developer Advocate • Shipping Open Source AI apps
Kevin Lu @_kevinlu
10K Followers 226 Following @thinkymachines. formerly: - @openai: RL, synthetic data, efficient models - @berkeley_ai: decision transformer, universal computation
机器之心 JIQIZHIX... @jiqizhixin
10K Followers 716 Following China's leading media & information provider for #AI & #MachineLearning
basvanopheusden @basvanopheusden
2K Followers 251 Following Research at OpenAI, previously @imbue_ai and @cocosci_lab lab at Princeton. All opinions my own
Ming Yin @MingYin_0312
2K Followers 922 Following ML, RL, AI. @Princeton Postdoc. PhDs in CS & STATs. Ex @awscloud AI. undergrad @USTC Math. Area Chair @NeurIPS @ICML.
Casper Hansen @casper_hansen_
10K Followers 460 Following NLP Scientist | AutoAWQ Creator | Open-Source Contributor
Anne Ouyang @anneouyang
7K Followers 927 Following Building @Standard_Kernel, CS PhD student @Stanford | prev: cuDNN @Nvidia, M.Eng, B.S. in CS @MIT | efficient scalable self-improving AI systems | 🌽KernelBench
Lynn Cherif @LynnCherif
187 Followers 706 Following Research engineering @GoogleDeepMind | CS MS student researcher @mcgillu @Mila_Quebec ; prev Mech Eng + CS undergrad @mcgillu
Zhuohan Li @zhuohan123
9K Followers 866 Following mts @ openai | cs phd @ 🌁 uc berkeley | building @vllm_project | machine learning system | the real agi is the friends we made along the way
Nikola Jovanović @ni_jovanovic
581 Followers 508 Following PhD @eth @the_sri_lab | Trustworthy AI, Watermarking, LLM Evals | Prev. @metaai @GoogleResearch @Google @snapchat @Improbableio
Alex Gu @minimario1729
4K Followers 2K Following intern @ meta, mit phd student (on job market!), llm for math+code / prev nvidia, aws, jane street / enjoys 🎹✈️⛷️⛵