最新

Hello Hacker News， 我和朋友最近完成了 Stridewars 的开发，这是一个加入了道具的步数竞赛。 道具可以增加你的步数，减少对手的步数，为标准的步数竞赛增添一些乐趣和策略。 每天在 Stridewars 应用程序中同步你的步数，并达到每日 7,000 步的目标，即可获得道具。你的团队落后领先者越多，抽到更强/更稀有道具的几率就越高。 例如道具： - 舒适日（稀有）– 当天计入 10,000 步 - 溜冰鞋（史诗）– 当天步数增加 50% - 护盾（稀有）– 保护你的团队免受攻击 - 盗贼（稀有）– 从其他团队那里偷取一个不常见的道具 - 淤泥（普通）– 减少其他团队 4% 的步数 完整的道具列表可以在这里查看： https://www.stridewars.com/dashboard/powerups 没有类似蓝色龟壳的道具。我们觉得那样可能有点过分了。 我们最初尝试使用 Fitbit 应用程序来同步步数，但设置很麻烦，而且数据并不总是准确。所以我们不得不开发了 Stridewars 应用程序。它直接从你的手机（通过 Health Connect 或 Apple Health）读取步数，包括一个简单的团队聊天，并链接到一个网络仪表板，显示排行榜、最近的新闻提要和你的可用道具。 我们将在 1 月 12 日星期一（当地时间）开始为期一周的比赛，向所有人开放。如果你想参加，请在 1 月 10 日星期六之前注册，并从 Stridewars 应用程序完成一个快速的测试同步。 免费参加。 这是加入比赛的链接： https://www.stridewars.com/join-competition?competitionId=2fec3e01-8921-433c-b99e-2a27acd4020a 它确实需要快速注册，但如果你愿意，可以使用假名和电子邮件。请使用以 @deleteme.com 结尾的地址，这样系统就不会尝试发送电子邮件。注册后，下载 Stridewars 应用程序并完成一次测试同步，以便在比赛开始时做好准备。 我们只使用你的电子邮件地址发送提醒和加入信息等通讯。你的电子邮件也将在比赛结束后不久被删除。 每队 5 个人，你将被随机分配到一个团队。如果你想和朋友在同一个团队，请向我发送你们俩使用的电子邮件地址，我会把你们放在一起。如果团队规模不均，我们有一些“机器人步行者”每天同步步数，并将他们的道具捐赠给队友。 隐私 所有数据将在比赛结束后六周内删除，包括你的帐户。我们从 Stridewars 应用程序中收集的唯一数据是你的每日步数。我们不会向第三方发送任何数据。 这只是一个乐趣，同时让你比平时更活跃。 很乐意回答问题。

