MemeData

Writing an optimizing tensor compiler from scratch 3 天前

黑客新闻新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交登录从头开始编写优化张量编译器 (michaelmoroz.github.io) 17 分，由 t-3 1 天前发布 | 隐藏 | 过去的 | 收藏 | 1 条评论 deterministic 1 天前 [–] 如果你对此感兴趣，我推荐你了解一下 Mojo 语言。回复指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系搜索：

展示 HN：Morph – AI 测试你的 PR 视频，嵌入 GitHub Show HN: Morph – Videos of AI testing your PR, embedded in GitHub 3 天前

## Morph：AI驱动的PR审查一款名为 **Morph (morphllm.com)** 的新工具旨在解决日益严重的审查大型、通常由AI生成的拉取请求（PR）的问题。开发者发现，审查者常常因为PR过大而快速浏览，尤其是在包含大量AI生成代码的情况下，这可能导致潜在的bug被忽略。 Morph通过使用RL训练的智能体来*观察* PR的预览部署，与变更进行交互并在PR内部直接录制视频来解决这个问题。这利用了人们更倾向于通过视频而非文本来获取信息这一事实，提供了一种更有效的方式来理解代码变更的影响——特别是视觉方面的变更。该工具目前专注于React应用程序，追踪代码变更到相应的UI元素。虽然仍在开发中（功能标志和状态管理是挑战），但它旨在捕获单元测试无法发现的问题，例如z-index或滚动容器问题。这一工具引发了关于代码审查最佳实践的讨论，一些人认为不应该完全跳过代码阅读，而另一些人则认为Morph是在大型PR日益普遍的现实中一个有用的辅助工具。

```数据诗歌``` Data Poems 3 天前

诗歌 | 数据可视化我尝试用数字讲述的短篇故事。热门死亡环境语言金钱循环宗教空间与现象

一个黑客新闻的讨论围绕着网站“数据诗歌”(eamer.dev)，展示了精美的数据可视化作品。用户们对该网站表达了强烈的赞赏，形容其作品“富有暗示性和浪漫色彩”，并强调了通过数据讲述故事的力量。一位用户分享了九十年代初创建虚构数据集以测试绘图软件的怀旧经历，享受着数学与艺术之间的互动。他们计划重温旧项目笔记本，可能会记录一生的“黑客项目”。其他人建议进一步的可视化方案，例如“生命之树”，并讨论了对数据的不同看法——有人将其视为诗歌，另一些人则将其视为专注于性能（缓存友好性）的高效几何。总的来说，这场对话赞美了数据中蕴含的艺术潜力以及创造性探索的乐趣。

卓越Pro 颜色 Remarkable Pro Colors 3 天前

## Remarkable 2 & Pro：用户详细视角这位用户最初很喜欢Remarkable 2，并购买了Pro，希望同时使用两台平板电脑——一台用于参考，一台用于书写，模拟纸质设置。虽然Pro的微妙色彩添加值得赞赏，但其在导出绘画时准确性不足，会扭曲原始意图。令人惊讶的是，褪色的色彩方案让用户感到怀旧，在设备上查看照片时别有一番风味。为了解决色彩差异问题，用户为GIMP等图像编辑软件创建了一个基本的色彩配置文件，为预览和调整Pro显示的图像提供了一个“聊胜于无”的解决方案。然而，Pro也存在一些缺点。笔的精准度感觉不如Remarkable 2，缺乏真实笔的响应速度。显示屏也太暗，需要不断使用背光，这会引入蓝色的色调。软件方面的问题包括笔记本同步缓慢、管理界面笨拙，缺乏拖放功能，以及移动应用程序表现不佳。此外，用户还惋惜Pro失去了Remarkable 2所享有的强大的Linux/OSS支持，影响了屏幕共享等功能。尽管存在这些问题，核心书写体验仍然简约且吸引人。

## Remarkable Pro 彩色版：褒贬不一 Remarkable Pro（和Move）总体上收到了积极但细致的反馈。用户称赞该设备的优秀书写体验、便捷的便携性（尤其是Move的袖珍尺寸）以及实用的同步功能——即使在某些情况下无需订阅。彩色显示被认为是一个不错的补充，但并非主要吸引力。然而，批评依然存在。许多用户认为软件体验不足，指出缺乏云存储支持、糟糕的网络/桌面集成以及笔记中缺少链接/目录等令人沮丧的功能等问题。硬件耐用性（特别是2的USB-C端口）以及彩色显示的准确性和对比度也引起了担忧。一个反复出现的主题是希望软件更加开放，用户指出该设备基于Linux系统并具有root权限，这为社区驱动的改进提供了机会。一些人认为Remarkable优先考虑订阅收入而非用户体验和开放开发，从而阻碍了设备的全部潜力。最终，虽然硬件受到好评，但软件限制了该设备真正变得卓越。

