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
-
Followers84
-
Following1K
-
Likes309
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
We will never get humanity to Mars if this continues
FM+SE: Second panel of the day (fmse.io)
Congrats on Game of Year!
AstridQuiller @O1835b2u905bt3
4 Followers 145 Following
Xudong Sun @xu_dong_sun
978 Followers 796 Following Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
Sam Mousavi @SamMousavi41986
18 Followers 828 Following
Hokin Deng @DengHokin
483 Followers 440 Following prev neuroscientist @Harvard @JohnsHopkins | philosopher @GrowAiLikeChild | Founding member of technical staff @MyolabAI
Wanda Schamberger @WandaScham30164
69 Followers 4K Following
Anna @BergeFranc88680
89 Followers 4K Following
Amy @f_amy76
219 Followers 3K Following
huaijiang @huaijiangzhu
867 Followers 961 Following Founding engineer @alquistrobotics, PhD @nyuniversity. prev Boston Dynamics AI Institute @MPI_IS @TU_Muenchen he/him 🏳️🌈
Patricia @ringer98patrici
363 Followers 3K Following
Strava Jockey France @StravaJockeyFr
33 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
194 Followers 3K Following
Victoria Smith @VictoriVictory_
1K Followers 1K Following
Chao Peng @chao_peng_
467 Followers 242 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
678 Followers 2K Following CS Phd student @ UMD Ex-intern @Meta @Microsoft @Amazon On the industry job market
Roberto Giacobazzi�... @rgiacobazzi
841 Followers 653 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
Jake Gyllenhaal offic... @JakeGyllen40075
15 Followers 176 Following official Twitter for IHeartJake.com- a fansite
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
Hacker Ben @scamrecovery01
92 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
9 Followers 586 Following Tech Enthusiast 🚀 | Exploring LLMs 🤖 | Building for Fun 🛠️ | Freelance Innovator 💻
Charitha Saumya @charitha22
146 Followers 395 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
258 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.
Chenxi Yang @chenxiyang_ut
112 Followers 273 Following PhD student @UTCompSci | Machine Learning Systems, AI Safety | Intern @Google X2 | Former @FudanUni. @GoldmanSachs
Quantum Gladiator @QuantumGladiat
63 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 7K Following full-time shitposter, part-time: feel the AGI, building large-scale self-generating multi-agent workflow for multimodal AI
Vignesh Pamu @vigneshpamu
404 Followers 5K Following #ComputerArchitecture #Compilers #AI #ML #HPC #Kernel #QuantumComputing #తెలుగు #संस्कृतम्
Paa Yaw🌍🇬🇭 @theENGIN_EER
249 Followers 2K Following https://t.co/BPqz3VHmAK Senior Software Engineer(Ruby, Hotwire/Turbo) I'm 6 months away from 2 years since yesterday from solving Artificial Intelligence.
Yuka Ikarashi @c20
3K Followers 648 Following PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_
Nouraldin Jaber @NouraldinJaber
212 Followers 208 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 859 Following 🇳🇱🇺🇲 Dutch-American computer scientist Utrecht (MSc), Leiden (PhD) @Nvidia @Google @Intel #astrophotography #chess #compilers #sparse #vectorization
nanaxyc @nanaxyc1
37 Followers 2K Following
yinyang-project @testsmtsolvers
410 Followers 413 Following Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@cvc5_solver) Tool: https://t.co/yg7OJwFw7y
Tzu-Han👩🏻�... @TzuHanH
2K Followers 1K Following CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Hongyuan Mei @RoverHM
1K Followers 150 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 162 Following PhD Student @Harvard | AI/ML for Chemical Biology @marinkazitnik lab | currently at @GoogleDeepMind
Jiantao Jiao @JiantaoJ
2K Followers 115 Following Director of Research & Distinguished Scientist at @NVIDIA, Professor at UC Berkeley EECS and Statistics. Building AGI/ASI
GenBio AI @genbioai
8K 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
978 Followers 796 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 331 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
18K 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
11K Followers 603 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
725 Followers 270 Following Pre-tenure Associate professor @FudanUniv, Postdoc @PurdueCS, BS and PhD @PKU1898. Researcher on Software Engineering.
Lucas Beyer (bl16) @giffmana
108K Followers 518 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 361 Following chief get-shit-done officer @huggingface | F1 fan | Here for @at_sofdog’s wisdom | *opinions my own
Sumanth @Sumanth_077
72K Followers 865 Following Simplifying LLMs, RAG, Machine Learning & AI Agents for you! • ML Developer Advocate • Shipping Open Source AI apps
Kevin Lu @_kevinlu
9K Followers 215 Following @thinkymachines. formerly: - @openai: RL, synthetic data, efficient models - @berkeley_ai: decision transformer, universal computation
机器之心 JIQIZHIX... @jiqizhixin
9K Followers 708 Following China's leading media & information provider for #AI & #MachineLearning
basvanopheusden @basvanopheusden
2K Followers 238 Following Research at OpenAI, previously @imbue_ai and @cocosci_lab lab at Princeton. All opinions my own
Ming Yin @MingYin_0312
2K Followers 923 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 458 Following NLP Scientist | AutoAWQ Creator | Open-Source Contributor
Anne Ouyang @anneouyang
6K Followers 882 Following CS PhD student @Stanford | prev: cuDNN @Nvidia, M.Eng, B.S. in CS @MIT | efficient scalable self-improving AI systems | 🌽KernelBench
Lynn Cherif @LynnCherif
186 Followers 690 Following Research engineering @GoogleDeepMind | CS MS student researcher @mcgillu @Mila_Quebec ; prev Mech Eng + CS undergrad @mcgillu
Zhuohan Li @zhuohan123
9K Followers 865 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
486 Followers 490 Following PhD Student at ETH Zürich @the_sri_lab | Trustworthy AI, Watermarking, Evals
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 🎹✈️⛷️⛵
SSI Inc. @ssi
102K Followers 0 Following A straight shot to safe superintelligence. Join us https://t.co/hHla3vusDE.
Cheng Lu @clu_cheng
8K Followers 200 Following Member of technical staff @OpenAI. PhD @Tsinghua_Uni. Interested in scalable generative models.
Fuxiao Liu @FuxiaoL
753 Followers 610 Following Research Scientist @Nvidia | CS PhD @UMDCSI, working on LLM, Multimodal Stuff
TRAE @Trae_ai
27K Followers 26 Following The Real AI Engineer. Download now: https://t.co/kapduuwttm Join SOLO waitlist: https://t.co/UXvS3gZnw7
Guangxuan Xiao @Guangxuan_Xiao
3K Followers 697 Following Ph.D. student at @MITEECS Prev: CS & Finance @Tsinghua_Uni
Yuchen Jin @Yuchenj_UW
54K Followers 536 Following Co-founder & CTO @hyperbolic_labs 🧑🍳 fun AI systems. Previously: OctoAI (acquired by @nvidia) building @ApacheTVM, PhD @uwcse 🤖
Anthony Bonato @Anthony_Bonato
28K Followers 38 Following Mathematics professor @TorontoMet. The WSJ liked my new book Dots and Lines, so you might too. Come for the math or the math memes. I won’t grade you. Much.
Jack Lindsey @Jack_W_Lindsey
6K Followers 237 Following Neuroscience of AI brains @AnthropicAI. Previously neuroscience of real brains @cu_neurotheory.
Louis Gleeson @aigleeson
13K Followers 134 Following Founder of Sentient (25+ million follower network)
Pushmeet Kohli @pushmeet
17K Followers 90 Following Computer Scientist, Leading Science and Strategic Initiatives @ Google DeepMind.
yingzhen @liyzhen2
4K Followers 159 Following teaching machines🤖 to learn🔍 and fantasize🪄 now 🇬🇧@ImperialCollege @ICComputing ex @MSFTResearch @CambridgeMLG helping @aistats_conf 24-26
Nathan Chen @nathancgy4
663 Followers 567 Following @tilderesearch trying to (pragmatically) understand my friend, ml & open-source, 16
Roberta Raileanu @robertarail
9K Followers 2K Following Senior Staff Research Scientist @GoogleDeepMind & Honorary Lecturer @UCL. ex @Meta|@MSFTResearch|@NYU|@Princeton. Llama-3, Toolformer, Rainbow Teaming, MLGym.
Kilian Lieret @KLieret
884 Followers 40 Following Research Software Engineer at Princeton University. AI agents & benchmarks for software engineering.
Shengjia Zhao @shengjia_zhao
52K Followers 230 Following Chief Scientist @ Meta MSL. Formerly MTS @ OpenAI, PhD @ Stanford. I train models. All opinions my own.
Simon Ouellette @SimonOuellette6
100 Followers 61 Following I work with robots, lasers and neural networks.
David Pfau @pfau
29K Followers 2K Following Knowledge manifests itself in radiant dreams that shimmer like the wild sun Views are my own https://t.co/xqtVHHVI17 on 🦋Trends for United States
You might like
