upvote

points

by 0xfurai21 hours ago |
comments
upvoteby euroderf14 hours ago|
next
[-]
And TLA+ and Lean say "catch it before you write any code".
reply
upvoteby LtWorf21 hours ago|
prev|
[-]
> but Go says "catch it in review"

So, in production?

reply
upvoteby airstrike21 hours ago|
parent|
[-]
It's AI slop, it makes no sense
reply