嗨，HN，
我是一名来自西雅图的高中生，热爱骑行爬坡。<p>我发现像谷歌地图这样的路线规划工具可以帮助你从A点到B点骑行，但它们并不提供<i>有趣</i>的路线。因此，我自己制作了一个工具。<p>RouteScout 让你可以：
- 控制路线的路面（骑公路车时绝对不选碎石或泥土！）
- 表达你对坡度的偏好（我喜欢或讨厌坡度会给你不同的路线）
- 优先选择有自行车道和专为自行车设计的道路
- 过滤道路类型（大路统统不选！）
- 在环形路线中，不会让你在回程时走同样的道路。<p>*即将推出的功能*：能够使用你在 Strava 上的历史活动，给你提供偏好从未骑过（或已经骑过）的道路的选项。<p>这个应用永久免费（不出售数据）。你可以在这里试用：<a href="https://routescout.tennisbowling.com" rel="nofollow">https://routescout.tennisbowling.com</a><p>我负责所有的路线规划、数据库和逻辑（没有使用人工智能）。如果你在使用中遇到任何问题，请通过电子邮件联系我，邮箱是 rs@tennisbowling.com，我会尽快修复。
返回首页
最新
嗨，HN！我创建了 <a href="https://chattopdf.app" rel="nofollow">https://chattopdf.app</a>，因为在更换手机时丢失了重要的WhatsApp对话。
问题：WhatsApp内置的导出功能生成的.txt文件杂乱无章，难以阅读和专业分享。无论是商业对话、家庭回忆还是法律文件，都没有一种干净的方式来归档聊天记录。
它的功能：
<p>将WhatsApp导出的聊天记录转换为干净、格式化的PDF文件
保留时间戳、发件人姓名和消息流
正确处理媒体占位符和表情符号
适用于个人聊天和群组聊天
我一直在开发一个工具，帮助开发者在几分钟内从空白代码库构建出具备身份验证和支付功能的SaaS应用并部署上线。
问题
在构建一个副项目或SaaS时，我发现自己不断重复设置相同的内容：
• 身份验证
• 集成支付
• 生产环境部署
虽然有模板，但它们是静态的。虽然存在AI编码工具，但它们无法让你快速构建出具备登录和支付功能的生产就绪应用。我希望能有一个同时满足这两者的工具。
在从想法转向生产时，你通常会遇到哪些障碍？
嗨，HN，
我最近在晚上和周末忙于开发我的第一个Android应用，终于在上周发布了。这个应用叫做Kibo，是一个简单、注重隐私的费用追踪器，利用人工智能和光学字符识别（OCR）技术，让记录开支变得不那么痛苦。
我想解决的问题：
我尝试了很多预算管理应用，但大多数要么运行缓慢，要么臃肿不堪，要么充满广告，或者将基本功能锁定在订阅后。我想要一个我每天都能实际使用的应用——快速、轻量且注重隐私。
Kibo的功能：
- AI根据费用名称即时建议类别和表情符号
- OCR自动读取收据并填写交易详情
- 干净的Material You设计，支持浅色/深色/系统主题
- 免费版每月包含20笔交易，支持无限自定义类别
- 安全的云同步（端到端加密）
技术栈：
使用Kotlin和Jetpack Compose构建，Firebase用于身份验证和存储，MLKit用于OCR。AI分类使用经过类别数据集微调的轻量级自然语言处理模型。
我非常希望能收到关于用户体验和技术方面的反馈。你们会如何改善这样一个小众消费应用的可发现性？同时也欢迎对架构提出建议——目前除了同步，所有功能都在客户端运行。
应用商店链接：[https://play.google.com/store/apps/details?id=com.kibo.app](https://play.google.com/store/apps/details?id=com.kibo.app)
感谢你们的关注——如果有人感兴趣，我很乐意深入讨论代码或设计决策。
展示 HN：可证明性框架——从安全边界到 AI 代理的保证
<a href="https://mateopetel.substack.com/p/provability-fabric-the-safety-contract" rel="nofollow">https://mateopetel.substack.com/p/provability-fabric-the-saf...</a>
<p>目前大多数 AI 的“安全性”仅仅是感觉。
提示被固化，启发式方法堆叠，仪表盘闪烁绿色。但当代理可以调用工具、流式输出或变更状态时，单靠感觉是无法扩展的。你需要将数学嵌入运行时。</p>
<p>可证明性框架（PF）是一个用于证明行为的框架：</p>
- 规范到证明层 → ActionDSL 策略编译为 Lean 4 的义务 + 运行时监控
- 可证明代理包（PABs） → 绑定规范、证明、SBOM、来源的签名包
- Rust 边车 → 完全中介所有事件（调用、返回、日志、解密、发出块、发出结束）
- 输出证书 → 每个输出都获得签名裁决（通过/失败/不适用）
- TRUST-FIRE 测试套件 → 针对混乱、回滚、隐私消耗、对抗适配器的压力测试
<p>核心赌注：</p>
“安全性不是一个设置。它是你的语义与运行时之间的对应证明。”
<p>希望听听 HN 的看法：</p>
- 这是超越感觉走向可证伪保证的正确方式吗？
- 证明携带包（如 PAB-1.0）应该成为部署代理的标准吗？
- 你需要什么才能信任生产环境中的代理——证明、监控，还是其他什么？
我会尽量简洁明了，不说废话。
这是我建立的第六个项目，第一个有了实际收入，虽然你可能认为500欧元的月经常收入（MRR）算不上多，但对我来说这是巨大的进步。我不是来宣称这有多好，只是想分享我如何走到这一步以及我学到的东西。我知道我还有很多需要学习的地方。
1. FitMe - 30个用户，0美元，失败（花了6个月时间开发，推出后没有用户反馈，感到非常疲惫和厌倦，技术上也非常具有挑战性。我建造了一个“酷”的东西，而不是我真正想要的。）
2. Pickpocket Alert - 0美元，失败，32,000个用户。（不知道如何变现。）
3. Nationality Guesser - 9欧元月经常收入，失败，22,000个用户。（定价糟糕，觉得这个应用有点种族歧视，所以我停止了。）
4. Ultra Mega Chad（AI聚合器） - 0美元，失败，50个用户。公平地说，我只是想学习大型语言模型API/提示的工作原理，我认为这个项目有潜力，并且看到了一些竞争对手崛起。
5. Feasty AI - 0美元，失败，0个用户。我很快意识到：我在做什么？我在建造什么？谁会需要这个？没有人。我需要停止构建我觉得酷的东西，只构建人们需要的东西。
6. AEO Checker - 3,000个用户 - 500欧元月经常收入，成功？当前项目AEO Checker。
1. 寻找创意
查看Google Trends/TikTok趋势，看看哪些在增长，哪些在被讨论，是否有一些但竞争者不多？Google上的关键词竞争是否较低？如果是，那就去做吧。
2. 尽快推出，只需构建一个功能。
这就是你所需要的，1个功能。人们为此付钱吗？是的话，继续。不是的话，去下一个创意。在1-2周内构建一些东西，看看是否有人购买。
3. 为月经常收入而构建，而不是为了用户
不要追求更多用户，而是追求更多付费用户。我在我的Pickpocket Alert应用中得到了32,000个用户，但我没有赚到一分钱。Nationality Guesser有22,000个用户，但只有3个付费用户。不要浪费时间追求增加用户数量，甚至不要跟踪它。只跟踪付费用户。AEO Checker的用户少得多，但它的收入是我之前构建的任何项目的500倍。
4. 定价
提高你的价格。就这样做。我最初定价为每周3欧元或每月9欧元，得到了几个订阅者。然后我将价格提高到9-25-55欧元，得到了两位购买55欧元的用户，这相当于6位用户购买我之前最高的9欧元。富有的用户无论如何都会购买你最高级别的产品，所以就把价格定得更高。我甚至在考虑定得更高，我的竞争对手已经在这么做了。
5. 免费试用
一开始去掉它们。需要你产品的人无论如何都会购买。不需要的人只会使用免费试用而不会转化。除非你的产品好得令人难以置信，即使是不愿意付费的用户也会最终付费，否则就不要这样做。如果你在构建SaaS，我认为这不值得。
6. 用户引导/转化
设计某种流程或引导，让用户需要承诺使用你网站提供的某些内容，然后在最后给他们想要的东西，放在付费墙后面。
7. SEO
这非常困难，有很多专家，竞争对手也会购买广告。在我看来，最重要的即时SEO提升是你的域名。停止使用愚蠢的域名，直接将你的域名/项目命名为它的功能或用户搜索的内容。（例如，对我来说，我知道用户会搜索AEO Check，因此我的域名是aeochecker.ai）
8. X
Twitter/X是如此强大，开始在你的账户上发布关于公开构建的内容，每天随机发布2-3条，你会从中获得推荐。
9. Reddit
利用Reddit进行推广，但要聪明地做，不要随意宣传你的产品，否则会立即被封禁，毫无意义。找到超级小众和小型的子版块。这就是我在一个只有1,000名成员的子版块中获得18,000次浏览的原因。
我还需要学习更多的其他主题：广告、用户生成内容、定价（需要改进）、X上的发帖。你们对这些有什么看法，我很想听听更多成功人士的意见。也许我发现的并不是真正的好建议，我只是运气好，不知道。