作者分享了1.5年来使用AI辅助编程的经验。AI在处理重复性代码、代码重构和简单任务方面表现出色，但对于复杂问题和全新开发，AI反而会引入错误和低效的抽象。CLI界面比IDE更有效，因为它能保持开发者对代码的控制。AI在设计和写作方面也有帮助，但“vibe coding”（完全依赖AI生成代码）不可取，会产生大量技术债务和安全漏洞。作者认为AI的真正受益者并非开发者，而是管理者和客户，它能帮助他们更有效地沟通和协作。AI的未来充满希望，但公司不应将其作为裁员的借口。
阅读更多
谷歌推出Gemini CLI GitHub Actions，一个免费的AI编码助手，能自动化处理GitHub上的问题和Pull Request。它可以智能地分类和优先处理问题，快速审查代码变更，甚至根据你的指令完成代码编写、测试等任务。只需在issue或pull request中@gemini-cli，就能获得AI的协助。目前处于beta阶段，全球开发者均可使用。
阅读更多
PCI-SIG宣布PCIe 8.0标准将于2028年发布，其数据传输速率将达到惊人的256 GT/s，是PCIe 7.0的两倍。这意味着x16配置下，双向吞吐量将高达1TB/s。该标准旨在满足AI、机器学习、边缘计算甚至量子计算等新兴技术对海量数据传输的需求，并兼顾功耗降低和向后兼容性。 PCIe 8.0的应用场景广泛，涵盖高性能计算、超大规模数据中心、航空航天和汽车等领域。
阅读更多
GitHub意外发布并迅速删除的一篇博客文章泄露了OpenAI即将发布的GPT-5模型系列。该系列包含四个版本，据说在推理、代码质量和用户体验方面都有重大改进，并具备增强的自主能力，能够以最少的提示处理复杂的编码任务。这一意外泄露发生在OpenAI官方宣布将于今日发布GPT-5的“LIVE5TREAM”活动之前，进一步证实了此前关于GPT-5即将发布的传闻。
阅读更多
一项新的研究利用海德堡马普核物理研究所的低温储存环，首次在类似早期宇宙条件下重现了HeH+与氘的反应。研究发现，该反应速率并未如先前理论预测的那样随温度降低而减慢，而是保持近乎恒定。这一发现修正了早期宇宙化学模型，表明HeH+和H2在第一批恒星形成中扮演了比之前预想更重要的角色，为揭开早期恒星形成之谜提供了关键线索。
阅读更多
据《卫报》等媒体报道，以色列自2022年以来利用微软Azure云服务器存储数百万巴勒斯坦人在加沙地带和约旦河西岸的通话录音，用于军事行动，包括选择轰炸目标。以色列军方8200部队获取了这些数据，而微软CEO纳德拉据称亲自批准了这一项目。此举引发巨大争议，批评者指责微软协助以色列对平民进行大规模监控，甚至构成战争罪行。微软否认知情，但相关证据指向其参与其中，引发对其道德责任的强烈质疑。
阅读更多
40年前的1985年7月，Commodore Amiga横空出世，震惊业界。这篇文章讲述了Amiga的传奇故事：从Atari工程师Jay Miner的构思，到Hi-Toro公司（后更名为Amiga）的艰难创业，再到Commodore的收购和最终的破产。Amiga以其先进的图形能力和多任务处理能力而闻名，但高昂的价格和一些设计上的缺陷也限制了它的发展。尽管最终未能战胜Atari ST，但Amiga在电脑历史上留下了浓墨重彩的一笔，其影响至今仍可见。
阅读更多
近日，美国国会图书馆网站上意外删除了宪法第一条的部分章节，包括授权国会组建海军、动员民兵平叛的条款，以及关于人身保护令、禁止追溯及法律和限制州权力的部分内容。虽然这一错误已得到修复，且宪法本身并未被更改，但事件引发关注，或将促使更多人阅读宪法全文。
阅读更多
在编程中，防抖动（Debouncing）技术用于处理频繁发生的事件，例如用户连续输入。它会忽略在特定时间间隔内过于密集的操作，并将它们合并为一次调用，从而避免UI卡顿。例如，在用户输入搜索关键词时，防抖动可以等待用户停止输入一段时间后再执行搜索，提高效率并改善用户体验。这与节流（Throttling）技术类似，但节流限制的是连续操作的频率，而防抖动则等待一段时间后再执行操作。
阅读更多
Cyata安全研究团队发现了HashiCorp Vault中的九个以前未知的零日漏洞，这些漏洞绕过锁定、规避策略检查并实现模拟。其中一个漏洞甚至允许root权限提升，另一个允许远程代码执行（RCE），使攻击者能够完全接管系统。这些漏洞并非内存损坏或竞争条件问题，而是隐藏在Vault身份验证、身份和策略执行层中的细微逻辑缺陷，有些存在近十年之久。研究人员通过仔细检查Vault的核心请求流程，特别是request_handling.go文件，发现了这些漏洞。这些漏洞对开源和企业版Vault都有影响，攻击者可以利用这些漏洞绕过多因素身份验证（MFA），模拟实体，甚至实现RCE。该研究强调了对基础设施安全至关重要的软件中细微逻辑缺陷的潜在影响。
阅读更多
动视暴雪在《使命召唤：黑色行动冷战》和《战争地带》第五赛季中对反作弊系统Ricochet进行了重大更新，强制要求PC玩家启用TPM 2.0和安全启动，以打击外挂。虽然第五赛季不会强制执行，但《使命召唤：黑色行动7》将强制要求。此外，动视还对22名外挂开发者采取了法律行动，并加强了对账号安全和作弊行为的打击力度，包括组队/提升等级作弊行为。新赛季还带来了新的战斗通行证、地图和武器。
阅读更多
谷歌搜索引入AI功能后，整体搜索流量保持稳定，甚至高质量点击量略有增加。虽然部分网站流量可能下降，但这主要是因为用户搜索习惯改变，更倾向于包含论坛、视频、播客等多媒体内容的网站，以及提供深入分析和独特视角的网站。谷歌AI搜索旨在突出网页内容，而非取代之，它通过链接、引用等方式将用户导向相关网站，并尊重开放网络协议。谷歌相信AI将为网络带来更多机会，帮助企业和创作者拓展受众。
阅读更多
公民实验室主任Ron Deibert在Black Hat大会上发出警告，指出科技与法西斯主义的融合日益加剧，大型科技公司在其中扮演着推波助澜的角色。他呼吁网络安全行业关注并积极应对这一挑战，避免成为侵犯人权的帮凶。Deibert认为，美国等国家近期发生的政治事件显示出明显的专制倾向，网络安全社区有责任和能力帮助抵御这种趋势。他同时担忧大型科技公司可能削减威胁情报团队，从而降低对政府间谍软件的防御能力，这将对全球公民社会造成严重影响。
阅读更多
一项新的研究表明，阿尔茨海默病患者大脑中的锂水平较低，而给予患有类似症状的小鼠锂可以逆转其认知能力下降。研究人员分析了285位死者的脑部金属含量，发现阿尔茨海默病患者前额叶皮层的锂水平比没有认知能力下降的人低约36%。他们还发现，阿尔茨海默病患者的淀粉样蛋白斑块中锂的含量几乎是无斑块区域的三倍。进一步的实验表明，锂缺乏的小鼠在记忆测试中表现较差，脑部炎症增加，免疫细胞清除淀粉样蛋白斑块的能力下降。然而，用低剂量锂治疗的小鼠，其淀粉样蛋白斑块减少，记忆力恢复正常。研究人员认为，低剂量锂，特别是锂乳清酸盐，可能成为阿尔茨海默病的潜在治疗方法，但仍需进行临床试验以确认其安全性及有效性。
阅读更多
苏黎世联邦理工学院的研究人员在室温下利用光镊技术，成功地将三个纳米玻璃球悬浮起来，并将其运动的92%归因于量子物理。这打破了以往需要极低温才能观测量子效应的限制，实现了前所未有的高纯度量子态。这项研究成果为量子传感器的研发带来了突破性进展，未来有望应用于医学成像、高精度导航等领域。
阅读更多
本文介绍了改进Zig单元测试调试的技巧，结合了打印调试和调试器。作者首先解决了打印调试输出冗余的问题，通过`errdefer`在测试失败时才打印信息，减少干扰。然后，利用`build.zig`脚本在构建过程中运行调试器，方便调试测试二进制文件。最后，作者通过条件编译，结合构建选项`-Ddebugger`，实现了在需要时才启用调试器断点功能，避免了调试器干扰正常测试流程。这套方法有效地提高了Zig单元测试的调试效率。
阅读更多
作者通过优化其玩具编程语言 Plush 的解释器，在斐波那契数列微基准测试中超越了 CPython。文章详细描述了优化过程，包括合并指令、利用 Linux perf 工具分析性能瓶颈，以及通过代码修补和指令融合等技术提升执行效率。最终，Plush 解释器在该基准测试中的速度提升近一倍，但这并未影响其并行光线追踪程序的性能，暗示了微基准测试的局限性。
阅读更多
计算机科学领域一个标志性难题——寻找网络中从特定起点到所有其他点的最短路径，几十年来受限于“排序障碍”。最近，清华大学的段然及其团队突破了这一障碍，设计出一种新型算法，其速度超越所有基于排序的算法。该算法巧妙地运用集群策略和Bellman-Ford算法，避免了逐点排序，从而实现了显著的性能提升，为最短路径问题的研究开辟了新的篇章。
阅读更多
comptime.ts是一个简洁的TypeScript编译器，它能够在编译时高效地执行标记为`comptime`的表达式。这使得开发者可以将计算从运行时转移到编译时，从而优化代码。它支持多种场景，例如计算常量、生成静态内容以及优化性能关键代码。通过Vite、Bun或命令行接口，开发者可以方便地使用comptime.ts，提升开发效率。需要注意的是，comptime表达式必须是JSON可序列化的，并且复杂的表达式可能会增加构建时间。
阅读更多
Multics网站致力于保存Multics操作系统背后的技术理念和进步，记录其开发者和使用者们的历史，并致敬重要的创新者们。网站包含大量的HTML文件、PDF文档和图片，旨在避免这些宝贵的技术和历史被遗忘，并邀请大家贡献资料以完善网站内容。
阅读更多
LENZ公司研发的VIZZ眼药水获得FDA批准，成为首个用于治疗老花眼的乙酰胆碱类眼药水。该药水通过收缩瞳孔产生“针孔效应”，改善近距离视力，持续时间长达10小时，且副作用小。与之前的疗法相比，VIZZ不会模糊远距离视力或造成近视偏移。预计将于2025年第四季度上市，为数百万老花眼患者带来福音。
阅读更多
本文讲述了Compaq公司如何挑战IBM在20世纪80年代的PC市场垄断地位。Compaq CEO Rod Canion大胆选择开放标准并与竞争对手共享技术，有效地“放弃了公司的珠宝”，以维护创新。Canion的领导风格不仅打造了备受推崇的公司文化，也为对抗行业巨头IBM提供了必要的支撑。如果IBM获胜，今天的科技格局将截然不同。
阅读更多
研究人员发现HashiCorp Vault和CyberArk Conjur等秘密保管库存在细微的逻辑漏洞，攻击者可绕过身份验证、规避策略检查并伪装账户。这些保管库存储着访问系统、服务和数据的凭证，是数字基础设施的基石。一旦被攻破，整个基础设施将岌岌可危。漏洞已得到修复，但凸显了加强秘密管理和访问控制的重要性。
阅读更多
作者在蜿蜒的山路上遭遇缓慢的车流，引发了他对车队长度的思考。他首先尝试用概率论方法计算平均车队长度，但结果（平均2辆车）与实际经验严重不符。随后，他通过模拟实验发现平均车队长度远大于2，并修正了之前的错误推导，最终得到车队长度分布的正确公式，但该公式的期望值却趋于无穷大，这意味着山路车队可能无限长。
阅读更多
一位工程心理学专业的学生发现，他的小组成员在课程项目中过度依赖ChatGPT，直接将AI生成的文本复制粘贴到项目提案中，导致内容与项目需求不符，质量低下。这不仅增加了这位学生的工作量，也让他对团队合作失去了动力。他认为适度使用ChatGPT获取灵感可以接受，但直接照搬AI生成的内容，而不进行评估和理解，是不可取的。
阅读更多
Herbie项目致力于提高浮点运算的精度。历经数年发展，Herbie已发布多个版本，不断改进算法、提升速度，并增加了浏览器界面和插件支持多种编程语言（如Rust和Haskell）。近期，Herbie在Hamming基准测试套件上取得了显著的精度提升，并新增了可插拔编译目标的平台API。Herbie团队还积极参与学术研究，发表论文并进行多次学术演讲，分享其研究成果和未来规划。
阅读更多
本文探讨了芬兰语与印欧语系，特别是日耳曼语支之间意想不到的联系。尽管芬兰语属于乌拉尔语系，但其词汇中包含大量来自原始日耳曼语的借词，甚至包含一些更早期的前日耳曼语成分。作者通过分析芬兰语中与英语、德语等语言的词源关系，以及对音变规则的考察，揭示了芬兰语与日耳曼语之间长期而密切的语言接触，这从青铜时代一直延续至今。这一发现挑战了人们对芬兰语的传统认知，也展现了历史语言学在打破语言壁垒方面的作用。
阅读更多
本文介绍了一种名为Segment Array的高效数据结构，它结合了动态数组的灵活性、稳定指针的优势以及与arena allocator的良好兼容性。不同于动态数组在扩容时移动元素，Segment Array通过预分配多个固定大小的段来存储数据，避免了内存碎片和指针失效的问题。每个段的大小是前一个段的两倍，仅在需要时分配新的段，实现了O(1)的平均时间复杂度。作者提供了C语言实现，并详细解释了其内部机制，包括高效的索引计算方法和与泛型的结合。Segment Array特别适用于需要在arena allocator环境下进行高效动态内存管理的场景，例如构建性能分析器。
阅读更多
本文是深入探讨Rust编写的Linux内核GPU驱动Tyr系列文章的第二篇，Tyr支持基于Arm Mali CSF的GPU。文章以VkCube应用为例，详细解释了用户模式驱动（UMD）和内核模式驱动（KMD）的工作原理，以及如何将VkCube的工作负载描述给GPU。文章简要介绍了Tyr提供的API，并将其与Panthor（同硬件的C驱动）进行了比较。重点阐述了KMD的关键作用，包括内存分配、作业提交和硬件调度，以及Tyr提供的简洁API，包括设备信息查询、内存管理、组创建和管理、作业提交以及平铺堆管理等功能。
阅读更多
这篇文章探讨了一个有趣的反事实假设：如果计算机系统使用9位字节而不是8位字节，世界将会如何不同。作者认为，这将解决许多困扰现代计算机科学的难题，例如IPv4地址耗尽、UNIX时间戳溢出以及Unicode字符编码限制。虽然9位字节会带来一些挑战，例如TCP序列号的处理，但作者认为这些挑战是可以克服的，并且最终带来的好处将远大于成本。这篇文章充满了对历史事件和技术发展的有趣推测，值得一读。
阅读更多