跨越世纪的伟大工程：人类如何解决长期性问题
2025-08-01
本文列举了一系列跨越数十年甚至数百年的人类伟大工程，从费马大定理的证明到圣家堂的建造，再到持续至今的弗雷明汉心脏研究和长寿命实验，探究了人类如何应对需要长期投入才能解决的问题。这些项目有的依靠持续的努力，有的则受益于技术进步的积累。文章引发了思考：哪些项目需要如此漫长的时间，哪些项目可以被加速？这篇文章属于科技范畴，探讨了人类在长期目标上的坚持和创新。
阅读更多现代CPU如何高效预测字节码解释器循环
2025-07-05
研究Python 3.14尾调用解释器的性能时，作者发现现代CPU能够高效预测字节码解释器循环中的间接跳转。这得益于先进的TAGE和ITTAGE分支预测器。这些预测器通过将程序计数器(PC)及其历史映射到过去的执行行为，并利用多种历史长度的表格来动态选择最合适的预测，从而实现高精度预测。作者进一步探讨了将ITTAGE的思想应用于覆盖率引导模糊测试和程序状态探索的可能性，认为这可能有助于更好地理解和探索解释器等程序的行为。
阅读更多
开发
字节码解释器
AI：糟糕的顾问，优秀的语法错误检测器
2025-05-13
作者尝试使用AI辅助SwiftUI编程，发现AI更像一个不可靠的顾问，而非优秀的架构师。初期让AI直接编辑代码，结果混乱不堪。后来改为自己编写代码，让AI提供建议，学习效率显著提高。AI在查找语法错误方面表现出色，能快速定位问题，但大型决策和架构设计方面表现欠佳，需要人工仔细检查。作者总结：AI适合处理重复性工作和查找语法错误，但不能完全依赖，需要人工监督和验证。
阅读更多
开发
代码CAD语言原型设计：追求软件的“舒适感”
2025-06-09
作者花费一个月时间构建代码CAD语言原型，目标并非炫技，而是追求一种“软件舒适感”：即时加载、稳定运行、易于使用。文章重点探讨了“双向编辑”功能的原型设计挑战，即在图形界面和代码编辑器之间实现实时同步。作者面临诸多技术难题，例如代码重写、编辑器与UI同步、代码格式化等。文中也分享了学习资源和一些启发性思考，例如如何构建一个集成的语言实现和编辑器工具，以及对现有相关项目的讨论。
阅读更多
开发
双向编辑
微软AI赌注：Mustafa Suleyman能否扭转乾坤？
2025-04-25
微软斥资6.5亿美元收购Inflection AI核心团队，试图借助其创始人Mustafa Suleyman的经验提升自身AI实力，特别是扭转Copilot用户增长乏力的局面。然而，Suleyman的加入并非一帆风顺，内部团队整合困难，与OpenAI关系紧张，以及Copilot与ChatGPT用户数量的巨大差距都给微软带来了挑战。文章探讨了微软在AI领域面临的战略困境，以及Suleyman能否最终交付一款成功的消费级AI产品。
阅读更多
科技
物联网安全：根信任的隐忧与防护
2025-06-02
近年来，针对关键基础设施的网络攻击日益猖獗，物联网设备（IoT）的安全问题尤为突出。文章探讨了物联网安全防护的两种方法：基本网络安全卫生和纵深防御。基本网络安全卫生包括使用强密码、定期更新软件、验证更新以及了解软件供应链等。纵深防御则强调多层安全机制，包括保护（采用分层架构，每个层级进行完整性检查）、检测（使用远程证明技术，如可信平台模块（TPM））和修复（通过自检和重置等手段）。文章指出，根信任（RoT）是安全体系的基石，需要得到妥善保护。随着硬件厂商在嵌入式芯片中集成高安全机制，物联网设备的安全防护正变得越来越容易实现。
阅读更多
科技
根信任
PCIe 7.0 规范最终确定，8.0 规划已启动
2025-06-12
PCI-SIG正式发布了PCIe 7.0规范，其每通道数据传输速率高达128 GT/s，是PCIe 6.0的两倍，PCIe 5.0的四倍。这意味着16通道的PCIe 7.0设备每秒可传输高达256 GB的数据。同时，PCI-SIG已启动PCIe 8.0的规划工作，目标是在2030年或之后推出，其性能可能比PCIe 7.0翻倍，达到1 TB/s的带宽。PCIe 7.0的正式设备预计将在2028-2029年上市。
阅读更多
硬件
PCIe 8.0
逆行轨道系外行星之谜：恒星吞噬与轨道迁移
2025-05-24
一颗围绕致密双星系统逆行运行的系外行星ν Octantis b，其存在挑战了行星形成理论。研究表明，其独特的轨道可能源于恒星间的物质转移。缓慢的物质转移可能形成短暂的行星盘，从而孕育出ν Octantis b；或者，系统内质量分布的变化导致外围行星轨道不稳定，最终使其螺旋进入内轨道。这种现象十分罕见，需要更多数据来验证其形成机制。
阅读更多
科技
双星系统
廉价光伏组件颠覆太阳能阵列格局？
2025-05-03
随着光伏组件价格的持续下降，简单的东-西向固定式太阳能阵列在安装成本和速度上超越了单轴跟踪阵列。虽然单轴跟踪阵列在单位面板能量产出上仍具有优势，但在极端天气（如冰雹）面前，其高昂的成本使其在某些地区难以匹敌。东-西向阵列凭借更低的材料和人工成本、更低的占地面积以及随着光伏组件价格下降而提升的经济效益，成为了一种极具竞争力的选择。然而，在易受冰雹等极端天气影响的地区，单轴跟踪阵列的抗灾能力使其仍具优势。最终选择取决于具体的地理位置和天气条件，以及对成本和风险的权衡。
阅读更多
科技
前特朗普官员使用的Signal克隆版泄露了纯文本聊天记录
2025-05-06
安全研究人员发现，前特朗普政府官员使用的Signal修改版应用TM SGNL，其制造商TeleMessage可以访问用户的纯文本聊天记录。该应用将消息存储在公共AWS云服务器上，安全漏洞导致黑客获取了大量聊天记录，包括Signal、Telegram和WhatsApp的消息。TeleMessage是一家以色列公司，其创始人曾是IDF情报部门官员，引发了关于数据可能被共享给以色列情报机构的担忧。该事件凸显了使用修改版通讯应用的风险，以及对国家安全的潜在威胁。
阅读更多
科技
《空洞骑士：丝绸颂歌》低价策略引发行业震荡
2025-09-14
《空洞骑士：丝绸颂歌》以19.99美元的低价发售，获得巨大成功，但其定价策略却在独立游戏圈引发争议。虽然对玩家来说物超所值，但许多独立开发者担忧这会扭曲玩家的预期，导致他们难以定价。Team Cherry能如此定价，是因为其强大的IP和前作的成功。而其他独立开发者则难以效仿，因为他们的游戏时长和投资回报率远不如《丝绸颂歌》。然而，这种低价策略也可能带来积极影响，例如，它可能会影响《GTA 6》的定价策略，使其价格更低，从而获得更多销售额。
阅读更多
游戏
空洞骑士
EverQuest：从默默无闻到MMORPG巨头
2025-07-05
本文讲述了MMORPG游戏《无尽的任务》(EverQuest) 的崛起史。与率先进入市场的《网络创世纪》(Ultima Online) 不同，EverQuest凭借精明的策略和对玩家需求的精准把握，最终超越了前辈。它从索尼内部一个不被看好的项目起步，由John Smedley领导，并招募了来自MUD社区的Brad McQuaid和Steve Clover两位设计师。他们吸取了《网络创世纪》的教训，避免了玩家互相杀戮的混乱，打造了一个更注重 PvE（玩家对环境）的友好游戏环境，并巧妙地利用网络营销策略，最终获得了巨大的成功，成为当时最受欢迎的MMORPG，直到被《魔兽世界》超越。
阅读更多
游戏
EverQuest
文化认同：左右政治版图的新力量
2025-05-13
Bocconi大学的Gennaioli和Tabellini教授的研究指出，政治极化不再仅仅围绕财富或收入展开，而是演变成对社会不同愿景的冲突：多元文化进步派与保守的本土主义者。人们根据当下的社会冲突选择认同，经济议题突出时，阶级分化明显；文化议题（如移民或道德问题）突出时，人们则划分成对立的文化群体。政党利用这种机制，投资于身份认同宣传，加剧文化刻板印象，从而巩固认同并使政治立场极端化。研究表明，美国多数人已不再以经济身份认同，而是以文化身份认同（保守或进步），这决定了他们对福利、税收、堕胎、移民等问题的立场和投票行为。“中国冲击”也验证了这一模型。左翼政党低估了文化因素的重要性，只谈论不平等而忽视身份认同，将会继续失去原有选民的支持。
阅读更多
杂项
亚马逊河豚的“尿液喷泉”：一种意想不到的交流方式
2025-04-25
一项新的研究发现，亚马逊河豚会通过向空中喷射尿液来进行交流，这种奇特的行为被称为“空中排尿”。研究人员观察到，雄性河豚会将尿液喷射到空中，而附近的雄性河豚则会靠近这个“尿液喷泉”，这表明尿液可能携带了关于社会地位或身体状况的信息。这项发现进一步证实了动物利用尿液进行交流的广泛性，从灵长类动物利用尿液识别个体和寻找交配对象，到鱼类和甲壳类动物利用尿液传递大小和攻击性信息，尿液在动物王国中扮演着重要的沟通角色。
阅读更多Deduce：一款用于教学的函数式程序正确性证明检查器
2025-03-24
Deduce 是一款面向教育的自动化证明检查器，旨在帮助学生轻松学习函数式程序的正确性证明，加深对逻辑的理解，并提高编写数学证明的能力。它适合具备基本编程技能（Java、Python 或 C++）和离散数学逻辑基础的学生。Deduce 提供了从安装、代码编写、证明程序到参考手册和速查表等一系列资源，并通过线性查找算法的示例证明，直观地展示了其使用方法。
阅读更多解题之道：没有万能方法，只有合适工具
2025-06-12
作者反思了解决问题的过程，以数独解题为例，对比了测试驱动开发（TDD）和基于对问题深入分析的两种方法。TDD倡导者Ron Jeffries在数独求解上耗费大量时间，而Peter Norvig则以简洁的代码高效解决问题。作者认为，没有通用的解题方法，关键在于选择合适的工具和方法，并不断学习新的工具。文章借鉴了Entscheidungsproblem（判定问题）的结论，强调了洞察力和经验的重要性，并分享了作者自身的一些解题技巧。
阅读更多
(rjp.io)
开发
谷歌放弃Pixel硬件源码，AOSP未来走向何方？
2025-06-12
本周发布的Android 16系统中，谷歌意外地没有公开Pixel设备的硬件仓库和设备树，这给自定义ROM开发者带来了巨大挑战。虽然谷歌否认了AOSP即将被放弃的传闻，但这项改变似乎是刻意为之。缺少Pixel硬件仓库，自定义ROM的更新将更加困难，安全研究也可能受影响。谷歌表示将继续致力于AOSP更新，但未来AOSP将转向一个独立于特定硬件的参考目标，这意味着Pixel设备树可能将不再提供。
阅读更多
开发
Meta涉嫌版权侵犯：内部邮件曝光AI训练用盗版数据
2025-02-16
Meta卷入一起版权侵权集体诉讼，最新公开的法庭文件显示，Meta员工曾使用至少81.7TB从影子图书馆（如LibGen）非法下载的盗版数据来训练其AI模型。内部邮件显示，员工们对这种做法表示担忧，甚至有人指出这很不道德。尽管如此，他们仍然使用了VPN掩盖IP地址，继续下载和分享盗版数据。这些邮件与Meta此前证词相矛盾，为原告提供了有力证据，可能对Meta的辩护造成重大打击。
阅读更多
科技
一年后，我放弃了 NixOS
2025-08-04
作者在尝试使用 NixOS 一年后，决定放弃并回到 Arch Linux。文章详细描述了 NixOS 的学习曲线陡峭和配置复杂性带来的困扰。虽然 NixOS 在可复现性和一致性方面有优势，但作者发现这些优势并没有抵消在日常使用中遇到的额外时间成本和调试难度。作者总结道，对于不需要高度可复现性的用户来说，NixOS 带来的额外复杂性并不值得。
阅读更多
开发
Linux 发行版
《自然》杂志公开同行评审报告，推动科研透明化
2025-06-16
《自然》杂志宣布从6月16日起，所有新发表的研究文章将自动公开同行评审报告和作者回复。此举旨在打破科学研究的“黑箱”，提高透明度，增强公众对科学过程的信任。这项改变源于对科研评价方式的反思以及对同行评审重要性的认识，也借鉴了疫情期间科研公开透明的经验。公开同行评审报告能让更多人了解科学研究的形成过程，促进科学交流，并为早期科研人员提供宝贵的学习机会。
阅读更多
科技
科研透明化
高速人脸追踪与透镜位移同轴设置实现感知对齐动态面部投影映射
2025-02-03
研究人员提出了一种新颖的高速动态面部投影映射(DFPM)系统，该系统利用高速人脸追踪和透镜位移同轴投影仪-摄像机设置，显著减少了投影图像与目标面部之间的错位伪影。高速人脸追踪方法采用基于裁剪区域限制的插值/外推方法进行人脸检测，并结合快速回归树集成(ERT)和辅助检测，实现0.107毫秒的快速结果。透镜位移同轴设置则确保了投影仪和摄像机之间的高光学一致性，在1米到2米深度范围内仅产生1.274像素的误差。该系统实现了几乎完美的人类视觉感知对齐，为化妆和娱乐行业带来了更沉浸式的体验。
阅读更多Parahelp：构建能胜任人工客服的AI同事
2025-03-15
Parahelp 是一家致力于打造 AI 驱动的软件公司支持代理的公司。他们的 AI 代理能够利用公司现有的基础设施（如 Slack、Stripe 等）端到端地解决支持工单，目标是成为能够完全胜任人工客服工作的 AI 同事。Parahelp 认为上下文而非智能才是未来 AI 协作的瓶颈，并已获得 Y Combinator 等顶级投资机构的支持，目前正与 Perplexity、Framer 等领先软件公司合作。
阅读更多
AI
Exa：构建下一代AI芯片，引领AGI革命
2025-06-06
Exa公司正在研发下一代多态性芯片，旨在超越现有NVIDIA芯片，成为未来所有知识和科学发现的基础。其XPU芯片能够自我重构以优化模型数据流，从而在支持AGI和ASI的同时，显著降低能耗。公司寻求具有丰富经验的工程师加入，共同打造这项具有百年甚至千年影响力的革命性技术。
阅读更多
科技
多态性架构
Commodore VIC-20上的文字处理器：怀旧科技的魅力
2025-01-08
文章回顾了Commodore VIC-20上几种令人惊奇的文字处理器，尽管屏幕狭小，它们依然提供了令人满意的文字处理体验。VICWRITER模拟打字机，方便编辑；Quick Brown Fox支持80列显示和RS-232通讯；Speedscript具有强大的文字环绕和编辑功能。文章还简要介绍了Write Now，并展示了这些文字处理器在有限硬件条件下实现文字处理的巧妙方法。
阅读更多中国力争2050年实现核聚变商业化发电
2025-03-05
中国国家核电公司（CNNC）宣布，计划在2050年实现核聚变技术的商业化应用，用于无碳电力生产。该公司运营着名为“人造太阳”的实验装置，预计在2045年左右开始示范运行阶段，并在五年后启动首个商业发电项目。这一目标显示中国在核聚变领域的雄心壮志，该技术被视为近乎无限的清洁能源来源。CNNC已成立中国聚变公司，并吸引了巨额投资用于研发先进的托卡马克装置。此外，CNNC还计划在未来五年内扩大常规核裂变反应堆和小型模块化反应堆的国产化生产，并有望在2030年成为全球最大的反应堆机组拥有国。
阅读更多
科技
视觉编程的未来：超越节点与连线
2025-09-14
本文探讨了视觉编程的局限性，认为其长期停留在节点和连线范式中，忽视了“形式追随功能”的原则。作者以CellPond为例，指出其成功的关键在于先定义底层功能（仅四个操作），然后形式自然显现。作者进一步阐述了“功能”的三重含义：内在本质、合理性和代数，并认为视觉编程应关注如何利用人类视觉皮层的模式识别能力来建模问题，而非简单地模仿文本编程。文章建议将问题建模为实体和关系，并利用视觉元素（颜色、分组、运动）来表示状态变化，从而突破现有视觉编程的局限，创造更强大的编程工具。
阅读更多
开发
金融巨头巨额收费：Open Banking 数据访问大战
2025-08-14
美国最大的银行之一摩根大通宣布将向金融科技公司收取访问Open Banking数据的巨额费用，引发轩然大波。这实际上是一场关于支付方式的争夺战，银行试图垄断并收费，无论支付方式是否由银行运营。Open Banking旨在通过允许用户访问自己的银行数据来增加金融服务的竞争性，但银行却试图通过高额收费扼杀竞争。这篇文章深入探讨了Open Banking的起源、运作方式、以及银行试图通过收费来维护其在支付领域垄断地位的策略。文章认为，银行的这种做法不仅扼杀了创新，也损害了消费者利益。
阅读更多
科技
arXivLabs：与社区协作者合作的实验项目
2025-03-30
arXivLabs是一个框架，允许协作者直接在arXiv网站上开发和分享新功能。参与arXivLabs的个人和组织都认同并接受了arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果您有想法可以为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
开发
芝加哥联储银行百万美元的谎言？
2025-07-02
芝加哥联储银行钱币博物馆展出一个号称装有一百万美元的透明立方体。一位好奇的参观者尝试计数后发现，立方体中实际包含155万美元！这引发了对博物馆标牌准确性，以及立方体内部结构的诸多疑问。为了验证，他还开发了一个简单的图片计数工具“Dot Counter”。最终的推测是：立方体要么只在表面填充了钞票，要么博物馆故意夸大了金额。这次事件不仅揭示了一个有趣的数学谜题，也引发了对信息真实性的思考。
阅读更多
杂项
冷战、框架与自我提升：一场改变人生的讲座
2025-09-06
作者参加了一场关于冷战的讲座，讲座中教授使用的分析框架——提出论点、反驳论点、再次反驳——给了作者启发。作者将此框架应用于软件工程和个人生活，试图通过研究和实验找到最佳状态。文章探讨了如何构建可持续的系统，以及如何通过反思和调整生活方式来提升个人幸福感，强调了持续学习和自我反思的重要性。
阅读更多
杂项