世界排名第一的挪威国际象棋大师马格努斯·卡尔森在Chess.com网站上与超过14.3万名全球玩家进行了一场史无前例的在线自由式比赛。这场名为“卡尔森对阵世界”的比赛历时数周，最终以“三方重复”规则的平局告终。全球玩家通过投票决定每一步棋，而卡尔森则执白棋。尽管Chess.com预测卡尔森会大胜，但玩家们通过精妙的策略，三次将卡尔森的国王逼入死角，最终迫使平局，创造了历史。这场比赛也展现了在线棋类游戏日益增长的影响力和全球玩家的协作能力。
阅读更多
这篇博文讲述了联邦政府雇员的真实故事。他们默默无闻地工作，简化税务申报、退伍军人福利申请和助学金申请流程，并在危机时期为难民、疫苗接种和婴儿配方奶粉供应提供帮助。他们致力于改善政府网站的使用体验，同时保护个人信息安全。然而，他们并未得到应有的重视，反而面临着政府技术被破坏的风险。博文旨在分享这些幕后英雄的故事，揭示其重要性，并警示政府技术的破坏性后果。
阅读更多
Mistral AI发布了其首个推理模型Magistral，该模型具有透明性、多语言支持和领域专业知识等特点。Magistral分为开源版本Magistral Small（240亿参数）和企业版Magistral Medium两个版本。Magistral在AIME2024测试中表现出色，并具备极快的推理速度（比大多数竞争对手快10倍）。该模型适用于各种应用场景，包括法律研究、金融预测、软件开发和创意写作等，尤其适合需要透明度和精确度的多步骤任务。Mistral AI同时开源了Magistral Small，以促进社区发展和模型改进。
阅读更多
大卫·林奇，这位以《橡皮头》和《蓝丝绒》等超现实主义电影闻名的导演，其独特的艺术风格也渗透到了商业广告领域。从Calvin Klein的香水广告到Georgia Coffee的宣传片，再到纽约市卫生局的反垃圾宣传，林奇为众多品牌创作了风格独特的广告，将他的标志性诡异氛围与商业需求巧妙融合。这些广告作品，部分仅在欧洲和亚洲播出，也反映出林奇作品在全球范围内的独特影响力。
阅读更多
本文深入浅出地讲解了GPS技术的原理。作者从一个简单的二维定位系统入手，逐步引入三维定位、时间测量、卫星轨道、相对论效应以及信号处理等关键概念。通过巧妙的类比和生动的图示，作者阐明了GPS如何利用卫星发射的信号，结合时间和距离测量，最终精确计算出接收器的位置和时间偏差。文章还探讨了GPS信号的编码、解码以及抗干扰能力等技术细节，展现了GPS技术背后深厚的科学和工程基础。
阅读更多
本文深入探讨了生成对抗网络(GANs)背后的数学原理。作者从GANs的基本概念出发，详细解释了生成器和判别器的损失函数，并推导了最优判别器和生成器的条件。文章运用二元交叉熵和JS散度等数学工具，清晰地展现了GANs训练过程中生成器和判别器之间的对抗过程，最终目标是使生成数据的分布与真实数据的分布尽可能接近。文章也简要介绍了GANs的训练方法，并指出了与Goodfellow原始论文中公式的一些细微差异。
阅读更多
加州大学伯克利分校一名本科生Hannah Cairo，在选修研究生课程《傅里叶限制理论》时，意外地深入研究了Mizohata-Takeuchi猜想的一个简化版本，并取得了显著进展。起初，这只是一个作业问题，但Cairo对它着迷，并将其扩展到更复杂的形式。她的导师，数学家Ruixiang Zhang教授，对她的热情和专注印象深刻。这个故事展现了年轻学者的潜能和对知识探索的执着。
阅读更多
chonkify是一个超轻量级的JavaScript库，用于将各种可迭代对象（数组、字符串、集合、映射、异步迭代器等）分割成指定大小的块。它支持Unicode表情符号和复杂符号，体积小巧（核心代码仅870字节），零依赖，兼容ESM和TypeScript，并在浏览器和Node.js环境下均可运行。无论是处理大型数据集还是简单的数组分割，chonkify都能高效地完成任务。
阅读更多
新西兰正面临13年来最严重的公民外流潮，其中三分之一以上为30岁以下年轻人。高失业率和低迷的经济增长迫使许多人选择移民。数据显示，截至2025年6月的一年内，有71800名新西兰公民离开，创下2012年2月以来新高。经济低迷、生产力低下以及政策失误被认为是主要原因。尽管央行降息刺激经济增长，但失业率仍居高不下，生活成本高企也加剧了民众的移民意愿。澳大利亚等国则抓住机会，通过提供就业机会吸引新西兰人才。
阅读更多
大型语言模型（LLM）训练数据获取方式的演变引发了激烈的版权之争。起初，数据抓取缺乏伦理和法律考量。但随着ChatGPT等应用的商业化，版权问题日益突出，作者、出版商纷纷起诉AI公司。OpenAI等公司开始与出版商签订协议获取数据，但数据抓取行为并未停止，甚至变得更加肆无忌惮。面对滥用数据的情况，Cloudflare等公司推出了反抓取工具，并出现了RSL标准，允许网站设定数据访问价格。这标志着网站所有者开始积极反击，未来AI公司可能被迫为数据付费，从而改变数据获取生态。
阅读更多
Nachtlichter 项目利用一款同名应用，动员公民科学家参与夜间灯光观测。参与者沿预设路线，使用应用记录不同类型光源的数量、大小、颜色等信息。研究人员对数据进行了校正，以消除夜间光源关闭的影响，并与卫星数据结合分析，揭示了不同类型光源与卫星观测到的辐射之间的关系。研究结果表明，该项目的数据比现有的公共照明数据库更完整，为城市灯光研究提供了新的视角。
阅读更多
Seagate的一份报告指出，能源消耗是超过一半企业领导者最关心的问题，而更好地利用磁盘是数据中心明智的选择。报告预测，到2030年，数据中心全球电力需求将比2023年增加高达165%。随着数据量增长、能源效率提升放缓以及AI应用增加，企业面临着同时管理碳排放、基础设施扩张和总拥有成本的压力。Seagate认为，关键在于将数据基础设施视为成本和可持续性兼顾的机会，而不是权衡取舍。报告比较了磁盘、SSD和磁带的碳排放量，发现硬盘驱动器的碳足迹最小。Seagate建议构建可持续数据未来的三大战略支柱：技术创新、生命周期延长和循环利用以及跨生态系统的责任共享。Seagate的HAMR技术就是一个例子，它能够在相同空间内实现三倍容量，并将每TB碳排放量降低70%以上。
阅读更多
厌倦了电子屏幕的刺眼？EInk模式应运而生！它将网页内容分页呈现，如同阅读纸质书籍，大幅降低电子墨水屏的耗电量，并提升阅读体验。通过丰富的触控手势和触笔支持，你可以轻松翻页、调整字体大小、高亮文本、甚至直接在网页上书写笔记。所有笔记和高亮内容都可保存为PDF，方便日后查阅。EInk模式不仅适用于电子墨水屏设备，也同样适用于iPad等设备，为你的阅读带来更舒适、高效的体验。
阅读更多
一项来自英属哥伦比亚大学医学院的新研究揭示了一个令人震惊的事实：山地自行车运动导致的脊髓损伤人数远超冰球等其他高危运动。2008年至2022年间，卑诗省共有58人因山地自行车运动导致脊髓损伤，而同期冰球运动仅发生3起类似事故。近年来，卑诗省山地自行车相关的脊髓损伤数量更是滑雪和单板滑雪的七倍之多。每年卑诗省的山地自行车脊髓损伤数量与甚至超过了整个美国业余橄榄球运动的同类事故数量。研究发现，大多数受伤者为健康的年轻男性，其中93%为男性，平均年龄为35.5岁。大部分受伤者（77.5%）是在越过车把时受伤的。尽管大多数受伤者佩戴头盔（86.3%），但这并不能完全消除风险。研究人员估计，这些伤导致的终身医疗和康复费用、患者支出以及生产力损失等经济成本将累计达到1.954亿美元。研究呼吁加强安全意识，并就如何改进安全措施展开讨论。
阅读更多
一位开发者在多年使用Go语言后，决定转向Java。他认为Go语言在某些方面存在不足，例如：循环方式单一、缺乏高级函数式编程特性、错误处理繁琐、代码风格限制过多，导致代码冗长且难以维护，以及包生态系统不够成熟等。虽然Go语言适合基础设施开发，但他不建议用于复杂的企业应用开发。
阅读更多
OctaneDB是一个用Python编写的轻量级、高性能向量数据库，其速度比Pinecone、ChromaDB和Qdrant等现有解决方案快10倍。它采用现代Python和优化的算法构建，非常适合需要快速相似性搜索的AI/ML应用。OctaneDB支持文本嵌入，提供与ChromaDB兼容的API，并具有GPU加速、批量处理、持久化存储等功能，极大地提升了效率。其简洁的API和全面的文档也方便了开发者使用。
阅读更多
arXivLabs是一个框架，允许协作者直接在我们网站上开发和分享新的arXiv功能。与arXivLabs合作的个人和组织都认同并接受了我们关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。有想法可以为arXiv社区增值吗？了解更多关于arXivLabs的信息。
阅读更多
GrapheneOS (GOS) 是一款专注于安全的 Android 系统，仅兼容 Google Pixel 设备。它通过多用户配置文件实现强大的隐私保护，每个配置文件都拥有独立的加密和权限设置，如同在手机内运行多个隔离的系统。用户可以自定义每个配置文件的权限，甚至完全停止其后台运行。安装简便，更新便捷，并提供强大的应用权限管理功能。虽然略微牺牲部分易用性，但对于注重安全和隐私的用户来说，GOS 提供了前所未有的控制力，值得一试。
阅读更多
Underjord公司在一台192核的Ampere One服务器上成功运行了5000个Erlang虚拟机，每个虚拟机运行一个基于Nerves框架的Linux IoT设备。这得益于一个名为little_loader的新型引导加载程序，它简化了ARM64 QEMU虚拟机的启动过程，并利用了KVM加速。虽然过程中遇到了一些挑战，例如编译问题和内存优化，但最终通过调整BEAM虚拟机分配器、Erlang发布模式和Linux内核参数，成功运行了超过5000个虚拟机。这项工作为Nerves框架的测试和开发提供了新的可能性，并可能集成到未来的Nerves工具中。
阅读更多
复旦大学团队研发出名为PoX的超高速非易失性闪存，其单比特编程速度达到了惊人的400皮秒，约每秒250亿次操作。这项发表在《自然》杂志的研究成果，将非易失性存储器的速度提升到了以往只有高速易失性存储器才能达到的水平，为数据密集型AI硬件设定了新的标杆。PoX通过使用二维狄拉克石墨烯取代硅通道并利用其弹道电荷传输，克服了传统闪存写入速度慢的瓶颈。这项突破有望彻底改变存储技术，推动产业升级，并开辟新的应用场景，例如消除AI芯片中单独的高速SRAM缓存，降低能耗和面积，以及支持数据库引擎将整个工作集保存在持久性RAM中。
阅读更多
本文为初次担任管理者的员工提供了宝贵的建议。作者强调，管理并非只是工作内容的转变，而是角色的转变，从个人贡献者转变为团队领导者，需要学习如何赋能团队成员，而非事必躬亲。文章指出，犯错是不可避免的，重要的是如何从错误中学习和成长，并保持清晰的沟通，明确期望，营造积极的工作氛围。同时，作者也建议管理者关注自身身心健康，避免倦怠，并从优秀领导者身上学习，不断提升自身管理能力。
阅读更多
过去，每月检查Linux发行版更新和EOL版本是一个令人头疼的任务。现在，我们利用endoflife.date API、GitHub Actions和create-pull-request等工具实现了自动化。GitHub Actions每周查询API，更新CI矩阵，并创建PR进行版本变更，Dead Man's Snitch则监控Actions运行状态，确保自动化流程可靠运行。这解放了工程师的宝贵时间，避免了因版本滞后带来的问题。
阅读更多
使用模拟数据库进行测试虽然快速便捷，但作者认为其弊大于利。文章以创建用户为例，对比了模拟数据库和真实数据库测试方法。真实数据库测试能够及早发现潜在问题，例如唯一约束冲突、默认值处理和性能瓶颈等，从而节省调试时间，降低生产环境风险。此外，随着应用发展和数据库模式变更，真实数据库测试能更好地应对新验证、数据类型修改和时间戳精度变化等问题，确保代码与实际数据库模式一致。文章建议，对于数据访问层，真实数据库测试至关重要；而对于服务层，真实数据库测试能揭示业务逻辑与数据的交互方式；控制器层则可以模拟服务调用。平衡真实数据库测试和模拟测试，才能构建更可靠的应用。
阅读更多
美国版权局局长Shira Perlmutter在该机构发布报告称AI模型使用版权材料超出合理使用范围后一天被解雇。该报告指出，AI公司无法在特定情况下以合理使用为由进行辩护，这令谷歌、Meta、OpenAI和微软等公司面临法律风险。解雇原因众说纷纭，有人认为是由于Perlmutter拒绝批准Elon Musk使用版权材料训练AI模型，也有人认为是特朗普政府对多样性政策的调整。这一事件加剧了AI版权大战的紧张局势，引发了关于AI发展与版权保护之间平衡的广泛讨论。
阅读更多
PromptArmor是一家专注于AI安全的初创公司，其核心业务是攻破大型语言模型（LLM）应用，并以此为基础构建防御系统。他们服务于美国大型企业，帮助其安全地加速AI应用。团队成员来自谷歌、特斯拉等知名公司，并获得了Y Combinator等顶级投资机构的融资。公司强调注重客户、产品和团队，并提供具有竞争力的薪酬和福利，包括12万至18万美元的底薪和0.75%至2%的股权。目前公司在旧金山设有办公室，寻求具有扎实技术能力和产品意识的工程师加入。
阅读更多
XPrize基金会宣布了其为期四年、总奖金达1亿美元的碳移除大赛的获胜者。休斯顿初创公司Mati Carbon凭借其增强型岩石风化技术赢得5000万美元大奖，该技术通过在印度和非洲的小型农场上撒布玄武岩来去除大气中的二氧化碳。Mati Carbon的数据驱动方法和软件平台给评委留下了深刻印象，其严谨的碳储存验证过程也为碳信用市场的发展提供了重要借鉴。虽然直接空气捕捉和海洋碳移除技术未在本次大赛中胜出，但一些公司也获得了里程碑奖和荣誉奖，展现了其技术的潜力。未来，大规模部署碳移除技术将是应对气候变化的关键。
阅读更多
过去，GPU编程意味着要与C++编译器、臃肿的SDK和厂商专用的工具链纠缠不清。但现在情况变了！你可以使用Rust和Zig等现代语言编写GPU代码，层级更少。本文探讨了Zig的GPU后端现状及其在Vulkan、OpenCL和原生ISA上的表现。Zig支持SPIR-V、PTX和AMDGCN，允许直接生成可在运行时加载的原生二进制文件，无需接触CUDA、HIP或HLSL。虽然Vulkan和OpenCL是主要的SPIR-V环境，但它们在某些方面存在差异，导致Zig的SPIR-V后端在Vulkan和OpenCL目标上的行为测试通过率不同。未来，Zig计划提升SPIR-V后端成熟度，提供CUDA/HIP运行时绑定，并在标准库中添加更多GPU算法。
阅读更多
微软在Build开发者大会上宣布将Model Context Protocol (MCP)整合进Windows系统。MCP是一种由Anthropic公司开发的协议，允许AI应用访问和操作不同系统的数据，实现自动化。虽然MCP能简化Windows应用间的自动化，并与第三方应用（如Figma、Zoom）集成，但其安全性令人担忧。微软承认MCP存在多个安全漏洞，包括跨提示注入、身份验证缺陷等，并计划通过代理、安全基线和运行时隔离等措施来提升安全性。虽然微软强调安全是首要任务，但MCP的广泛应用仍存在潜在风险。
阅读更多
新西兰保育部门首次拍摄到濒危巨型肉食蜗牛Powelliphanta augusta从颈部产卵的珍贵画面。这种蜗牛是新西兰特有种，其栖息地因矿业开采而遭到破坏。保育人员将它们迁至人工环境中，经过近20年的悉心照料，终于见证了这一奇迹。该物种为雌雄同体，每年生产约5枚卵，孵化期超过一年，寿命可达25-30年，与繁殖迅速的普通蜗牛形成鲜明对比。Powelliphanta augusta曾因矿业开采面临灭绝危机，如今保育工作取得进展，人工饲养数量已接近2000只。
阅读更多