突出世界概况，为告别致意。 Spotlighting the World Factbook as We Bid a Fond Farewell 3 天前

经过61年，中央情报局广泛使用的参考资源《世界概况》已停止发布。它起源于1962年的一份名为《国家基础情报手册》的机密文件，于1971年公开发布，并在1981年更名为《世界概况》。该手册于1997年转型为在CIA.gov上的流行数字格式，每年吸引数百万用户，包括研究人员、记者、教育工作者和旅行者。它提供了关于国家和全球实体的全面基本信息，甚至还收录了超过5000张无版权照片，其中一些由中央情报局官员提供。虽然它的出版已结束，《世界概况》留下了易于获取的全球知识遗产，并鼓励人们继续探索世界。

## CIA世界概况网站关闭 – 摘要中央情报局已停止其世界概况网站，并将流量重定向至告别公告。这一决定在Hacker News上引发讨论，用户们惋惜失去了一个有价值的、由公共资金支持的资源。虽然该概况曾是简洁国家数据的可靠来源，但有人认为随着维基百科和易于获取的信息的兴起，它的相关性降低了。然而，许多人强调了该概况的独特之处——其一致的结构、每周更新，以及通常比一些国家来源更可靠的数据。人们担心此举反映了更广泛的拆除公众可访问信息的趋势，以及某些政治领域对事实的不信任。幸运的是，互联网档案中存在已存档的版本，并且一位用户在GitHub上创建了一个可浏览的2020年版本。讨论还涉及了潜在的错误信息以及在日益复杂的信息环境中可靠数据源的重要性。最终，该概况的消失被那些重视其易于访问、汇集和相对公正的信息的人们视为一种损失。

Litestream 可写 VFS Litestream Writable VFS 3 天前

## Litestream 与 Fly.io Sprites 摘要 Litestream 是一款免费开源工具，旨在将 SQLite 数据库与 S3 风格的对象存储同步，提供强大的备份和恢复解决方案，同时不牺牲 SQLite 的速度和简洁性。近来，Litestream 已成为 Fly.io 新的“Sprites”的核心组件——极其快速、可扩展的无服务器容器。 Sprites 通过两种关键方式利用 Litestream：作为全球编排器的基础（取代传统的 Postgres 集群），以及直接在 Sprite 的存储堆栈中使用。存储堆栈利用 Litestream 实现快速启动时间（低于一秒），并提供 100GB 的持久存储。诸如 Litestream VFS（虚拟文件系统）的新功能允许直接从对象存储进行按时间点的 SQLite 查询，即使在冷启动期间也是如此。一种可写 VFS 模式，在同步到对象存储之前缓冲写入，进一步提高了性能。“补水”——后台数据库下载——通过最终从本地副本提供查询来提高稳定状态下的性能。这些功能专为 Sprites 苛刻的需求而设计，优先考虑速度和最终持久性。虽然可能对其他应用程序有用，但 Litestream 仍然是作为伴随进程进行标准读/写 SQLite 同步的强大而高效的解决方案。

黑客新闻新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系搜索：

Codex 应用很酷，它说明了 IDE 和编码 GUI 的左移趋势。 The Codex app illustrates the shift left of IDEs and coding GUIs 3 天前

## Codex 与软件开发的未来 OpenAI 的新款 Codex 桌面应用，虽然并非革命性，但预示着软件构建方式的重大转变。作者将 Codex 与 Claude Code 结合使用，轻松管理“工作树”——允许并行开发较小功能，同时专注于主项目。这使得更高效的多代理工作流程成为可能。然而，该应用真正的意义在于它所代表的更广泛趋势：远离直接与代码交互。作者认为，现代 AI 驱动的开发正在将重点从调试代码本身，转移到管理*生成*代码的*系统*。这可以被视为一个光谱：从传统的 IDE 编码，到 AI 辅助编码，再到代理 IDE，最后到像 Codex 这样的多代理编排——界面中心在于管理 AI 代理，而非阅读代码行。作者认为，最终方向是“规格说明”——优先考虑需求和设计，代码成为次要输出。他们目前正在构建一个专注于这种“规格说明优先”方法的工具。

我们构建了一个用于人工智能代码审查的真实世界基准。 A real-world benchmark for AI code review 3 天前

