最新

免责声明：此工具是使用大型语言模型（LLMs）制作的。<p>我制作这个工具是为了帮助理解可以建模为单一状态机的大型业务流程。<p>其核心循环是让利益相关者逐步讨论每个环节，添加评论，并与他们选择的LLM进行反复讨论，以生成左侧的TLA+语法。<p>用户可以点击绿色状态节点，直观地查看流程如何运作。<p>您可以在左上角的下拉菜单中查看一些示例状态机。<p>其核心价值在于让大家对业务流程达成共识，以便工程师在获取所有背景信息后，能够考虑如何最佳地自动化或现代化系统。<p>此外，一旦您拥有了该流程的单一规范模型，理论上可以将其发送到“黑暗工厂”中，以尽可能快地生成软件，但现在由于编码速度更快，我们可以在整个软件生命周期的设计和对齐阶段分配更多时间。<p>可以参考这本书《工作流建模：流程改进与应用开发工具》进行进一步的工作，<a href="https://www.amazon.com/Workflow-Modeling-Improvement-Application-Development/dp/1596931922" rel="nofollow">https://www.amazon.com/Workflow-Modeling-Improvement-Applica...</a><p>MIT许可的代码库：<a href="https://github.com/RCSnyder/tlaplus-process-studio" rel="nofollow">https://github.com/RCSnyder/tlaplus-process-studio</a><p>请告诉我您的想法！<p>谢谢！

Claude 计划、执行，然后利用 Cloudflare 将秘密和文件推送到生产链接中。所有这些都只需 1-2 个提示。这是一个从未编写过代码的人。我认为市场尚未真正考虑到这对软件工程师的影响。

我一直在开发 GitGauge，这是一种根据分叉比例、观察者参与度和问题活动来判断一个仓库是否真实的方法。<p>我非常希望听到一些反馈！<p>我最不确定的部分是启发式算法。目前它使用的是星标、分叉、观察者和开放问题。我特别想知道大家认为在哪些方面可能存在问题，尤其是对于小众仓库、老旧仓库或 heavily used 内部工具类项目。