HN 你好， 我开发了 Archivist，因为我需要一个更好的方式来管理和组织我的本地视频收藏。市面上有许多用于整理媒体库的工具，但没有一个完全符合我的需求。我希望有一个工具能够深入到文件名之外——能够根据比特率、编解码器和分辨率等技术属性进行筛选，同时还能处理元数据。 它是一个跨平台桌面应用程序（Windows、macOS、Linux），内置了 FFmpeg 用于分析。 主要功能： * **筛选：** 根据分辨率、编解码器、音轨、比特率等筛选媒体库。 * **元数据和评分：** 从 TMDB/OMDB 获取评分/元数据，并允许直接编辑/嵌入元数据到文件中。 * **FFmpeg 集成：** 内置支持媒体分析、元数据印记和文件转换。 * **国际化（目前支持 EN、DE、SV）。** 技术栈： * 前端：Angular (我每天都在用) * 运行时：Electron * 包管理器/打包工具：Bun * 语言：TypeScript 我正在寻求关于可用性和功能集的反馈。如果你有一个大型的本地媒体库，我很想知道它是否解决了你的一些痛点。也对 FFmpeg 文件、字幕编辑器的实用性感兴趣，或者你是否仍然会使用 Handbrake 这样的工具。这个功能可以扩展。 仓库：[https://github.com/blackfan23/archivist](https://github.com/blackfan23/archivist) 谢谢！

各种公司都在推出戒指、腕带和太阳镜等形式的界面。有人想为它们开发软件吗？

嗨 HN！ 我是 ONYX Data Rooms 的创建者之一。 我们在自己融资的过程中开始着手开发这个产品，注意到许多数据室都侧重于后期融资流程和预算，而不是早期和成长型创始人的需求。 最让我们印象深刻的不是数据的缺乏，而是清晰度的不足。作为创始人，我们能看到文档被打开了，但很难理解： * 哪些投资者是真的感兴趣，而不是随便点点 * 哪些文档受到了关注，哪些被跳过了 * 尽职调查在哪里放缓或产生了疑问 ONYX 致力于让这一切更清晰： * 无限量的数据室和用户 * 分析功能，突出显示哪些投资者活跃，哪些文档被阅读 * 内置问答功能，确保问题与相关文件关联 我们的目标不是增加更多指标，而是帮助创始人优先处理跟进事项，并了解在融资期间应该把时间花在哪里。 如果你想了解一下：[https://onyxdataroom.com](https://onyxdataroom.com) 很乐意回答问题，或者听听大家今天是如何处理尽职调查和投资者反馈的。 谢谢！

我构建了 Catelingo，一个基于约束的小型检查器，用于标记语义上不可能的 LLM 输出，与可能性、检索或链式思考无关。 许多错误（时间不一致、数值不可能、语义类型冲突）都流畅且可能性很高。Catelingo 将“语义有效性”重新定义为约束可满足性，而非合理性。 有意保持极简和确定性： * 小型词汇表，基于词义 * 显式约束传播（依赖局部） * 判断结果：SAT / UNSAT / UNKNOWN * 可选的退化规则，用于隐喻/领域适应 论文（Zenodo）：[https://doi.org/10.5281/zenodo.18148498](https://doi.org/10.5281/zenodo.18148498)

我搭建了 LightningProx - 无需 API 密钥或账户即可访问 Claude/GPT-4。<p>工作原理：<p>1. 发送请求，获取 Lightning 发票（约 5 聪） 2. 使用任何 Lightning 钱包支付 3. 获取 AI 响应<p>支付 = 身份验证。无需泄露密钥。<p>Python: pip install langchain-lightningprox<p>网站：<a href="https://lightningprox.com" rel="nofollow">https://lightningprox.com</a> 文档：<a href="https://lightningprox.com/docs" rel="nofollow">https://lightningprox.com/docs</a> GitHub：<a href="https://github.com/unixlamadev-spec/langchain-lightningprox" rel="nofollow">https://github.com/unixlamadev-spec/langchain-lightningprox</a> 完整文章：<a href="https://medium.com/@unixlamadev/i-built-the-payment-layer-for-ai-agents-5fb2545c5272" rel="nofollow">https://medium.com/@unixlamadev/i-built-the-payment-layer-fo...</a>

几年前，我曾认为 Facebook Marketplace 是个金矿。<p>消息从没停过。 “东西还在吗？” “今天可以自取吗？” “非常感兴趣。”<p>从纸面上看，需求量大得惊人。<p>但实际上，大部分都是假的。<p>我向普通人出售高价商品和服务。他们中的许多人信用不良、收入不稳定或面临财务压力。Facebook Marketplace 把我直接推到了这群人面前，但它并没有筛选购买能力。<p>我把关注度误解为意图。<p>我花了几个小时回复、解释、跟进和保留物品。交易看似接近达成，却在最后一刻告吹。融资申请会失败。现金买家会消失。人们在长时间的对话后会玩失踪。<p>起初，我责怪平台。然后，我责怪买家。<p>最终，我意识到问题出在我自己身上。<p>我建立了一个为数量而非资格优化的系统。Facebook Marketplace 在制造对话方面非常出色，但在传递认真程度方面却很糟糕。信用不良不是真正的问题。不明确的期望才是。<p>许多人联系我，是因为它简单、免费且低承诺。而不是因为他们准备好或能够购买。<p>这次失败教会了我一些重要的事情。 你不能靠希望来扩大销售额。<p>我不得不改变一切。<p>我提前收紧了资格审查。我不再把每条消息都当作潜在客户。我更早地问了令人不舒服的问题。我不再追逐那些想要可能性而不是决定的人。<p>这减少了我的消息数量，但提高了我的成交率。<p>最大的教训是： 信用不良的客户不是坏客户。 但未经资格审查的需求会让你比毫无需求更快地精疲力竭。<p>Facebook Marketplace 仍然有效，但前提是你要尊重它是什么。它是一个对话引擎，而不是一个成交引擎。<p>一旦我不再期望它成为它不是的东西，我的业绩就提高了，压力也降低了。<p>这次失败可能为我节省了数年无用的努力。

创建了 Crystalline 协议。该协议将区块链状态不仅仅视为一个键值存储，而是视为一个受策梅洛-弗兰克尔集合论公理支配的数学集合。 该 PoC（用 Rust 编写）演示了一个“公理引擎”，它强制执行正则公理。它在虚拟机层面从物理上阻止循环依赖（逻辑循环）。如果一个交易创建了一个循环，“逻辑防火墙”会在交易执行前将其拒绝。