News for hackers. Stuff that matters.

A comment on Formal Verification Gates for AI Coding Loops. Parent comment

Re:Formal Verification Gates for AI Coding Loops by pyrex41 on Wednesday May 20, 2026 @03:54PM (#48213205)
I would add, re: Shen -- it's sequent calculus and unique type system (type system itself is Turing complete) give you a lot of flexibility here.
[ Parent | on HN ]
Re:Formal Verification Gates for AI Coding Loops by solomonb on Wednesday May 20, 2026 @04:24PM (#48213608)
Shen is one of those projects i've always wanted to dig into a bit but have never found the time sadly.
[ Parent | on HN ]