1. Happy New Year 2025
文章内容仅为一个道歉词“Sorry.”,与标题“Happy New Year 2025”所呈现的节日祝福氛围形成明显对比。
25 篇热帖
文章内容仅为一个道歉词“Sorry.”,与标题“Happy New Year 2025”所呈现的节日祝福氛围形成明显对比。
2024年大语言模型(LLM)领域发展迅速,主要发现和趋势可总结如下:
GPT-4壁垒被全面打破:2024年,超越GPT-4的模型大量涌现,来自18个不同组织的70个模型在Chatbot Arena排行榜上均超越了最初的GPT-4(2023年3月版)。这包括谷歌的Gemini 1.5 Pro、Anthropic的Claude 3系列等,训练一个GPT-4级模型不再是难以企及的目标。
高性能模型本地化:得益于训练和推理效率的提升,GPT-4级别的模型现已能在个人笔记本电脑(如64GB内存的MacBook Pro)上运行,例如Qwen2.5-Coder-32B和Meta的Llama 3.3 70B。更小的模型(如Llama 3.2 3B)甚至能在手机上流畅运行。
LLM价格大幅下跌:由于竞争加剧和效率提升,主流模型的价格大幅下降。例如,OpenAI的GPT-4o比一年前的GPT-4便宜12倍,而GPT-4o mini更便宜200倍。其他提供商如谷歌的Gemini 1.5 Flash价格更低,处理数万张图片的成本仅需几美元。
多模态能力普及:几乎所有主要模型提供商都推出了多模态模型,视觉能力已成常态,音频和视频输入/输出也开始出现。这扩展了LLM的应用范围,例如通过图片生成描述、实时视频对话等。
语音与实时视频模式:高级语音模式(如ChatGPT的Advanced Voice)能进行自然、富有表现力的语音对话,甚至能模仿口音。实时视频功能允许模型通过摄像头实时分析画面并进行交流,这些曾属于科幻场景的功能已成为现实。
提示词驱动的应用生成成为标配:通过单次提示即可生成完整的交互式应用程序(如Claude Artifacts),该功能已被多个平台实现并成为一项标准特性,表明其已成为一项基础能力。
访问最佳模型的免费期短暂:年中有一段时间,GPT-4o、Claude 3.5 Sonnet和Gemini 1.5 Pro等顶级模型免费可用,但随着OpenAI推出ChatGPT Pro(200美元/月),这一时期可能已经结束。
“代理”尚未真正实现:尽管是热门术语,但“代理”缺乏明确定义,且因LLM易受误导(幻觉、提示注入)的根本问题未解,其实用性仍存疑,可能依赖于尚未实现的AGI。
评估(Evals)至关重要:为LLM应用构建良好的自动化评估套件已成为关键技能,它能帮助更快地采用新模型、迭代产品并构建更可靠的功能。
苹果的MLX库优秀,Apple Intelligence平庸:苹果的MLX库极大地提升了在Apple Silicon上运行本地模型的体验,但其官方推出的Apple Intelligence功能(如通知摘要、写作助手)表现令人失望,未能发挥前沿模型的全部能力。
推理缩放“推理模型”兴起:以OpenAI的o1/o3系列为代表,这类模型通过消耗更多“推理token”来深入思考,从而在更复杂的问题上取得更好性能,开辟了除训练缩放外的新缩放维度。DeepSeek、谷歌等也推出了类似模型。
环境影响呈现矛盾面:
其他重要趋势:
Putnam-AXIOM 是一个用于评估大语言模型数学推理能力的挑战性基准测试,旨在解决现有基准趋于饱和及数据污染问题。
该基准包含两部分:
评估结果显示,几乎所有被测模型在变体问题上的准确率都显著低于在对应原始问题上的准确率。表现最优的 OpenAI o1-preview 模型在原始问题上的准确率为 41.95%,但在变体问题集上,其准确率相较于对应的原始问题下降了约 30%。这一发现揭示了当前模型在数学推理能力上存在显著差距,并凸显了数据污染对模型评估可能产生的影响。
本文探讨了如何对静态排序数据构建高性能搜索数据结构(S+树),以优化查询吞吐量。通过一系列系统性的优化,最终实现了在4GB输入数据上,查询性能从二叉搜索的约1150纳秒/查询提升至约27纳秒/查询,提升超过40倍。
u32值(对齐64字节缓存行)的B+树变体。每个节点存储一个排序子集,形成一个高分支因子(通常为17)的搜索树,比逐层存储更高效利用缓存行。vpcmpgtd, vpackssdw, vpmovmskb, popcnt)实现无分支并行比较,将节点内查找优化至仅需5条指令。b位将数据划分为2^b部分,每部分构建独立的S树,可跳过前几层搜索。通过S树结构、批处理、SIMD节点内查找、树布局优化和查询交织的综合应用,实现了静态搜索查询吞吐量的巨大提升。前缀分区在均匀数据上有潜力,但对真实数据普适性不足。
未来方向包括:
本文回顾了2024年数据库领域的主要事件,核心聚焦于许可证变更引发的开源生态动荡、主要云数据仓库厂商间的激烈竞争,以及嵌入式分析引擎DuckDB的崛起。
开源数据库公司为抵御云厂商的免费托管竞争,普遍采取了更严格的许可证策略。
两家数据巨头的竞争从性能比拼扩展至AI模型与数据生态。
DuckDB因其易用性和强大分析能力,正成为嵌入式OLAP引擎的首选。
2024年数据库领域的核心矛盾仍是开源商业模式在云时代的可持续性问题。与此同时,竞争已从单一产品性能扩展到数据生态系统和AI集成。DuckDB代表了嵌入式分析的民主化趋势。展望2025年,随着利率变化和Databricks IPO的临近,数据库初创公司可能迎来新的融资和上市窗口期。
以下是文章《2024年我喜爱的阅读书单》的摘要:
作者回顾了2024年阅读并喜爱的多本书籍,涵盖文学、哲学、计算机科学、传记和经济学等多个领域,并分享了个人见解与收获。
《西塞罗书信集(卷一)》:作者欣赏西塞罗优美的拉丁文散文及其译本所展现的修辞魅力。这些信件既提供了古罗马生活与关系的 insight,也展示了西塞罗如何用细腻文字表达关切、请求或情感。
《计算机科学的数学逻辑》:这是一本理论性强、难度较高的技术书籍,作者通过其“第一性原理”方法重新梳理了逻辑知识。书中涵盖命题逻辑、演绎系统、时序逻辑及程序验证等内容,被视为有价值但需慢读的材料。
《作为一种生活方式的哲学》:作者偶然发现此书,认为其成功地将哲学变得平易近人,旨在教人如何用哲学改善生活。书中探讨了古代哲学如何通过口头传统和对话来转变灵魂,并强调哲学应是实践而非空谈。
《奥瑞斯提亚》:作为古希腊悲剧之父埃斯库罗斯的三联剧,该剧探讨了正义、复仇与社会秩序演进。作者赞赏其对人类心理的洞察,并认为是值得反复阅读的智慧之作。
《SPIN模型检测器原理》:这本技术书篇幅不长但 insight 深刻,激发了作者对并发程序验证的兴趣。书中结合自创的教学工具(如jSpin)讲解概念,并涉及时序逻辑与案例分析。
《天生站立》:喜剧演员史蒂夫·马丁的回忆录。作者称赞其坦诚讲述了成名前的挣扎、漫长练习与自我磨练,强调成功需要耐心、努力、反思与坚持。
《小于一》:诺贝尔奖得主约瑟夫·布罗茨基的散文集。作者钦佩其对文学和人性 condition 的深刻见解,尤其是分析陀思妥耶夫斯基和奥登诗歌的篇章,展现了其从独特角度解读作品的能力。
《地海巫师》:作者初读厄休拉·勒古恩的小说,认为其表面是奇幻故事,内里却蕴含人生智慧。书中关于邪恶、阴影与光明的句子令人深思。
《泰戈尔精选集》:收录了泰戈尔的散文与戏剧。作者欣赏其将思想付诸行动(如创办学校),并认为其关于教育、民族主义等话题的散文富有文采与启发性。
《最奇怪的人》:物理学家保罗·狄拉克的传记。作者被其童年经历、寡言性格以及对数学之美的追求所吸引,认为这是一本 engaging 的传记。
《惯于争鸣的印度人》:诺贝尔经济学奖得主阿马蒂亚·森的著作。作者认为此书具有启发性且易读,论证了印度历史中的论辩传统,并批判了殖民偏见对印度知识成就的扭曲。
《人性的,太人性的》:作者着重分享了尼采的这部作品。书中以格言体探讨文化、社会、道德等话题,展现其“自由精神”思想与对传统、习惯的犀利批判。作者认为尼采的写作穿透力强,思想深刻,尤其赞赏其关于思想与行动、灵感与创作、文人懒惰等观点。
作者在结尾感谢读者支持,并希望其分享能引起共鸣。整体而言,这份书单体现了作者广泛的阅读兴趣和对思想深度、写作艺术及人生智慧的追求。
API Parrot:自动化逆向工程HTTP API的工具
核心功能与定位 API Parrot 是一款专为逆向工程任意网站的HTTP API而设计的工具。它旨在帮助开发者更轻松地实现对那些未提供公开API的网站进行自动化操作、集成或数据抓取。该工具提供了一站式解决方案,涵盖从录制HTTP请求到最终导出可执行代码的完整工作流程,力求使流程快速高效。
主要特点
开发与服务 该工具由API Parrot的创始团队开发,他们不仅深入研究API逆向工程,更构建了这个实际可用的行业工具。团队基于此工具提供专业的API集成服务:
使用与支持 用户可以免费下载并试用API Parrot的Beta版本,体验其API复制功能。若需技术支持、功能咨询或提交错误报告,可通过邮件(contact@apiparrot.com)或项目的GitHub页面联系团队。
《侠盗猎车手III》Dreamcast移植版已发布
基于提供的标题,核心信息是:经典游戏《侠盗猎车手III》已被成功移植到世嘉Dreamcast平台,且该移植版本现已正式发布。
要点概述:
注意:所提供的文章内容仅为占位文本("dca3-game" 和 "Loading"),不包含关于此移植项目的开发者、具体发布日期、游戏特性、运行效果或获取方式等进一步细节。以上摘要完全基于文章标题的明确陈述。
这篇文章总结了在系统设计中一些常见但通常失败的构想,这些构想常因低估复杂性而导致问题。作者基于多年工程经验指出,约90%的情况下这些方案会失败,强调工程是结合“经验法则”与社会性的实践。
“让我们把它做成可插拔的” 当认为某个实现可能无法满足需求时,设计者常希望允许未来替换新实现而无需修改调用者。然而,真正的“可插拔”极难实现。历史上最可插拔的组件之一是设备驱动程序,但它们曾问题频出,现代操作系统要么禁止使用,要么已自行构建多年。唯一可能奏效的方法是同时设计主要实现和第二个实现来证明其可行性。
“让我们添加一个API” 产品或公司在成功后常希望成为平台并吸引开发者,于是仓促推出API。问题在于:成为API提供者本身需要一种特定的心态和技能,需不断权衡兼容性与功能,并受遗留行为约束;提供API不等于有人愿意使用它。第三方开发者并非等待填补你产品空白,他们有自己的业务和客户。构建平台是严肃的业务,极少能通过简单“提供一些API”实现。
“让我们再抽象一次” 引用了巴特勒·兰普森的名言“计算机科学中的所有问题都可以通过增加一层间接性来解决”。抽象虽真实有效,但常因过早引入而失败(例如Windows NT中存在大量从未真正使用的抽象层)。相比之下,Mac OS的演进中出现的抽象似乎在后续版本中变得有用,因为它们是基于计划引入的。事后添加的抽象会导致代码混乱、难以维护和优化性能。
“让我们把它做成异步的” 计算机科学早期大量研究如何处理异步问题。现代框架已为数据层抽象了异步问题。然而,一旦超出框架或数据层而自行管理异步,几乎总会遇到一年后才出现且无法复现的Bug,这可能导致数据损坏等问题。
“让我们稍后再添加访问控制” 尽管理论上知道系统需要安全,但上市压力下几乎没有系统从一开始就彻底思考访问控制/安全模型。除非从一开始就从客户和攻击者视角设计访问控制,否则无法正确实现。推迟添加访问控制要么导致失败,要么将来需要重写产品,体验糟糕。
“让我们同步数据” 在设备、SaaS应用和数据存储多样化的世界中,“同步数据”的提议很常见。但正如雷·奥兹(Lotus Notes、Groove等创始人,微软Azure奠基人)所言:“同步是一个难题”。对于具备完整语义和事务的数据存储,同步已非常困难;一旦涉及同步二进制块、非结构化数据或数据翻译,难度会急剧增加。几乎不应将解决方案建立在同步数据之上。
“让我们让它跨平台” 每当讨论跨平台,总有人展示他们认为“效果很好”的代码。然而,承诺跨平台实质上是在承诺构建一个操作系统、云提供商或浏览器。跨平台仅在两个阶段可能有效:平台新颖且简单时(如早期的云计算)以及应用本身新颖简单时。随着底层平台分化或应用功能复杂化,跨平台开发会变得极其困难。著名案例是微软最终放弃用同一代码库为Mac和Windows构建Office,于1998年分支了代码。
“让我们允许逃逸到原生” 由于跨平台通常只短暂有效,常见解决方案是允许框架或API抽象“逃逸到原生”调用。理论上,这可以利用尚未被抽象层暴露的平台新特性。但这几乎总失败,因为框架维护着自己的内部状态和缓存。直接调用原生平台会破坏框架未知的数据结构和状态。虽然框架可能提供机制来交换数据,但这类似于手动内存管理,在现代自动内存管理的世界中并非良策。
作者并非绝对否定这些方法,在某些特定上下文中它们可能有效。但大多数情况下,存在更好的替代方案。关键经验是:应基于第一原则解决问题,而非盲目套用这些高风险的软件模式。工程管理常结合了“经验法则”和从艰难经历中学到的教训。
Arnis 是一个免费的开源项目,它能利用来自 OpenStreetMap 的真实世界地理数据,在 Minecraft Java 版 (1.17+) 和基岩版中创建复杂且精确的世界。该算法处理地理空间数据以及高程数据,以生成准确的地形和建筑结构。
arnismc.com 或 GitHub 仓库下载。cargo runcargo run --no-default-features -- --terrain --path="世界存档路径" --bbox="min_lat,min_lng,max_lat,max_lng"项目自 2024 年 12 月以来获得了关注,并被多家媒体和学术出版物提及,例如:
SNAGRA Trading 是一个自主AI交易系统,专注于实时股票交易实验。该系统使用真实资金,由AI代理独立管理交易、执行操作并持续进化自身策略,无需人工审批。其核心目标是实现完全透明,公开显示每个交易细节、资金流动和决策过程。
/assets/index-xUS-12Oc.js),CSS样式表(/assets/index-DrF52AWy.css)控制外观。该项目由Sunny Nagra创建,旨在通过公开实验展示AI在金融交易中的自主性和适应性。网站设计为单页应用,通过<div id="root"></div>容器加载动态内容,提升用户体验。
SNAGRA Trading 代表了一个前沿的AI交易实验,结合真实资金操作、完全透明度和自主策略进化,为观察AI在复杂金融市场中的表现提供了一个实时平台。
Ruby 3.4 带来了多项新功能,其中以下三个方面尤为突出:
it在许多使用块(block)的场景中(如 each、map、filter),块通常只接收一个参数。开发者常将其命名为 item 等通用名称。
Ruby 3.4 引入了默认参数名 it,允许在简单场景中省略参数定义,使代码更简洁。
示例:
# 旧写法
["beige chinos", "blue jorts", "rainbow jorts"].filter { |item| item =~ /jorts/ }
# Ruby 3.4 新写法
["beige chinos", "blue jorts", "rainbow jorts"].filter { it =~ /jorts/ }
Ruby 3.4 在 TCP 套接字中实现了 RFC 8305(Happy Eyeballs Version 2),旨在优化双栈(IPv4/IPv6)网络下的连接性能。
核心改进:
异常回溯现在会显示方法所属的类或模块,而非仅方法名,增强了调试信息的可读性。
示例:
inspect' Foo::Bar#inspect'大型概念模型(LCM)是一种在显式的高级语义表示(称为“概念”)空间中操作的语言模型。一个“概念”对应一个句子,且该表示独立于语言和模态。本工作使用SONAR嵌入空间,支持文本(约200种语言)和语音(57种语言)。
LCM是一个在概念空间中训练的序列到序列模型,旨在执行自回归句子预测。主要探索了三种方法:
base_lcm。two_tower_diffusion_lcm 等变体。这些探索基于1.6B参数的模型,使用约1.3T tokens的数据进行训练。
本项目依赖 fairseq2。推荐使用 uv 进行安装:
uv sync --extra cpu --extra eval --extra data
GPU支持需自行安装对应版本的 torch 和 fairseq2。使用 pip 安装类似,但需手动管理环境并先安装 fairseq2。
训练和评估数据需预先处理为句子,并用SONAR进行嵌入。提供了示例处理管道:
uv run --extra data scripts/prepare_wikipedia.py /输出目录
此脚本展示了如何从HuggingFace获取数据集并使用SONAR和SaT进行处理。也提供了处理JSONL、Parquet和CSV格式数据的API。
python -m lcm.train +pretrain=mse ...torchrun训练(需调整批量大小):CUDA_VISIBLE_DEVICES=0,1 torchrun ... +pretrain=mse ...+pretrain=two_tower 配方。model_card.yaml 复制并注册为fairseq2资产。# 双塔扩散LCM示例
CUDA_VISIBLE_DEVICES=0,1 torchrun ... +finetune=two_tower ... ++trainer.model_config_or_name=my_pretrained_two_tower
# MSE LCM同理,使用 `+finetune=mse`
python -m nltk.downloader punkt_tab。two_tower_diffusion_lcm 或 base_lcm)并指定模型卡路径运行评估命令。# 双塔扩散LCM评估示例
torchrun ... -m lcm.evaluation --predictor two_tower_diffusion_lcm --model_card <路径> ...
评估结果(包括语料级别分数)将保存在指定的输出目录中。如需评估下游任务,请参阅评估文档。本文介绍了作者使用LÖVE框架开发游戏原型的经历,旨在为2025年完成并发布完整游戏做准备。
国际象棋UI
love.mousereleased)处理鼠标输入,实现棋子拖放和点击移动。UI逻辑与游戏逻辑的分离尚可,但仍有改进空间。卡牌游戏UI
love.update更新卡牌动画状态(上升/缩放和拖拽偏移)。总体而言,LÖVE框架以其简洁性和对LLM的友好性,成为作者快速游戏原型开发的有效工具,尤其适用于自由形式的2D游戏UI探索。
Cesium for Unreal 是一款虚幻引擎插件,旨在将真实世界背景融入虚拟环境。其主要功能与特点如下:
全球3D内容即时访问
该插件集成了 Cesium ion 服务,用户可直接从云端获取高分辨率全球3D数据,涵盖摄影测量、地形、影像及建筑物等多类内容。
行业领先的3D瓦片化处理
通过先进的处理管道,用户可将自有内容转换为优化的、空间索引化的3D Tiles格式,便于流式传输至虚幻引擎。该处理能力作为 Cesium ion 订阅服务的一部分提供。
灵活的部署与开放标准支持
插件支持基于开放标准和API的云端及私有网络服务部署。用户可在自身环境中搭建系统,实现可扩展、可定制的端到端工作流程。
这篇文章揭示了新发布的终端模拟器Ghostty 1.0中存在一个安全漏洞(CVE-2024-56803),该漏洞与2003年由HD Moore发现的终端模拟器安全问题(CVE-2003-0063)性质相似,属于历史问题的重现。
~/.zshrc中添加一个函数,使Zsh跳过OSC(操作系统命令)序列回复,避免将其误判为用户输入。~/.inputrc中添加配置,使Bash跳过相关的转义序列。该内容并非实际的文章内容,而是一个访问被拒绝的页面。页面标题显示为“FBI: Largest homemade explosives cache in agency history found in Virginia”,但正文被一个人机验证和广告拦截提示系统所取代。
主要内容概括:
captcha.px-cloud.net 添加到广告拦截器的白名单中,或暂时禁用广告拦截器。结论:所提供的“内容”实质是一个网站安全验证拦截页,而非原始文章。因此,无法从给定代码中总结关于FBI在弗吉尼亚州发现爆炸物的任何实际新闻信息。用户所看到的是阻止自动访问的技术屏障。
本文标题为“超新星证据表明宇宙学模型需根本性变革”。根据标题推断,文章的核心内容应围绕超新星的观测数据展开,这些数据可能对当前主流的宇宙学标准模型(如ΛCDM模型)构成了挑战或提出了修正要求。
主要论点可总结为:
由于原文内容为无法访问的验证页面,以上摘要基于标题的直接含义及天文学常识进行推断。确切的新证据细节、数据对比及具体提出的替代模型,需查阅原始研究论文。
该内容为Cloudflare安全验证页面的HTML代码,并非实际文章内容。页面标题显示为“Just a moment...”,表明用户需通过验证后才能访问“www.lemonamiga.com”网站上关于“2024年发布的Amiga游戏索引”的论坛帖子(topic ID: 19114)。页面核心功能是通过JavaScript脚本执行验证流程,代码中包含加密令牌、时间戳及安全策略等配置信息,旨在拦截非授权访问,未提供具体的游戏列表或描述内容。
团队将 ComfyDeploy 的仪表板从 Next.js 迁移至纯 React,主要因以下问题:
迁移后关键改善:
迁移中牺牲了 Next.js 的部分特性,但推动了更合理的架构设计:
作者强调:此决策基于团队特定需求,并非否定 Next.js 本身。Vercel 平台仍用于其他项目,但当前产品阶段更适合轻量化技术栈。