最新

Hi HN，大家好，我花了过去几周的时间构建了一个实验性的 AI 操作系统，名为 Meru OS，其理念是智能应该可验证，而不是概率性的。 大多数 LLM 都是“黑盒”。我想构建一个“玻璃盒”，其中每个输出都能追溯到一个经过认证的来源。 架构： 内核：状态用整数表示，而不是向量。我们使用算术基本定理（唯一素数分解）来编码概念。 例如：如果时间 = 3，空间 = 5，那么时空 = 15。这允许通过简单地除以整数来实现可逆的“时间旅行调试”。 管理程序 (Bija)：它不仅仅运行周期，它运行“频率调制”。 内核本身用特定的素数频率 (Hz) 编码。 执行实际上是指令和数据之间的“共振”状态，而不是一个取指-解码-执行的流水线。 数据（< 2MB）：我们使用基于自定义模式的压缩（Pingala）将整个印度宪法、印度刑法典和印欧语源词典压缩成一个 <2MB 的包。 为什么？ 主权：逻辑和数据归本地所有。没有 API 调用。 绿色 AI：它在我的 MacBook 的 CPU 上运行，发热量/功耗可以忽略不计。 吠陀逻辑：它将帕尼尼的语法规则（Ashtadhyayi）实现为图遍历算法，而不仅仅是统计注意力。 这绝对是实验性的，但它质疑“规模就是一切”的教条。很希望收到关于可逆素数状态机逻辑的反馈。 链接： 代码：[https://github.com/akulasairohit/meru-os](https://github.com/akulasairohit/meru-os) 实时演示：[https://huggingface.co/spaces/akulasairohit/panini-demo](https://huggingface.co/spaces/akulasairohit/panini-demo) 宣言：[https://www.linkedin.com/pulse/introducing-meru-os-worlds-first-sovereign-ai-stack-akula-pf68e](https://www.linkedin.com/pulse/introducing-meru-os-worlds-first-sovereign-ai-stack-akula-pf68e) 谢谢，Rohit

嘿，HN 社区， 我是一个来自尼日利亚的独立开发者。我开发了 Quran Unlock - 一个可以屏蔽干扰性应用（TikTok、Instagram 等）的应用程序，直到你完成每日的古兰经阅读。<p>这个想法源于我自己对手机成瘾的挣扎。我希望每天都能阅读古兰经，但总是分心。所以我为自己开发了这个应用，然后分享了出来。<p>两个月后的一些数据：- 12.3 万+ 用户 - 64.9% 的用户回访率 - 追踪了 3100 万次事件<p>技术栈：- React Native - Firebase (身份验证、Firestore、分析、云消息传递) - RevenueCat 用于订阅 - iOS 屏幕使用时间 API + Android UsageStats<p>App Store：<a href="https:&#x2F;&#x2F;apps.apple.com&#x2F;app&#x2F;quran-unlock&#x2F;id6754449406">https:&#x2F;&#x2F;apps.apple.com&#x2F;app&#x2F;quran-unlock&#x2F;id6754449406</a><p>Play Store：<a href="https:&#x2F;&#x2F;play.google.com&#x2F;store&#x2F;apps&#x2F;details?id=com.app.quranu">https:&#x2F;&#x2F;play.google.com&#x2F;store&#x2F;apps&#x2F;details?id=com.app.quranu</a>...<p>希望得到 HN 社区的反馈！

我对现有的归档格式感到失望，它们要么过于复杂，要么功能臃肿，要么不支持随机访问（磁带格式），要么存在奇怪的限制（ar 归档）。因此，我“重新发明轮子”设计了一个简单的随机访问归档格式。

我一直认为 DDD 在它那个时代是一个出人意料的好调试器。 它让程序执行变得可视化：堆栈、数据和控制流都同时呈现。你可以真正“看到”程序在做什么。 与此同时，它显然是不同时代的产物： * 单进程 * 大部分是同步代码 * 没有真正的并发或异步概念 * 过时的 UI 和交互模型 如今，我们调试的是非常不同的系统：多线程代码、异步运行时、长时间运行的服务、分布式组件。 然而，大多数调试器在概念上仍然感觉接近 GDB + 步进，只是被包裹在一个更漂亮的 UI 中。 我对其他人如何看待这个问题很感兴趣： * DDD（或类似的旧工具）中哪些想法仍然有价值？ * “现代 DDD”需要处理当今的软件，需要具备什么？ * 你认为交互式调试仍然是正确的抽象吗？ 我主要从设计的角度提问——我自己一直在尝试一些调试器的想法，但我更感兴趣的是听听有经验的工程师今天如何看待这个问题。

使用代理时，我发现自己越来越频繁地使用工作树。起初是手动操作，后来用 conductor.build，再后来用 worktrunk.dev。<p>我更喜欢使用编码 CLI 而不是 UI 包装器，因为终端往往性能更好（取决于你选择的代理），而且你可以立即访问新功能。<p>目前 Ghostty 的自动化有点挑战——我最初考虑为 Ghostty 构建一个配套应用。但由于我最近一直在构建原生 Mac 应用（以及用于代理的工具，例如处理它们的日志等），我决定直接修改 Ghostty，使其具有原生工作树管理功能。<p>你可以通过 homebrew 下载：brew install sidequery/tap/ghostree