OpenAI雄心勃勃的Stargate数据中心项目因关税导致的经济不确定性和市场波动而面临延误。市场波动和更便宜的AI服务使得银行、私募股权投资者和资产管理公司对Stargate项目持谨慎态度。该项目旨在为美国和海外的AI基础设施筹集高达5亿美元资金。软银曾表示将为此项目提供大量资金，但尚未制定融资方案或与潜在投资者进行详细讨论。关税可能会大幅增加数据中心建设成本，服务器机架、冷却系统、芯片和其他组件的价格上涨可能导致整体建设成本平均上涨5%-15%。投资者也越来越担心产能过剩，微软和亚马逊等科技巨头已经调整了其数据中心战略，在某些情况下减少了建设项目。
阅读更多
诗人克里斯蒂安·博克历时近25年，完成了他的野心之作——“异种文本”实验。他将一首诗编码进一种几乎不死细菌的基因组中，使其成为世界上首个能够自我复制的生物诗歌。这首诗歌不仅是一件艺术品，更是一场关于艺术、科学和生命本身的跨界实验，其生命力甚至可能超越人类文明本身。
阅读更多
Dgraph Labs 通过整合 GitHub Actions 和一系列工具，建立了持续安全审计系统，在短短三个月内修复了 2000 多个安全问题，显著提升了 SOC2 合规性。该系统涵盖代码、二进制文件和 Docker 镜像三个层面，利用 Trivy 和 Snyk 进行扫描，并利用 GitHub 安全标签进行问题跟踪和修复。 他们还使用了 Linters 进行静态代码分析，并利用 DependaBot 实现自动化修复。这套系统极大提高了安全问题的可见性和解决速度，是持续改进安全实践的典范。
阅读更多
这篇综述性文章探讨了杏仁核在情绪处理中的关键作用及其与各种精神疾病（如焦虑症、抑郁症和创伤后应激障碍）的关系。文章回顾了大量神经影像学研究，揭示了杏仁核在不同精神疾病中的异常激活模式。此外，文章还介绍了经颅磁刺激和经颅聚焦超声等新型神经调控技术在治疗精神疾病中的应用，并讨论了这些技术对杏仁核活动及相关脑网络连接的影响。这些研究为理解精神疾病的神经机制和开发更有效的治疗方法提供了重要线索。
阅读更多
作者在之前的C语言游戏引擎开发工作中积累了丰富的经验，例如自定义内存分配器、临时分配器、跟踪分配器、零初始化、指定初始化器和缓存友好型编程等。Odin语言巧妙地将这些最佳实践融入语言本身，并通过内置库提供支持，极大提升了开发效率和代码安全性。文章详细介绍了Odin如何实现这些特性，并强调了Odin语言的简洁性和易用性，以及与C语言的相似性，使得C语言开发者能够快速上手。
阅读更多
本文提出了“反人员计算”这一新概念，用来描述21世纪初主流计算的一种恶意模式：计算设备的使用损害了用户利益，却为第三方实体谋利。 “反人员计算机”指主要用于损害用户利益、为第三方牟利的计算设备。这一概念借鉴了“反人员地雷”和“个人计算/个人电脑”的含义，揭示了技术被滥用的黑暗面。
阅读更多
本文详细分析了2019年俄航1492航班坠毁事件。事故起因于飞行员在恶劣天气下着陆时发生多次弹跳，最终导致飞机坠毁并引发大火，造成41人死亡。调查发现，飞行员操作失误、飞机设计缺陷以及航空公司培训不足是造成事故的主要原因。飞机的飞控系统设计存在缺陷，缺乏相应的冗余和安全机制；飞行员缺乏足够的训练和应对紧急情况的能力；航空公司对安全管理重视不足，培训体系存在漏洞。事故凸显了俄罗斯航空业系统性安全问题的严重性。
阅读更多
Snobol4 是一种独特的编程语言，其核心在于模式匹配。它将所有逻辑和控制流都简化为模式匹配语句，摒弃了其他语言中常见的循环和条件语句等结构。这种极简主义的设计，虽然对于大型程序的编写可能效率低下，但却易于初学者理解，并能有效解决小型编程问题。文章作者认为，Snobol4 的模式匹配机制如同 Awk 但更为强大，其简洁性令人印象深刻，体现了“一个奇怪的技巧”也能实现出奇高效的编程方式。
阅读更多
作者尝试使用AI辅助SwiftUI编程，发现AI更像一个不可靠的顾问，而非优秀的架构师。初期让AI直接编辑代码，结果混乱不堪。后来改为自己编写代码，让AI提供建议，学习效率显著提高。AI在查找语法错误方面表现出色，能快速定位问题，但大型决策和架构设计方面表现欠佳，需要人工仔细检查。作者总结：AI适合处理重复性工作和查找语法错误，但不能完全依赖，需要人工监督和验证。
阅读更多
一项由MIT和康奈尔大学心理学家进行的研究表明，人工智能，特别是大型语言模型，如ChatGPT4-Turbo，可以通过提供反事实证据和苏格拉底式提问，有效地降低人们对阴谋论的相信程度。研究发现，与AI对话后，参与者对所选阴谋论的相信程度平均下降了20%。即使AI被设定为与参与者进行对抗性辩论，结果也没有显著变化，这表明人们改变想法是基于信息本身，而非对AI的信任。然而，研究也指出，深层次的信念与个人身份认同紧密相连，单纯的信息干预可能不足以完全消除阴谋论。
阅读更多
A5 是一种将地球划分为五边形单元的地理空间索引，提供 32 个不同分辨率级别，最小单元面积小于 30mm²，且各级别单元面积近乎相等。它简化了空间数据的表示和分析，例如计算不同变量（例如海拔和作物产量）之间的相关性，或聚合点数据以理解其空间分布（例如，城市中的度假租赁密度）。A5 使用 TypeScript 实现，开源且基于 Apache 2.0 许可证。与其他 DGGS 系统相比，A5 具有单元大小一致、分辨率极高（30mm²）、全局单元面积畸变最小等优势，这源于其独特的基于正十二面体五边形平铺的设计，有效降低了投影过程中的几何畸变。
阅读更多
麻省理工学院、亚马逊机器人和不列颠哥伦比亚大学的研究人员开发了一种新技术，使机器人能够仅通过内部传感器（无需摄像头或外部工具），通过拿起并轻轻摇晃物体来学习物体的重量、柔软度或内容物。该技术利用机器人和物体的模型进行模拟，通过分析机器人关节编码器的数据来反向推断物体的属性，例如质量和柔软度。这项低成本技术在摄像头效果不佳的环境中（例如黑暗的地下室或地震后的废墟中）尤其有用，并且在处理各种未见场景方面具有很强的鲁棒性。这项研究发表在国际机器人与自动化会议上，未来有望应用于改进机器人学习，使机器人能够快速发展新的操作技能并适应环境变化。
阅读更多
本文探讨了在线和离线机器学习管道在构建可扩展AI系统中的关键区别。离线管道用于批量处理，例如数据收集、ETL和模型训练，而在线管道则实时或近实时地为用户提供预测。文章强调了将这两个管道分离的重要性，并以一个用于微调总结SLM的特征管道为例，阐述了如何利用ZenML等MLOps框架构建一个可重复、可跟踪和可扩展的数据集生成流程，该流程从MongoDB提取数据，经过一系列处理后，最终发布到Hugging Face。理解这种分离对于构建强大的生产级AI系统至关重要。
阅读更多
冰岛在2019年率先实施了四天工作制，五年来的实践证明，这一举措不仅没有降低生产力，反而提升了员工的工作效率和幸福感。近90%的冰岛员工每周工作36小时，薪资不变，压力减少，工作与生活平衡得到显著改善。更重要的是，四天工作制促进了性别平等，男性更多地参与家庭事务。冰岛的成功经验，得益于其完善的数字化基础设施和年轻一代对新工作方式的快速适应，为其他国家提供了宝贵的借鉴。
阅读更多
想参与Firefox开发？Mozilla提供了详细的源码目录结构文档(https://firefox-source-docs.mozilla.org/contributing/directory_structure.html)和贡献快速参考(https://firefox-source-docs.mozilla.org/contributing/contribution_quickref.html)，指导你如何构建Firefox并创建补丁。遇到问题？加入Matrix的`Introduction`频道(https://chat.mozilla.org/#/room/#introduction:mozilla.org)寻求帮助。你也可以下载每日构建版本进行测试(https://archive.mozilla.org/pub/firefox/nightly/latest-mozilla-central/ 或 https://www.mozilla.org/firefox/channel/desktop/#nightly)，但需注意每日构建可能存在bug。
阅读更多
Alephic的写作风格指南强调简洁、精准和大胆。指南详细阐述了写作原则，包括使用主动语态、具体数据和清晰的结构。它还强调了公司独特的风格：知识渊博、脚踏实地、极简主义。指南涵盖了文档编写最佳实践、与AI协作的策略以及编辑流程，旨在确保Alephic的所有写作都清晰易懂、引人入胜，并能有效地传达信息。
阅读更多
本文讲述了作者为艾美奖获奖游戏作曲家Mike Worth设计网站的经历。为了致敬90年代动画风格，作者尝试使用图像地图，但最终发现其在响应式设计方面的局限性。通过将SVG路径与嵌入式锚点结合，并利用CSS和少量JavaScript，作者成功地实现了兼具90年代风格和现代技术优势的网页设计，展现了灵活运用旧技术解决现代设计问题的思路。
阅读更多
本文介绍了五种工程经理常用的说服技巧，并结合实际案例进行讲解。首先是“根回法”（Nemawashi），通过提前与相关人员沟通，获得支持，从而减少冲突；其次是“诱饵定价法”（Decoy Pricing），巧妙设置选项，引导对方做出期望的选择；然后是“反向心理学”（Reverse Psychology），提出相反的观点，激发对方的逆反心理；接着是“让我来决定”（LMDTFY），提前做出决定，给对方保留否决权；最后是“巧合工程”（Engineered Serendipity），制造巧合，促成沟通。这些技巧可以帮助工程经理在项目审批、资源争取、团队协作等方面取得更好的效果。
阅读更多
Reddit，这个如今估值280亿美元的网站，最初只是两位弗吉尼亚大学毕业生Steve Huffman和Alexis Ohanian的一个想法。他们从Digg和Slashdot汲取灵感，创造了一个基于用户投票和讨论的平台，并通过独特的子版块（subreddit）功能迅速脱颖而出。经历了早期模仿活跃度、与Digg的竞争、Condé Nast的收购以及基础设施的挑战，Reddit在引入AMA（Ask Me Anything）和子版块后实现了爆发式增长。虽然曾面临内容审核和商业模式的困境，但Reddit最终成功上市，并通过广告、付费会员和AI工具（如AI驱动的审核和搜索工具）实现了盈利，并向OpenAI和谷歌出售内容访问权限。如今，Reddit已成为全球第九大网站，影响力遍及各个领域，但其创始人仍坚持其“真实的人、真实的观点”的理念。
阅读更多
波音737 MAX的灾难性故事，源于公司为了降低成本而做出的糟糕决策。为了节省成本，波音在737 MAX上使用了旧机身，并安装了更大的发动机，导致飞机失衡。为解决这个问题，波音开发了一个有缺陷的自动修正系统，最终导致了两起致命空难，并使737 MAX停飞。此后，一系列安全问题和法律纠纷接踵而至，包括巨额罚款和对刑事欺诈的认罪。即使在重新认证后，新的问题仍在不断出现，竞争对手空中客车则受益匪浅，其A320系列飞机有望超越737成为史上最畅销的飞机。737 MAX的困境，是企业贪婪和忽视安全的后果的警示。
阅读更多
Shader Minifier是一款用于压缩GLSL代码的工具，它帮助demoscene艺术家们在极小的空间内创作出复杂的计算机动画。文章讲述了Shader Minifier的演进历程，从最初简单的去除空格和注释，到如今运用静态分析、内联函数等高级优化技术，最终帮助开发者将47KB的着色器代码压缩至5.2KB，显著提高了开发效率。其核心思想是巧妙地利用压缩算法的特性，通过变量重命名和函数优化等手段，减少代码体积，提升压缩率。尽管Shader Minifier已经取得了显著成果，但作者仍在不断探索改进空间，以应对更大体积的64KB动画创作挑战。
阅读更多
作者历时数年，不断迭代，终于将一个开源硬件以太网交换机项目从最初的失败走向了成功。从2012年使用低端FPGA的失败尝试，到如今使用XCKU5P FPGA实现48个1G端口和双10/25G上行链路的强大交换机，作者经历了漫长的学习和积累过程。期间，他设计了高精度探头和软件工具，并不断优化硬件设计和软件架构。虽然项目仍有许多挑战，但作者充满信心，预计在2026年完成最终产品。
阅读更多
访问 Examine.com 网站时遇到了 404 错误页面，该页面提示页面未找到。Examine.com 是一个提供基于证据的健康信息和补充剂信息的网站，包含关于其团队、编辑政策、数据库和常见问题的详细信息。
阅读更多
一个月前，GSA启动了FedRAMP 20x计划，旨在通过与行业和联邦机构专家持续合作，快速现代化FedRAMP。该计划强调安全而非合规，鼓励私营部门创新。本文总结了FedRAMP团队在一个月内的成果，包括授权29个新的云服务，开展多个社区工作组会议，以及在改进标准方面取得的进展，例如发布了三个拟议标准供公众评论。未来，FedRAMP 20x第一阶段试点计划将启动，并计划通过关键安全指标来总结云原生服务提供的安全能力。
阅读更多
在追求发表论文的压力下，科研人员容易陷入“P值作弊”的陷阱。这指的是通过调整分析方法或数据来获得统计学显著性结果的行为，例如提前结束实验、反复实验直到得到理想结果、选择性报告结果以及调整数据等。这些行为虽然可能短期内带来论文发表，但却会损害科学研究的可重复性和可靠性。文章列举了五种常见的P值作弊方式，并强调了在研究设计阶段就制定好数据收集和分析方案的重要性，避免因追求显著性结果而歪曲科学事实。
阅读更多
一项来自Giskard的研究表明，要求AI简洁作答，尤其是在模糊话题上，反而会增加其产生幻觉的可能性。研究人员发现，简洁的指令会限制模型识别并纠正错误的能力，导致其优先选择简洁性而非准确性，即使是像GPT-4这样的先进模型也受到影响。这揭示了在追求用户体验与确保AI准确性之间的矛盾，提示开发者在系统指令设计上需谨慎。
阅读更多
arXivLabs是一个开放平台，允许协作者直接在arXiv网站上开发和分享新功能。参与者必须遵守arXiv的开放、社区、卓越和用户数据隐私的价值观。如果你有想法能提升arXiv社区价值，欢迎了解arXivLabs。
阅读更多
wtfis是一个命令行工具，用于通过各种OSINT服务收集有关域名、FQDN或IP地址的信息。它设计简洁易用，以人类可读的方式呈现结果，并尽量减少API调用以避免超出配额。它整合了VirusTotal、IP2Whois、Shodan、Greynoise、URLhaus和AbuseIPDB等多个信息源，提供域名/IP地址的声誉评分、流行度排名、类别、解析结果、Whois信息、开放端口、恶意URL关联等丰富信息。用户可通过API密钥配置使用高级功能，并支持自定义参数和Docker部署。
阅读更多
本文讲述了美国空中交通管制系统（ATC）的百年发展历程，从一战期间军用航空无线电的应用到如今复杂的国家空域系统（NAS）。文章揭示了ATC的演变受到战争、邮政航空、以及技术进步（如雷达）的深刻影响，并探讨了军方系统（如SAGE）与民用ATC系统之间的复杂关系，以及由此带来的技术和管理上的挑战。从最初的简易地面控制到如今的自动化系统，ATC的发展并非一帆风顺，充满了妥协和意外，也反映了科技发展与实际应用间的博弈。
阅读更多
本文是“七步掌握 Elixir”系列的第一篇，深入探讨了 Elixir 语言强大的可靠性根基——Erlang 虚拟机 BEAM。文章介绍了 Erlang 语言的历史、设计目标以及它对 Elixir 的重要性。Erlang 诞生于 80 年代中期，最初用于电信领域，现已成为通用语言，其特性包括分布式、容错、大规模并发和软实时系统。BEAM 虚拟机负责执行 Erlang 代码，管理并发进程，并通过异步消息传递实现系统容错。Elixir 运行于 BEAM 之上，继承了其优点，并拥有更简洁的语法和强大的库。文章最后以一个简单的代码示例展示了 Erlang 和 Elixir 的交互方式，并预告了下一章节关于 Erlang 进程和并发的讨论。
阅读更多