C# 14即将推出的一项令人兴奋的新特性是空条件赋值运算符。它能够优雅地解决长期以来困扰C#开发者的NullReferenceException问题。以往需要使用多个if语句来检查空值，现在只需一行代码即可完成赋值操作，显著简化代码并提高可读性。例如，`config?.Settings?.RetryPolicy = new ExponentialBackoffRetryPolicy();` 就能代替之前的多行if判断。虽然该运算符不支持自增自减运算符，并且过度使用可能降低可读性，但它仍然是C# 14中一项非常有价值的改进，值得开发者们在.NET 10发布后积极尝试。
阅读更多
Intel最新的处理器拥有数百个核心，为ClickHouse等分析型数据库带来了巨大机遇和挑战。来自Intel上海的工程师们通过系统地分析ClickHouse在超高核心数服务器上的性能，识别并优化了五个关键瓶颈：锁竞争、内存优化、并行化不足、SIMD指令利用和伪共享。通过减少锁的持有时间、改进内存分配器、并行化串行阶段、使用更智能的SIMD算法以及优化内存布局，他们显著提升了ClickHouse在超高核心数系统上的可扩展性，部分查询速度提升达10倍，整体性能提升达10%。这项工作突显了在超高核心数时代，数据库优化需要从算法和内存布局等多个层面进行改进。
阅读更多
2010年代心理学领域经历了“复制危机”，许多被广泛接受的研究结果未能被重复验证。本文总结列举了一些未能复制的著名认知科学研究，例如：自我消耗效应、力量姿势效应、社会启动效应（老年词效应）、金钱启动效应等。这些研究结果曾被广泛传播，但后续研究表明其结论存在问题，甚至完全被证伪。作者旨在通过这份清单，帮助读者甄别可靠的研究结论，避免被错误信息误导。
阅读更多
商业内幕率先允许记者使用AI撰写新闻稿初稿，无需向读者告知。内部备忘录显示，记者可将AI作为研究和图片编辑等任务的工具。尽管最终稿件必须是记者本人创作，但不会在文章中明确标注AI的使用，除非内容完全由AI生成或未经审核。此举反映了商业内幕积极拥抱AI，此前曾因发表AI生成的稿件而引发争议。
阅读更多
UUIDv47是一个巧妙的方案，它在数据库中存储可排序的UUIDv7，但在API接口层对外呈现为UUIDv4。其核心是使用SipHash-2-4算法对UUIDv7的时间戳字段进行密钥掩码，保证了数据库的排序效率和API的兼容性。该库提供C语言实现，易于集成，并具有密钥恢复抗性，保证了安全性。
阅读更多
从Netflix的崛起到2023年编剧罢工，流媒体行业经历了剧烈的动荡。最初，高成本的“prestige TV”主导市场，但Netflix的股价暴跌和经济不确定性导致行业收缩，制作预算被削减。如今，高质量电视剧数量减少，取而代之的是低成本的非虚构节目。观众转向免费平台，例如YouTube，这预示着流媒体行业即将迎来整合。
阅读更多
自动驾驶公司Waymo宣布与Lyft合作，将全自动驾驶出租车服务扩展到田纳西州纳什维尔市。这项合作将利用Waymo的自动驾驶技术和Lyft的车辆管理经验，为纳什维尔的居民和游客提供便捷、安全可靠的出行服务。Waymo计划在未来几个月内开始在纳什维尔进行全自动驾驶运营，并在明年向公众开放。这项合作标志着Waymo继续扩展其自动驾驶服务，朝着成为全球最值得信赖的驾驶员的愿景迈进了一步。
阅读更多
最近的研究表明，通过简单的提示重写，可以显著提升小型语言模型的性能。研究人员使用Tau²基准测试框架，对GPT-5-mini模型进行测试，发现将提示重写为更清晰、更结构化的指令后，模型的成功率提高了20%以上。这主要是因为小型模型在处理冗长或模糊的指令时存在困难，而清晰的步骤式指令能够更好地引导模型进行推理。这项研究表明，即使是小型语言模型，通过巧妙的提示工程也能取得显著的性能提升，为低成本高效率的AI应用提供了新的思路。
阅读更多
Firefox 浏览器在 Android 平台上正式推出 DNS over HTTPS (DoH) 功能，为用户带来更强的隐私保护。此前，Firefox 已在桌面端和加拿大地区率先启用 DoH，并通过与 CIRA 和 Akamai 的合作，实现了高达 61% 的 DNS 查询速度提升。此次 Android 端的 DoH 支持，让用户可以选择“增强保护”的 DoH 配置，享受与桌面端相同的隐私保护。未来，Firefox 计划在特定地区默认启用 Android 端 DoH，前提是性能测试结果达到预期。
阅读更多
本文是程序化地形生成系列的第三部分，在前两部分建立了地貌基础和山脊系统后，作者在此添加了多尺度噪声层和基于距离的山峰模型，并通过混合技术创建最终的地形高度图。文章详细解释了如何使用Simplex噪声叠加不同频率的细节，以及如何通过海岸噪声增强来控制海岸线变化。此外，文章还介绍了基于Delaunay三角剖分和BFS算法的距离场计算方法，用于生成更自然的山峰形状，并最终通过加权混合不同地形组件来生成逼真的地形。
阅读更多
1988年，为庆祝切斯特·卡尔森在纽约皇后区阿斯托里亚实验室研制出第一张静电复印图像50周年，施乐公司推出了50系列复印机。施乐将这款新复印机称为自1982年推出10系列复印机以来最重要的产品。50系列复印机功能更强大，价格也更高，帮助施乐赢回了之前被日本竞争对手抢占的市场份额。50系列的首批机型包括5018、5028、5046、5052和5090。
阅读更多
2021年Renou等人在《自然》杂志发表论文，声称基于实数的量子理论可以通过实验证伪。然而，本文作者指出该结论存在缺陷。论文试图通过设计一个实验来区分使用复数的完整量子门集和仅使用实数的子集。作者认为，通过利用量子纠缠，即使只使用实数的量子计算机也能通过该实验。论文中隐藏了一个关键假设：参与实验的量子计算机初始状态不包含纠缠。这个假设并未在论文正文中明确指出，而是隐藏在补充材料中，使得该实验的可信度大打折扣。
阅读更多
安全研究员发现PureVPN客户端存在两个严重安全漏洞。首先，IPv6泄露问题导致用户在连接VPN后仍可通过IPv6访问互联网，泄露真实IP地址。其次，VPN客户端会在连接时重置用户防火墙（iptables）规则，断开连接后也不恢复，使得系统安全性降低。研究员已提交报告给PureVPN，但至今未收到回复。建议用户谨慎使用PureVPN。
阅读更多
哈佛大学教授阿维·勒布在文章中探讨了对星际物体3I/ATLAS的异常观测结果，以及这与人类政治暴力之间的对比。3I/ATLAS展现出诸多反常特征，如逆行轨道、异常大的星核、反常的彗尾以及独特的偏振特性，引发了人们对地外文明的思考。文章将对3I/ATLAS的研究与近期美国政治人物遇袭事件相对比，指出人类的暴力行为与宇宙尺度上的探索形成鲜明对比，呼吁人类放下成见，共同探索宇宙，寻求共存之道。
阅读更多
作者在使用苹果照片App导入OM System相机照片时，发现部分图片损坏，比例高达30%。起初怀疑是硬件问题，陆续更换了USB线、SD卡、电脑和相机，但问题依旧。最终发现罪魁祸首是照片App本身，特别是同时删除照片和导入照片的操作。为了解决这个问题，作者放弃了苹果照片App的导入功能，转而使用Darktable进行照片管理，先在Darktable中筛选和处理照片，再导入到苹果照片App中。虽然过程曲折，但最终找到了解决方案，并额外获得了一套冗余的硬件设备。
阅读更多
arXivLabs是一个框架，允许合作者直接在arXiv网站上开发和分享新的arXiv功能。参与arXivLabs的个人和组织都认同并接受了我们关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与坚持这些价值观的合作伙伴合作。 如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
央视新闻报道显示，阿里巴巴旗下平头哥研发的最新AI芯片PPU在关键参数上全面超越英伟达A800，与H20性能相当。PPU拥有96GB HBM2e内存，700GB/s互连带宽，支持PCIe 5.0×15接口，功耗400W。中国联通三江源绿色电力智能计算中心项目已签约1747台设备，其中阿里云部署16384块平头哥芯片，算力达1945P，彰显国产AI芯片的崛起和在大型项目中的应用实力。
阅读更多
本文用通俗易懂的语言解释了代数类型，并用集合论的视角将类型视为值集合。它深入浅出地讲解了产品类型（类似于结构体或类）和求和类型（例如可选类型或结果类型），并比较了使用代数类型和面向对象方法（继承或访问者模式）实现解释器时的优劣。作者认为，代数类型更简洁、更易于理解和维护，避免了不必要的复杂性，最终得出结论：产品类型和求和类型是组合类型的两种基本方式，大多数编程任务都可以通过这两种方式来建模。
阅读更多
本文作者回顾了从IE浏览器到npm的软件供应链安全问题，指出微软在维护npm安全方面做得不够，导致恶意软件泛滥，威胁软件开发公司。作者认为，npm的postinstall脚本存在严重安全漏洞，易于被利用发起攻击，而微软作为npm的所有者，却没有采取有效措施。这使得软件开发变得不再有趣，而是充满风险的苦差事。文章呼吁业界共同努力，构建安全的软件供应链。
阅读更多
DataTables.net网站遭遇了一次严重的域名劫持攻击，导致网站、论坛和CDN服务中断。攻击者通过精心设计的钓鱼邮件和伪造身份信息，成功将域名转移到自己名下。尽管服务器和代码未受损，但此次事件对DataTables用户造成重大影响。作者已采取措施修复问题，并呼吁用户使用子资源完整性（SRI）等安全措施。
阅读更多
Terraform长期以来使用文件系统语义来解决分布式系统问题，导致状态管理效率低下。Stategraph项目通过将Terraform状态视为一个有向无环图，并利用图数据库的特性，实现了子图隔离、精确锁机制和增量刷新。这有效解决了锁竞争、刷新缓慢等问题，极大提升了并发吞吐量，让大型团队协同工作成为可能。Stategraph 使用 PostgreSQL 作为后端，并兼容现有的 Terraform 工作流程，无需修改配置即可迁移。
阅读更多
作者长期使用四块三星870 QVO 4TB SATA SSD，主要用于家庭服务器和备份。这些SSD制造于2021年，至今表现良好，写入速度即使在高负载下也能保持在140-170 MB/s。其中一块出现4个坏块，但整体写入数据已超过170TB，远未达到1440TBW的耐久极限。尽管价格有所下降，但仍比其他厂商同容量SSD略贵，性能表现却更为稳定可靠。
阅读更多
Tabby（前身为Terminus）是一款功能强大的终端模拟器，集成了SSH、Telnet、串口客户端以及连接管理器。它支持Windows、macOS和Linux，具有主题、颜色方案、自定义快捷键、分屏、标签页记忆等功能，并支持PowerShell、WSL、Git-Bash等多种shell。此外，Tabby还提供插件扩展，例如Docker连接、命令快速发送、输出保存等，甚至集成了AI助手，提升效率。Tabby是一款功能丰富的替代品，适用于各种开发和运维场景。
阅读更多
Noctua 与 Framework 合作，针对 Framework 迷你 PC 的散热进行了改进。通过定制侧板和风道设计，显著降低了系统噪音，尤其是在低风扇速度下降低了约 7dB(A)。虽然定制部件目前不量产，但 Noctua 提供了 3D 打印文件。此外，他们还测试了其他方案，例如更换风扇和增加排风扇，但结果表明，定制侧板和风道是最佳的降噪方案。
阅读更多
Waymo公司获得许可，可在旧金山国际机场(SFO)测试其自动驾驶出租车服务。这是Waymo公司拓展服务区域，进军更受欢迎、更能带来收入的目的地的一大胜利。经过多年的谈判，Waymo与SFO签署了“测试和运营试点许可证”。该协议规定，Waymo将在三个阶段向SFO推出其服务：配备人类驾驶员的车辆测试、无人驾驶测试以及最终的商业服务启动。Waymo将首先让员工进行测试，然后邀请公众乘坐往返机场的自动驾驶出租车。最初的接送地点将设在SFO的Kiss & Fly停车场，该停车场可通过AirTrain抵达航站楼。Waymo目前在五个城市运营，但仅服务于凤凰城的天港机场。该公司与SFO进行了多年的谈判，以向监管机构保证其车辆能够应对机场复杂的环境。机场对自动驾驶出租车来说是一个巨大的盈利机会，机场出行约占人工驾驶叫车服务的20%。如果Waymo希望最终与Uber和Lyft竞争，并获得足够的利润，就需要获得机场的准入资格。
阅读更多
本文介绍了混合激励线性预测（MELP）和增强型MELP（MELPe）语音编码器。MELP最初由Alan McCree发明，并于1997年成为美国国防部标准（MIL-STD-3005），在军用应用和卫星通信中广泛使用。MELPe是对MELP的改进，在2001年成为新的MIL-STD-3005，并在2002年被北约采用为STANAG-4591标准。MELPe在语音质量、清晰度和抗噪性方面显著优于之前的军用标准，如CELP和LPC-10e，尤其是在嘈杂环境下表现出色。
阅读更多
盖洛普民调显示，过去15年里，美国人对大学教育的重视程度大幅下降。如今，只有约三分之一的人认为大学教育“非常重要”，而2010年这一比例高达75%。这一变化在各个社会群体中普遍存在，即使在传统上更重视高等教育的群体中，也只有不到一半的人认为大学教育“非常重要”。虽然许多人仍然认为大学教育至少“相当重要”，但其重要性已不再像过去那样被普遍认可。高昂的学费、职业培训的兴起以及人工智能等技术带来的劳动力市场变革可能是导致这一现象的原因。
阅读更多
佛罗里达州最大的湖泊——奥基乔比湖，平均水深仅9英尺，却栖息着3万条鳄鱼。这篇文章讲述了人类历史上多次试图排干佛罗里达大沼泽地的荒唐尝试，从19世纪的“开垦良田”到20世纪的“建设巨型机场”，都以失败告终。这些努力不仅破坏了生态环境，还造成了严重的洪涝灾害和社会损失。奥基乔比湖浅而广阔的特性，以及大沼泽地历史上多次洪灾，都凸显了人类改造自然的盲目性和生态保护的重要性。
阅读更多
苹果于2025年9月15日发布了针对iOS和iPadOS系统的紧急安全更新，修复了一个严重的内存损坏漏洞（CVE-2025-43300）。该漏洞可能被用于针对性攻击，通过处理恶意图片文件造成内存损坏。受影响的设备包括iPhone 6s及后续机型、部分iPad和iPod touch。苹果强调，为保护客户，他们在调查完成并发布补丁前不会公开讨论安全问题。
阅读更多
近日，一位研究者利用进化算法结合大型语言模型Grok-4，在ARC-AGI基准测试中取得了显著突破，在ARC v1上达到79.6%的准确率，并在更难的ARC v2上取得了29.4%的准确率，刷新了当前最佳水平。该方法的核心在于利用自然语言指令代替Python代码，通过迭代进化生成更有效的解题方案。这项研究表明，强化学习和自然语言指令的结合，有望解决当前大型语言模型在抽象推理方面的局限性，为实现通用人工智能（AGI）指明了方向。
阅读更多