Dong Chen

Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?

[LightSeek Foundation @lightseekorg]

Introducing TokenSpeed, a speed-of-light LLM inference engine.

> TensorRT LLM level performance

> vLLM level usability

> Built by a lean and mission-driven team in two months

> MIT license, open-source

https://t.co/MJzhCEg7m8

https://t.co/anhoETwwS9

[Ameesh Shah @ameeshsh]

🗣️📣Announcing VerifAI 2: AI Verification in the Wild, an upcoming workshop at #ICLR2026!! 🗣️📣

VerifAI will gather researchers to explore topics at the intersection of genAI and trustworthy ML. Submit your work!

Check out our website and CFP for more: https://t.co/VFWNqp7zCK

[Dong Chen @jameschennerd]

@elonmusk @wef Universal income

[Shanli Xing @shanli_xing]

🤔 Can AI optimize the systems it runs on?

🚀 Introducing FlashInfer-Bench, a workflow that makes AI systems self-improving with agents:

- Standardized signature for LLM serving kernels
- Implement kernels with your preferred language
- Benchmark them against real-world serving workloads
- Fastest kernels get day-0 integrated into production

First-class integration with FlashInfer, SGLang (@lmsysorg ), and vLLM (@vllm_project ) at launch🙌

Blog post: https://t.co/RG3oMO9brO
Leaderboard: https://t.co/R9T4jJJNd0

[MetaGPT @MetaGPT_]

🚨 Big Announcement 🚨

We’ve officially completed our rebranding! MGX is now Atoms (@atoms_dev) 🎉

But that’s not all
for the latest product details, case studies, AMA sessions, and event updates, head over to @atoms_dev!

👇 Follow us now to stay in the loop!

[Poetiq @poetiq_ai]

We finally had a moment to run our system with GPT-5.2 X-High on ARC-AGI-2!

Using the same Poetiq harness as before, we saw results as high as 75% at under $8 / problem using GPT-5.2 X-High on the full PUBLIC-EVAL dataset. This beats the previous SOTA by ~15 percentage points.

[Binyuan Hui @huybery]

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!

[Deep Learning For Code @ ICML'26 @DL4Code]

📣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, multi-agent collaboration, and the next era of developer-AI interaction among many, many exciting topics in the broad realm of #DL4C.

📝Call for Papers will be announced soon! We welcome all kinds of relevant papers: research, position, demo, or tiny.
📅Paper submission deadline: ~Aug 22

Stay tuned for more updates!

Workshop hosted by @sivil_taram (TikTok), @ZhiruoW (@LTIatCMU), @xu3kev (@MistralAI), @610v4nn1__ (@awscloud), @huybery (@Alibaba_Qwen), @ahmadwasi (@NVIDIAAI), and @zijianwang30 (@awscloud).

[ARC Prize @arcprize]

New ARC Prize 2025 High Score

19.0% by Giotto. ai (@podesta_aldo)

[Dong Chen @jameschennerd]

@elonmusk @xai @grok Westworld

[ARC Prize @arcprize]

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%

[Yuka Ikarashi @c20]

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.

[OCaml @ocaml_org]

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… https://t.co/2x5dQdTRdr #OCaml #OCamlPlanet

[MetaGPT @MetaGPT_]

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 creations in a new App World.
· Powered by the world's first multi-agent programming framework, and ranked #1 LLM Agent at ICLR2024.

✨Try it free: https://t.co/n2x3FQzzx9

BTW, we'll open source MetaGPT v1.0 soon.
#MGX #MetaGPT #DevTools #Agent #Coding #Development

[Ameesh Shah @ameeshsh]

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!

[Rajeev Alur @RajeevAlur]

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

[George Zakhour @_typeable]

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 🧵⬇️

[Elon Musk @elonmusk]

Easy to figure out

[Wenting Zhao @wzhao_nlp]

📣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: https://t.co/3BIMRup0G7

@celine_ylee @theo_olausson @ameeshsh @wellecks @taoyds

[Alejandro Cuadron @Alex_Cuadron]

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: https://t.co/8lJSc8suIc
I will be posting more updates as we progress. Stay tuned! 🚀