YKK自动拉链：未来科技，解放双手
2025-04-26
全球最大的拉链制造商YKK发布了一款原型自动拉链，它内置电机和齿轮机构，可以通过无线遥控器一键自动拉合。目前原型尺寸较大，主要面向工业应用，例如快速连接大型膜结构或临时庇护所，显著提高效率。未来，如果能缩小尺寸并加入电池，这项技术或将改变我们日常生活中与拉链的交互方式。
阅读更多
ACM旗舰杂志CACM征稿：实践专栏
2025-04-26
ACM旗舰杂志《Communications of the ACM》(CACM) 正在招募其全新“实践”专栏的稿件。该专栏旨在帮助计算机从业人员提升专业技能和工作效率，文章主题涵盖技术进步、开发实践、组织结构、成功系统案例等，篇幅限制在10页（约6000字）以内。CACM欢迎来自各行各业的投稿，但更倾向于具有广泛实用价值的文章，而非高度专业化的技术细节。投稿前可与专栏联合主席联系，文章将经过同行评审和专业编辑。
阅读更多伯克利开源人形机器人：价格亲民，人人可定制
2025-04-26
伯克利大学的研究人员开发了一款名为Berkeley Humanoid Lite的开源人形机器人，其核心部件采用模块化3D打印齿轮箱，成本低于5000美元。该机器人易于定制和组装，并通过了严格的测试，证明了其3D打印部件的可靠性。研究人员利用强化学习开发了其运动控制系统，并成功实现了从仿真到硬件的零样本策略迁移。该项目旨在通过开源硬件设计、嵌入式代码和训练部署框架，推动人形机器人领域的民主化发展，让更多人参与其中。
阅读更多
硬件
开源机器人
你的手机真的在偷听你吗？真相远比你想象的更复杂
2025-04-26
长期以来，一个阴谋论甚嚣尘上：智能手机一直在窃听我们的私密对话。但事实并非如此简单。2024年，Cox Media Group的“主动监听”系统曝光，引发轩然大波，但该系统并非24小时监听，而是利用语音助手激活后上传的语音片段。而Facebook等公司通过收集海量数据，精准预测用户需求，投放精准广告，其运作机制远比“窃听”复杂，也更令人不安。研究表明，手机并未持续监听麦克风，但通过其他途径收集的数据已足够令人担忧。
阅读更多
科技
告别龟速配置：利用Makefile并行化构建过程
2025-04-26
作者Tavian Barnes吐槽了现有构建系统（Autoconf、CMake、Meson等）配置阶段的低效，其耗时远超构建阶段。他提出了一种基于Makefile的并行化解决方案，通过将配置过程分解成多个可并行执行的任务，显著提升了效率。核心思想是利用make的并行能力，将原本串行的编译器测试任务并行化，最终将配置时间从38秒缩短到0.4秒。文中详细介绍了实现方法，包括辅助脚本、Makefile编写技巧以及并行化策略。这篇文章对于追求构建速度的开发者具有重要的参考价值。
阅读更多
开发
Comcast用户流失，价格策略成败笔
2025-04-26
Comcast第一季度住宅宽带用户流失18.3万，创历史新高，引发公司高层反思。Comcast总裁Mike Cavanagh坦言公司在市场竞争中败下阵来，原因在于价格缺乏透明度和可预测性，以及用户体验不佳。为此，Comcast正着手简化定价策略，并推出五年价格保证计划，试图挽回用户流失，但其股票价格仍下跌3.7%。
阅读更多
科技
价格策略
希腊青年科技力量崛起：火箭、机器人和超级跑车！
2025-04-26
近日，一篇报道揭示了希腊青年科技人才的蓬勃发展。希腊学生团队在国际航空航天、机器人和汽车工程竞赛中屡获佳绩，例如ASAT团队在Spaceport America Cup中名列前茅，bitLab团队在WRO 2024中获得世界亚军和欧洲冠军。众多高校也积极参与，例如NTUA的Legged Robots Team和AUTH的Robotics Lab等。这些成就不仅展示了希腊年轻一代的创新能力，也为希腊科技发展带来了新的希望，打破了人们对希腊科技的刻板印象。
阅读更多800万美金巨资投入！揭秘大脑如何整合感官和运动信息
2025-04-26
西蒙斯基金会启动“生态神经科学合作项目”(SCENE)，投入每年超过800万美元，汇聚神经科学和机器学习领域的顶尖科学家，研究大脑如何高效整合感觉和运动信息。该项目基于生态心理学原理，重点研究大脑如何编码“ affordances”（行动可能性），例如椅子提供坐的可能性。通过跨物种（啮齿动物、蝙蝠和人类）的研究，该项目旨在揭示认知的基本原理，并填补我们对认知理解的空白。
阅读更多
科技
大脑认知
Crap Towns：一个时代的结束？
2025-04-26
作者回顾了其在千禧年之交创作的“Crap Towns”（英国最差小镇）系列书籍。该系列通过公众投票和作者自身调查，讽刺英国社会问题。如今，作者反思该系列是否还能在当今社会出版。随着身份政治的兴起，对幽默的容忍度降低，作者担心该系列的讽刺性会引发争议，并引发了对社会幽默感变化的思考。虽然有人认为该系列具有时代局限性，甚至带有冒犯性，但作者也指出，幽默是社会进步的润滑剂，批判性幽默可以揭示社会弊病。作者最终认为，尽管时代变化，但“Crap Towns”的本质依然存在，只是需要适应新的语境。
阅读更多
杂项
身份政治
用神经网络生成可交互的森林世界
2025-04-25
作者通过训练神经网络，将手机拍摄的森林小径视频转化为一个可在浏览器中交互探索的虚拟世界。这不同于传统的电子游戏，它并非依靠预设的几何图形、光影效果和动画脚本，而是完全由神经网络根据之前的图像和控制指令生成新的图像。作者克服了早期模型的不足，通过改进训练方法和网络结构，最终实现了相对流畅的交互体验。这体现了利用神经网络生成虚拟世界的新思路，未来有望实现更逼真、更便捷的世界构建方式。
阅读更多
游戏
谷歌停止对第一、二代Nest恒温器的软件更新
2025-04-25
谷歌宣布停止对2011年和2012年发布的第一、二代Nest学习型恒温器以及2014年发布的欧洲版Nest学习型恒温器的软件更新。10月25日后，用户将无法通过手机或Google Assistant远程控制，只能在设备上直接调节温度和修改时间表。谷歌还表示，未来不会在欧洲发布更多Nest恒温器，但现有的第三代和Nest Thermostat E将继续销售，并为近期型号的Nest恒温器用户提供通过Google Home App设置时间表的功能。为补偿用户，谷歌提供折扣优惠。这一举动引发了人们对智能家居设备寿命的担忧，也凸显了软件支持对智能设备长期使用体验的重要性。
阅读更多
硬件
Nest恒温器
树莓派Pico控制的3x5 LED矩阵：从电路设计到网络控制
2025-04-25
本教程详细介绍了如何使用树莓派Pico和tscircuit构建一个3x5 LED矩阵，并实现WiFi远程控制。教程涵盖了电路设计、元件选择（WS2812B LED）、连接方法（串联LED）、PCB布局以及最终的网络界面控制。通过该项目，你可以学习如何创建一个可用于显示信息、数据可视化或交互式通知系统的LED矩阵。
阅读更多
硬件
LED矩阵
DoorDash欲36亿美元收购Deliveroo
2025-04-25
英国送餐公司Deliveroo宣布收到美国同行DoorDash提出的36亿美元全股票收购要约。Yahoo Finance的市场分析节目《Market Domination Overtime》邀请专家对这一消息进行了深入解读，探讨了此次收购对两家公司以及整个外卖市场的影响。
阅读更多
创业
Apple TV+营销策略引争议：一部优秀剧集的悲剧
2025-04-26
Apple TV+上线五年多，除了《泰德·拉索》的爆红，一直难以获得主流关注。制作人Alex Berger吐槽Apple TV+的营销策略糟糕，以其制作的法国剧集《La Maison》为例，尽管在欧洲大获成功，但由于Apple几乎没有进行任何宣传，导致鲜有人知。这并非个例，Apple TV+对非英语剧集的营销力度尤其不足，许多优质剧集因此被埋没，凸显了其营销策略的巨大缺陷。
阅读更多
科技
用Lean4形式化罗素的《数学原理》
2025-04-25
这个项目旨在使用Lean定理证明器形式化伯特兰·罗素教授的《数学原理》第一卷。目标是确保形式化与书中相应的定理清晰一致，避免混淆。该项目遵循罗素的证明过程，尽量避免添加额外的语句。作者还创建了一个新的战术`Syll`，以处理更一般的三段论形式。尽管《数学原理》被认为是“巨大的失败”，但作者认为这个形式化过程是一个丰富的学习体验。
阅读更多
开发
数学原理
争议作家MacLane的传奇人生
2025-04-25
继处女作引起轰动后，MacLane次年出版了《我的朋友安娜贝尔·李》，这部超现实主义风格的小说讲述了作者与一个日本瓷娃娃的友谊，却遭到评论界的冷遇。此后，MacLane的生活跌宕起伏，她做过记者，挥霍家产，甚至因债务被捕。她与比自己年长44岁的Caroline M. Branson同居多年，并持续给Monroe写信表达爱慕。MacLane一生奔波，发表过大胆的观点，涉及婚姻、家庭、性、宗教等多个方面，其传奇人生充满了争议与神秘色彩。
阅读更多
杂项
arXivLabs：与社区协作者的实验性项目
2025-04-25
arXivLabs是一个框架，允许协作者直接在arXiv网站上开发和分享新的功能。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与坚持这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
开发
Curry 编程语言：函数式与逻辑式编程的完美融合
2025-04-25
Curry 是一种声明式多范式编程语言，它无缝地结合了函数式编程（嵌套表达式、高阶函数、强类型、惰性求值）和逻辑式编程（非确定性、内置搜索、自由变量、部分数据结构）的特性。与单一编程范式相比，Curry 提供了额外的功能，例如针对逻辑导向计算的优化求值和具有用户自定义函数的灵活、非确定性模式匹配。
阅读更多法官协助逃犯，引爆司法与行政冲突
2025-04-25
密尔沃基郡巡回法院法官汉娜·杜根因涉嫌帮助一名男子逃避移民当局逮捕而被捕，此事件加剧了特朗普政府与司法部门之间的冲突。FBI指控杜根故意将联邦探员引开，阻止他们逮捕该男子。杜根否认指控，称其行为并非出于公共安全考虑。此事件引发了对权力分立以及政府对司法部门干预的担忧。
阅读更多
杂项
权力冲突
arXivLabs：社区协作的实验性项目
2025-04-25
arXivLabs是一个允许合作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并遵守arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
开发
微软AI赌注：Mustafa Suleyman能否扭转乾坤？
2025-04-25
微软斥资6.5亿美元收购Inflection AI核心团队，试图借助其创始人Mustafa Suleyman的经验提升自身AI实力，特别是扭转Copilot用户增长乏力的局面。然而，Suleyman的加入并非一帆风顺，内部团队整合困难，与OpenAI关系紧张，以及Copilot与ChatGPT用户数量的巨大差距都给微软带来了挑战。文章探讨了微软在AI领域面临的战略困境，以及Suleyman能否最终交付一款成功的消费级AI产品。
阅读更多
科技
RSS：在信息洪流中重建掌控权
2025-04-26
互联网已沦为广告商操纵用户注意力的工具，算法主导的体验损害用户利益。本文倡导使用RSS，通过建立信任链，选择性订阅自己信任的人的feed，从而自主过滤信息，掌控自己的注意力。这不仅是一个信息聚合的过程，更是一种技能和习惯的养成，让用户重新拥有对信息的选择权。
阅读更多
杂项
亚马逊河豚的“尿液喷泉”：一种意想不到的交流方式
2025-04-25
一项新的研究发现，亚马逊河豚会通过向空中喷射尿液来进行交流，这种奇特的行为被称为“空中排尿”。研究人员观察到，雄性河豚会将尿液喷射到空中，而附近的雄性河豚则会靠近这个“尿液喷泉”，这表明尿液可能携带了关于社会地位或身体状况的信息。这项发现进一步证实了动物利用尿液进行交流的广泛性，从灵长类动物利用尿液识别个体和寻找交配对象，到鱼类和甲壳类动物利用尿液传递大小和攻击性信息，尿液在动物王国中扮演着重要的沟通角色。
阅读更多逆向工程VTech Socrates：80年代混合游戏机/电脑的冒险
2025-04-25
本文讲述了作者对一台80年代末VTech Socrates混合游戏机/电脑的逆向工程过程。作者从eBay购得一台状况不佳的Socrates，对其进行清洁和拆解，发现其内部元件主要来自东芝，并包含一个Z80 CPU和一个用于扩展的边缘连接器。为了实现AV输出，作者设计并制作了一个简单的电路板，解决了视频信号过暗的问题。之后，作者尝试运行游戏卡带，并通过分析MAME模拟器中的ROM文件，理解了卡带的加载机制和内存映射方式。尽管在编写HelloWorld程序时遇到一些问题，但作者最终成功地在Socrates上绘制像素，为进一步的逆向工程和开发奠定了基础。
阅读更多
硬件
反盗版广告的讽刺：竟用了盗版字体？
2025-04-25
二十年前，“你不会偷车”的反盗版广告战役家喻户晓。如今，一项新发现却揭示了该广告的巨大讽刺：其宣传材料可能使用了名为“XBAND Rough”的盗版字体，该字体是1992年Just Van Rossum设计的FF Confidential字体的克隆版。尽管广告本身旨在打击盗版，但其自身却可能使用了盗版字体，这引发了广泛的讨论和关注。字体原作者对此表示“哭笑不得”。
阅读更多
杂项
反盗版广告
微软即将弃用Windows地图应用
2025-04-25
微软宣布将于2025年7月停止支持并从Microsoft Store中移除Windows地图应用。此举早有预兆，微软此前已取消了离线地图支持，并在Windows 11 24H2版本中不再预装该应用。虽然用户目前仍可从Microsoft Store下载，但7月后将无法重新安装。微软建议用户转用Bing地图网页版。此举表明微软正逐渐整合其地图服务，并专注于其网页版地图服务。
阅读更多UIT：云端高性能文件处理库
2025-04-25
UIT是一个用于在云端大规模进行高性能、模块化、低内存文件处理的库。它通过一个四步流程来收集来自任何所需模式的文件层次结构，应用过滤器和转换，并将其输出到任何所需的模式。UIT具有模块化设计，支持并行化和流处理，使其能够在Cloudflare Workers等低内存环境中运行。它还提供各种模块，例如ZIP文件处理、数据合并、格式转换和搜索等，并支持自定义模块的添加。UIT的目标是成为云端流式处理、过滤和转换文件层次结构的标准，并为开发者提供一个强大的文件处理工具。
阅读更多
开发
DOGE削减预算的虚假宣传：杯水车薪与更有效的替代方案
2025-04-25
尽管DOGE项目的预算削减占据了新闻头条，但其对赤字的影响微乎其微，仅为0美元。政府效率部门取消了0个拨款和合同，对弱势群体、研究项目和基本服务造成了巨大的社会成本。文章指出，仅仅两个替代性政策就能产生远超DOGE削减的财政收益，例如：堵塞企业税收漏洞和减少碳排放。这些政策不仅能有效解决赤字问题，还能维持关键服务，远比象征性的DOGE削减更有意义。
阅读更多
杂项
财政赤字
睡前运动？小心影响睡眠质量！
2025-04-25
一项针对14689人的大型研究发现，睡前4小时内进行剧烈运动会严重影响睡眠质量，导致入睡时间延迟、睡眠时间缩短、心率加快、心率变异性降低。研究人员建议，为了保证睡眠健康，应至少在睡前4小时停止运动；如果必须在睡前4小时内运动，则应选择低强度运动，例如慢跑或游泳。这项研究首次如此大规模地证实了运动时间与睡眠质量之间的密切关系，对改善公众睡眠健康具有重要意义。
阅读更多
健康