伦敦地铁维多利亚线以其持续高温而臭名昭著。2024年平均温度高达28摄氏度，甚至超过了运送牲畜的法律规定温度。尽管伦敦交通局（TfL）投入巨资进行降温改造，包括空调和通风系统，但维多利亚线由于其深度和独特的地理结构（深埋于伦敦粘土层中），降温效果甚微。相比之下，其他地铁线路的平均气温增幅仅为7%，而维多利亚线自2013年以来却飙升了近7度，增幅接近30%。高温不仅影响夏季，即使在冬季，温度也从未低于25摄氏度。乘客中暑事件频发，TfL面临巨大挑战，乘客们或许需要选择更凉爽的地铁线路出行。
阅读更多
本文作者分享了其在日本旅行中发现的几个远离都市喧嚣的迷人小镇，包括冲绳的伊江岛、大分县的杵築、香川县的金刀比罗、大阪的箕面、北海道的中富良野、广岛的尾道、岛根的津和野以及山形县的藏王温泉。这些小镇各有特色，有的拥有美丽的自然风光，有的保留着古老的建筑和文化，有的则以独特的温泉或美食而闻名。作者还建议在五月份或十月份前往，避开旅游高峰期，并根据自身行程安排灵活选择游览方式。
阅读更多
英国政府宣布将在今年晚些时候在其数字服务中全面推广Passkeys技术，以取代现有的基于短信的验证系统。此举预计每年可节省数百万英镑，并显著提升安全性。这一决定与英国政府的数字化转型计划相符，并得到了国家网络安全中心（NCSC）的支持，NCSC 也已加入FIDO联盟。Passkeys 的使用将为用户提供更快速、更安全的登录体验，并有效抵御网络钓鱼攻击。微软、亚马逊等企业也已开始采用Passkeys技术，全球无密码登录的趋势日益明显。
阅读更多
2024年全球能源统计回顾显示，尽管风能和太阳能增长迅速，达到16%，但全球能源需求增长更快，化石燃料使用量也增长了1%。中国原油需求下降，但印度煤炭需求增长强劲。报告指出，虽然可再生能源发展迅速，但其增长速度仍不及整体能源需求增长，导致全球碳排放再创新高。这凸显了在协调全球能源转型方面存在的结构性、经济性和地缘政治性障碍。
阅读更多
arXivLabs是一个开放平台，允许开发者与arXiv社区合作，直接在arXiv网站上开发和分享新功能。参与者必须遵守arXiv的开放、社区、卓越和用户数据隐私等核心价值观。如果你有提升arXiv社区价值的想法，欢迎了解arXivLabs。
阅读更多
微软宣布关闭其Bing搜索API，此举将对依赖该API的众多搜索引擎和开发者造成影响。多年来，Bing API以其相对低廉的价格和便捷性，为DuckDuckGo、Brave等搜索引擎提供强大的搜索能力。然而，随着ChatGPT的出现以及微软对Bing API价格的十倍上调，许多用户开始转向自建索引。虽然微软表示新系统更强大，但开发者却反馈其灵活性降低。此举可能迫使谷歌开放其搜索数据，重塑搜索引擎市场竞争格局。
阅读更多
WM12是一款创新的分体式能量回收通风器，它巧妙地将两个TW4模块组合在一个坚固的聚丙烯泡沫塑料中，方便安装在窗户上。WM12能够在一年四季提供新鲜空气，同时回收约90%的热能，避免了因加热或冷却新鲜空气而产生的能源浪费。其静音设计、超长的使用寿命（>50年）以及与智能家居系统的兼容性使其成为节能环保的理想选择。目前该产品处于测试阶段，感兴趣的用户可以通过邮件联系获取更多信息。
阅读更多
arXivLabs是一个允许合作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果您有想法能够为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
这段代码展示了两个用Mathematica编写的程序，它们都生成了一系列数字。第一个程序使用`Do`循环和`While`循环迭代生成一个序列，其增长模式依赖于先前元素的位置。第二个程序则基于累加前序差值，不断扩展序列，直到长度超过50。这两个程序都展现了Mathematica在生成复杂数列方面的强大功能，其背后隐藏的算法值得进一步探索。
阅读更多
G7国家周六达成协议，豁免美国跨国公司其他国家征收的全球最低税。这是特朗普政府努力争取的结果，协议将采用“并行”方案，美国公司只需在其国内对国内外利润纳税。这部分源于特朗普国内政策法案中提出的美国国际税制改革，该法案目前仍在国会辩论中。G7希望迅速达成对所有国家都可接受且可执行的解决方案。
阅读更多
作者使用四台 AMD Ryzen AI Max+ 395 配备 Radeon 8090S 的 Framework 桌面电脑进行集群测试。初始测试使用 2.5 Gbps 以太网互联，之后升级到 5 Gbps。作者还尝试了 Thunderbolt 互联，但仅能达到 10 Gbps。所有自动化测试代码已上传至 Beowulf AI Cluster 代码库。测试涵盖 CPU、GPU、磁盘、网络等多个方面，详细基准测试结果可查看相关链接。
阅读更多
阿姆斯特丹市尝试构建一个“公平”的反欺诈AI模型，旨在减少福利申请调查，提高调查效率，并避免对弱势群体的歧视。然而，这并非易事。该模型最初表现出对非荷兰公民和非西方背景申请人的偏见。尽管通过重新加权训练数据，模型在一定程度上消除了这种偏见，但在实际应用中，新的偏见却以相反的方向出现，甚至模型性能也显著下降。最终，该项目被搁置。这说明在追求算法公平性的过程中，不同的公平性定义之间存在难以调和的矛盾，而且试图减少某一群体中的偏见，可能会无意中加剧其他群体中的偏见。
阅读更多
为了对抗AI公司对网络资源的过度抓取，一种名为“陷阱”的技术应运而生。它通过消耗AI爬虫的资源来提高其成本，给这些尚未盈利的公司带来巨大挑战。Cloudflare推出的“AI迷宫”也采用了类似策略，但更注重商业化，旨在保护网站免受未授权抓取。然而，AI爬虫每天产生超过500亿个请求，这给网络资源带来了巨大压力，并威胁到开源项目的可持续性。一些社区也开发了协作工具，例如“ai.robots.txt”项目，以帮助抵御这些爬虫。除非AI公司与受影响的社区合作，或者出台相关法规，否则这场数据争夺战只会进一步升级，危及整个数字生态系统。
阅读更多
经过一年多的开发，Zod 4 beta 版终于发布！它更快、更小、更符合 TypeScript 的编译效率，并实现了诸多期待已久的功能。Zod 4 使用全新的内部架构，解决了长期存在的设计限制，为一些长期请求的功能奠定了基础，并关闭了 Zod 10 个最受好评的开放问题中的 9 个。此外，还推出了新的 @zod/mini 库，提供更轻量级的、可 tree-shaking 的 API，显著减小了包大小。Zod 4 还引入了新的元数据系统、JSON Schema 转换、改进的判别联合支持以及其他许多改进。
阅读更多
斯坦福教授吴恩达批评了「氛围编程」（vibe coding）这一说法，认为它误导人们认为AI辅助编程只是凭感觉进行的。实际上，这是一种深度智力活动，需要开发者付出大量精力。尽管如此，吴恩达仍然看好AI辅助编程，认为它能显著提高开发效率，并鼓励更多公司和个人拥抱这项技术，学习至少一门编程语言，以更好地与AI协作，提升工作效率。
阅读更多
Y Combinator 推出了一个新的招聘平台，帮助创业公司寻找合适的员工，以及求职者找到理想的创业工作。平台提供各种职位，包括软件工程师、设计、产品经理、销售、市场营销等，并按职位类型和地点进行分类，还提供远程工作机会。无论你是经验丰富的工程师还是初入职场的毕业生，都能在该平台上找到适合自己的机会，加入充满活力的创业公司。
阅读更多
现代汽车集团在其位于佐治亚州的Metaplant America工厂部署波士顿动力研发的Atlas人形机器人，以推动工厂自动化。这是现代汽车与波士顿动力合作的又一里程碑，旨在扩大其工厂的机器人制造和设计规模。此举是现代汽车210亿美元美国投资计划的一部分，旨在提高效率并降低成本，应对关税影响。尽管去年全球销量下降，但现代汽车在美国的销量增长了4％，达到190万辆。现代计划在该工厂每年生产30万辆电动和混合动力汽车，并最终达到50万辆的产能。
阅读更多
陪伴Windows用户近40年的蓝屏死机（BSOD）即将成为历史！微软宣布将在Windows 11中推出全新的“黑屏死机”，放弃了传统的蓝色背景、哭脸表情和二维码，采用简洁的黑色屏幕显示错误代码和故障驱动程序。此举旨在提升故障信息清晰度，方便用户和微软更快地找到问题根源并修复。这一改变与微软新推出的快速机器恢复功能一起，将在今夏的Windows 11更新中推出，旨在增强Windows系统的稳定性，并从去年CrowdStrike事件造成的数百万台Windows机器蓝屏死机事件中吸取教训。
阅读更多
ABC编程语言诞生于对编程任务分析的基础上，旨在替代BASIC，成为个人计算的交互式编程语言和环境。其特点是易于学习和使用，即使对于编程新手也能快速上手。它拥有强大的功能，包括简洁的五个数据类型、强大的类型检查、无限制的数值范围以及对自顶向下编程的支持。ABC环境也同样出色，无需文件管理，程序和变量在注销后依然保留，用户界面一致且提供撤销机制。总之，ABC语言以其简洁性和强大的功能，为程序员提供了一种高效的编程体验。
阅读更多
sshsync是一个快速、简洁的命令行工具，用于通过SSH在多台远程服务器上运行shell命令。它支持同时操作所有服务器或特定分组，非常适合系统管理员、开发者和自动化工作流程。sshsync利用异步SSH连接，支持分组配置、SSH超时设置、文件推送/拉取、操作历史记录和日志、以及预演模式。安装方式：`git clone https://github.com/Blackmamoth/sshsync.git; cd sshsync; pipx install .` 它使用`~/.ssh/config`中的SSH别名，并存储分组信息在`~/.config/sshsync/config.yaml`。
阅读更多
一位拥有19年大型科技公司工作经验的AI研究员Bhaskar Mitra在被裁员后，勇敢发声，揭露了大型语言模型（LLM）的真相及其伦理困境。他指出，LLM并不能取代医生、教师等专业人士，其对信息的集中控制也引发了对社会公平、信息获取和权力集中的担忧。Mitra呼吁重新思考AI技术与社会正义的关系，并倡导构建更具包容性和人道主义的科技未来。
阅读更多
索尼的Hawk-Eye技术将成为NFL比赛中测量首攻线的首要方法。这项技术利用六个8K摄像头进行精准的距离测量，取代了传统的链条测量方式，提高了效率和准确性。Hawk-Eye系统将部署在所有30个NFL体育场馆，并与NFL现有的回放系统集成。这项创新技术不仅提高了比赛的公平性和效率，也为球迷带来了更流畅的观赛体验，标志着NFL在科技辅助裁判方面迈出了重要一步。
阅读更多
欧盟发布了关于游戏内虚拟货币的新指南，旨在规范免费游戏中的付费机制，打击利用认知偏差诱导玩家过度消费的行为。然而，该指南并非法律，其执行效果存疑。文章分析了指南的主要内容，并探讨了其对游戏开发者，特别是中小游戏工作室的影响。开发者面临两难选择：遵守新规可能导致收入大幅减少，甚至导致退出欧洲市场；而无视新规则可能面临法律风险。作者认为，由于虚拟世界的灵活性，开发者很可能会通过巧妙的设计规避新规，最终效果可能远低于预期。
阅读更多
Vanta是一款轻量级、快速的命令行网络行为分析器，它能够重建协议级数据流并从捕获的数据中提取结构化活动。不同于Wireshark等功能强大的GUI工具，Vanta专注于简洁性、结构性和易用性，非常适合自定义脚本和最小化设置。它支持HTTP、DNS和TLS协议解析，能够自动重建双向数据流，并以简洁的JSON格式输出结果。该项目由一位本科生在MacBook Air M1上开发完成，作为对支持国际学生的大学的感谢。
阅读更多
苹果和Meta在欧洲就欧盟数字市场法案（DMA）的互操作性规定展开了激烈的冲突。DMA要求大型科技公司允许竞争对手访问其核心平台服务。Meta已向苹果提出15项互操作性请求，苹果认为这将危及用户隐私和安全，可能导致Meta访问用户的所有数据。Meta则反驳称苹果的隐私担忧毫无根据，是在阻碍竞争。这场争论凸显了互操作性和用户隐私之间的紧张关系，也反映了欧盟监管机构在执行DMA方面的挑战。
阅读更多
这篇技术报告探讨了Lisp语言中函数命名空间和值命名空间分离的利弊。Lisp1采用单一命名空间，而Lisp2则将两者分开。作者分析了两种方案在语法简洁性、命名清晰度、编译器复杂度、高阶函数、宏以及空间和时间效率等方面的差异。虽然Lisp1在简洁性和功能编程方面更具优势，但Lisp2在宏使用和避免命名冲突方面表现更好，最终结论是现状（Lisp2）更适合Common Lisp。
阅读更多
长期以来，NixOS 的构建可重复性一直备受争议。有人认为其功能性包管理器模型虽然有助于构建可重复性，但无法保证所有构建都实现位级可重复性。一篇新的研究论文对 Nixpkgs（NixOS 的软件包集合）进行了为期六年的研究，结果显示其可重复性比率稳步提高，从 2017 年的 69% 增长到 2023 年 4 月的 91%。研究还识别出导致不可重复性的主要原因，例如嵌入日期、uname 输出、环境变量和构建 ID 等。这些发现表明，即使 Nixpkgs 已经实现了很高的可重复性率，但仍然存在一些改进的空间，例如通过解决这些低垂的果实来进一步提高可重复性。这项研究对于增强对 Nix 替换协议的信任，并推动基于构建可重复性的分布式缓存解决方案至关重要。
阅读更多
据报道，微软计划在下周对Xbox游戏部门进行裁员，这将是继今年5月裁员6000人之后又一次大规模裁员。此次裁员预计将影响到Xbox分销部门和销售部门，甚至波及到欧洲部分地区的Xbox运营。这与微软重组Xbox业务，为下一代游戏主机做准备的计划有关。 这已经是微软在过去一年半里进行的多次大规模游戏行业裁员行动之一，此前微软已在2024年1月裁掉了1900名Activision Blizzard和Xbox员工，并在5月关闭了多个游戏工作室。
阅读更多
arXivLabs是一个框架，允许合作者直接在我们网站上开发和共享新的arXiv功能。与arXivLabs合作的个人和组织都秉承并接受了我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。 有一个项目的想法可以为arXiv的社区增加价值吗？了解更多关于arXivLabs的信息。
阅读更多
2024年CrowdStrike软件故障导致达美航空大规模航班延误取消，乘客损失惨重。尽管达美航空声称其依赖微软软件并拒绝了CrowdStrike和微软的援助，但法官允许乘客就违反合同（退款失败）和违反《蒙特利尔公约》提起集体诉讼。乘客指控达美航空未充分告知退款政策，并试图通过部分退款来免除法律责任。此案标志着乘客寻求航空公司问责的重要一步。
阅读更多