本文探讨了在 Rust 中使用 clap 库构建命令行界面 (CLI) 的最佳实践。作者倡导利用 Rust 的类型系统来定义 CLI 接口，而不是使用传统的基于字符串解析的方法。这种类型驱动的方法具有诸多优势：提高代码可维护性和可读性，减少测试工作量并支持更完善的单元测试，以及更方便地进行语义化版本控制。文章详细介绍了 clap 的 derive 特性和 env 特性，并通过具体的示例展示了如何使用类型定义命令行参数和环境变量，最终构建出更健壮、更易于维护的 CLI 工具。
阅读更多
一项日本研究表明，晚餐摄入更多钾可能改善睡眠质量。研究人员分析了4568名日本成年人的饮食和睡眠数据，发现每日总钾摄入量与失眠症状严重程度呈负相关，尤其是在晚餐时钾摄入量较高的人群中，失眠症状更少。这可能是因为钾有助于肌肉放松和神经递质功能，并能调节血压。然而，研究人员也指出，还需要进一步研究来证实钾摄入量与睡眠之间的因果关系，以及晚餐钾摄入量为何特别重要的机制。
阅读更多
每逢周四和周五凌晨，拉比莫舍·陶伯都会驱车巡视曼哈顿岛上近乎隐形的Eruv（犹太教规定的界线）。这根环绕曼哈顿大部分地区的细线，是遵守安息日规定的犹太教徒的必需品，它象征性地连接了社区中的许多私人空间，允许人们在安息日携带物品。任何断裂都将使Eruv失效，因此陶伯的巡视至关重要。他及时的维修工作，保证了社区成员在安息日遵守宗教戒律的同时，依然可以进行日常活动，体现了社区凝聚力和互助精神。
阅读更多
研究发现，高收入国家生育率普遍跌至历史低点。通过对人口队列数据的分析，研究者发现各年龄段不生育人群比例上升，生育完成率下降。这表明需要从长期视角解释生育行为的转变。研究排除了短期收入或物价变化等因素的影响，认为其背后是成年人优先级的大规模重排，生育的重要性下降。这种“优先级转变”可能源于规范变化、经济机遇和限制的演变以及更广泛的社会文化力量的共同作用。研究最后提出了未来研究方向和政策建议。
阅读更多
当前AI代理评估基准测试存在严重可靠性问题。许多基准测试存在漏洞，导致对代理能力的严重高估或低估。例如，WebArena将错误答案标记为正确，而其他基准测试则因模拟器缺陷或缺乏可靠的评估方法而存在问题。研究人员提出了一份43项的AI代理基准测试清单（ABC），用于改进基准测试的可靠性，并对10个流行的基准测试进行了评估，发现其中大部分存在严重问题。该清单旨在帮助基准测试开发者和AI模型开发者构建更可靠的评估方法，从而更准确地评估AI代理的能力。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25784212/247333_EOY_Package_Check_In_CVirginia_LAPTOPS.jpg)
2024年对Windows on Arm来说是具有里程碑意义的一年。得益于高通骁龙X Elite处理器带来的卓越性能和电池续航能力，搭载Copilot Plus的Windows on Arm笔记本电脑在性能和应用兼容性上取得了显著突破，成功挑战了苹果MacBook Air的霸主地位。虽然游戏兼容性仍是短板，但微软与高通的合作以及开发者对原生Arm64应用的支持，让Windows on Arm生态系统日趋成熟。英特尔和AMD则通过Lunar Lake和Ryzen AI芯片进行反击，竞争愈发激烈，预示着2025年将是Arm与x86平台竞争更加白热化的一年。
阅读更多
北约宣布与Palantir公司签订合同，采用其Maven智能系统，用于人工智能驱动的战场作战。该系统名为“Maven Smart System NATO”，旨在通过各种AI应用（从大型语言模型到生成式和机器学习）提升情报融合、目标定位、战场态势感知和决策速度。此举旨在为北约提供通用的数据驱动作战能力，合同签订速度创下北约纪录。尽管具体交易条款未公开，但消息一出，Palantir股价上涨8%。此举也正值北约面临来自美国总统特朗普的压力之际，特朗普认为其他成员国对北约集体防御的支出不足。
阅读更多
作者在开发FileChat AI编程助手时，遇到了PyTorch跨平台兼容性问题。传统的依赖管理方法在构建发行版Wheel包时会丢失自定义索引信息，导致用户安装时需要手动配置。作者利用PEP 508规范，通过指定每个依赖项的Wheel文件URL和Python版本约束，实现了单命令安装，无需用户配置。在Windows和MacOS上，直接安装默认PyTorch版本；在Linux上，根据CPU、XPU和CUDA三种硬件分别提供不同的PyTorch版本Wheel文件。用户安装时需要指定对应的可选依赖项组，例如`pip install filechat[xpu]`。虽然需要维护Wheel URL，但比手动配置索引简单很多。
阅读更多
一项新的研究表明，雷暴所需的能量可能来自外星宇宙射线引发的一场电子雪崩。长期以来，雷暴如何产生足够强大的电场来产生闪电一直是个谜。研究人员利用计算机模型揭示，闪电是由外太空开始的一系列连锁反应造成的。宇宙射线撞击大气层，产生逃逸的电子，最终导致电子雪崩，产生引发闪电的高能光子。该模型还解释了为什么在闪电击中之前会发生伽马射线和X射线的闪光。
阅读更多
这篇文章介绍了五个简单易学的魔术技巧，利用心理学和数学原理，让你在朋友和家人面前展现令人惊叹的心灵魔术。从“丹麦灰象”的概率游戏到“红色锤子”的潜意识引导，再到“三角形在圆圈内”的巧妙暗示，“P.A.T.E.O方法”的巧妙选择和“1089技巧”的数学奥秘，每个技巧都附带详细步骤和实用小贴士，即使是新手也能轻松上手，变身派对焦点。
阅读更多
ACE-RISCV是一个开源项目，旨在提供一个具有形式化验证安全监视器的可信计算框架。它基于规范架构，目标是RISC-V，并可移植到其他架构。其形式化验证工作重点在于安全监视器的实现。该项目支持本地认证，并使用后量子密码学（PQC），包括ML-KEM、SHA-384和AES-GCM-256。目前基于RISC-V 64位架构，并提供详细的构建和运行指南。
阅读更多
一项针对22个领先大型语言模型（LLM）的实验发现，即使简历内容完全相同，仅姓名性别不同，这些模型在选择最合格的求职者时，持续偏向女性候选人。 研究人员发现，这种偏见在70种不同职业中都存在，并且与模型大小或推理计算量无关。即使在添加性别字段或使用通用标签后，偏见依然存在，只是程度有所变化。该研究强调了在将LLM应用于招聘等高风险决策领域时，需要警惕算法中的性别偏见，并呼吁在部署前进行更全面的模型审查。
阅读更多
加州议员Krell提出了一项关于人工智能责任的法案，旨在解决民事诉讼中日益增长的一个问题：防止被告声称AI系统自主造成对原告的损害。该法案为加州民法典新增了一节，适用于涉及AI技术开发商和用户的案件。该法案对人工智能进行了明确定义，并规定在民事诉讼中，当事人不能以AI系统独立行动导致损害为由推卸责任，从而明确了既有责任框架在AI相关案件中的适用。
阅读更多
本文揭露了美国小学阅读教学中一个长期存在的隐患：基于“三线索阅读法”（three-cueing）的教学方法。该方法认为阅读者可以通过图片、语法和语义线索猜测单词，几十年来一直被广泛应用，但已被认知科学证伪。研究表明，熟练阅读者依靠快速准确地识别单词，而“三线索阅读法”却让孩子养成依赖猜测的坏习惯，阻碍了他们阅读能力的提升。文章以一位母亲的亲身经历和众多研究成果为佐证，呼吁教育界摒弃这种过时的教学方法，转向以科学为基础的拼音教学法，帮助孩子们真正掌握阅读能力。
阅读更多
DevOps 并非仅仅是一套工具，更是一种软件交付的文化哲学和实践集。它通过自动化和桥接软件开发与IT运维团队之间的流程，来消除阻碍软件交付的瓶颈，例如手动流程、办公室政治和相互冲突的工作流程。DevOps 倡导持续集成（CI）和持续交付（CD），通过更短的开发周期、更快的反馈循环以及自动化，显著提升软件交付速度和质量。持续集成自动化了构建、测试和打包阶段，而持续交付则将自动化扩展到整个交付流程，最终让用户更快速地访问软件。成功的 DevOps 实施需要关注自动化、团队文化和流程优化，并从小的方面入手逐步改进。
阅读更多
VMware母公司博通正在对其渠道合作伙伴计划进行重大调整，取消了最低级别的“注册”合作伙伴，并对其余级别提出了更高要求。此举旨在提升合作伙伴的专业能力，更好地支持客户向VMware私有云的迁移。虽然VMware强调vSphere用户不会受到影响，但分析师认为此举可能促使合作伙伴转向微软、Nutanix和AWS等竞争对手，并可能导致VMware失去部分市场份额。此外，即将发布的VMware Cloud Foundation 9还引入了新的许可要求和硬件兼容性限制，可能进一步加剧市场波动。
阅读更多
一群美国人发现他们的iPhone无法发送某个特定短语，引发了关于苹果设备神秘审查机制的猜测。一个播客团队对此展开调查，追寻真相，故事悬念迭起。
阅读更多
arXivLabs是一个框架，允许合作者直接在arXiv网站上开发和分享新的功能。参与arXivLabs的个人和组织都认同并遵守arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果您有想法可以为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
作者在为期一年的“友谊基础”项目中，花费第六个月专注于拓展和维护人际关系。文章总结了阅读八本相关书籍后的经验：友谊对健康至关重要，即使是泛泛之交也具有价值；建立友谊需要大量时间投入；真诚的兴趣比展现自身魅力更有效；社交资本的衰退可能危及民主。作者认为友谊的构建远比预期复杂，将在下周分享个人感悟。
阅读更多
这段代码描述了一个使用NATS JetStream构建的实时交通数据处理流水线。数据源为`traffic.light.events`主题的消息，通过`myqueue`队列进行处理。流水线首先根据`traffic_light_id`对数据进行分组，然后进行映射，计算每个交通灯的车辆总数和乘客总数，最后将结果以POST请求发送到`https://example.com/traffic_data`。使用了时间窗口和批量处理机制，提高了效率。
阅读更多
搜索引擎爬虫在抓取网页时，总是会在最后几个域名上耗费数天时间。最近，迁移到新的爬取数据后，内存需求降低了80%，爬取任务数量增加，导致99.9%的爬取在4天内完成，剩余0.1%却耗时一周。问题在于网站规模遵循帕累托分布，一些大型网站（尤其学术网站，拥有大量子域名和文档）以及爬虫对每个域名的并发任务限制。最初随机排序导致大型网站启动较晚，之后尝试按子域名数量排序，却引发了对博客主机的大量并发请求。最终，通过添加请求延迟抖动和调整排序策略，优先处理子域名数量超过8的网站，一定程度上解决了问题，但批量爬取模型的固有缺陷仍需进一步优化。
阅读更多
Bridgewater联席首席投资官Greg Jensen在一份研究报告中指出，全球经济正从自由贸易转向一种新的“现代重商主义”体系。这一转变由中国等国的崛起以及美国等国的政策转向所推动，其核心特征包括国家在经济中的主导作用、贸易平衡的强调、产业政策的运用以及对国家冠军企业的保护。这种转变将重塑全球经济秩序，对依赖贸易盈余的国家构成风险，并可能引发各种形式的贸易冲突。
阅读更多
困扰芯片行业的能源效率瓶颈，或许将被可逆计算技术打破。该技术通过巧妙地避免信息擦除来节省能源，理论上可实现高达4000倍的能效提升。Vaire Computing公司正致力于将这项三十年来停留在学术界的技术商业化，他们计划在2025年第一季度推出首个可逆计算芯片原型，用于回收算术电路中的能量。未来，他们还将推出针对AI推理的节能处理器。虽然挑战依然存在，但这项技术为摩尔定律放缓后的计算领域带来了新的希望。
阅读更多
美国卫生部长罗伯特·肯尼迪小儿子周一解雇了疾病控制与预防中心疫苗咨询委员会的所有17名成员，引发医学界强烈批评。肯尼迪以利益冲突为由，计划在两周内任命自己的团队。此举被批评为“政变”，可能损害公众对疫苗科学的信任，并可能导致疫苗可预防疾病的增加。此举也违背了肯尼迪此前的承诺，并引发了对未来委员会成员公正性的担忧。
阅读更多
一篇关于Palm Springs生育诊所爆炸案的文章，该案的凶手Guy Edward Bartkus受极端哲学Efilism影响。Efilism认为所有生命都带来痛苦，应被终结。文章追溯了Efilism的网络起源，从Benatar的antinatalism到Mosher的Efilism，以及与Sandy Hook枪击案凶手Adam Lanza的联系。Bartkus的行动并非纯粹的意识形态驱动，其好友自杀对其打击巨大，Efilism更像是一种解释其绝望情绪的词汇。文章探讨了网络极端思想的传播以及个人极端行为的复杂成因，引发对网络平台责任的思考。
阅读更多
Cerebras公司成功制造并商业化了比现有最大计算机芯片大50倍的芯片，同时保持了可比的良率。他们通过重新思考芯片尺寸和容错性之间的关系来实现这一目标。通过将Cerebras晶圆级引擎与H100尺寸芯片进行比较，文章揭示了其核心技术：极小的AI核心（仅为H100的1%）和复杂的路由架构，允许系统绕过缺陷并利用冗余通信路径。这种方法实现了高达93%的硅利用率，证明了晶圆级计算的可行性和商业价值。
阅读更多
这款名为Sentinel-2 Super-Resolution GUI的桌面应用，能轻松提升Sentinel-2卫星图像的分辨率。它利用预训练的AI模型，将标准的10米分辨率蓝、绿、红和近红外波段图像放大至2倍。用户无需复杂的命令行工具，即可获得更高清的卫星图像。该应用支持GeoTIFF和JPG格式输出，并提供交互式预览和锐化功能，方便用户查看和比较处理前后效果。
阅读更多
作者使用单一提示在Aider中生成一个功能完整的Logo制作器，包含导出功能等。代码片段展示了LLM生成字体链接、依赖项以及内联CSS样式的能力，甚至包含了CDN库的最新SHA哈希值。然而，使用Sonnet 3.7扩展代码时，项目复杂度显著增加，最终代码无法编译。作者探讨了不同LLM（如Claude、GPT-4o）在代码生成和扩展方面的差异，以及上下文窗口大小、输出限制等因素对LLM应用的影响，指出LLM的上下文窗口限制和输出限制是其应用中需要克服的关键挑战。
阅读更多
亚马逊在德国多特蒙德发布了新型机器人系统Vulcan，号称拥有“真正的触觉”，旨在变革机器人与物理世界的交互方式。Vulcan主要用于亚马逊仓库的货物存储和拣选。在存储方面，Vulcan 的速度已超过人工平均水平，但仍逊色于经验丰富的人类员工。然而，Vulcan 在规划方面具有优势，能够同时考虑多个物品和货仓空间，实现高效的“三维俄罗斯方块”式存储优化。目前，Vulcan 已在德国和华盛顿州的仓库中运行了一年以上，成功存储了数十万件商品。
阅读更多
想学习电学和电子学基础知识及最新应用，但又不想参加正规课程？《自学电学与电子学》(第七版)是你的完美选择！两位经验丰富的讲师用清晰易懂的语言、循序渐进的教学方法，辅以详尽的插图和实际案例，帮助你快速掌握核心概念。本书更新了现代电子学内容，重点讲解集成电路和实际电子设计。此外，你还能获得在线考试，测试你的知识并找出需要进一步学习的领域。涵盖直流电路、交流电路、半导体、集成电路、放大器、无线电收发器、数字电路、Arduino等内容。
阅读更多