芝加哥大学和密歇根大学的数学家在arXiv上发表论文，宣称解决了希尔伯特第六问题的一个子目标：统一描述流体运动的三种物理理论——牛顿运动定律、玻尔兹曼方程和欧拉-纳维-斯托克斯方程。这项成果通过证明在粒子数量趋于无穷大、粒子尺寸趋于零的极限下，牛顿定律的统计行为收敛于玻尔兹曼方程的解，从而建立了微观、介观和宏观三种理论之间的联系，为物理学奠定了更坚实的数学基础。
阅读更多
互联网已沦为广告商操纵用户注意力的工具，算法主导的体验损害用户利益。本文倡导使用RSS，通过建立信任链，选择性订阅自己信任的人的feed，从而自主过滤信息，掌控自己的注意力。这不仅是一个信息聚合的过程，更是一种技能和习惯的养成，让用户重新拥有对信息的选择权。
阅读更多
ACM旗舰杂志《Communications of the ACM》(CACM) 正在招募其全新“实践”专栏的稿件。该专栏旨在帮助计算机从业人员提升专业技能和工作效率，文章主题涵盖技术进步、开发实践、组织结构、成功系统案例等，篇幅限制在10页（约6000字）以内。CACM欢迎来自各行各业的投稿，但更倾向于具有广泛实用价值的文章，而非高度专业化的技术细节。投稿前可与专栏联合主席联系，文章将经过同行评审和专业编辑。
阅读更多
全球最大的拉链制造商YKK发布了一款原型自动拉链，它内置电机和齿轮机构，可以通过无线遥控器一键自动拉合。目前原型尺寸较大，主要面向工业应用，例如快速连接大型膜结构或临时庇护所，显著提高效率。未来，如果能缩小尺寸并加入电池，这项技术或将改变我们日常生活中与拉链的交互方式。
阅读更多
长期以来，一个阴谋论甚嚣尘上：智能手机一直在窃听我们的私密对话。但事实并非如此简单。2024年，Cox Media Group的“主动监听”系统曝光，引发轩然大波，但该系统并非24小时监听，而是利用语音助手激活后上传的语音片段。而Facebook等公司通过收集海量数据，精准预测用户需求，投放精准广告，其运作机制远比“窃听”复杂，也更令人不安。研究表明，手机并未持续监听麦克风，但通过其他途径收集的数据已足够令人担忧。
阅读更多
伯克利大学的研究人员开发了一款名为Berkeley Humanoid Lite的开源人形机器人，其核心部件采用模块化3D打印齿轮箱，成本低于5000美元。该机器人易于定制和组装，并通过了严格的测试，证明了其3D打印部件的可靠性。研究人员利用强化学习开发了其运动控制系统，并成功实现了从仿真到硬件的零样本策略迁移。该项目旨在通过开源硬件设计、嵌入式代码和训练部署框架，推动人形机器人领域的民主化发展，让更多人参与其中。
阅读更多
作者回顾了其在千禧年之交创作的“Crap Towns”（英国最差小镇）系列书籍。该系列通过公众投票和作者自身调查，讽刺英国社会问题。如今，作者反思该系列是否还能在当今社会出版。随着身份政治的兴起，对幽默的容忍度降低，作者担心该系列的讽刺性会引发争议，并引发了对社会幽默感变化的思考。虽然有人认为该系列具有时代局限性，甚至带有冒犯性，但作者也指出，幽默是社会进步的润滑剂，批判性幽默可以揭示社会弊病。作者最终认为，尽管时代变化，但“Crap Towns”的本质依然存在，只是需要适应新的语境。
阅读更多
作者Tavian Barnes吐槽了现有构建系统（Autoconf、CMake、Meson等）配置阶段的低效，其耗时远超构建阶段。他提出了一种基于Makefile的并行化解决方案，通过将配置过程分解成多个可并行执行的任务，显著提升了效率。核心思想是利用make的并行能力，将原本串行的编译器测试任务并行化，最终将配置时间从38秒缩短到0.4秒。文中详细介绍了实现方法，包括辅助脚本、Makefile编写技巧以及并行化策略。这篇文章对于追求构建速度的开发者具有重要的参考价值。
阅读更多
Comcast第一季度住宅宽带用户流失18.3万，创历史新高，引发公司高层反思。Comcast总裁Mike Cavanagh坦言公司在市场竞争中败下阵来，原因在于价格缺乏透明度和可预测性，以及用户体验不佳。为此，Comcast正着手简化定价策略，并推出五年价格保证计划，试图挽回用户流失，但其股票价格仍下跌3.7%。
阅读更多
近日，一篇报道揭示了希腊青年科技人才的蓬勃发展。希腊学生团队在国际航空航天、机器人和汽车工程竞赛中屡获佳绩，例如ASAT团队在Spaceport America Cup中名列前茅，bitLab团队在WRO 2024中获得世界亚军和欧洲冠军。众多高校也积极参与，例如NTUA的Legged Robots Team和AUTH的Robotics Lab等。这些成就不仅展示了希腊年轻一代的创新能力，也为希腊科技发展带来了新的希望，打破了人们对希腊科技的刻板印象。
阅读更多
西蒙斯基金会启动“生态神经科学合作项目”(SCENE)，投入每年超过800万美元，汇聚神经科学和机器学习领域的顶尖科学家，研究大脑如何高效整合感觉和运动信息。该项目基于生态心理学原理，重点研究大脑如何编码“ affordances”（行动可能性），例如椅子提供坐的可能性。通过跨物种（啮齿动物、蝙蝠和人类）的研究，该项目旨在揭示认知的基本原理，并填补我们对认知理解的空白。
阅读更多
英国送餐公司Deliveroo宣布收到美国同行DoorDash提出的36亿美元全股票收购要约。Yahoo Finance的市场分析节目《Market Domination Overtime》邀请专家对这一消息进行了深入解读，探讨了此次收购对两家公司以及整个外卖市场的影响。
阅读更多
谷歌宣布停止对2011年和2012年发布的第一、二代Nest学习型恒温器以及2014年发布的欧洲版Nest学习型恒温器的软件更新。10月25日后，用户将无法通过手机或Google Assistant远程控制，只能在设备上直接调节温度和修改时间表。谷歌还表示，未来不会在欧洲发布更多Nest恒温器，但现有的第三代和Nest Thermostat E将继续销售，并为近期型号的Nest恒温器用户提供通过Google Home App设置时间表的功能。为补偿用户，谷歌提供折扣优惠。这一举动引发了人们对智能家居设备寿命的担忧，也凸显了软件支持对智能设备长期使用体验的重要性。
阅读更多
作者通过训练神经网络，将手机拍摄的森林小径视频转化为一个可在浏览器中交互探索的虚拟世界。这不同于传统的电子游戏，它并非依靠预设的几何图形、光影效果和动画脚本，而是完全由神经网络根据之前的图像和控制指令生成新的图像。作者克服了早期模型的不足，通过改进训练方法和网络结构，最终实现了相对流畅的交互体验。这体现了利用神经网络生成虚拟世界的新思路，未来有望实现更逼真、更便捷的世界构建方式。
阅读更多
本教程详细介绍了如何使用树莓派Pico和tscircuit构建一个3x5 LED矩阵，并实现WiFi远程控制。教程涵盖了电路设计、元件选择（WS2812B LED）、连接方法（串联LED）、PCB布局以及最终的网络界面控制。通过该项目，你可以学习如何创建一个可用于显示信息、数据可视化或交互式通知系统的LED矩阵。
阅读更多
GS-Calc 是一款重新定义了桌面软件“大数据集”含义的现代电子表格软件。它能够轻松处理包含数百万行和数万列的超大型 CSV 和 XLSX 文件，并支持无限数量的工作表和子文件夹。其强大的性能优化使其在加载文本文件、复制粘贴、执行 VLOOKUP 和 MATCH 等操作上显著优于其他电子表格软件。此外，GS-Calc 还提供了丰富的功能，例如强大的数据透视表、蒙特卡洛模拟、正则表达式支持以及 Python 集成等，使其成为处理大型数据集的理想工具。
阅读更多
作者使用单一提示在Aider中生成一个功能完整的Logo制作器，包含导出功能等。代码片段展示了LLM生成字体链接、依赖项以及内联CSS样式的能力，甚至包含了CDN库的最新SHA哈希值。然而，使用Sonnet 3.7扩展代码时，项目复杂度显著增加，最终代码无法编译。作者探讨了不同LLM（如Claude、GPT-4o）在代码生成和扩展方面的差异，以及上下文窗口大小、输出限制等因素对LLM应用的影响，指出LLM的上下文窗口限制和输出限制是其应用中需要克服的关键挑战。
阅读更多
微软正式推出Copilot+ PC，其核心功能是Recall，但还包含改进的Windows搜索（支持自然语言搜索）和“一键搞定”（Click to Do）功能，后者允许复制图像文本、搜索屏幕内容及快速摘要或改写文本。Copilot+ PC需要具备每秒超过40万亿次运算的NPU（神经处理单元），目前仅支持骁龙X Elite和Plus芯片、英特尔酷睿Ultra 200V系列和AMD锐龙AI 300系列处理器。部分功能（如“一键搞定”）目前仅限于基于Arm架构的设备。
阅读更多
这是一本关于D语言编程的全面指南，涵盖了从基础语法到高级特性的方方面面。书中通过清晰的章节结构，逐步介绍了D语言的核心概念，包括变量、数据类型、运算符、控制流、函数、类、面向对象编程、模板、并发编程等。此外，还包含大量的代码示例和练习题，帮助读者更好地理解和掌握D语言的编程技巧。无论是D语言初学者，还是有一定编程经验的开发者，都能从本书中获益良多。
阅读更多
Magnitude是一个革命性的开源Web应用端到端测试框架，它利用视觉AI代理来“查看”你的界面并适应其中的任何变化。通过自然语言轻松构建测试用例，强大的推理代理规划和调整测试，快速的视觉代理可靠地执行运行。它支持本地或CI/CD管道运行测试，并能自动处理测试过程中遇到的问题。Magnitude支持多种LLM模型，包括Gemini 2.5 pro、Anthropic、OpenAI等，并提供免费的Moondream视觉模型。它使得编写和运行测试变得前所未有的简单和高效。
阅读更多
拥有数百万下载量和4.9星评分的Meta Quest爆款社交游戏《Gym Class》正在扩张！他们正在寻找一位经验丰富的动画工程师，负责Unity引擎下游戏角色的移动和交互动画系统的设计、开发和实现。该职位需要精通Unity和C#，拥有移动平台动画系统开发经验，熟悉IK、动画混合和状态机，并能够优化移动设备上的动画性能。你将领导一个高绩效的动画工程团队，参与塑造游戏角色的未来。
阅读更多
英特尔最新一代AI PC芯片销量远低于预期，导致其旧款芯片的生产能力出现短缺。这一消息公布之际，英特尔正遭遇裁员和财务报告糟糕的双重打击，股价也应声下跌。消费者更倾向于购买价格更低的上一代Raptor Lake芯片，而非价格更高的Lunar Lake和Meteor Lake AI芯片。这导致英特尔7nm制程节点产能不足，预计该问题将持续存在。这一意外的产能短缺，正反映出市场对旧款芯片的意外需求激增。英特尔解释称，这部分需求增长主要来自对N-1和N-2产品（即前两代芯片）的需求增加，这在消费和数据中心市场均有体现。然而，AI PC似乎还没有出现能够刺激消费者购买昂贵新笔记本电脑的“杀手级应用”，导致新一代AI芯片的销量不佳。英特尔的客户计算部门第一季度营收同比下降8%。
阅读更多
本文讲述了南加州莫哈韦沙漠中流传已久的Yucca Man传说，以及其他类似的怪兽目击事件。从20世纪70年代开始，在军事基地、国家公园和偏远地区，都有关于这种8英尺高、毛茸茸、红眼发光的生物的报道。当地原住民将其视为超自然实体，而现代目击者则将其描述为类似于大脚怪的生物。文章还回顾了历史上的类似传说，例如Elizabeth Lake的带翅膀的怪兽和水泥矿的“水泥怪兽”，这些故事都与南加州的地理环境和历史事件交织在一起，构成了一个神秘而引人入胜的叙事。
阅读更多
美国交通部因大规模裁员，导致航空安全面临威胁。交通部长Sean Duffy利用“延期辞职”策略，迫使近4700名员工离职，其中大部分来自联邦航空管理局。此举引发安全担忧，许多被辞退的员工正被要求复职。尽管交通部声称裁员是为了提高效率，但此举已造成混乱，并引发外界对航空安全的质疑。
阅读更多
本文介绍了一种强大的调试技巧——差异代码覆盖率分析。通过比较通过测试和失败测试的代码覆盖率，可以快速定位错误代码。作者以Go语言的`math/big`库为例，演示了如何利用`go test`和`go tool cover`工具生成覆盖率报告，并通过`diff`命令比较差异，最终精准地找到了导致测试失败的代码片段，仅需检查少量代码即可解决问题，效率远高于传统方法。
阅读更多
XPrize基金会宣布了其为期四年、总奖金达1亿美元的碳移除大赛的获胜者。休斯顿初创公司Mati Carbon凭借其增强型岩石风化技术赢得5000万美元大奖，该技术通过在印度和非洲的小型农场上撒布玄武岩来去除大气中的二氧化碳。Mati Carbon的数据驱动方法和软件平台给评委留下了深刻印象，其严谨的碳储存验证过程也为碳信用市场的发展提供了重要借鉴。虽然直接空气捕捉和海洋碳移除技术未在本次大赛中胜出，但一些公司也获得了里程碑奖和荣誉奖，展现了其技术的潜力。未来，大规模部署碳移除技术将是应对气候变化的关键。
阅读更多
一项对数十万份政策文件的研究揭示了美国两大政党在使用科学文献方面的显著差异。民主党领导的国会委员会和左翼智库更倾向于引用研究论文。研究还发现，民主党和左倾智库更可能引用高影响力的研究，而且两派很少引用相同的研究或相同的话题。这项发表在《科学》杂志上的分析表明，民主党控制的委员会引用科学的可能性几乎是共和党领导的委员会的两倍。
阅读更多
本文探讨了《比虚构更奇特：二十世纪小说的生活》一书，该书考察了二十世纪小说在动荡世界中的演变。作者Edwin Frank认为，二十世纪小说的主题范围比十九世纪更广，涵盖同性恋、酗酒、反英雄和魔幻现实主义等元素。然而，作者也指出，二十世纪小说在深度上未能超越十九世纪的经典之作，例如狄更斯、托尔斯泰等大师的作品。文章最终表达了对小说未来发展和读者阅读的担忧，认为小说这种深入刻画人性和情感的文体，其衰落将是不可估量的损失。
阅读更多
继处女作引起轰动后，MacLane次年出版了《我的朋友安娜贝尔·李》，这部超现实主义风格的小说讲述了作者与一个日本瓷娃娃的友谊，却遭到评论界的冷遇。此后，MacLane的生活跌宕起伏，她做过记者，挥霍家产，甚至因债务被捕。她与比自己年长44岁的Caroline M. Branson同居多年，并持续给Monroe写信表达爱慕。MacLane一生奔波，发表过大胆的观点，涉及婚姻、家庭、性、宗教等多个方面，其传奇人生充满了争议与神秘色彩。
阅读更多