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
Why I'm building yet another UML tool in 2026
二十年UML老兵在2026年重拾造轮子，为汽车安全关键系统打造更趁手的建模工具。
Let me get the obvious objection out of the way. PlantUML exists. Mermaid renders natively on GitHub. draw.io is free and works. Enterprise Architect,…