This paper creates a system called CodeMidas that turns existing open-source code into environments for training coding agents using reinforcement learning. Practitioners might care because it could lead to more diverse and effective coding agents that can learn to fix issues, construct code, and verify their own work.
Firehose
Filtered to tagged “programming languages” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News · Deep dives
Browse by tag
artificial intelligence 82continual learning 29AI 26agentic coding 17reinforcement learning 16open-weight models 11AI agents 10AI safety 9AI ethics 8cybersecurity 8machine learning 7open-source 7language models 6natural language processing 6Reinforcement learning 6artificial general intelligence 5deep learning 5Diffusion models 5Agentic AI 4computer vision 4conversational AI 4ethics 4existential risk 4large language models 4LLMs 4Recursive self-improvement 4robotics 4security 4vision-language models 4ai 3
Bend is a fast, parallel, and proof-based programming language that compiles to native code, running on GPUs and achieving speeds up to 100 times faster than a single-core processor. Its type checker, inspired by Lean and Rocq, verifies code correctness in seconds, enabling rapid feedback for AI agents. By incorporating laws and proofs, Bend blocks AI mistakes and ensures ambiguity-free code. AI summary