CodeGen News for 2025-07-03
Newsletter for developers, that work with the AI-generated code. Tools, news, projects, articles.
Top picks
Use Property-Based Testing to Bridge LLM Code Generation and Validation - academic text by Lehan He, Zeren Chen, Zhe Zhang, Jing Shao, Xiang Gao and Lu Sheng. (23.06.2025)
Promptfoo vs Garak: Choosing the Right LLM Red Teaming Tool - article by Ian Webster. (26.06.2025)
E. Polgreen, "Using program synthesis to make your code run faster", VeTSS Annual Meeting, 2024. (27.06.2025)
Reading materials
Use Property-Based Testing to Bridge LLM Code Generation and Validation - academic text by Lehan He, Zeren Chen, Zhe Zhang, Jing Shao, Xiang Gao and Lu Sheng. (23.06.2025)
QHackBench: Benchmarking Large Language Models for Quantum Code Generation Using PennyLane Hackathon Challenges - academic text by Abdul Basit, Minghao Shao, Haider Asif, Nouhaila Innan, Muhammad Kashif, Alberto Marchisio and Muhammad Shafique. (24.06.2025)
Programming Geotechnical Reliability Algorithms using Generative AI - academic text by Atma Sharma, Jie Zhang, Meng Lu, Shuangyi Wu and Baoxiang Li. (24.06.2025)
Beyond Autocomplete: Designing CopilotLens Towards Transparent and Explainable AI Coding Agents - academic text by Runlong Ye, Zeling Zhang, Boushra Almazroua and Michael Liut. (24.06.2025)
ReCode: Updating Code API Knowledge with Reinforcement Learning - academic text by Haoze Wu, Yunzhi Yao, Wenhao Yu, Huajun Chen and Ningyu Zhang. (25.06.2025)
CodeGuard: A Generalized and Stealthy Backdoor Watermarking for Generative Code Models - academic text by Haoxuan Li, Jiale Zhang, Xiaobing Sun and Xiapu Luo. (25.06.2025)
DiffuCoder: Understanding and Improving Masked Diffusion Models for Code Generation - academic text by Shansan Gong, Ruixiang Zhang, Huangjie Zheng, Jiatao Gu, Navdeep Jaitly, Lingpeng Kong and Yizhe Zhang. (26.06.2025)
Promptfoo vs Garak: Choosing the Right LLM Red Teaming Tool - article by Ian Webster. (26.06.2025)
What Makes ChatGPT Effective for Software Issue Resolution? An Empirical Study of Developer-ChatGPT Conversations in GitHub - academic text by Ramtin Ehsani, Sakshi Pathak, Esteban Parra, Sonia Haiduc and Preetha Chatterjee. (27.06.2025)
LMPVC and Policy Bank: Adaptive voice control for industrial robots with code generating LLMs and reusable Pythonic policies - academic text by Ossi Parikka and Roel Pieters. (27.06.2025)
Watching materials
E. Polgreen, "Using program synthesis to make your code run faster", VeTSS Annual Meeting, 2024. (27.06.2025)
TYPES2025 - 4.6. Mathis Bouverot-Dupuis - Code Generation via Meta-programming in.... (28.06.2025)
Agentic Coding: The Future of Software Development with Agents. (28.06.2025)
Listening materials
The TWIML AI Podcast episode - Building the Internet of Agents [Vijoy Pandey] - 737. (17.06.2025)
Updates from codegen projects
Build and share AI-powered apps with Claude. (25.06.2025)
Anthropic Claude Sonnet 4 and Claude Opus 4 are now generally available in GitHub Copilot. (25.06.2025)
Sourcegraph - Introducing Deep Search: A faster way to understand your code. (25.06.2025)
Claude - Turn ideas into interactive AI-powered apps. (25.06.2025)
Cline v3.18: Gemini CLI Provider, Optimized Claude 4. (26.06.2025)
Why We Chose LangGraph (Again) to Power Qodo Gen CLI. (26.06.2025)
OpenAI - Retell AI makes voice agent automation customizable and code-free with GPT-4o. (26.06.2025)
Our Sponsors
Odra.dev - cutting-edge smart contract development tools for professionals with deadlines.
To become a sponsor mail us: contact@odra.dev.
Follow us on https://x.com/codegen_news.
Join the discussion or submit your project at https://t.me/codegen_news.