https://www.youtube.com/watch?v=KzdYKeAqWhY
Leonardo de Moura is the Brazilian computer scientist behind the SMT solver Z3 and the Lean dependently typed programming language/proof assistant (https://lean-lang.org/ ). This is a nice introduction to Lean. After the first 30 minutes, it becomes apparent how much more accessible formal methods are becoming for software verification due to LLM synergy. I think Lean/proofs will be increasingly relevant to Go, since assembled concurrent systems are so challenging to test well in the large. -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/golang-nuts/f76b79a6-1a01-4fe9-a8d4-55f843eca94fn%40googlegroups.com.
