Orz. Such a burst of great ideas! Thank you, @Manjusaka_Lee ! On formal method… · @tianyin_xu · TwKit

@tianyin_xu

Orz. Such a burst of great ideas! Thank you, @Manjusaka_Lee ! On formal methods. Yes! I truly believe fast, lightweight formal methods would help agents greatly. See the TLA+ skills in @poteto 's pstack and the experience from @bcherny. It's not going to be end-to-end iron proofs, but it helps agents produce better code. On decision models. I love decision models. I've heard people have customized #Specula using decision models to achieve cheap and fast TLA+ MC, though I haven't found time to figure that out. The students have tried Jev and decision models on #SREGym and shared their experience in a few blog posts (https://www.sregym.com/blog). I know the benchmark isn't close to real SRE, but some ideas might apply. I love the idea of using decision models for proactive techniques and the idea of RLCD for SRE! @SaadMRP @YukunHeZS @Yiming_Su3 @HacksonClark

曝光 1120 · 评论 1 · 点赞 11 · 书签 5