## Turso 的 1GB SQLite 之谜被 LLM 解决
Turso，一个基于 Rust 的 SQLite 重写版本，遇到一个奇怪的数据损坏问题：任何超过 1GB 的数据库，在下一次写入时都会失败完整性检查。 最初的确定性模拟测试未能发现根本原因，因为测试总是在达到 1GB 阈值*之前*触发失败。
进一步调查发现，数据库实际上并没有以传统意义上损坏——数据仍然可读且完整，创造了一个悖论的“薛定谔的数据库”。解决方案来自 Turso 开发者 Nikita Sivukhin，他发现了一个特殊的 SQLite 行为：超过 1GB 后，一个带有唯一字节的特殊页面会被插入到数据库的 B-Tree 中。
Turso 的实现中没有包含这个页面，导致 SQLite 将数据库标记为已损坏。 值得注意的是，Nikita 似乎“知道”这个细节，这归功于 SQLite 源代码存在于他的训练数据中——因此他获得了“大型语言模型 Nikita”（LLN）的绰号。 这凸显了隐式、未记录的行为如何成为系统规范的一部分，以及 LLM 如何帮助解读复杂的代码库。 该修复现在已经实施，展示了将严格测试与大型语言模型中嵌入的知识相结合的力量。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
在编写兼容系统中的冒险 (turso.tech)
7 分，by ezekg 1小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 汽车对现代生活的掌控 人们越来越质疑汽车拥有是成年必需品的假设，揭示了汽车文化如何主导我们的城市和生活。最初汽车被设想为自由的工具，但如今看来，它们可能创造了一种依赖系统——这种系统由交通拥堵、成本以及为汽车而非人为设计的环境所驱动。 这并非偶然。早期的汽车制造商积极重塑公众认知，将事故归咎于行人，并倡导制定诸如“乱穿马路”之类的法律，以优先考虑车辆通行。基础设施也随之调整，高速公路和停车场重塑了城市空间，并削弱了公共交通。这种以汽车为中心的模式受到大量补贴，掩盖了污染和医疗保健等真实成本。 然而，一场转变正在出现。研究表明，Z世代对驾驶的兴趣较低，将汽车视为必需品而非自由的象征。城市开始扭转以汽车为中心的政策，取消乱穿马路罪，并探索取消交通信号灯——这些实验表明驾驶员的意识和安全性有所提高。像安德烈·戈尔茨这样的哲学家早就批判了汽车的孤立效应，认为它分裂了生活并助长了消费主义。最终，质疑我们对汽车的依赖，并非关于不便，而是关于夺回公共空间，并建设为人类而非机器设计的社区。
## 汽车所有权的吸引力下降
最近一篇质疑“机动自由神话”的文章引发了 Hacker News 的讨论，揭示了人们对汽车所有权态度的复杂转变。 汽车所有权曾经是人生中的重要里程碑，尤其是对于 Z 世代而言，但现在许多人不太愿意考取驾照，更倾向于数字连接和便利性，而非实际出行，尤其是在城市中。
然而，评论员强调了地理位置的重大影响。 经历因地而异； 那些居住在公共交通发达的欧洲城市的人最初更喜欢公共交通，但注意到近期服务质量和可负担性有所下降。 另一些人指出，良好的公共交通主要限于大城市，而农村地区仍然严重依赖汽车。
对话还涉及了更广泛的社会因素，例如公共工程领域的公民投资减少以及对个人便利性的优先考虑。 最终，该讨论表明，交通的未来并非简单地拒绝汽车，而是城市密度、可达性、个人偏好以及公共交通和远程工作等替代方案质量之间微妙的相互作用。 汽车的优势地位是规划选择的结果，但改变这些选择是可能的。
arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
GPT-4 性能的 93% 以 1/4 的成本：使用弱多臂老虎机反馈的 LLM 路由 (arxiv.org)
21 分，tdchaitanya 发表于 31 分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
反建制派与威权民粹主义者以及对强人的支持 (frontiersin.org)
21 分，PaulHoule 1小时前 | 隐藏 | 过去 | 收藏 | 3 评论
darth_avocado 17分钟前 | 下一个 [–]
完全是个人观点：所有形式的民粹主义都与经济中的财富不平等程度和底层50%的生活水平直接相关。其他一切都只是对自身处境的沮丧表现。回复
dash2 32分钟前 | 上一个 [–]
小心 Frontiers In... 期刊。它们名声不太好。回复
JumpCrisscross 14分钟前 | 父评论 [–]
> 小心 Frontiers In... 期刊。它们名声不太好。
你能证实一下吗？摘要看起来很有吸引力，但我不想在垃圾期刊上浪费时间。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
这篇文章详细介绍了一款于2003年发布、独特的“教育电脑”——一款面向儿童、注重学习的任天堂克隆机（Famiclone）。这套系统是在一家慈善商店发现的，包含手柄、鼠标和光枪，由于其欧式插头电源，显然是针对欧洲市场设计的。
尽管广告宣传了《魂斗罗》，但该系统依赖于一个“48合1”游戏和教育软件卡带。内部结构是标准的Famiclone，基于一个被环氧树脂覆盖的芯片，并配备了一个出人意料地实用的键盘，采用“滑块式薄膜”设计。该卡带拥有32KB的SRAM，支持类似《Family BASIC》的功能，但缺少存档功能。
该系统的用户界面模仿Windows，包含《鸭子猎人》和《田径竞赛》（分解为许多小游戏）等知名游戏，以及打字游戏和一个简陋的音乐程序。有趣的是，手柄按钮布局与标准NES手柄相反。总而言之，这款设备代表了对老旧的8位Famicom硬件的最后一次利用，旨在将其作为一种经济实惠的计算和游戏入门方式。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
独特的、高科技（家庭）电脑 (nicole.express)
4 分，作者 zdw，49 分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
您的请求已被阻止，原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处注册或使用您的开发者凭据登录。此外，请确保您的User-Agent不为空，并且是独特且具有描述性的，然后重试。如果您正在提供替代的User-Agent字符串，请尝试改回默认设置，因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您，或者想讨论更轻松地获取所需数据的方式，请在此处提交工单。联系我们时，请提供您的Reddit帐户以及以下代码：68eea77f-509f-46c3-aadb-d69aab0119a6
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
iPhone闹钟应用的时间选择器不是圆形的，而只是一个长列表 (reddit.com)
23点 由 oidar 38分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
编译晚餐
Compiling Dinner
1 小时前
## 代码之外：一种新的视角 遵循食谱的行为与计算机执行代码出奇地相似——食材是输入，动作是指令，厨师是处理器。这种类比揭示了食谱*是*一种语言，而烹饪是一种编译形式，涉及解析指令并实现期望的输出。 大型语言模型（LLM）现在正在 democratize 这个过程。 传统上，构建编译器需要专业知识，但 LLM 允许任何人使用纯语言定义规则并快速生成代码来处理它们——从食谱创建购物清单，或优化烹饪时间表。 这种“编译器视角”远远超出了厨房的范围。 锻炼、业务流程，甚至音乐都可以被视为具有潜在语法的程序。 LLM 赋能人们在任何领域探索这些结构，将重点从*构建*完美系统转移到*理解*意图如何转化为行动。 虽然人类判断在定义期望结果（例如，食谱中的速度与营养）方面仍然至关重要，但 LLM 使所有人都可以绘制和试验这些系统。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
编译晚餐 (gist.github.com)
4 分，来自 breadchris 2 小时前 | 隐藏 | 过去 | 收藏 | 3 条评论
mpalmer 6 分钟前 | 下一个 [–]
“它不仅仅适用于_____，实际上它_____”
无法摆脱这个被过度使用的 LLM 模式，尤其是在这种情况下，几乎每隔一段就会出现一次。回复
swiftcoder 10 分钟前 | 上一个 | 下一个 [–]
简单的解析器在 LLM 出现之前就很简单了。
讽刺的是，使用 LLM 编写简单的解析器会失去 LLM 最好的部分：它将自然语言解析成某种结构的能力。
将 LLM 本身作为解析器前端似乎更有趣...回复
arjvik 19 分钟前 | 上一个 [–]
这本身就是由 LLM 编写的，对吧？回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
隔离(任何)
Isolated(any)
1 小时前
## @isolated(any): 摘要 `@isolated(any)` 是 Swift 并发中一个看似矛盾的属性，常见但通常可以忽略。它被引入是为了解决在使用异步函数时信息丢失的问题——特别是无法静态确定函数的隔离性（它绑定到哪个 actor）。 它为函数类型添加了一个 `isolation` 属性，允许访问它是否隔离到 actor。这使得诸如更智能的任务调度等功能成为可能，并且至关重要的是，在使用 `Task` 时保留了顺序保证——允许同步提交到 actor。 虽然它*不影响*你作为开发者调用函数的方式，但它为 API 本身提供了有价值的信息。你可能不需要直接使用它，但在将隔离函数捕获并传递到利用它的 API 时，采用它是很有益的。 本质上，`@isolated(any)` 是一种幕后机制，可以改进并发系统，提供未来灵活性的潜力，并实现优化，而无需开发人员进行重大干预。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Isolated(any) (nshipster.com)
9 分，由 peterspath 53 分钟前发布 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
AI 进入资助领域，挑选赢家 (science.org)
8 分，JeanKage 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## 加速学习：知识的构建以促进记忆
彼得·沃兹尼亚克博士的文章概述了20条最大化学习速度和记忆力的方法，重点在于*如何*构建知识，而不仅仅是学习*什么*。核心原则是**简洁性**：越容易处理的事物，就越容易记住。
关键策略包括**理解先于记忆**，从**基本概念**入手，并遵循**最小信息原则**——将复杂的想法分解为简洁、具体的问题和答案。强烈推荐使用**完形填空**和**图像化**等技巧。
文章强调应尽可能避免使用**集合与枚举**（列表），并通过使项目明确且利用上下文来对抗**记忆干扰**。**个性化**以及将信息与**情绪状态**联系起来可以进一步增强回忆。
最后，强调了提供知识的**来源与日期**的重要性，以及根据重要性**优先排序**学习内容。最终，有效的学习不仅仅是吸收信息，而是有策略地*构建*信息以实现长期记忆，尤其是在与间隔重复系统（如SuperMemo）结合使用时。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
有效学习：构建知识的二十条规则 (1999) (supermemo.com)
10 分，来自 swatson741 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
_qua 16 分钟前 [–]
如果我没有偶然发现这篇文章和 Anki，通过一篇 Wired 文章，我不确定我是否能进入或通过医学院。它们让我大开眼界，并将我从一个普通的聪明学生变成了班级领导者。我计划在完成专科后继续使用卡片，但遗憾的是，生活总是会干扰。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：