免责声明：此工具是使用大型语言模型（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>谢谢！
返回首页
一周热榜
无论是什么领域，无论大小都无所谓。
我想更新我的2026年阅读清单，加入一些最近发布或即将发布的有趣书籍。
当然，互联网充满了关于“最受期待”或“最热门”书籍的列表，但这些并不是我所寻找的。
我的阅读习惯与主流有些不符，通常不在最受欢迎书籍的列表中。（如果有帮助的话，我的一些最爱包括《苹果在中国》、《芯片战争》、《特种作战》（麦克拉文著）和《瓶颈》。）
我原以为Goodreads会是找到这类书籍的好地方，但结果让我感到失望。
你们是如何找到（好的）书籍来阅读的呢？
我之所以开发这个工具，是因为我不断从Claude Code/Codex生成HTML/Markdown报告，并且需要一个永久的共享链接，而不是使用本地隧道。Pagecast是一个本地命令行工具，可以将这些文件发布到您自己的Cloudflare Pages账户中。
它支持Markdown和HTML，提供稳定的URL，支持重命名、重新发布到同一URL，以及监视模式以便对同一文件进行持续更新。该工具采用MIT许可证。
主要的设计选择是没有托管的Pagecast账户。它直接使用您的Cloudflare账户进行部署，并集成了Claude Code和Codex作为技能/钩子。
基本上，它可以作为Codex网站或Claude文档的替代品使用。
我在使用像Claude Code这样的工具时，难以进入那种黄金“构建者”状态。能够从零开始使用这些工具创建软件确实很酷，但输出的结果……我不知道，感觉并不像是我自己做的。也许是因为所需的努力太少，或者是因为我心里明白，基本上任何人只要有合适的提示都可以复制这些，软件本身也不再是一件特别的事情。
有没有人能够在使用这些工具时找到那种“满足感的状态”？因为我很想再次找到它。
嗨，HN，
我花了几个月的时间阅读RISC-V规范，以构建尽可能轻量的沙箱。vpod的想法是能够快速从快照（默认使用Alpine）启动一个Linux沙箱，而无需任何设置或子系统。
在便携性和安全性之间的权衡是原始CPU速度。因此，我们不指望它能与本地工作负载（例如Python或pip）相匹配。
更多信息请查看README：
[https://github.com/capsulerun/vpod](https://github.com/capsulerun/vpod)
欢迎提出任何问题！
我的团队（大约40名编写代码的成员）正在评估用于AI辅助代码审查的工具。市场上似乎有很多选择，因此在开始一系列免费试用之前，我想向有经验的人请教一下。
你们使用哪些工具或服务？你们是仅用于代码审查，还是也用于其他目的，比如事件响应或分支管理？你们为什么选择这些工具，喜欢或不喜欢它们的哪些方面？
当我在Chrome中打开一个新浏览器标签页时，出现的动态Google涂鸦让我分心。这个涂鸦是关于足球/世界杯的动画。我希望它不要动。
在过去一个月里，我似乎经历了许多企业在信息技术方面的失误。例如，我妻子支付了我的房主保险费，但他们却将我的账单转给律师进行催收，并取消了我的保单。（值得一提的是，当我的代理人被通知后，她帮助我恢复了保单）现在，我有一个UPS包裹似乎在蒙大拿州滞留了一周，但我在追踪器上看到的信息并不完全合理。
我只是运气不好，还是其他人也遇到了类似情况？我们能把这归咎于编码问题吗？我们现在生活在“气体城”吗？
该服务允许您通过一次点击与互联网上的任何人分享整个文件夹，而不仅仅是单个文件。<p>在后台，GET响应通过双向WebSocket连接流式传输的文件片段进行填充。关闭浏览器标签页后，服务器将消失。文件也可以设置密码保护。<p>我之所以开发这个服务，是因为我需要一种方式在不先将作品上传到云服务的情况下，与客户分享一个静态网站。
我正在考虑申请一个与我们技术非常契合的第一阶段课题，我们应该符合所有基本要求（美国本土、小企业等），但我不确定这项投资是否值得。
如果有人有申请和经历这个过程的经验，我非常想听听。
我好奇的事情有：
- 竞争激烈吗？
- 提案需要多详细？
- 我是否能保证收到回复？
- 关闭申请后多长时间会做出决定？
提前感谢大家。
几周前，GitHub决定禁用我们开源组织（lightningdevkit）所有的GitHub Actions（包括自托管的运行器）访问权限，原因不明。由于我们中有些人恰好在一家拥有大型GitHub企业账户的公司工作，我们试图通过公司代表进行上报，他们告诉我们，问题似乎是一些非组织成员的临时贡献者因使用Actions进行加密挖矿而被标记。由于该组织在技术上并不在我们的企业账户下，我们不得不等待几周才能得到关于解禁的回复……结果却被告知我们“似乎参与了违反”GitHub服务条款的活动。他们列举了一些违反服务条款的活动示例，而我们并没有做过这些，显然该组织在持续集成中也没有进行任何形式的挖矿。
由于我们已经有很多理由考虑离开GitHub（停机、由于客户端JavaScript的大幅增加而导致的网站速度持续变慢、过去十年没有新功能、当PR评论超过50条后无法加载、贡献者被禁用（没有进行加密挖矿）导致潜在有用的PR被搁置、支持响应缓慢等等），这更像是对其他人的警告，而不是寻求帮助的尝试。
当然，GitHub目前正面临大量AI代理账户涌入，导致垃圾邮件和其他无用内容激增，因此我对那边的工作人员表示同情。但这并不意味着我们必须使用他们提供的（历史上优秀的）免费产品，我们也可以选择不使用。
对于那些不知情的人来说，codeberg/self-hosted forgejo可以导入整个GitHub仓库，包括历史问题、PR、评论等。