News for hackers. Stuff that matters.

A comment on When AI Writes the Software, Who Verifies It?. Parent comment

Re:When AI Writes the Software, Who Verifies It? by dranov on Tuesday March 03, 2026 @07:41PM (#47241400)
Cedar used to be written in Dafny, but AWS abandoned that implementation and rewrote it in Lean.

https://aws.amazon.com/blogs/opensource/lean-into-verified-s...

[ Parent | on HN ]
Re:When AI Writes the Software, Who Verifies It? by muraiki on Tuesday March 03, 2026 @09:19PM (#47242173)
Oh whoops, thank you for the correction! I didn't realize that.
[ Parent | on HN ]