1
Show HN: TLA+ Process Studio
用LLM自动生成TLA+语法，把复杂业务流程可视化为状态机，便于与干系人逐条讨论和迭代。
Disclaimer: This was made with LLMs. I made this tool to help understand large business processes that can be modelled as a single state machine. The …
2
Intro to TLA+ for the LLM Era: Prompt Your Way to Victory
用LLM轻松生成TLA+规范，告别语法障碍，通过示例提示开启系统正确性验证。
Article URL: https://emptysqua.re/blog/intro-to-tla-plus-for-the-llm-era/ Comments URL: https://news.ycombinator.com/item?id=48170007 Points: 1 # Comm…