## Qodo 代码审查基准测试 1.0：AI 评估新标准 Qodo 发布了一项新的基准测试（版本 1.0），用于客观评估 AI 驱动的代码审查系统，解决了现有方法的局限性。当前的基准测试通常只关注通过追踪修复来*检测*错误，忽略代码质量，并且在小型、孤立的提交上运行。 Qodo 的基准测试将功能性错误*和*最佳实践违规注入到来自活跃开源项目的**真实、合并的拉取请求**中（100 个 PR，共 580 个问题）——模拟更大规模的真实审查场景。这允许同时评估代码的正确性和质量。在一项与 7 个领先的 AI 代码审查平台的比较中，**Qodo 获得了 60.1% 的优异 F1 分数**，展现了更好的整体性能。该基准测试采用严格的方法，包括仓库分析、规则提取和真实数据验证，并且已在 GitHub 上公开可用。这项新的基准测试超越了仅仅查找现有错误，以评估工具强制编码标准和理解复杂、系统级代码的能力——这是衡量实际代码审查有效性的更全面和实用的方法。

## Qodo.ai 基准测试与讨论总结一款名为 Qodo.ai 的新型 AI 代码审查工具最近发布了一项基准测试，以评估 AI 在代码审查方面的性能，同时发布了 2.0 版本，该版本采用了“多代理”架构。这一消息在 Hacker News 上引发了讨论。一些评论员质疑该基准测试的客观性，指出 Qodo.ai 在构建产品*之后*才创建了它，这引发了对潜在偏见的担忧（“公司创建基准测试，并且在该测试中表现最佳”）。还有人批评 Qodo.ai 的定价（每位开发者每月 30 美元，PR 审查有限），认为它比 Cursor 等竞争对手更昂贵和受限。讨论还围绕基准测试方法展开。人们对缺乏针对 Anthropic 等最先进 (SOTA) 模型的测试表示担忧，以及定义“良好代码的真相”的难度。一些人建议使用软件发布数据（vX.X.1 错误修复、撤销、大量删除）作为代码质量的指标。最后，用户分享了使用 AI 辅助编码的替代方法，包括构建自定义 linting 规则以及探索不同的定价模式（如 ShipItAI 的 BYOK 选项）。此外，有人报告了 Qodo.ai 价格页面上的一个错误。

展示HN：EpsteIn – 在Epstein文件中搜索你的LinkedIn联系人 Show HN: EpsteIn – Search the Epstein files for your LinkedIn connections 3 天前

本指南详细介绍了如何检查您的 LinkedIn 联系人是否出现在公开的杰弗里·埃普斯坦法庭文件中。它使用一个 Python 脚本（“EpsteIn.py”）来自动化搜索过程。首先，您需要通过 LinkedIn 的“获取您的数据”功能下载您的 LinkedIn 联系人数据（为 CSV 文件）。然后，在设置了所需库的 Python 环境后，运行该脚本，并提供 Connections.csv 文件的路径。该脚本在 DugganUSA.com 索引的埃普斯坦文件中搜索完全匹配的名字，并生成一份报告（EpsteIn.html）。该报告总结了搜索的总联系人数量、被提及的联系人数量，并为每个匹配项显示单独的“卡片”，包括姓名、职位、公司、提及次数、文档摘录以及原始 PDF 的链接。结果按提及次数排序。请注意常见名字可能出现的误报，并仔细审查提供的上下文。

不再隐藏的变更：MySQL 9.6 如何变革外键管理 No More Hidden Changes: How MySQL 9.6 Transforms Foreign Key Management 3 天前

本网站目前遇到技术问题。我们已知悉该问题，并正在尽快修复。对于由此带来的不便，我们深表歉意。要与甲骨文销售代表联系：1.800.ORACLE1。要从世界各地联系甲骨文公司总部：1.650.506.7000。要在美国获得技术支持：1.800.633.0738。事件编号：0.a87c3617.1770241008.2466b954

## MySQL 9.6 及文档问题最近的 Hacker News 讨论强调了对 MySQL 9.6 及其配套文档的担忧。虽然该版本通过 `innodb_native_foreign_keys` 引入了对外部键管理的重大改进，但 Oracle 的文档似乎不完整。发行说明和“新特性”手册页面都没有提及这些更改，后者甚至直接复制了上一版本的内容。用户，包括来自 MySQL 社区和前员工的人员，表达了失望之情，并指出自转向季度发布以来，文档质量有所下降。人们担心 Oracle 对社区版的承诺，尽管最近承诺会给予更多关注。对话还涉及了 MariaDB 和 PostgreSQL 等潜在替代方案，以及对其各自优势的争论。一些人建议 Oracle 考虑出售 MySQL，而另一些人则建议由基金会主导其开发。最终，讨论强调了一种日益增长的观点，即 MySQL 的开发和文档正在落后，促使人们考虑替代数据库解决方案。

每日HackerNews RSS