最新

这是我过去几个月一直在做的一个小项目。它是一个服务，在一个完全沙盒化的环境中，通过静态 HTTP 端点托管 Lua 脚本。这是我为了满足自己的需求而构建的东西，现在我正在启动一个免费的公开测试版，看看是否也有其他人觉得它有用。<p>&lt;背景故事&gt;<p>我的第一份专业工作是在一家公司，该公司构建了一个工业物联网平台，其最独特的功能是基于 Lua 的脚本平台。我最终非常喜欢 Lua，以至于在我的下一份工作，在 SmartThings，我最终成为了主要的发起人，促成了基于 Lua 的 Edge Drivers 的实现，当时我们被迫停止使用旧的基于 Groovy 的 DTH，编写了最初的 PoC，规划了架构，并编写了系统的核心部分。<p>这基本上是我对 2017 年倒闭的一个名为 webscript.io 的旧服务的看法，另一个让我爱上 Lua 的工具。我大量使用了该服务，用于个人项目和工作中的小工具。当它关闭时，我真的很伤心，我真的认为没有哪一个星期我没有希望它仍然存在。所以，我最终决定我需要构建自己的版本。<p>&lt;&#x2F;背景故事&gt;<p>Bodge 的整个理念是让拼凑东西尽可能简单。我一直有很多想做的小型副项目，但这些项目不值得为了实际将它们组合在一起并保持维护而付出的开销。所以，我构建了 Bodge，作为一种方式，让每次灵感迸发时，每个单独的项目都能减少工作量。到目前为止，我构建了：<p>* 一个用于一些拼凑的物联网设备的当前时间 API：<a href="https:&#x2F;&#x2F;time.bodge.app&#x2F;" rel="nofollow">https:&#x2F;&#x2F;time.bodge.app&#x2F;</a><p>* 一个为我妻子编写的脚本，用于检查她的通勤时间，并在情况变糟之前给她发送电子邮件。<p>* 如果我的 Matrix 服务器宕机，会向我自己发送电子邮件通知。<p>* 一个“随机选择一个东西”的页面。<a href="https:&#x2F;&#x2F;rand.bodge.app&#x2F;choose?head&amp;tails" rel="nofollow">https:&#x2F;&#x2F;rand.bodge.app&#x2F;choose?head&amp;tails</a><p>* 一个“工作”电话号码语音信箱，脚本将 webhook 转换为向我自己的警报。<p>* 只要有新版本发布，就会向我自己发送电子邮件通知，用于一些半公开的自托管服务。<p>* 抓取一些公司的职位列表，只要有新的职位发布并匹配某些过滤器，就会通知我。<p>* 一个 WebPush 服务器，我最终想用它来向我自己发送自定义通知。<p>* 纯粹是为了好玩，一个 SVG 计数器：<a href="https:&#x2F;&#x2F;hits.bodge.link&#x2F;" rel="nofollow">https:&#x2F;&#x2F;hits.bodge.link&#x2F;</a><p>脚本可以像这样简单：<p><pre><code> return &quot;Hello, world!&quot; </code></pre> 或者，只要你在单个 Lua 文件的范围内，你可以让它们变得多么复杂都可以。<p>目前，我提供了 Lua 模块，用于：发出 HTTP 请求、处理 json、向自己发送警报、简单的字符串/字符串键/值存储、跨脚本互斥锁，以及其他一些基本功能。<p>账户是免费的，但你甚至不需要创建一个账户就可以随意编写脚本。主页上有一个演示，让你自己运行真实的脚本，尽管有一些额外的限制。<p>我很乐意听取大家的意见！

大多数优秀帖子都会在 /newest 中沉寂，被低质量的提交内容淹没。<p>Hacker News 依赖于用户访问 /newest 并对他们看到的内容进行投票或标记。<p>每天在那里花几分钟，可能比评论对 Hacker News 的贡献更大。<p>这是一项匿名、吃力不讨好的工作，就像 Reddit 以前的“新帖骑士”，但它确实发挥了作用。<p>https://news.ycombinator.com/newest<p>https://news.ycombinator.com/newsguidelines.html

我看到了这篇关于 HRM（分层推理模型）的解释文章，其中提到了一些惊人的数据。文章声称，在数独、30x30 迷宫和 ARC-AGI 等推理任务中，HRM 优于 3.7 sonnet 和 o3-mini 等大型语言模型。这是该解释文章的链接：https://towardsdatascience.com/your-next-large-language-model-might-not-be-large-afterall-2/ 我现在在一家产品导向的初创公司工作，负责自动化 PCB 设计。这项工作也需要一些硬核推理能力，比如知道 USB 连接器应该位于电路板边缘，感性和容性负载应该分开，同时优化布线长度。 我想问一下，这是否是一个解决我用例的可行方法？您认为这可行吗？因为我确实看到 HRM 解决的问题与我的用例之间存在一些相似之处，而且 HRM 在解决这些问题上比大型语言模型更胜一筹。