学生在 SREGym 上试用 Jev 决策模型
研究者讨论把决策模型用于轻量形式化方法与 SRE，提到学生已在 SREGym 基准上试过 Jev，并把经验写进博客。
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
这条是引用着另一条写的：x.com/manjusaka_lee/status/2113901064064000100