最新

我一直在开发一个工具，帮助开发者在几分钟内从一个空白代码库 → 部署带有身份验证和支付功能的 SaaS 应用。<p>问题所在<p>在构建副业项目或 SaaS 应用时，我发现自己一遍又一遍地设置相同的东西：<p>• 身份验证<p>• 集成支付<p>• 生产环境部署<p>模板是存在的，但它们是静态的。AI 编码工具也存在，但它们无法让你直接获得一个带有登录和支付功能的、可用于生产环境的应用程序。我想要一个能够同时做到这两者的工具。<p>从想法到投入生产，你通常会遇到哪些阻碍？

大家好，HN用户： 我一直在利用晚上和周末的时间开发我的第一个安卓应用，上周终于发布了。它叫Kibo，一个简单、注重隐私的费用追踪应用，使用AI和OCR技术让记录开支不再痛苦。 我想解决的问题是： 我试用过很多预算应用，但大多数要么速度慢，臃肿，充斥着广告，要么将基本功能锁定在订阅之后。我想要一个我每天都会使用的东西——快速、轻量级且注重隐私。 Kibo的功能： • AI根据开支名称即时建议类别和表情符号 • OCR读取收据并自动填写交易详情 • 简洁的Material You设计，支持亮色/暗色/系统主题 • 免费版包含每月20笔交易，自定义类别无限制 • 安全的云同步（端到端加密） 技术栈： 使用Kotlin + Jetpack Compose构建，Firebase用于身份验证/存储，MLKit用于OCR。AI分类使用在类别数据集上微调的轻量级NLP模型。 我很乐意收到关于用户体验和技术方面的反馈。您会如何改进这种小众消费类应用的发现度？也欢迎提出关于架构的建议——目前除了同步之外，所有操作都在客户端运行。 Play商店链接：<a href="https:&#x2F;&#x2F;play.google.com&#x2F;store&#x2F;apps&#x2F;details?id=com.kibo.app">https:&#x2F;&#x2F;play.google.com&#x2F;store&#x2F;apps&#x2F;details?id=com.kibo.app</a> 感谢您的关注——如果有人感兴趣，我很乐意深入探讨代码或设计决策。

Show HN: 可证明性结构 — 从安全措施到 AI 智能体的保证 <a href="https:&#x2F;&#x2F;mateopetel.substack.com&#x2F;p&#x2F;provability-fabric-the-safety-contract" rel="nofollow">https:&#x2F;&#x2F;mateopetel.substack.com&#x2F;p&#x2F;provability-fabric-the-saf...</a><p>如今，大多数 AI 的“安全”都只是一种感觉。 提示被强化，启发式方法被堆叠，仪表盘闪烁着绿色。但是，当智能体可以调用工具、流式传输输出或改变状态时，这种感觉是无法扩展的。你需要将数学融入到运行时中。<p>可证明性结构（PF）是一个用于携带证明行为的框架：<p>规范到证明层 → ActionDSL 策略编译为 Lean 4 义务 + 运行时监视器<p>可证明的智能体捆绑包（PABs）→ 绑定规范、证明、SBOM、出处的签名包<p>Rust 伴生程序 → 对所有事件的完整调解（调用、返回、日志、解密、emit_chunk、emit_end）<p>出口证书 → 每个输出都会获得一个签名判决（通过/失败/不适用）<p>TRUST-FIRE 测试套件 → 针对混乱、回滚、隐私衰减、对抗性适配器的压力测试<p>核心赌注：<p>“安全不是一个设置。它是你的语义和你的运行时之间的对应证明。”<p>希望得到 HN 的看法：<p>这是不是超越感觉，走向可证伪保证的正确方法？<p>可携带证明的捆绑包（如 PAB-1.0）是否应该成为部署智能体的标准？<p>你认为需要什么才能让你信任生产环境中的智能体——证明、监视器或其他什么？

