一周热榜

什么是 Decispher？ 您团队与每个 AI 代理之间的决策层 Decispher 是工程决策的记录系统。它能自动捕获您的团队每天在 Slack、GitHub PR 和文档中产生的决策、约定、约束和理由，然后在需要时立即将这些知识提供给人类和 AI 代理。 您可以将其视为一位资深工程师，他阅读了您团队有史以来所有的 Slack 消息、PR 和架构讨论，并且随时可以秒速提供一个有引证、准确的答案来回答“我们为什么这样做？”。 decispher.com

我使用 Claude Opus 进行高强度规划，使用 Claude Sonnet 5 进行最大强度的编码。

~> dig +short opencode.ai @1.1.1.1 172.65.90.23 172.65.90.20 172.65.90.22 172.65.90.21 ~> dig +short opencode.ai @1.1.1.2 0.0.0.0

各位 HN 的朋友们！我一直在开发 fuse 编程语言，它是一门静态类型、纯函数式语言，支持高阶类型和特设多态。它会编译到 GRIN 全程序优化器，生成 LLVM 生成的原生代码。 Fuse 支持代数数据类型（ADT）、泛型、类型方法、特质（Traits）、模式匹配等，所有这些都以函数式风格实现，没有可变性。 我花了 5 年时间开发这门语言，代码是用 Scala 编写的。我从《类型与程序语言》（tapl）一书中实现的 System F 的基础上开始编码，然后扩展了双向类型检查和高阶多态等概念。 我的主要灵感来源于 Rust、Haskell、Scala 和 Python（在语法方面）。这一切的开端是我想要一门拥有类似 Rust 的概念（如 ADT、Traits、Impl 块语法等），但又具备纯函数式语义的语言。 我非常乐意听取大家对语言设计及其通用用法的反馈。

各位 HN 的朋友们！我们是 Akilan 和 Miguel，MarbleOS 的开发者。<p>Marble 的灵感来源于 Xerox PARC 的图形用户界面（GUI）工作、1984 年的 Macintosh 以及后来的 NeXTSTEP，后者成为了 Mac OS X 的基础。 在图形用户界面出现之前，与计算机交互仅限于一些奇怪的命令行指令，例如：<p>C:\&gt; DIR<p>C:\&gt; COPY FILE.TXT A:<p>你需要记住指令、语法、路径和参数。<p>图形用户界面让这些功能变得可视化。你无需记忆指令，只需指向文件、拖放它们、点击按钮、从菜单中选择操作即可。 这并非一定带来了全新的可能性，而是让已有的功能更容易理解和使用。我们认为，目前的人工智能仍处于类似命令行阶段。<p>尽管严格的语法已被自然语言取代，但交互仍然可能显得生硬，并且高度依赖记忆。像 Claude Cowork 这样的工具，看起来仍然出奇地像终端：`/skill-name [param1] [param2]`。<p>参数以自然语言书写，但用户仍然需要知道存在哪些功能以及如何调用它们。用户需要了解 AI 能做什么、要附加哪个文件、要使用哪个工具或技能、需要什么上下文以及如何表述任务。<p>ChatGPT 在提问方面表现出色，但我们不确定它是否是跨文件、网站、工具和多个代理来委托工作的最终界面。 一旦 AI 开始实际工作，一个空白的文本框和一串聊天记录就会显得捉襟见肘。系统的大部分功能和任务的大部分结构都是不可见的。通过 Marble，我们正在探索一种将 AI 视为工作空间而非另一个聊天应用的界面。 每个委托的任务都变成一张卡片。多个任务可以并排显示并同时运行。文件、工具和最终成果一目了然。在任务运行之前，Marble 还会显示它预期使用的工具。基本理念是，用户不必将整个任务结构都记在脑子里。结果应该是可以直接使用的，例如电子表格、PDF、幻灯片或其他文件，而不是隐藏在聊天记录中的内容。<p>我们并非声称已经找到了代理的最终 GUI 形式。Marble 是我们的一次尝试，旨在探索是否有一种比在聊天框中添加更多工具更好的交互模型。该产品主要面向已经在使用 ChatGPT 或 Claude，但尚未真正采用代理工作流程的用户。我们发现，当工具和可能的操作变得更加可视化时，人们就开始委托他们以前不会通过普通聊天来完成的工作。<p>我们的网站提供可下载的 Beta 版本供您试用。Marble 是否给您一种真正新颖的界面感觉？

