2006年，Netflix发起了一场百万美元大奖赛，旨在提升其推荐系统。这场比赛吸引了数千支队伍参与，推动了机器学习领域的进步。比赛结果表明，简单的算法也能取得令人惊讶的效果，更大的模型能获得更好的分数，并且过拟合并非总是问题。然而，这场比赛也留下了一个苦涩的教训：数据隐私问题导致Netflix取消了后续比赛，限制了对推荐系统算法的公开研究，科技公司对数据的控制达到了前所未有的程度。
阅读更多
中国自动驾驶出租车行业发展迅速，监管也异常严格。与美国主要关注Waymo等公司不同，中国拥有百度、Pony.AI、WeRide等四大主要玩家。文章报道了Ride AI大会上关于中国自动驾驶出租车监管和用户体验的讨论。中国监管部门对自动驾驶出租车公司进行多层次审批，从带安全员测试到最终无人驾驶运营，分阶段逐步放开。与美国宽松的监管环境形成对比，中国的严格监管虽然可能抑制创新，但也保证了更高的安全标准。一位名叫Sophia Tung的博主体验了不同公司的自动驾驶出租车，发现百度第六代自动驾驶出租车体验最佳，接近Waymo的水平，而其他公司则相对逊色。虽然单次体验不能完全反映车辆质量，但中国自动驾驶出租车行业的发展速度依然令人瞩目。
阅读更多
WordPecker是一款个性化语言学习应用，它结合了Duolingo式的课程和用户自己整理的词汇表。你可以从书籍、文章或视频中轻松添加单词，并通过互动测验和LLM生成的课程复习它们。该应用旨在解决传统语言学习中词汇积累的痛点，通过将学习与上下文联系起来，提高学习效率和记忆效果。目前支持多种题型，未来还计划增加更多功能，例如进度追踪、列表分享等。
阅读更多
arXivLabs是一个框架，允许协作者直接在arXiv网站上开发和分享新功能。参与arXivLabs的个人和组织都秉承着开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法可以为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
还在为查找Linux内核tracepoint的元数据和数据结构而苦恼吗？tracepointargs工具闪亮登场！它可以列出所有Linux内核tracepoint及其参数、数据类型和相关结构体。更棒的是，它还能解析内核结构体布局，让你无需翻阅源码就能理解tracepoint的细节。只需结合bpftool生成vmlinux.h文件，就能轻松查看结构体内部信息，甚至递归展开嵌套结构。这对于eBPF开发者和内核探索者来说，无疑是一大利器，大大提升效率。
阅读更多
本文探讨了选择公理在百年数学史中的争议。从康托尔提出良序定理到策梅罗给出证明并引入选择公理，引发了数学家们激烈的讨论。文章深入分析了选择公理的不同形式，包括构造性选择公理和外延性选择公理，并指出外延性选择公理的问题在于它违反了“不能无中生有”的原则。通过在构造性类型论中进行证明，文章揭示了外延性选择公理与策梅罗选择公理以及拓扑斯理论中的选择公理之间的关系，并最终得出结论：外延性选择公理是策梅罗选择公理在构造性类型论中的正确表达。
阅读更多
一名德国纹身艺术家Jessica Brösche与朋友计划在美国进行艺术创作，却在美墨边境被拘留25天。美国海关和边境保护局（CBP）指控其计划违反签证豁免计划，尽管她持有有效签证和返程机票。事件引发关注，网友通过在线追踪找到其下落，并通过当地居民的帮助，其朋友得以探望。但Brösche仍被拘留，其遭遇引发对美国移民系统的质疑，并凸显了高昂的拘留成本。
阅读更多
Daylight DC-1 是一款独特的灰度平板电脑，它优先考虑用户与光线和户外环境的健康互动。作者在Amtrak列车上体验了这款设备，并对其在阳光下的可读性、夜间使用的舒适度以及Android系统的易用性表示赞赏。尽管存在一些不足，例如对键盘的支持、一些软件的粗糙以及缺少某些功能，但这是一款令人印象深刻的产品，尤其是在其对显示技术的创新方面。
阅读更多
本文回顾了PS3游戏机的失败，作者从一名AAA游戏开发者角度出发，分析了其异构多核架构的缺陷。PS3的Cell处理器虽然拥有多个SPE核心，但实际可用核心数有限，且SPE核心性能弱于GPU。此外，SPE的本地内存限制、异构的CPU和GPU架构以及复杂的同步机制，都极大地增加了开发难度，导致开发者难以充分利用PS3的计算能力。作者认为，PS3的多核架构设计并未成功，其异构性使其成为一颗“被舔过的饼干”——潜力巨大但最终未被充分发挥。
阅读更多
一位名叫Thierry Juge的巴黎人将一座17世纪的法国修道院改造成了一座令人惊叹的中世纪风格绿地。他巧妙地利用修剪整齐的黄杨木，创造出各种几何图案和造型，打造出一个宁静祥和的“围合花园”（hortus conclusus）。花园内包含迷宫、果园、菜园等区域，体现了主人对植物的热爱和对精神境界的追求。该花园已获得法国文化部的“卓越花园”称号，体现了其非凡的价值。
阅读更多
一份报告指出，16至24岁的年轻女性的收入首次超过男性，平均高出近10%。报告强调，年轻男性在教育及其他方面都落后于年轻女性，面临着严重的社会危机。他们不仅在就业市场上处于劣势，而且在社会心态转变中感到孤立无援。
阅读更多
Python 的继承机制一直以来都很有趣。传统上，Python 使用基于类型的继承，类似 Java。但鸭子类型（通过魔术方法实现）的灵活性有限。PEP 544 引入了协议（Protocol），允许定义结构化子类型，即静态鸭子类型。通过继承 Protocol 类，开发者可以声明一组方法，任何实现了这些方法的类都将被视为该协议的实例，解决了传统鸭子类型在扩展性上的不足，使代码更清晰，更易于维护。
阅读更多
谷歌为Pixel 4a推送的软件更新，本意是提升电池稳定性，却意外导致部分用户电池续航缩水一半。调查发现，问题源于Pixel 4a使用了两种不同的电池，来自Lishen的电池在更新后最大充电电压降低，电池容量也减半。谷歌为此提供了电池免费更换、100美元谷歌商店积分或50美元现金补偿，但无法回滚更新。此事件凸显了软件更新可能带来的意外后果，以及厂商应对措施的重要性。
阅读更多
本文探讨了持久化执行引擎（如Temporal）的演进历程，从早期的数据库事务、分布式事务以及容错型RPC/微服务架构入手。作者分析了Jimmy Bogard的“六行代码的失败”案例，指出传统方法在处理跨服务函数调用时面临诸多挑战，例如事务回滚和重试机制。文章回顾了分布式事务（如两阶段提交协议）的局限性，并探讨了Java世界中JSR-95（活动服务）以及Web服务标准（如WS-AtomicTransaction）的尝试，最终指出这些标准未能广泛应用。作者进一步分析了近年来兴起的微服务架构和相应的容错机制，以及事件溯源、编排与编排等概念。最后，文章比较了Temporal、Restate、DBOS等现代持久化执行引擎的差异，包括其工作模式、数据存储方式以及与Serverless架构的结合等，并指出持久化执行引擎在解决分布式系统可靠性问题上的重要作用。
阅读更多
作者通过FujiNet项目，将一台老旧的Tandy Coco电脑连接到互联网。FujiNet是一个开源项目，旨在为老式电脑提供多种功能，包括网络访问、SD卡支持、以及跨平台游戏等。作者在组装FujiNet硬件的过程中遇到了一些挑战，例如焊接困难、硬件bug以及软件兼容性问题。最终，作者成功连接到网络并运行了多个应用，包括国际空间站追踪器和游戏。这个过程展现了开源社区的活力和老式电脑的无限潜力，也突显了硬件修复和软件开发的乐趣。
阅读更多
一个名为Xvesa的精简X服务器从git历史的深处被复活了！由于TinyX服务器在体积上远小于Xorg，开发团队选择维护Xvesa并与Xfbdev结合，修复bug，增强安全性，并酌情添加新功能。他们选择了1.2.0版本而非1.3.0，因为后者破坏了输入功能。Xvesa的设计目标是最小化且功能齐全，因此去除了xkb、xinput、xinerama和gl等功能，默认禁用TCP监听，启用影子帧缓冲区。许可证为GPLv3。
阅读更多
一位住在北卡罗来纳州西部山区的老人，因为蜂窝网络信号差，无法接收短信验证码，导致无法登录许多网站和应用程序。尽管她的房屋位于靠近城市的地方，但蜂窝网络覆盖仍然非常糟糕。运营商提供的网络覆盖图也与实际情况不符。她尝试使用WiFi通话接收验证码，但许多网站不支持通过WiFi通话接收来自5位数短代码的验证码。切换到TOTP双因素身份验证也存在问题，需要下载和使用额外的应用程序，对于不熟悉技术的用户来说操作比较复杂。这篇文章探讨了农村地区糟糕的蜂窝网络覆盖如何影响人们的日常生活，以及如何改善这一问题。
阅读更多
一家名为Pulse的公司在使用大型语言模型（LLM）进行数据提取时遇到了意想不到的挑战。他们发现，尽管LLM在文本生成和摘要方面表现出色，但在处理复杂的PDF和表格时却存在严重缺陷。LLM的OCR能力受限于其概率性本质和对图像的抽象处理方式，容易出现幻觉、数据丢失和误读等问题，尤其是在处理财务和医疗数据时风险极高。此外，LLM还容易受到提示注入攻击，这引发了安全和伦理方面的担忧。Pulse最终决定放弃使用LLM进行OCR，转而开发结合传统计算机视觉算法和视觉转换器的自定义解决方案。
阅读更多
亚马逊云科技(AWS)为了提供可靠的服务，采用了一套结合形式化和半形式化方法的系统正确性实践。早期主要依赖TLA+进行建模，有效识别并消除细微的bug。随着发展，AWS引入了P语言，一种更易于程序员使用的状态机语言，用于对分布式系统进行建模和分析，例如在Amazon S3的强一致性迁移中发挥了关键作用。此外，AWS还广泛应用轻量级方法，如基于属性的测试、确定性模拟和模糊测试，并开发了FIS（故障注入服务）来增强系统的健壮性。在一些关键的安全边界，AWS甚至使用形式化证明来保证正确性，例如Cedar授权策略语言和Firecracker VMM。通过这些方法，AWS不仅提高了服务的可靠性，还实现了性能的优化，降低了成本。
阅读更多
在迪拜摩天大楼环绕的沙漠中，一片绿洲——阿尔库德拉湖——惊现一群来自阿根廷的巴塔哥尼亚马拉鼠。这些兔子大小的动物，长腿大耳，如今在通常栖息着瞪羚等沙漠生物的湖区自由漫步。它们的到来成谜，但至少已在此繁衍生息数年。专家推测，它们可能源于私人饲养动物的逃逸。尽管当地气候炎热，但绿洲的特殊环境，以及缺乏天敌，使它们得以生存和繁殖。
阅读更多
科学家们发现了一种利用超声波引导电火花的新方法，这项突破性研究发表在《科学进展》杂志上。不同于以往依赖危险激光技术的电火花控制，该方法利用超声波，安全、廉价且易于操作。超声波通过改变空气密度引导电火花，使其能够绕过障碍物，甚至精确打击非导电材料上的特定位置。这项技术有望应用于大气科学、生物程序和电路选择性供电等领域，甚至可能用于创造一种无接触的盲文系统。
阅读更多
本文探讨了如何编写优秀的设计文档。作者将设计文档比作数学证明，其目标是说服读者设计方案的最佳性，并强调文档组织的重要性，避免像“意大利面条式代码”一样混乱。作者建议使用简洁的语言，每个段落只表达一个中心思想，并用附录补充细节。通过反复练习和编辑，不断精炼文档，最终达到清晰、简洁、令人信服的效果。
阅读更多
游戏开发中，“垂直切片”的理念强调完整性，而科技界流行的“最小可行产品”（MVP）却只追求快速迭代。作者认为，过度强调帕累托法则（20%的努力产生80%的结果），导致许多科技产品停留在粗糙的MVP阶段，缺乏最终的打磨和完善，用户体验大打折扣。这不仅体现在许多应用和软件上，甚至也影响了人工智能领域，例如自动驾驶和图像生成等，这些技术虽然初具雏形，但距离实用化仍有很大差距。作者呼吁科技界应该转变观念，重视产品的完整性和用户体验，而非仅仅追求快速迭代和融资。
阅读更多
arXivLabs是一个实验性平台，允许合作者直接在arXiv网站上开发和分享新功能。参与者（个人或组织）都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法能提升arXiv社区的价值，欢迎了解arXivLabs。
阅读更多
本文以幽默的笔触回顾了机器人发展史，从达芬奇的机械骑士到如今的类人机器人，涵盖了人工智能的兴衰起伏。文章穿插了诸多趣闻轶事，例如Westinghouse的Elektro机器人，以及Google收购机器人公司后的“血腥”竞争，并对未来机器人发展趋势进行了大胆预测，例如机器人取代程序员，AI统治世界等。
阅读更多
谷歌的Veo视频生成模型取得了重大突破，其第三代版本能够通过微调在各种多模态任务中表现出色，尤其是在新视角合成方面。该模型利用数百万个高质量3D合成资产数据集进行训练，可以将产品图像转换为一致的360°视频。令人印象深刻的是，Veo能够有效地泛化到不同的产品类别，如家具、服装和电子产品等，并准确捕捉复杂的照明和材质交互，这是前两代模型难以实现的。
阅读更多
DeepSeek团队发布了其首个推理模型DeepSeek-R1，该模型通过大规模强化学习训练，无需监督微调。为了解决DeepSeek-R1-Zero版本中存在的重复、可读性和语言混合等问题，DeepSeek-R1在强化学习前加入了冷启动数据，并在推理性能上与OpenAI-o1模型相当。此外，团队还开源了DeepSeek-R1及其六个基于Llama和Qwen的蒸馏模型，其中DeepSeek-R1-Distill-Qwen-32B在多个基准测试中超越了OpenAI-o1-mini，取得了新的SOTA结果。这些模型已在Hugging Face上公开，并提供配套的API和在线聊天平台。
阅读更多
本文作者探讨了Mensa为9-12年级学生推荐的优秀阅读书单。这并非一份轻松的阅读清单，而是包含《神曲》、《魔山》等经典作品的挑战性书单。作者认为，这些书籍并非为了让你获得知识，而是为了让你质疑、思考，挑战你已有的认知和舒适区，培养批判性思维和持续学习的能力。阅读这些作品的过程或许会让你感到不适，但正是这种不适感，促使你深入思考，获得更深刻的理解和成长。最终，阅读的意义在于不断学习和自我反思，而非简单的知识积累。
阅读更多
闪迪在投资者日公布了其基于UltraQLC技术的1PB固态硬盘路线图，以及对3D DRAM技术的展望。UltraQLC通过结合BICS 8 QLC 3D NAND、64通道控制器和定制固件，实现高密度、高性能和高能效。虽然1PB SSD即将问世，但3D DRAM技术仍面临挑战，闪迪正探索包括高带宽闪存（HBF）在内的替代方案来应对AI训练对内存容量的巨大需求。
阅读更多
Desmos是一个免费的在线数学工具，以其简洁美观的界面和强大的功能而闻名。它允许用户绘制各种函数图像，进行代数运算，以及创建交互式的数学模型。无论是学生学习数学还是教师进行教学，Desmos都能提供极大的帮助，提升学习和教学效率。其易于上手的操作和丰富的功能使其成为数学爱好者和专业人士的理想选择。
阅读更多