我会尽可能直截了当，不废话。<p>这是我开发的第六个项目，也是第一个有意义收入的项目。虽然你可以认为500欧元月经常性收入（MRR）的收入很少，但对我来说，这是一个巨大的进步。我不是来炫耀这有多少，只是想分享一下我是如何走到这一步的，以及我学到了什么。我知道我还有很多要学的东西。<p>1. FitMe - 30个用户，0美元，失败（开发了6个月，发布后，0用户反馈，我对此感到非常疲惫和厌倦，技术上极具挑战性。我构建了一些“酷”的东西，而不是我真正想要的东西） 2. Pickpocket Alert - 0美元，失败。32,000个用户。（不知道如何变现。） 3. Nationality Guesser - 9欧元MRR，失败。22,000个用户。（定价太糟糕，感觉这个应用有点种族歧视，所以我停止了。） 4. Ultra Mega Chad (AI Aggregator) - 0美元，失败。50个用户。说实话，我只是想学习LLM API/提示词是如何工作的，我认为这有潜力，并且已经看到竞争对手崛起。 5. Feasty AI - 0美元，失败，0个用户。我很快意识到：我到底在干什么？我到底在构建什么。谁需要这个？没人。我需要停止构建我认为很酷的东西，只构建人们需要的东西。 6. AEO Checker - 3,000个用户 - 500欧元MRR，成功？当前项目AEO Checker<p>1. 寻找创意 去Google Trends/Tiktok趋势看看，什么在增长，什么被讨论，竞争对手多不多？谷歌上的关键词竞争程度低吗？好的，那就去做吧。<p>2. 尽快发布，只构建一个功能。 你只需要一个功能。有人为此付费吗？是 -> 继续。否 -> 换下一个创意。在一两周内构建一些东西，看看是否有人购买。<p>3. 为MRR而构建，而不是为用户而构建 不要追逐更多用户，追逐更多付费用户。我的Pickpocket Alert应用有32,000个用户，但我没有赚到钱。Nationality Guesser有22,000个用户，但只有3个付费用户。不要浪费时间追逐用户数量的增长。甚至不要跟踪它。只跟踪付费用户。AEO Checker的用户少得多，但它的收入是其他我构建的任何项目的500倍。<p>4. 定价 提高你的价格。就这样做。我开始时每周3欧元或每月9欧元，并获得了一些订阅者。然后我提高了价格9-25-55，有两个人购买了55欧元，这相当于6个人获得了我之前最高的9欧元。有钱的用户无论如何都会购买你的最高档产品，所以就提高价格吧。我甚至在考虑提高价格，我的竞争对手已经在这么做了。<p>5. 免费试用 一开始就移除它们。需要你产品的人无论如何都会购买。不需要的人只会使用免费试用，然后不会转化。除非你的产品好到即使是不打算付费的用户最终也会付费，否则就不要这样做。如果你正在构建SaaS，我认为这不值得。<p>6. 引导/转化 设置某种流程或引导，用户需要在你的网站上承诺一些东西，然后在最后给他们提供他们想要的东西，放在付费墙后面。<p>7. SEO 这太难了，有这么多专家，而且竞争对手无论如何都会购买广告。在我看来，最重要的即时SEO提升是你的域名。停止使用愚蠢的域名，直接用你的域名/项目来命名它所做的事情或用户搜索的内容。（例如，对我来说，我知道用户会搜索AEO Check，因此我的域名是aeochecker.ai）<p>8. X Twitter/X非常强大，用你自己的账号开始在那里发布关于公开构建的内容，每天发布2-3个帖子，你就能从中获得推荐。<p>9. Reddit 使用Reddit进行推广，但要聪明，不要直接贴出你的产品，你会立即被封禁，而且毫无意义。找到非常细分和非常小的子版块。这就是我在一个有1000个成员的子版块中获得18,000次浏览量帖子的方式。<p>其他我需要学习更多的主题：广告、UGC、定价（需要改进）、X上的垃圾信息。你们对这些有什么看法，我很乐意听到更多成功人士的意见。也许我发现的实际上并不是好的建议，我只是运气好，我不知道。

我制作了一款完全基于 Swift 的 Bluesky 应用。它使用了最新的 Liquid Glass 设计语言和 iOS 26+ API。