大家好， 我正试图在我学校提供的一部旧智能手机上刷入一个新的操作系统。我已经使用 ADB 移除了预装的 MDM 软件，所以准备工作就绪，但遇到了一些问题。 我想使用更高版本的 Android（目前是 Android 12）。我的设备完全符合 VNDK 标准并支持 Project Treble。由于我的设备没有专门的定制 ROM，我需要使用 GSI（通用系统镜像）。我找到了一款 GSI（CrDroid GSI），理论上应该能完美运行。根据 AOSP 和 Project Treble 的说法，任何 Android 版本都应该能在我的设备上运行，即使系统供应商仍然是 Android 12。 但实际上，你只能升级大约两个版本，之后就会开始出现问题。我想使用 Android 15，但目前还不行。我也问过几个 AI，它们都只是说“接受现实吧”。虽然没错，但有没有什么变通的方法呢？（如果你想知道 GSI 是如何做到这一点的，我很乐意在评论中解释） 谢谢！

就是一群老面孔围坐在桌边闲聊，或者一些Z世代在胡乱拼凑一些机器人玩意儿。

我之所以这么问，是因为我尝试了八年，在人工智能和“氛围编码”出现之前。我是一名IT工程师，也是一个勤奋的人。在这八年里，我尝试开发了数十款应用程序。起初我总是充满热情，但很快就会失去动力，意识到我的应用程序毫无用处。于是我停止开发，又对另一个应用程序充满热情，如此循环往复。 我曾暂停了一年，因为我开发了一款很棒的应用程序。那是一款本地应用，只针对我的国家，每周能吸引3000名用户。当时我还是个学生，没有钱支付广告费用。所有的增长都来自于自然流量和社交媒体营销。 我开始觉得离成功只有一步之遥。然后，突然之间，出现了至少三款与我的应用几乎一模一样的竞争对手。它们拥有庞大的营销活动，更完善的版本，甚至还有名人推广它们的应用。 我的用户数量从每周3000人下降到2000人，然后是1000人、300人、100人、30人，最后只剩下了一两个。我变得非常沮丧，因为我曾如此接近成功。我一直都是自费开发我的应用程序，当几个月的心血和花费付诸东流时，感觉更加痛苦。 现在我开发了这款新应用。我发布了它，然后过去的创伤又回来了，哈哈。再次面临资金问题，因为该应用涉及API费用。 我尝试跳出思维定势，创作了歌曲，希望如果歌曲走红，我的应用程序也能获得关注。歌曲确实流行起来，也为我带来了一些收入，但应用程序却毫无动静，哈哈。 我又开始产生新的想法，但我必须改掉这个坏习惯。我向自己承诺，我会为这款应用程序而战，并通过投资计划为其融资。 我比以往任何时候都更看好这款应用程序，因为我不是唯一从中受益的人。用户也能从中获得丰厚的回报。那些目前仍在挣扎、免费分享自己提示词的创意人士，可以通过每一次提示词的重混获得可观的收入。 然而，我从未尝试过融资，我内心的一部分仍然在问，这是否只是八年来和所有我开发过的应用程序一样，又一次重复同样的故事。 所以，我需要您诚实的反馈。请不要恶意攻击，因为我已经为我的想法而苦苦挣扎。我也很感激您能推荐适合我项目的投资者或项目。在经历了之前的经历后，我仍然害怕在没有大量营销预算的情况下上线。 谢谢。

我和我的朋友们已经在 Arcad 上工作了几个月。它是一款免费的、基于浏览器的参数化 CAD 工具，面向爱好者和创客。<p>它具有可编辑的特征历史记录、由 OpenCascade 驱动的实体建模、STEP 导出以及平板电脑的触控操作，尽管它主要为 PC 使用而设计。所有功能都在浏览器中运行，您可以无需创建账户或安装任何东西即可进行尝试。<p>目前处于测试阶段，但我们觉得它已经可以正式发布了。欢迎任何反馈！<p>链接：<a href="https:&#x2F;&#x2F;app.arcad.studio" rel="nofollow">https:&#x2F;&#x2F;app.arcad.studio</a> 文档：<a href="https:&#x2F;&#x2F;www.arcad.studio&#x2F;docs" rel="nofollow">https:&#x2F;&#x2F;www.arcad.studio&#x2F;docs</a>

一个超级低劣的Tumblr帖子，据称是关于动漫UI的，几乎没有实际的图片，大部分都不相关。有很多机器人评论。还推销了数位板。拜托，这里以前不是这样的。我有一个新账号，还被大量的机器人点踩了。