YaFSDP是一个专为类Transformer神经网络架构设计的分片数据并行框架。与FSDP相比,YaFSDP在预训练大型语言模型方面速度提升高达20%,并且在高内存压力条件下表现更出色,因为它旨在减少通信和内存操作开销。
这篇文章介绍了 Lambda 演算作为编程语言的使用。它解释了 Lambda 演算的基本概念,包括项、归约、组合子和布尔值。文章展示了如何在 Lambda 演算中表示数据类型,如自然数、列表和树。还介绍了递归和搜索的概念,并通过阶乘函数、素数计算和无界搜索等例子进行了说明。
电动汽车初创公司菲斯克公司(Fisker Inc.)在停止生产其唯一车型、故障频发的Ocean SUV几个月后,于周一申请破产。这是亨里克·菲斯克(Henrik Fisker)创办的第二家最终破产的插电式汽车公司,他是一位著名的宝马和阿斯顿·马丁跑车设计师。菲斯克公司在2020年上市,当时正值电动汽车公司受益于特殊目的收购公司(SPAC)热潮的浪潮之中。与阿波罗全球管理公司(Apollo Global Management Inc.)发起的一家SPAC合并,让菲斯克获得了约10亿美元的现金,并帮助该公司与麦格纳国际公司(Magna International Inc.)的一家子公司达成了协议,该公司为丰田(Toyota)、宝马(BMW)和梅赛德斯-奔驰(Mercedes-Benz)等公司生产汽车。菲斯克的破产正值电动汽车制造商难以适应美国和欧洲大部分地区销售放缓之际。
模块化笔记本电脑厂商 Framework 与 DeepComputing 合作,将推出一款搭载 RISC-V 处理器的笔记本电脑主板。这款主板将面向开发者、爱好者等群体,旨在推动 RISC-V 生态系统的发展。该主板采用了 StarFive 的 JH7110 处理器,配备四个 SiFive 的 U74 RISC-V 内核。DeepComputing 正与 Canonical 和 Red Hat 合作,确保 Ubuntu 和 Fedora 对其提供良好的 Linux 支持。
本文介绍了利用自动化视域分析技术革新太阳能电站选址方案。文章详细阐述了传统选址方法的局限性,并介绍了Inicio公司开发的Eywa算法。Eywa算法利用法国国家地理数据,结合GDAL库进行高效的视域分析,帮助团队快速准确地识别适合建设太阳能电站的位置,并通过与实地考察数据对比验证了其准确性。
本文介绍了科学摄影师Steve Gschmeissner使用扫描电子显微镜拍摄微观世界,并将其制作成艺术作品的故事。Gschmeissner拥有超过50年的微生物、癌细胞和无脊椎动物成像经验,创作了10000多幅SEM图像。他与科学家合作,通过图像讲述科学故事,例如化疗如何导致癌细胞凋亡和坏死。Gschmeissner认为,图像在科学和医学领域至关重要,可以将科学知识普及给大众。
本文探讨了如何在rayverse中使用细分曲面和置换贴图技术创建月球的详细3D模型。作者首先介绍了3D渲染中的挑战,例如使用平面三角形表示平滑和凹凸不平对象的难题,然后讲解了Loop细分等技术如何解决这些问题。文章详细展示了如何使用rayvertex、rayimage和rayrender包实现这些技术,并通过逐步增加细分级别和应用置换贴图,最终创建出逼真的月球模型。
本文介绍了如何使用 C 语言创建一个大数运算库,用于处理超出计算机整数类型表示范围的超大整数。文章首先解释了大数运算库的必要性,然后详细讲解了如何使用字符串存储数字、进行比较、加法和乘法运算等核心操作的实现方法,并提供了代码示例。
Thousand Brains Project 是一个雄心勃勃的新项目,旨在开发一种全新的AI框架,其创始人称该框架将按照与人脑相同的原理运作,但与当今主导人工智能的深度神经网络背后的原理截然不同。在盖茨基金会的资助下,该开源计划旨在与电子公司、政府机构和大学研究人员合作,探索其新平台的潜在应用。
美国一项新研究表明,货运列车长度与其脱轨风险之间存在正相关关系。研究人员利用“准诱发暴露”方法,通过对比列车脱轨事故和“抢火车”事故的数据,发现将两列50节车厢的列车替换为一列100节车厢的列车,脱轨几率会增加11%。虽然该研究结论引发了铁路行业组织的争议,但研究人员和铁路工会人士都呼吁对货运列车长度进行限制,以确保铁路运输安全。
苹果公司因其即将推出的iPhone操作系统iOS 18中的一些新功能与其他流行应用程序相似而受到批评。例如,iOS 18将提供免费的电话录音和转录服务,类似于TapeACall等收费应用程序。批评人士将这种做法称为“Sherlocking”,指的是苹果公司过去曾因复制其他公司的软件而闻名。尽管一些应用程序开发商对此表示担忧,但也有人认为,竞争最终将使消费者受益。
欧盟一项旨在防止和打击儿童性虐待的法案,由于其包含媒体扫描的要求,引发了对安全和隐私的担忧。该法案早期版本中提出的对媒体内容进行大规模扫描的要求,将无法与端到端加密技术共存,此举可能会将用户置于更易受到攻击的境地。虽然去年年底欧洲议会似乎就保护端到端加密达成了妥协,但最近的迹象表明,理事会可能会再次讨论引入扫描机制,这引发了人们对该法案最终走向的担忧。
Flourish Freelance 是一款专为自由职业者打造的项目管理软件,旨在帮助他们高效管理项目并按时完成任务。该软件提供逾期任务提醒、截止日期管理、可计费时间跟踪、项目任务管理以及多项目管理等功能。此外,标准版还提供基于 GPT-4o 的 AI 任务生成和功能生成等创新工具,进一步提升工作效率。
本文批评了企业利用人工智能解决自动化带来的问题,指出这是一种治标不治本的做法。作者以银行呼叫中心为例,说明自动化语音应答系统(IVR)导致客户体验糟糕、员工压力巨大。文章认为,人工智能“重置”按钮并不能解决根本问题,反而凸显了企业用技术手段压榨员工的现象。作者呼吁关注自动化带来的负面影响,并对生成式人工智能的未来表示担忧。
SPUR (使用 RISC 进行符号处理) 是加州大学伯克利分校开发的多处理器工作站,旨在进行并行处理研究。SPUR 系统将拥有 6 到 12 个处理器,这些处理器通过一个共同的“SPUR”总线连接到共享内存和输入输出设备。SPUR 的每个处理器都包含一个专门为运行 Lisp 而设计的 RISC 处理器,以及浮点单元和缓存控制器。SPUR 项目雄心勃勃,但由于其复杂性和专业化程度,未能成功商业化。
文章探讨了凯斯勒现象,即太空碎片碰撞导致更多碎片产生的连锁反应。作者采访了多位专家,他们普遍认为太空碎片问题日益严峻,但对于凯斯勒现象是否已经发生存在分歧。文中分析了不同轨道高度的碎片增长趋势,以及可能的解决方案,包括减少新碎片产生和清除现有碎片。
本文认为,困惑是学习和创作的灵感来源。我们不应该害怕困惑,而应该积极地探究困惑背后的原因。作者鼓励读者将自己遇到的困惑以及思考过程记录下来,并分享给他人,这将有助于加深理解和促进共同进步。
本文介绍了如何在Linux系统使用C语言和libssl库创建安全的客户端/服务器连接。文章首先讲解了选择和安装安全套接字库libssl,以及创建SSL证书的方法。接着,文章详细介绍了如何编写服务器端和客户端的代码,包括初始化SSL、创建套接字、监听连接、发送和接收加密数据等步骤。最后,文章总结了使用SSL套接字的优势,并鼓励读者进一步探索更高级的网络安全技术。
马来西亚总理安瓦尔·易卜拉欣表示,马来西亚希望加入金砖国家集团,并已开始正式加入程序。安瓦尔赞扬了中国国家主席习近平,称其为“杰出领导人”之一,并认可中国崛起带来的“希望的曙光”。他还批评了西方过度关注哈马斯10月7日袭击以色列的“西方叙事”,认为不应忽视70年的历史。此次表态是在中国国务院总理李强访问马来西亚之际做出的,预计两国将签署经济合作和数字经济等领域的协议。
欧盟委员会提出了一项旨在防止和打击针对儿童的性暴力(聊天控制条例)的条例草案。该条例草案引发了对基本权利的严重担忧,因为它将要求互联网服务提供商监控私人通信,包括端到端加密通信。这将侵犯隐私权,并对言论自由产生寒蝉效应。此外,该条例草案还将要求互联网接入提供商阻止访问某些网站,这将需要对互联网用户进行监控。最后,该条例草案将要求年龄验证,这将危及青少年的言论自由和信息自由。
苹果电池供应商TDK宣布了一项重大突破,可能意味着 AirPods 和 Apple Watch 的电池续航时间将更长。TDK 开发出一种新型电池材料,其能量密度是现有电池的100倍,并将用于其 CeraCharge 固态电池。这种电池更小、充电更快、使用寿命更长,并且受温度变化的影响更小,旨在取代无线耳机、智能手表和助听器等可穿戴设备中的纽扣电池。
欧盟委员会提出的“聊天控制”法案旨在打击儿童性虐待内容传播,但其要求服务提供商扫描用户消息的行为引发了对隐私和安全的严重担忧。该法案被批评为无效且适得其反,因为它可能将执法目标引向守法公民,而真正的犯罪分子很容易找到规避措施。此外,该法案也可能损害数据安全,因为它相当于在安全的通信系统中引入了一个后门,这将使所有用户更容易受到网络攻击。
文章阐述了软件开发过程中存在的“摩擦”现象,即理论与现实之间的差异导致的各种问题,例如API变更、bug、安全漏洞、依赖项升级问题、人员变动、需求变更、设备故障等等。作者列举了减少摩擦的方法,包括采用敏捷开发、赋予团队更多自主权、增加冗余、制定更好的计划、自动化流程、积累经验、进行模拟演练以及使用检查清单和运行手册等。
网络稻草人是一款在电脑后台运行的软件,旨在让电脑对病毒和恶意软件产生“恐吓”作用,从而保护电脑安全。该软件目前处于测试阶段,适用于Windows 10/11系统。
本文探讨了如何构建一个公共利益导向的互联网架构。作者首先分析了当前互联网基础设施被私人公司控制的现状及其弊端,指出这种“被捕获”的互联网基础设施导致了广告泛滥、隐私泄露、市场垄断等问题。作者认为,解决问题的关键在于将互联网基础设施转变为公共利益技术,并提出了一个全球数字架构的设想。该架构强调“基础设施中立性”,即互联网基础设施的设计和运营应以保障用户权益为核心,并倡导采用能力导向型方法,确保互联网能够促进人类福祉。作者还探讨了如何在全球和地方层面协调互联网治理,以及如何建立有效的民主治理机制,确保互联网基础设施真正服务于公共利益。
Netflix 剧集《三体》的出品方、游族集团董事长林奇疑似遭遇同事投毒,目前正在上海住院治疗。警方已介入调查,犯罪嫌疑人为负责《三体》IP开发的游族高管许垚。据悉,林奇在12月16日晚出现急性病症入院治疗,目前情况稳定,公司经营正常。
这篇文章介绍了css-doodle,一个用于创建程序生成图形的工具。它详细解释了css-doodle的语法,包括选择器、属性、函数和值,并展示了如何使用这些元素来生成各种形状、图案和动画效果。文章还介绍了使用随机函数、生成器函数和背景函数来创建更复杂和有趣的图形。
本文探讨了将服务时间减半对延迟的影响。作者首先介绍了计算延迟和利用率的公式,然后通过一个具体的例子,比较了优化前后两种服务在不同利用率下的延迟曲线。结果表明,将服务时间减半可以显著降低延迟,但作者发现计算结果与预期不符,并提出了疑问。
这篇文章探讨了软件开发过程中过度压力如何导致不良设计,并引入了一个观点:复杂性会填满它所拥有的空间。作者通过代码、团队和组织架构等方面的例子,阐述了如何避免不必要的复杂性,并强调理解问题核心、避免过度设计的重要性,最终实现简洁高效的软件开发。