News for hackers. Stuff that matters.
Re:Anthropic's best AI model struggles to attract users as c... by _joel on Sunday August 23, 2026 @08:20PM (#49413927)
> There's no lint or compiler that can check for correctly constructed contracts.

There are definitely linters and this exists https://catala-lang.org/

There are no comments on this comment yet.