Embrace the future with JetBrains! Complete our Developer Ecosystem Survey 2025 for a chance to win a MacBook Pro, an iPhone 16 Pro, or other exciting prizes. Your participation can help drive major advancements in tech. 🔗 surveys.jetbrains.com/s3/sm-develope…

🚀 AI agents can code, but can they handle Git? While companies tout impressive agent capabilities with version control, there's been NO standardized way to actually measure this performance... until now. Introducing 📊 GitGoodBench 📊 – the first comprehensive benchmark for

📣 Another one of our papers will be presented at FSE 2025 next week: "A Multi-agent Onboarding Assistant based on Large Language Models, Retrieval Augmented Generation, and Chain-of-Thought" 🤩 This work is about an 🪵 onboarding agent 🕵🏻 designed to assist new team members in

Two of our talks from the EuroProofNet WG5 meeting! 🕵 🔎 "Are LLMs Ready for Software Verification?". We create benchmarks for Nagini and Verus based on HumanEval and test Claude Sonnet 3.5 in software verification. 📜 Abstract: europroofnet.github.io/_pages/WG5/Edi… 💾 Data:

📢 In just several minutes, our folks will be presenting their two papers at the DEBT workshop co-located with ECOOP'25! 📊 "Automatic Data Structures Visualization in IntelliJ IDEA" 🐞 "Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin" Catch them!

Happy to launch the third edition of the IDE Workshop co-located with ICSE 2026! Please follow the links, submit your papers on anything IDE-related, and let's meet in Brazil to continue building this amazing community! 🎉

🎓 The largest survey paper I ever participated in was accepted to CompEd! Opinions of ~18k learners from 173 countries about all the aspects of CS education (87 questions!) — in the form of open dataset. Enjoy! 💡 Paper: arxiv.org/abs/2508.05286 Dataset: zenodo.org/records/167541…