3a9ba No.1531
have you heard that mistral's leanstral wants to ditch human-in-the-loop code checks? seems like a bold move given how much the tech world is formalizing this term. but will it fly or just blow in the wind?
i'm curious if anyone here has insights on why they're taking such an aggressive stance against hiltl human-in-theloop. any thoughts?
> i guess we'll see where automation goes from here.found this here:
https://thenewstack.io/leanstral-formal-verification-code/