马克斯·西登托普夫——护照照片
马克斯·西登托普夫的系列作品“护照照片”探讨了最 mundane 且无趣的摄影类型之一。官方护照照片的要求非常严格,包括:拍摄对象需要直视镜头,背景清晰无阴影,眼镜无反光,最重要的是,不能微笑。这似乎几乎不可能进行任何形式的自我表达。该系列试图挑战这些官方规则,测试在拍摄正式证件照时可以做的所有事情。
阅读更多
马克斯·西登托普夫的系列作品“护照照片”探讨了最 mundane 且无趣的摄影类型之一。官方护照照片的要求非常严格,包括:拍摄对象需要直视镜头,背景清晰无阴影,眼镜无反光,最重要的是,不能微笑。这似乎几乎不可能进行任何形式的自我表达。该系列试图挑战这些官方规则,测试在拍摄正式证件照时可以做的所有事情。
阅读更多
这篇文章解释了为什么不应该在网页链接中使用“点击这里”等词语。作者认为,有意义的链接文本可以让用户快速了解链接内容,而使用“点击这里”会使用户困惑,分散用户对内容的注意力,并且不利于搜索引擎理解网页内容。文章还提供了一些替代方案,例如使用链接目标页面的标题作为链接文本,并将链接放在句末或冒号后面以突出显示。
阅读更多
文章介绍了 Linux 内核中使用 Rust 语言实现智能指针的最新进展。Rust 提供了一些内置的智能指针类型,但为了遵循 Linux 内核的内存模型,需要手动编写智能指针。文章详细讨论了如何使自定义智能指针具有与内置智能指针相同的功能,例如指针类型转换和动态分派。此外,文章还提到了为了确保代码安全,需要使用 unsafe 关键字来标记那些可能导致内存安全问题的操作,并解释了这样做的原因。
阅读更多
Meta在OCP全球峰会上展示了其最新的AI硬件设计,包括新的AI平台Catalina、先进的开放式机架设计Orv3以及网络结构和组件。Catalina基于NVIDIA Blackwell平台,支持最新的NVIDIA GB200 Grace Blackwell超级芯片。Meta还扩展了Grand Teton平台以支持AMD Instinct MI300X,并开发了新的网络结构DSF和51T交换机。Meta致力于开源AI硬件,并与微软合作开发了新的分散式电源机架Mount Diablo。
阅读更多
约翰霍普金斯大学的研究人员在叙利亚一座古墓中挖掘出刻有文字的泥制圆柱体,这些文字可追溯到公元前2400年左右,比其他已知的字母文字早约500年。这一发现颠覆了考古学家对字母起源、传播以及对早期城市文明影响的认识。研究人员认为,字母文字的出现使得文字不再局限于皇室和社会精英,改变了人们的生活、思考和交流方式。
阅读更多
OpenCharacter 是一个允许用户创建和与各种角色聊天机器交互的平台。用户可以从流行角色、新角色或特定标签中进行选择,例如“Femboy”、“Maido”和“Yandere”。该平台提供广泛的角色,包括来自动漫、游戏和电影等流行文化的角色,以及原创角色。
阅读更多
由于波音Starliner载人测试飞行出现问题,NASA宣布2025年的商业载人计划任务将只使用SpaceX的Crew Dragon航天器。Starliner推进器故障导致其至今未获认证,NASA对是否需要再次试飞尚未决定。尽管Starliner问题重重,但NASA表示将在2025年为其保留飞行窗口,并将根据波音的系统认证路径决定Starliner的下一次飞行时间和配置。
阅读更多
美国联邦贸易委员会(FTC)准备对微软的云计算业务展开反垄断调查,指控微软滥用其在生产力软件领域的市场支配地位,通过惩罚性许可条款阻止客户将其数据从Azure云服务转移到竞争对手的平台。调查涉及的策略包括大幅提高离开用户的订阅费、收取高额退出费,以及据称使其Office 365产品与竞争对手的云平台不兼容。此前,FTC曾就云计算提供商的商业行为征求业内人士和公众的反馈,许多回复都表达了对竞争的担忧,特别是关于软件许可的实践限制了在其他云提供商生态系统中使用某些软件的能力。这将是FTC主席Lina Khan对大型科技公司发起的最新一轮攻势,她也曾对Meta和亚马逊等公司采取过类似行动。
阅读更多
文章介绍了一种名为Skip Hash的新型有序映射数据结构,它结合了跳表和哈希映射的优点,并利用软件事务内存(STM)实现了快速、可线性化的范围查询,同时保证了并发插入和删除操作的高效性。实验结果表明,Skip Hash在性能上几乎优于所有现有方案,兼具高效性和简洁性。
阅读更多
美国最大的太阳能电池板制造商First Solar在阿拉巴马州投资11亿美元建立了一家新的垂直整合薄膜太阳能工厂,该工厂将为美国增加3.5 GW的太阳能产能,预计将创造800多个就业岗位。First Solar的独特之处在于,它是一家完全垂直整合的薄膜光伏太阳能电池板制造商,严重依赖美国本土的材料,如玻璃和钢铁。
阅读更多
2012年,美国纽约勒罗伊镇一所高中爆发了大规模转换障碍(一种心理疾病),十几名青春期女孩出现面部抽搐、肌肉痉挛和言语障碍。该事件引发巨大争议,部分家长质疑诊断结果,并提出环境污染的可能性。文章分析了这种大规模心理疾病(MPI)的两种类型、经济影响以及在社交媒体时代传播模式的转变。研究者认为,社交媒体可能加速了MPI的传播,也使得对诊断结果的质疑更容易扩散,给公共卫生部门带来新的挑战。勒罗伊事件凸显了社交媒体时代处理MPI的复杂性,传统的隔离措施可能不再适用。
阅读更多
本文介绍了如何使用 Ruby 和进化算法生成低多边形图像。作者使用了 petri_dish_lab gem 来实现图像重建,并详细解释了进化算法的原理、Petri Dish 框架的使用、目标函数的定义、成员表示、适应度函数、遗传算子以及最终配置和结果分析。文章以 Ruby logo 为例,展示了如何通过进化算法逐步优化三角形的顶点和灰度值,最终生成低多边形图像。作者还对结果进行了主观和客观分析,并讨论了不同参数对算法性能的影响。
阅读更多
MIMO是一种通用的可控视频合成模型,可以模仿复杂运动和物体交互中任何地方的任何人。给定一张参考图像,MIMO 可以通过几分钟的推理合成可动画的化身。其核心思想是将二维视频编码为紧凑的空间代码,考虑到视频发生 inherent 3D 特性。具体来说,模型使用单目深度估计器将二维帧像素提升到三维,并根据三维深度将视频片段分解为三个空间组件(即,主要人物、底层场景和漂浮遮挡)。然后将这些组件进一步编码为规范身份代码、结构化运动代码和完整场景代码,这些代码用作合成过程的控制信号。这种空间分解策略实现了灵活的用户控制、空间运动表达以及用于场景交互的 3D 感知合成。
阅读更多
本文介绍了如何使用jlink命令行工具创建运行时和应用程序镜像。运行时镜像类似于JDK的子集,只包含选定的模块及其依赖项。应用程序镜像则包含应用程序模块和所需的平台模块,可以实现独立交付,无需目标系统预装JDK。jlink可以进一步优化镜像大小和VM性能,特别是启动时间。文章详细讲解了创建最小运行时镜像、应用程序镜像、包含服务、跨操作系统生成镜像以及优化镜像的方法和技巧。
阅读更多
WordPress,这个全球领先的内容管理系统,正面临一场与私募股权公司Silver Lake及其投资的WP Engine之间的激烈冲突。WP Engine,一家基于WordPress的盈利公司,在获得Silver Lake巨额投资后,过度利用WordPress商标并对开源社区贡献甚少。Automattic公司CEO兼WordPress联合创始人Matt Mullenweg多次尝试沟通未果后,最终采取行动,限制WP Engine访问WordPress.org资源,以捍卫开源社区的利益和WordPress的未来。这场冲突凸显了开源社区与追求最大利润的私募股权公司之间存在的根本矛盾,也提醒我们关注开源项目的长期健康发展。
阅读更多
据The Information报道,由于Vision Pro需求疲软,苹果已大幅削减了这款头显的产量,并可能在2024年底完全停产当前版本。消息称,苹果已告知立讯精密,最早可能在11月开始逐步停产Vision Pro。目前立讯精密每天生产约1000台Vision Pro,是峰值产能的一半。
阅读更多
文章介绍了一种名为“英语”的声明式深奥编程语言(Esolang),它使用自然语言描述程序的功能。文章列举了“Hello World”、“99 Bottles of Beer”等程序示例,并讨论了该语言的图灵完备性、可计算性、编译器以及错误类型。文章还提到了利用机器学习模型(如OpenAI Codex)将英语描述转换成代码的可能性,并探讨了该语言的本地化和流行文化影响。
阅读更多
文章介绍了如何使用Mixedbread库进行高效的批量奖励模型推理,以及如何利用Modal部署奖励模型API。作者使用了RLHFlow/ArmoRM-Llama3-8B-v0.1奖励模型,并通过TruthfulQA数据集的子集对其进行了评估,结果显示正确答案的平均排名为2.10,排名第一的概率为53%。此外,文章还探讨了最佳N采样方法,发现使用奖励模型和最佳16采样可以使Llama-3.1-8B-Instruct的零样本准确率提高20.7%。
阅读更多
InstantDB 是一款客户端数据库,旨在简化实时协作应用程序(如 Notion 或 Figma)的构建。它允许开发者使用类似 GraphQL 的 InstaQL 编写关系查询,自动处理数据获取、权限检查和离线缓存。InstantDB 还支持多人协作、乐观更新和回滚,并提供 JavaScript、React 和 React Native SDK。
阅读更多
GitHub上开源了Commodore 64版经典游戏Elite的完整源码,并附带详细注释。该项目包含了四个版本的源码,涵盖了不同硬件平台和构建方式。开发者不仅可以浏览经过详细注释的源码,了解Elite的运行机制,还可以使用提供的Makefile在现代计算机上编译出可运行的D64磁盘镜像,在模拟器或真实硬件上运行游戏。该项目旨在帮助人们更好地理解这款8位时代标志性游戏,具有极高的教育意义和收藏价值。
阅读更多
大型语言模型(LLM)通常在“语言空间”中进行推理,使用思维链(CoT)解决复杂问题。然而,语言空间并非总是最优的,因为许多词语对推理并非必要,而一些关键词语又需要复杂的规划。本文介绍了一种新的范式Coconut(连续思维链),它利用LLM的最后一个隐藏状态作为推理状态(称为“连续思维”)的表示,并将其直接反馈给LLM作为后续输入嵌入,而不是将其解码为词语标记。实验表明,Coconut可以有效地增强LLM在多个推理任务上的性能。这种新的潜在推理范式带来了高级推理模式:连续思维可以编码多个替代的推理步骤,允许模型执行广度优先搜索(BFS)来解决问题,而不是像CoT那样过早地提交到单一的确定性路径。在某些需要大量回溯的逻辑推理任务中,Coconut的性能优于CoT,并且推理所需的思维标记更少。
阅读更多
在2024年OCP峰会上,AMD和英特尔宣布成立一个新的x86顾问委员会,旨在统一x86指令集架构(ISA),以增强x86生态系统的兼容性、可预测性和一致性。该委员会将致力于制定标准化的x86架构功能和编程模型,为数据中心、云、客户端、边缘和嵌入式设备等所有领域带来益处。此举被认为是x86几十年来最大的转变,标志着两家公司从竞争走向合作,共同应对Arm和RISC-V带来的挑战。
阅读更多
本文简要介绍了Java类文件API(JEP 484),该API提供了一种解析、生成和转换Java类文件的标准方法。文章以一个简单的示例程序为例,演示了如何使用该API生成JVM字节码,创建新的对象,并基于随机数进行分支。作者详细解释了如何使用API的各种方法和类,例如ClassDesc、MethodTypeDesc、ConstantDescs等,来构建类文件、字段、构造函数和方法。同时,文章还提到了javap工具的使用,以及JVM作为栈基虚拟机的基本原理。
阅读更多
Voyage AI发布了新的通用嵌入模型Voyage-3和Voyage-3-lite。Voyage-3在检索质量上平均优于OpenAI v3 large 7.55%,同时成本降低2.2倍,嵌入维度缩小3倍。Voyage-3-lite的检索精度比OpenAI v3 large高3.82%,成本降低6.5倍,嵌入维度缩小6倍。这两种模型都支持32K token的上下文长度,是OpenAI的4倍。Voyage-3系列模型在多个领域(包括代码、法律、金融、多语言和长上下文)的检索任务中表现出色,并具有显著的成本和延迟优势。
阅读更多
Spotify开发者平台宣布调整Web API,限制新应用访问部分接口和功能,包括相关艺术家推荐、音频功能、音频分析、精选歌单、分类歌单、30秒预览链接以及算法和Spotify自有编辑歌单。现有已扩展访问权限的应用不受影响。此举旨在增强平台安全性,并称会持续评估平台设置,以确保为开发者、艺术家、创作者和听众提供最佳体验。
阅读更多
这是一篇关于名为“turboc.nvim”的 GitHub 项目的介绍。该项目旨在为 Neovim 文本编辑器重新创建和更新 Turbo C 配色方案。作者提供了安装指南,并计划进一步学习主题开发以实现现代化。
阅读更多
本文介绍了一种用于生成高度卷曲头发形状的几何方法——Curly-Cue。该方法采用三种算法模拟高度卷曲头发的特征:基于傅里叶变换的相位锁定算法模拟靠近头皮的不同螺旋 coalesce 成单一卷曲的过程;周期跳跃算法模拟从 coalesced 卷曲偏离的单个螺旋;非线性优化算法直接生成“Switchbacks”的形状。
阅读更多
DuckStation 是一款 Sony PlayStation(TM) 游戏机的模拟器,专注于可玩性、速度和长期可维护性。它旨在尽可能准确,同时保持适用于低端设备的性能。其特点包括 CPU 重编译器/JIT、硬件和软件渲染、升级、纹理过滤、PGXP、纹理替换系统、运动自适应去交错等。支持 Windows、Linux 和 macOS 平台。
阅读更多