Dong Chen
@jameschennerd
Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?
You might like
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!
🚨 FINAL CALL: Only 2 days left to submit to the 𝔻𝕖𝕖𝕡 𝕃𝕖𝕒𝕣𝕟𝕚𝕟𝕘 𝕗𝕠𝕣 ℂ𝕠𝕕𝕖 𝕚𝕟 𝕥𝕙𝕖 𝔸𝕘𝕖𝕟𝕥𝕚𝕔 𝔼𝕣𝕒 (DL4C) workshop at NeurIPS2025 ! 🗓Deadline: Aug 27th, 11:59PM UTC-12 Amazing speaker lineup including experts from CMU, UC Berkeley, Replit, poolside,…
📣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,…
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!
📣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
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
Consider submitting to Conference on Neurosymbolic Systems to be held at Penn in late May neus-2025.github.io
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 🧵⬇️
📣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…
We will never get humanity to Mars if this continues
SpaceX can't fly Starship until November at least. This is nuts. How are 60 month delays to satisfy these requirements even remotely justifiable?
United States Trends
- 1. #UFC322 181K posts
- 2. Islam 291K posts
- 3. Morales 38.6K posts
- 4. Valentina 16.4K posts
- 5. Prates 36.6K posts
- 6. Sark 6,203 posts
- 7. Ilia 7,465 posts
- 8. Khabib 12.1K posts
- 9. Kirby 19K posts
- 10. Georgia 91.4K posts
- 11. Dagestan 2,747 posts
- 12. Dillon Danis 13K posts
- 13. Zhang 27.5K posts
- 14. Ole Miss 12.7K posts
- 15. #GoDawgs 9,857 posts
- 16. Leon 75.4K posts
- 17. Usman 10.9K posts
- 18. Tanner Wall N/A
- 19. LING BA TAO HEUNG 351K posts
- 20. #LingTaoHeungAnniversary 347K posts
Something went wrong.
Something went wrong.