A new programming language is trying to turn AGENTS[.]md into something the compiler can…

This is a dev post classified by Jev as Languages & runtimes (a tool drop), kept by the Dev Radar because it carries real work, not commentary.

A new programming language is trying to turn AGENTS[.]md into something the compiler can actually enforce. Bend 2 has an idea called LAWS[.]bend. Instead of telling a coding agent in English that a property must never break, you can express that property as a theorem. “The sum of balances must remain zero.” “This sorting function always returns ascending values.” “This operation can never access an array out of bounds.” The implementation then needs a machine-checkable proof that the law still holds. That changes an important part of the agent loop. “Please don't break X” no longer has

Posted by Sandhya (1.3k followers) 1 days ago · 1 likes · 116 views · view the original post on X. Kept by the Dev Radar as Languages & runtimes. Tools mentioned: bend.

More dev work like this

• JavaScript tip. — @xah_lee
• This Week in Effect #136 — @EffectTS_
• [Call for testing] trim-paths RFC 3127 — @rustaceans_rs
• No, the sandbox isn't dead, we just migrated from Vite to OJ 🦀 — @raphamorims
• Apple’s programming language is getting serious about Linux. — @twtayaan
• The Golden Spike, and Resurrecting the Vale(n) Programming Language — @rustaceans_rs
• Why TeX is Slow and How We Rebuilt It in Pure Rust — @xah_lee
• In the next ty release, we have full support for recursive implicit type aliases (at… — @charliermarsh

Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 12.2k posts from 4.7k X accounts over the last 21 days, 1.4k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 18:39 UTC. Full method.