四名科学家在美国结束了为期一年的火星生活模拟实验。他们在 NASA 建造的火星沙丘阿尔法模拟舱中度过了 378 天,该模拟舱旨在模拟火星上的条件。在此期间,他们种植蔬菜、进行“火星行走”,并模拟了与地球的通信延迟、隔离和封闭等压力。该任务旨在帮助 NASA 为将人类送回月球以及未来送往火星做好准备。
在红海沿岸的沙漠中,贝勒尼克遗址的考古学家们正在挖掘出令人惊叹的新发现,这些发现挑战了关于现代世界形成的旧观念。贝勒尼克是罗马帝国通往东方的海上门户:一个从东非、南阿拉伯、印度等地跨海而来的惊人财富的重要入口。发掘揭示了两个港口和许多房屋、商店和神龛。他们发现了成堆的行政碎屑,包括信件、收据和海关通行证,以及进口的珍宝,如象牙、熏香、纺织品、宝石和食品,如印度胡椒、椰子和大米。这些发现不仅描绘了东西方之间一个鲜为人知但至关重要的十字路口的生活的独特细节,而且还将学术注意力集中在古代广阔的海洋贸易上,这些贸易在经济重要性上可能使陆上丝绸之路相形见绌,并帮助罗马帝国维持了几个世纪。
本文采访了加州 CalFresh 项目(美国最大的食品券项目)前工程师兼主管 Dave Guarino,探讨了如何创建一个出色的政府网站,以改善公众获取社会福利的体验。 Guarino 强调了用户调研、简化申请流程、解决技术障碍以及建立有效反馈机制的重要性,并指出技术在衡量和改进政府服务方面具有巨大潜力。
这篇文章介绍了 GCC 中支持的一种新的防御级别。这个新级别可以检测到更多的缓冲区溢出和错误,从而在运行时减少应用程序中的安全问题。GCC 12 中一个名为 `__builtin_dynamic_object_size` 的新内置程序是这个新防御级别的基础,它比之前在 `_FORTIFY_SOURCE=2` 中使用的 `__builtin_object_size` 内置程序更加强大。文章进一步讨论了增强后的安全防御带来的两大收益:增强的缓冲区大小检测和更好的防御覆盖范围,并用具体的代码示例和案例分析进行了说明。
本文批评了大型科技公司对人工智能的垄断,指出封闭的、以利润为导向的人工智能开发存在风险。作者认为,仅仅依靠监管并不能解决问题,更有效的方案是投资开源的、用户拥有的AI。这样的AI系统将优化用户的福祉和成功,而非企业的利润,并能确保数据透明度和安全性。
由于工程师需要更多时间分析来自星际线飞船推进系统的数据,波音公司的星际线飞船将继续停靠在国际空间站,原定于6月25日离开空间站返回地球的计划将推迟,新的返回日期尚未确定,可能推迟到7月甚至8月。
Finley Technologies 是一家帮助创新公司获得债务资本以解锁增长的公司,现招聘销售运营人员。该职位负责建立和维护公司的营销和销售基础设施,包括销售自动化、客户管理、数据分析和报告等,以帮助公司实现收入目标。 理想的候选人应具备在B2B SaaS公司从事销售运营的经验,熟悉销售技术工具,具备强大的分析能力和解决问题的能力,并热衷于技术和团队合作。
日本三菱电机公司开发了一款名为 TOKUFASTbot 的机器人,该机器人可以以 0.305 秒的速度复原魔方,打破了此前 0.38 秒的吉尼斯世界纪录。这款机器人连接到魔方每一面的伺服电机,能够在 0.009 秒内旋转 90 度,并配备 AI 颜色识别算法,以创纪录的时间解决了魔方难题。
文章详细解释了电子点火系统的工作原理,并与传统的机械式点火系统进行了比较。作者和朋友利用旧的点火线圈和Arduino微控制器,成功控制了火花塞的点火频率,甚至使其演奏出音乐。作者还介绍了开源ECU系统Speeduino,该系统使用Arduino作为核心,为汽车电子系统爱好者提供了更多可能性。
欧盟委员会指控微软将其 Teams 聊天应用程序与其 Office 365 和 Microsoft 365 订阅捆绑销售,违反了欧盟的反垄断法。这是微软自15年前因捆绑 Windows Media Player 和 Internet Explorer 而遭遇两起重大案件以来,首次在欧盟面临反垄断指控。欧盟担心微软此举可能是不公平竞争,损害了竞争对手的利益。微软表示正在与欧盟合作寻找解决方案。如果微软被判违反反垄断法,该公司可能面临高达其全球年营业额 10% 的罚款,并且可能被强制改变其软件产品。
微软最新款Surface Pro和Laptop设备在iFixit的维修便捷性测试中获得了8分(满分10分)的好成绩。与早期Surface设备需要用手术刀拆解相比,新款Surface采用了模块化设计,大量使用螺丝固定,并提供详细的维修指南,方便用户自行维修。尽管Wi-Fi模块和RAM仍 soldered-on,但新款Surface在可维修性方面的进步值得称赞。
自去年9月纽约市开始实施严格的短期租赁法规以来,合法短期租赁的数量急剧下降。新规实施后,Airbnb等平台上列出的合法短期租赁数量大幅减少,仅批准了2276套。支持者认为该法规旨在缓解住房负担能力危机,而批评者则表示,该禁令无助于解决住房危机,反而会损害依赖租金收入的房主和无力承担高昂酒店费用的游客。
本文探讨了在JavaScript中生成随机数的两种方法:Math.random() 和 crypto.getRandomValues()。作者通过生成随机颜色和随机整数序列,比较了两种方法在视觉上的随机性差异,并测试了它们的性能。结果表明,两种方法在视觉上没有明显区别,但Crypto模块的速度明显较慢。因此,对于生成随机颜色等非安全性要求高的场景,使用Math.random() 就足够了。
全球多个国家政府在没有披露任何科学依据的情况下,对量子计算机实施了相同的出口管制。这些管制措施引发了人们的猜测和担忧,因为目前即使是最先进的量子计算机也远不足以威胁国家安全或破解加密技术。专家认为,这些限制措施可能源于秘密的国际讨论,但其背后的真正动机仍然不明确。
Anthropic 宣布扩大其人工智能模型 Claude 在政府部门的使用范围。Claude 3 Haiku 和 Claude 3 Sonnet 现已在 AWS Marketplace 上提供给美国情报界和 AWS GovCloud 用户。Anthropic 还针对政府用户的独特需求调整了服务协议,允许 Claude 用于合法授权的外国情报分析,例如打击人口贩卖和识别秘密影响或破坏活动。Anthropic 致力于与政府合作,确保负责任地部署人工智能,并支持制定有效的人工智能政策。
这篇论文介绍了一种名为“可扩展的无矩阵乘法语言建模”的新方法,旨在解决大型语言模型 (LLM) 中矩阵乘法 (MatMul) 运算带来的计算成本问题。研究表明,即使在数十亿参数规模下,无矩阵乘法模型也能在性能上与最先进的 Transformer 模型相媲美,并且需要的推理内存更少。论文还探讨了该模型的缩放规律、GPU 高效实现以及在 FPGA 上的硬件实现,证明了其在效率和性能方面的优势。
本文深入分析了微软Defender Antivirus (MDA) 的特征码机制,特别是PEHSTR和PEHSTR_EXT两种类型的特征码。文章首先介绍了MDA的架构和签名数据库,然后详细讲解了签名加载过程、签名类型和布局以及PEHSTR和PEHSTR_EXT两种签名类型的细节。作者还通过分析特征码统计数据和实际案例,展示了如何利用这些知识进行攻击模拟和安全研究。
文章指出,大型语言模型(LLM)在逻辑推理方面存在缺陷,并介绍了一种名为“先扩展后解决”的新方法来改善这一问题。作者通过“爱丽丝梦游仙境”问题测试了GPT-4,发现该方法能显著提高LLM的推理能力,但成功率仍低于50%。文章最后总结,虽然LLM在逻辑推理方面仍有局限性,但新方法为未来的研究提供了方向。
OpenAI 近期发布的 ChatGPT macOS 应用被发现存在安全漏洞,用户的对话记录曾以明文形式存储在电脑上,任何能够访问该电脑的人都能轻易读取。该漏洞由 Pedro José Pereira Vieito 发现并公开,OpenAI 在 The Verge 联系其后发布更新,加密了对话记录。
文章探讨了软件开发领域的一个常见现象:替代性实现问题。作者指出,将项目定位为现有项目的替代性实现往往会导致失败,因为替代性实现必须不断追赶现有项目的更新,并且缺乏对项目发展方向的控制权。作者以PyPy、LuaJIT、TruffleRuby等项目为例,说明了替代性实现所面临的挑战。作者建议开发者在创建新项目时,不要试图创建现有语言或系统的子集,而是应该做自己的事情,以自己的节奏和方向发展项目。
本文报道了一名50岁女性患有自动酿酒综合征的病例。该患者因反复出现醉酒症状就诊,但否认饮酒。经诊断,确诊为自动酿酒综合征,这是一种由肠道真菌过度生长导致内源性酒精发酵引起的罕见疾病。患者接受了氟康唑治疗和低碳水化合物饮食,症状得到缓解。文章还讨论了自动酿酒综合征的诊断和治疗方法。
本文介绍了一种通过控制温度来暂停生物分子运动的技术,目标是应用于医疗领域,例如保存人类脑组织样本、延长捐赠器官的保存时间以及实现人体冷冻以延长危重病人的治疗窗口期。文章详细介绍了该技术的原理、应用场景、面临的挑战以及未来的研究方向,并列举了一些已经取得的成果,例如成功保存并恢复了大鼠肾脏的功能。
美国市长会议反对一项旨在简化宽带部署的国家法律,即2023年美国宽带部署法案(HR 3557)。该法案旨在方便电信公司在州和地方管理的土地上建设基础设施和铺设电缆,但市长们认为它剥夺了地方政府反对不良项目的权力,并缩短了反对的时间窗口。他们还担心该法案会消除有线电视特许经营权的续签,从而限制州或地方特许经营机构执行特许经营义务的能力,例如公共、教育和政府频道容量和设施、客户服务要求和系统建设要求。
本文讨论了Daniel Kokotajlo因未在离开OpenAI之前签署保密协议而损失了大量资金,以及是否应该奖励这种行为以鼓励未来的安全人员不签署保密协议。文章还讨论了西方民主国家是否应该采取行动阻止俄罗斯和中国的战争准备,以及如何对AI风险相关概念进行分类以降低AI威胁建模的维数。
一项发表于《健康与社会行为杂志》的研究结论称,妻子患病会导致离婚率上升,而丈夫患病则不会,该结论引发了广泛报道。然而,研究人员发现,由于编码错误,该结论被推翻。经过修正后的分析表明,只有在妻子患心脏病的情况下,离婚率才会上升,而其他疾病则没有显著影响。
Cosmopolitan Libc v3.5.0 版本发布,带来了内存映射实现的改进、C++ STL 的改进以及 GitHub 开发流程的改进。其中,内存映射实现质量更高,C++ STL 方面引入了 ctl::set、ctl::map 等,并对 ctl::string 进行了优化。
这篇论文介绍了 HPTSA,一个由多个 LLM 代理组成的系统,可以利用真实世界中的零日漏洞。之前的代理在单独使用时,难以探索多种不同的漏洞并进行长期规划。为了解决这个问题,HPTSA 引入了一个规划代理,可以启动子代理。规划代理探索系统并确定调用哪些子代理,从而解决尝试不同漏洞时的长期规划问题。研究人员构建了一个包含 15 个真实世界漏洞的基准测试,结果表明,他们的代理团队比之前的工作提高了 4.5 倍。
谷歌云平台意外删除了澳大利亚养老基金UniSuper的账户,导致该基金约50万客户在一周内无法访问其账户。UniSuper拥有1250亿美元的资产,是澳大利亚最大的养老基金之一。谷歌承认了这一错误,并表示已采取措施防止此类事件再次发生。