Anthropic公司在其大型语言模型Claude中引入了新的研究功能，该功能利用多智能体系统在网络、Google Workspace以及其他集成工具上进行复杂任务的搜索。文章详细介绍了该系统的架构、工具设计和提示工程，以及如何通过多代理协作、并行搜索和动态信息检索来提升搜索效率。多智能体系统虽然消耗更多token，但在处理需要广泛搜索和并行处理的任务时，其性能显著优于单智能体系统。该系统在内部评估中表现出色，尤其在需要同时探索多个方向的广度优先查询方面。
阅读更多
伦敦地铁维多利亚线以其持续高温而臭名昭著。2024年平均温度高达28摄氏度，甚至超过了运送牲畜的法律规定温度。尽管伦敦交通局（TfL）投入巨资进行降温改造，包括空调和通风系统，但维多利亚线由于其深度和独特的地理结构（深埋于伦敦粘土层中），降温效果甚微。相比之下，其他地铁线路的平均气温增幅仅为7%，而维多利亚线自2013年以来却飙升了近7度，增幅接近30%。高温不仅影响夏季，即使在冬季，温度也从未低于25摄氏度。乘客中暑事件频发，TfL面临巨大挑战，乘客们或许需要选择更凉爽的地铁线路出行。
阅读更多
美国许多城市正面临严重的财政危机。气候变化导致的灾难性事件、长期以来被低估的公共雇员养老金以及市中心经济活动的下降，共同导致许多城市预算赤字激增。即使是像芝加哥、休斯顿和旧金山这样的大城市也面临着严重的财政压力。文章回顾了美国城市财政危机历史，并指出当前危机是多种因素共同作用的结果，包括气候变化、市中心经济活动萎缩、联邦资金减少以及巨额养老金和退休金承诺。文章强调，解决这一问题需要城市政府与居民之间进行坦诚对话，并就城市公共服务的成本和范围达成共识。
阅读更多
本文讲述了作者如何利用 PlusCal（一种 TLA+ 的 DSL）和形式化验证来确保零停机数据库迁移的正确性。作者构建了一个 PlusCal 模型，模拟了用户对数据库的 Upsert、Delete 和 Get 操作，以及后台迁移过程。通过模拟一个无迁移的系统和一个有迁移的系统，并验证两者在所有状态下 Get 操作结果一致，作者确保了迁移算法的正确性。形式化验证帮助作者及早发现了算法中的缺陷，例如对 TOMBSTONE 的处理不当，并强调了原子操作的重要性，例如在迁移过程中检查和插入数据的原子性。
阅读更多
只有3.8%的开发者同时体验到AI生成的代码幻觉低且信心高，他们才是真正从AI生产力中受益的团队。他们信任AI的建议，加快了交付速度，并通过高质量的反馈闭环改进。在低幻觉的群体中，那些充满信心的开发者（17%）更有可能看到代码质量提升（44% vs 35%），并且对交付AI代码更有信心（24% vs 9%）。这部分开发者构成了“最佳状态”，其中一半以上（53%）报告代码质量得到明显改善，这表明准确性、质量和信心之间存在强关联。当开发者看到更少的错误和更高质量的输出时，他们更有可能信任AI并在生产中使用它。即使输出准确，多数开发者仍然犹豫，这时自动化质量检查就能弥合差距。
阅读更多
本文讲述了微软Office团队历时数年将庞大代码库从过时的Source Depot迁移到Git的传奇故事。迁移过程充满挑战，包括构建“平行宇宙”同步代码库、证明两个系统功能等效、以及与4000多名工程师的沟通协调。作者详细描述了迁移的各个阶段，包括克服Source Depot与Git之间差异、构建虚拟文件系统以优化性能、以及通过培训提高工程师的Git使用技能等。最终，迁移取得成功，极大地提升了开发效率和代码质量，也为大规模技术迁移提供了宝贵的经验教训。
阅读更多
作者突发奇想，让Claude AI生成一段x86汇编代码，绘制曼德勃罗集分形图。最初生成的代码无法编译运行，作者利用Claude Code，通过迭代式的调试和修改，最终成功在Docker容器中编译并运行代码，生成了令人满意的ASCII艺术分形图。整个过程展现了Claude Code强大的代码理解和调试能力。
阅读更多
TLA+基金会与英伟达合作发起了一项挑战赛，鼓励使用生成式AI来改进TLA+规范语言。参赛者可以使用AI进行代码重构、创建开发工具、生成可视化结果、甚至自动生成规范。评委会将根据功能性、与TLA+生态系统的关联性以及AI的巧妙运用进行评判。所有提交必须开源并可复现，原型即可。这项挑战赛旨在探索生成式AI在TLA+领域的应用潜力，为TLA+社区带来新的活力。
阅读更多
这篇文章深入浅出地讲解了计算机科学中一个棘手的难题：内存一致性模型。在多核系统中，多个线程同时访问共享内存，如何保证它们看到的内存状态一致？文章通过图解和例子，解释了顺序一致性、缓存一致性和各种放松的内存模型（如TSO），并讨论了数据竞争和同步机制（如barrier）的重要性。最终指出，为了避免内存一致性带来的问题，最好使用同步库，让库来处理底层的复杂性。
阅读更多
Fahmatrix 是一个轻量级的现代 Java 库，用于处理表格数据，其灵感来自 Python 的 Pandas，旨在简化 JVM 上的数据理解。它提供直观的 API，支持 CSV 读取和预览、行过滤和列选择，以及聚合、分组和排序等功能（即将推出）。Fahmatrix 没有外部依赖项，可以直接从 GitHub 下载 JAR 文件使用，或通过 Maven/Gradle 使用（未来版本添加）。它支持 CSV 文件加载、数据打印、head()/tail() 函数、多种聚合函数、行过滤和列选择、分组和透视表、数据导出以及类型推断和转换等功能。Fahmatrix 为 Java 开发者提供了一个高效处理表格数据的工具，无需离开 JVM。
阅读更多
作者历时十二年，用Haskell语言编写了一个魔方求解器Twentyseven，并发布了1.0.0版本。程序基于Herbert Kociemba的Cube Explorer算法思想，采用迭代加深A*搜索算法（IDA*），通过将魔方状态投影到更简单的子问题来估计剩余步数，从而找到最优解。虽然最优解的求解可能耗时数小时，但作者也提到了Kociemba的更快双阶段算法，可在极短时间内求解魔方。此版本主要为了兼容最新的GHC编译器，并对代码进行了一定的维护。
阅读更多
作者庆祝戒酒1000天，回顾了酗酒的过去，并分享了其康复过程中的感悟。作者认为真正的康复始于忘记过去的痛苦，不再理解过去自我的行为逻辑。作者将自己过去的酗酒行为比作一场公平的比赛，最终战胜了“酗酒的自我”。
阅读更多
本文以古代罗马在坎尼之战中的惨败为例，探讨了“坎尼问题”——组织的传统智慧和成功经验如何成为其毁灭的根源。罗马军队凭借其标准化、高效的军事体系取得了无数胜利，却在汉尼拔的巧妙战术下遭遇了毁灭性打击。汉尼拔利用罗马人的自信和固有思维模式，将他们的优势转化为弱点，最终取得了决定性的胜利。文章分析了罗马军队陷入“坎尼问题”的认知偏差，包括确认偏差、专家诅咒、偏差正常化和群体思维。此外，文章还列举了现代企业如柯达、百视达和诺基亚等因“坎尼问题”而失败的案例，并提出了避免陷入这一陷阱的方法，例如组建红队、研究近乎失败的案例、奖励富有成效的异见等。最终，文章强调了学习“坎尼问题”教训的重要性，避免将过去的成功经验盲目应用于未来，并时刻警惕自身思维模式的局限性。
阅读更多
Rust编译速度慢是众所周知的，但本文作者认为大多数Rust项目编译速度都远低于预期。以rust-analyzer为例，其20万行代码及百万行依赖项的CI流程在GitHub Actions上仅需8分钟。作者详细阐述了如何优化rust-analyzer的构建时间，包括利用CI缓存、拆分CI任务、禁用增量编译和调试信息、减少依赖项、使用`cargo build -Z timings`进行性能分析，以及精心设计代码以避免泛型代码在crate边界上的过度实例化等策略。文章强调了构建时间对开发效率的影响，并建议定期优化构建时间，将大型Rust项目的CI时间控制在合理范围内，例如10分钟左右。
阅读更多
1919年，David Lewis Tandy和Norton Hinckley创立了Hinckley-Tandy皮革公司。几经波折，其子Charles David Tandy接手后，公司发展壮大，并于1950年开设了第一批皮革工艺品零售店。1963年，Tandy收购了濒临破产的Radio Shack，并将其转型为专注于电子爱好者和大众市场的公司。凭借TRS-80个人电脑的成功，Radio Shack成为微型电脑市场的领导者，创造了无数财富传奇。本文讲述了这段波澜壮阔的商业史诗，展现了企业家精神和市场机遇的完美结合。
阅读更多
s3mini 是一个超轻量级的 TypeScript S3 兼容对象存储客户端，大小仅约 14KB，速度比其他客户端快约 15%。它支持 Node.js、Bun、Cloudflare Workers 等边缘计算平台，并已在 Cloudflare R2、Backblaze B2、DigitalOcean Spaces 和 MinIO 等平台上进行了测试。s3mini 提供了常用的 S3 API，例如创建、获取、删除对象等，并支持分块上传。它不依赖任何第三方库，并使用 AWS SigV4 签名，无需预签名请求。虽然不支持浏览器环境，但对于需要在资源受限的环境中快速访问 S3 兼容存储的开发者来说，s3mini 是一个理想的选择。
阅读更多
本文介绍了一种强大的调试技巧——差异代码覆盖率分析。通过比较通过测试和失败测试的代码覆盖率，可以快速定位错误代码。作者以Go语言的`math/big`库为例，演示了如何利用`go test`和`go tool cover`工具生成覆盖率报告，并通过`diff`命令比较差异，最终精准地找到了导致测试失败的代码片段，仅需检查少量代码即可解决问题，效率远高于传统方法。
阅读更多
本文研究了方程x²+(y+zi)²=1（x, y, z为实数，i为虚数单位）的3D图像，该图像包含一个圆和一个双曲线。通过将方程分解为实部和虚部，我们可以得到两个情况：y=0时，x²-z²=1（双曲线）；z=0时，x²+y²=1（单位圆）。这个可视化方法揭示了依赖于实参数的实矩阵的复特征值的行为。文章通过两个2x2矩阵的例子，展示了如何利用该方法分析特征值，并指出这种方法可以推广到其他依赖于一个实参数的2x2矩阵。
阅读更多
本文讲述了18世纪博物学家林奈的卓越贡献，不仅在于他创立的生物命名法（双名法），更在于他高效的笔记系统。林奈收集了超过13000份植物标本，并创新性地使用可扩展的纸卡系统而非传统的装订书籍来组织管理，这使得他的分类工作更高效灵活。他甚至在书籍中添加空白页，方便随时记录新的发现，这种做法也影响了后世的阅读和研究方式。林奈的成功，不仅源于他的科学天赋，更得益于他独到的组织和记录方法，值得我们学习借鉴。
阅读更多
联想在CES上正式发布了Legion Go S掌机，这是全球首款获得Valve官方授权的搭载SteamOS的掌机。它预装了基于Arch Linux的SteamOS系统，拥有云存档、远程游玩等功能，并可访问完整的Steam商店和游戏库。Legion Go S采用AMD Ryzen Z1 Extreme处理器和Radeon 700M显卡，配备8英寸1200p屏幕、最高32GB内存和1TB SSD，售价500美元，5月份上市。值得注意的是，这款掌机采用的是Ryzen Z1 Extreme，而非AMD昨日发布的Ryzen Z2。
阅读更多
将地理空间能力嵌入通用数据工具会发生什么？更多人开始使用地理数据！最近的云原生地理空间会议上，一个核心问题是如何扩大地理空间用户群体。DuckDB的空间扩展降低了使用地理数据的门槛，只需简单的两行代码即可安装和加载。这使得非专业人士也能轻松处理地理空间数据，极大地促进了生态系统的增长，Overture Maps Foundation的成功可能也与其密切相关。
阅读更多
本文探讨了将故事改编到浏览器这一新兴媒介的可能性。作者以《指环王》为例，阐述了不同媒介对故事呈现方式的影响，并指出浏览器凭借其文本、图像、视频、声音、交互性等多种工具，能够创造出更丰富、更动态、更个性化的叙事体验。作者还以自己开发的《指环王》互动原型为例，展示了如何利用浏览器技术增强读者对故事的沉浸感和参与度，例如通过地图、角色卡、音效等细节打造更丰富的用户体验。
阅读更多
Ensō 的新版本「秘法吸血基努」已开放公众测试！此版本专注于简化 UI，提升易用性和隐私性。新增“咖啡店模式”，隐藏文本内容以保护隐私；提供多种易访问的主题，并改进文本渲染引擎。未来将添加 RTL 语言支持和更多功能，但目前版本已极大提升用户体验。
阅读更多
这篇文章分享了作者团队如何利用Claude提升软件开发效率的经验。文章批判了单纯依赖AI“氛围编程”的风险，强调了良好开发实践的重要性，并提出了三种AI辅助开发模式：初稿撰写、结对编程和验证。文章重点阐述了CLAUDE.md文档和锚点注释在大型项目中的作用，以及编写测试用例的重要性。作者指出，AI不能编写测试，测试是人类意图的体现，也是防止AI引入错误的关键。文章还探讨了如何管理token、使用新的Claude会话以及团队文化建设等方面，并给出了具体的实践建议。
阅读更多
本文深入探讨了如何在React Three Fiber中结合后处理和体积光线步进法实现逼真的体积光照效果。作者首先介绍了不同坐标系之间的转换，然后详细讲解了如何从屏幕空间重建三维光线，并利用深度缓冲区优化性能。文章还涵盖了光线形状设计、阴影映射以及光散射等高级技巧，最终实现具有阴影和雾效的动态体积光照效果。多个演示场景展示了该技术的应用，例如拱门和太空场景，并讨论了多光源和全方向阴影的实现方法。
阅读更多
本书是献给Dennis Ritchie的C语言实战指南，作者是一位资深黑客，他从自身经验出发，讲解C语言的实用技巧。作者认为C语言的优势在于其强大的灵活性和底层控制能力，并通过大量的实践经验，分享了一些鲜为人知的技巧。本书鼓励自由地使用C语言，并认为选择合适的工具取决于开发者自身，而不是被他人所左右。书中包含代码示例，以及使用GNU扩展的说明。
阅读更多
本文讲述了位于新奥尔良的一个神秘研究所——九月三十日研究所的故事。该研究所致力于收集和保存1939年9月30日所有相关的现象、文件和回忆。其创始人Vincent Rosier是一位传奇人物，经历丰富，事业横跨多个领域。研究所收集的资料包罗万象，从报纸到日记，从菜单到玩具，甚至包括气象和天文记录。这些看似零散的资料，却为历史学家、语言学家和社会学家提供了宝贵的研究素材，展现了对时间和记忆的独特视角。研究所的运作也并非一帆风顺，内部存在着各种争论和挑战。但最终，它以其独特的魅力和对历史的执着追求，吸引着来自世界各地的研究者。
阅读更多
厌倦了Markdown的局限性？AsciiDoc或许是你的理想替代品。它拥有更强大的功能，例如轻松处理表格、脚注和交叉引用，支持文档组合和条件内容，并拥有统一的生态系统。本文以一个应用用户指南为例，详细介绍了AsciiDoc的用法，包括元数据设置、标题组织、文本格式、列表、表格、属性和条件内容等。此外，还介绍了adoc Studio这款编辑器，它简化了AsciiDoc文档的导出和管理流程，并支持与Git协同工作，实现Docs-as-Code。AsciiDoc结合Git和adoc Studio，让文档编写和维护更高效、更专业。
阅读更多
Vanta是一款轻量级、快速的命令行网络行为分析器，它能够重建协议级数据流并从捕获的数据中提取结构化活动。不同于Wireshark等功能强大的GUI工具，Vanta专注于简洁性、结构性和易用性，非常适合自定义脚本和最小化设置。它支持HTTP、DNS和TLS协议解析，能够自动重建双向数据流，并以简洁的JSON格式输出结果。该项目由一位本科生在MacBook Air M1上开发完成，作为对支持国际学生的大学的感谢。
阅读更多
这对夫妇记录了他们在2025年前六个月的船上生活点滴。他们修复了船体，为游戏《Oquonie》的发布做准备，并参与了各种项目，包括编写书籍、制作游戏和参与游戏创作活动。他们还分享了阅读书籍、与社区互动以及应对船上生活挑战的经历，展现了他们轻松、充满冒险的航海生活。
阅读更多