8作者: jcparkyn4 天前原帖
这是我几年前开始的一个爱好项目,目的是学习编程语言的实现。这个项目95%是手动编写的,虽然最近的一些提交中包含了来自Gemini CLI的代码。<p>我最开始是按照《Crafting Interpreters》这本书进行学习的,但逐渐偏离了原来的方向,直到几乎没有什么共同点。<p>技术栈:Rust、Cranelift(即时编译)、LALRPOP(解析器)。
1作者: akulasairohit4 天前原帖
嗨,HN,我在过去几周里构建了一个名为Meru OS的实验性人工智能操作系统,基于一个理念:智能应该是可验证的,而不是概率性的。 大多数大型语言模型(LLM)都是“黑箱”。我想构建一个“玻璃箱”,使每个输出都能追溯到一个经过认证的来源。 架构: 内核:状态不是用向量表示,而是用整数表示。我们使用算术基本定理(唯一质因数分解)来编码概念。 例子:如果时间 = 3,空间 = 5,那么时空 = 15。这允许通过简单地对整数进行除法来实现可逆的“时间旅行调试”。 虚拟机(Bija):它不仅仅是运行周期;它运行“频率调制”。 内核本身是用特定的质频(赫兹)编码的。 执行实际上是指令与数据之间的“共振”状态,而不是传统的取指-解码-执行流水线。 数据(< 2MB):我们将整个印度宪法、印度刑法典和一个印欧词源词典压缩成一个<2MB的包,使用自定义的基于模式的压缩(Pingala)。 为什么? 主权:逻辑和数据是本地拥有的。没有API调用。 绿色人工智能:它在我的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
2作者: kalyfacloud4 天前原帖
嘿,HN社区, 我是一名来自尼日利亚的独立开发者。我开发了Quran Unlock——一款在你完成每日阅读《古兰经》之前,阻止你使用干扰性应用(如TikTok、Instagram等)的应用。 这个想法源于我自己对手机成瘾的挣扎。我想每天阅读《古兰经》,但总是被各种干扰分心。因此,我为自己开发了这个应用,然后决定分享给大家。 经过两个月的一些统计数据: - 超过123,000名用户 - 64.9%的回访用户率 - 31百万个事件被追踪 技术栈: - React Native - Firebase(身份验证、Firestore、分析、云消息) - RevenueCat用于订阅 - iOS屏幕时间API + Android使用统计 应用商店链接: [App Store](https://apps.apple.com/app/quran-unlock/id6754449406) 谷歌商店链接: [Play Store](https://play.google.com/store/apps/details?id=com.app.quranu) 期待HN社区的反馈!
1作者: Cloudef4 天前原帖
我对当前的档案格式感到失望,要么它们过于复杂,要么是杂七杂八的,要么不支持随机访问(如磁带格式),或者有奇怪的限制(如ar档案)。因此,我自己设计了一个简单的随机访问档案格式。
1作者: manux814 天前原帖
我一直认为,DDD在当时是一个令人惊讶的优秀调试工具。它让程序执行变得可视化:堆栈、数据和控制流都能同时呈现。你可以真正“看到”程序在做什么。 与此同时,它显然是一个不同年代的产物: - 单进程 - 主要是同步代码 - 没有真正的并发或异步概念 - 过时的用户界面和交互模型 今天我们调试的系统截然不同:多线程代码、异步运行时、长时间运行的服务、分布式组件。然而,大多数调试器在概念上仍然与GDB + 单步调试相似,只是包装在一个更美观的用户界面中。 我很好奇其他人对此的看法: - DDD(或类似旧工具)中有哪些理念仍然有价值? - “现代DDD”需要如何处理今天的软件? - 你认为交互式调试仍然是正确的抽象方式吗? 我主要是从设计的角度提问——我自己也在尝试一些调试器的想法,但我更感兴趣的是听听经验丰富的工程师们今天如何看待这个问题。
2作者: nicoritschel4 天前原帖
随着代理的使用,我发现自己越来越多地使用工作树。最初是手动操作,然后是使用 conductor.build,接着是 worktrunk.dev。<p>我更喜欢使用命令行界面(CLI)进行编码,而不是图形用户界面(UI)封装,因为终端通常更高效(这取决于你选择的代理),并且可以立即访问新功能。<p>目前,Ghostty 的自动化有些挑战——我最初考虑过为 Ghostty 构建一个补充应用。但由于最近我一直在开发本地 mac 应用(以及为代理构建工具,处理它们的日志等),我决定直接修改 Ghostty,以实现本地工作树管理。<p>你可以通过 Homebrew 下载:brew install sidequery/tap/ghostree