1. A visual proof that a^2 – b^2 = (a + b)(a – b) (www.futilitycloset.com)
本文展示了代数公式 (a^2 - b^2 = (a + b)(a - b)) 的一种视觉化几何证明。通过图形演示,将代数等式转化为面积关系,直观地揭示了等式两边相等的几何意义。文中引用了数学家索菲·热尔曼的观点,指出代数与几何的紧密联系:代数是书面的几何,几何是图形化的代数。
21 篇热帖
本文展示了代数公式 (a^2 - b^2 = (a + b)(a - b)) 的一种视觉化几何证明。通过图形演示,将代数等式转化为面积关系,直观地揭示了等式两边相等的几何意义。文中引用了数学家索菲·热尔曼的观点,指出代数与几何的紧密联系:代数是书面的几何,几何是图形化的代数。
2023年11月,研究者对118名金融专业学生进行了一项有监督的实验——“水晶球挑战”。参与者每人获得50美元本金,需依据提前36小时获取的《华尔街日报》头版新闻(具体市场价格被涂黑),交易标普500指数和30年期美国国债期货。游戏模拟了2008年至2022年间共15个交易日的交易。
实验强调金融教育中需加强“不确定性下的决策训练”,特别是仓位管理技能。水晶球游戏可作为风险决策培训工具,帮助从业者理解“预测”与“风险管理”的平衡。
数据来源:实验参与者数据、网站玩家数据、专业交易员测试结果及附录详细分析。
该网站(They See Your Photos)是一个基于Next.js框架开发的演示项目,其主要功能是允许用户上传一张照片,然后通过人工智能分析并展示AI从该照片中能够识别的信息量。网站旨在以交互的方式,向用户揭示AI在图像识别和理解方面的能力与视角。
__NEXT_DATA__脚本标签、_buildManifest.js和_ssgManifest.js等生成的文件中。preload)和预取(prefetch)了多张示例图片和字体文件,以优化加载性能。pages/index-*.js),这些是Next.js自动拆分和打包的产物,共同实现了前端应用逻辑。<meta>标签(如description、og:type、twitter:card等)已配置,用于搜索引擎优化(SEO)和社交分享,明确其网站性质为演示AI视觉能力的工具。/路径)。div#__next和相关JS模块可知),在静态HTML源码中未直接体现完整UI。og:image预览图,指向/preview.png,用于在社交平台上展示网站概览。该项目是一个技术演示网站,其核心目的是通过让用户上传照片来直观展示AI的视觉信息提取能力。网站采用现代化的前端技术栈(Next.js)构建,并考虑了性能优化与网络分享适配。
根据提供的内容,这是一篇发表在 Cell 期刊上的文章,标题为 《Humans are unreliable models of mouse disease》(人类是小鼠疾病的不可靠模型)。
然而,所提供的文本并非文章正文,而是访问该文章摘要页面时,由网络安全服务 Cloudflare 生成的一个临时挑战页面。该页面的主要内容是:
总结:所提供的材料是文章访问过程中的一个技术性障碍页面,其本身不包含任何关于文章《Humans are unreliable models of mouse disease》的科学论点、数据或结论。要获取文章摘要或全文,需要通过该挑战验证,或直接访问期刊网站并使用有效的订阅权限。
本文详细介绍了从零开始使用C++和CUDA构建高效LLM推理引擎的过程,旨在深入理解推理全栈并优化单GPU单批次推理性能,最终目标是超越llama.cpp的吞吐量。文章聚焦于Mistral-7B模型,逐步实现并优化CPU和GPU后端。
从0.6 tok/s的朴素实现开始,通过以下优化提升至8.4 tok/s:
基于CPU优化的FP16权重,移植到GPU并逐步优化,最终实现短上下文63.8 tok/s的吞吐量。
att_mix内核优化:原始内核内存访问不合并,吞吐量极低。通过重新设计内核,使线程访问连续内存,并使用共享内存进行原子累加以解决数值精度问题,大幅提升内存带宽利用率。短上下文吞吐量提升至63.7 tok/s,长上下文也得到改善。通过一系列关键优化(CPU多线程/向量化、GPU Matmul改进/内核融合/注意力优化、权重量化、KV缓存量化),在不使用外部库的情况下,在特定用例(单GPU单批次完成任务)上实现了接近最先进的性能。 未来仍有很大改进空间:
研究标题: 学校禁止智能手机带来更佳睡眠与情绪改善
研究背景与方法:
主要研究发现:
睡眠显著改善:
情绪积极变化:
认知能力变化不明显:
研究人员观点:
节目信息:
旧金山Ruby会议2025
演讲背景
核心资源
额外信息
本文通过一项全面的基准测试,对比评估了 Spark、DuckDB 和 Polars 这三种数据处理引擎在湖仓一体架构下的表现,旨在回答是否应将中小型工作负载从 Spark 迁移至新兴的单机引擎。
分析基于四大维度:性能、执行成本、开发成本以及引擎成熟度与兼容性。测试模拟了真实的 ELT(提取、加载、转换)场景,涵盖读取 Parquet 写入 Delta、创建事实表、增量数据合并、表维护(VACUUM/OPTIMIZE)以及即席查询等操作,数据规模包括 10GB 和 100GB。
性能对比:
执行成本:
开发成本与集成体验:
成熟度与兼容性:
总而言之,文章反对一刀切的迁移建议,主张基于具体场景的理性选择和多种引擎的协同使用。
这篇文章主要介绍了在llama.cpp项目中添加对Qwen2-VL视觉语言模型支持的开发过程与关键技术变更。
主要内容与目的: 该更新的核心目标是将Qwen2-VL视觉语言模型集成到llama.cpp框架中,使其能够进行多模态(文本与图像)推理。为此,开发者实现了一套完整的工具链和底层运算支持。
关键技术实现:
GGML_ROPE_TYPE_MROPE 和 GGML_ROPE_TYPE_VISION,并实现了相应的FP32和FP16精度内核,以支持Qwen2-VL特有的多旋转位置编码(M-RoPE)。llama_hparams)以存储旋转位置编码的段落配置。test-backend-ops)中。开发历程与协作: 该功能的开发从一个基础转换器开始,逐步完善视觉模型和推理流程。主要提交信息详细记录了从“工作进行中”到功能完善、错误修复、代码审查采纳的整个过程。项目核心开发者Georgi Gerganov参与了代码审查并给出了关键建议。该提交被多个下游仓库引用和合并,表明了其重要性和影响力。
总结: 此次更新是一次系统性的功能集成,涉及从高层模型转换工具到底层算子实现,再到测试与兼容性处理的全栈开发工作,最终成功使llama.cpp具备了运行Qwen2-VL视觉语言模型的能力。
The request was rejected because it was considered high risk
Surfer Protocol 概述 Surfer Protocol 是一个用于导出个人数据的开源框架,旨在解决个人数据分散在各平台、大公司缺乏动力让用户便捷访问自身数据的问题。它允许用户整合数据以训练AI克隆、从大公司取回数据或创建数字遗产。
核心组件与功能
支持的数据源
工作流程
示例与开始使用 导出的数据包含平台名称、运行ID、时间戳及具体内容等信息。用户可通过项目文档页面下载桌面应用,或在GitHub发布页获取。项目提供贡献指南和设置说明,采用MIT许可证分发。
葡萄牙战舰水母(Physalia physalis)并非单一生物,而是一种由多个独立生物体组成的殖民生物。其结构包括四至五个高度专业化的部分:浮囊(帆状气球)、蜇刺触手、消化系统和生殖腺,每个部分都拥有独立的神经系统,但共同结合成一个整体。这种独特的结构被视为进化中“器官”技术的早期原型,类似于内部器官的模块化尝试,但葡萄牙战舰水母通过殖民体实现了功能分化。
该生物同时具备毒性(toxic)和 venomous 特性。它是 venomous 的,通过触手释放毒素蜇刺猎物,导致鱼类麻痹甚至死亡,对人类则引起疼痛和肿胀。此外,它也是 toxic 的,浮囊内产生一氧化碳气体,吸入后可能对人体有害。繁殖方式复杂且不完全了解,生殖腺会脱落形成可移动的生殖芽(gonodendra),但具体交配和发育过程仍未知。
最新DNA研究表明,葡萄牙战舰水母并非单一物种,而是隐藏了五个物种。这些物种外观相似,导致之前被误认为单一物种。它们分布广泛,包括北大西洋、南大西洋和太平洋的热带及亚热带海域。这项发现突显了物种分化的隐蔽性,并强调了进一步研究该生物的必要性。
经过近两年的开发,Xfce 4.20 于 2024年12月15日发布。此版本在 Xfce 4.18 的基础上带来了大量新功能、错误修复和改进,其开发周期的核心是为 Wayland 支持做准备。
libxfce4windowing,大多数 Xfce 组件现已能在 Wayland 窗口系统下运行,同时仍保持对 X11 的支持。xfce4-screensaver 同步;新增电源配置文件支持;支持混合睡眠模式。startxfce4 --wayland 启动 Wayland 会话的选项。exo 图标视图性能提升;xfconf 添加了 systemd 用户单元;xfwm4 修复了多个问题。本文探讨了一种基于“黑客精神”的物理学教学与探索方法,即通过三种简单的“餐巾纸算法”——量纲分析、费米估算和随机行走——在不借助复杂微积分和计算器的情况下,解决一系列有趣的物理问题。作者认为,这种大胆、创造性、注重直觉和估算的黑客精神,应更广泛地应用于物理学的教学与实践中。
黑客精神的核心在于以聪明、出人意料的方式使用简单工具,追求卓越、创造力和“因果力量”的知识。文章倡导将这种精神引入物理学,鼓励人们用简单的代数和直觉在餐巾纸上解决物理问题,目标是让高中生在提示下也能进行类似探索。
量纲分析通过检查物理量的维度(如长度L、质量M、时间T)来推导物理定律,无需解微分方程。
费米估算旨在快速得到量级正确(误差在约3倍以内)的数量级估计。
随机行走描述了粒子因随机碰撞而进行的扩散运动,其平均位移(d \sim \ell \sqrt{n})((\ell)为平均自由程,(n)为步数)。
文章强调,这些“餐巾纸算法”展示了简单工具的强大威力。物理学中存在许多此类算法,等待被探索和应用。传统教学往往过度依赖微积分和固定范式,限制了学生的创造力和物理直觉。黑客精神——乐于跨界探索、不迷信权威——是打破这种“无真理的惯性”(即未经理性检验的传统)的良方。作者鼓励读者拥抱这种精神,用创新的方式理解和教授物理学。
OpenAI在12月11日的事故中,Kubernetes API服务器因同时执行大量操作而过载,导致大型集群的Kubernetes控制平面瘫痪。饱和是指系统达到处理极限的状态,常被称为过载或资源耗尽。此次事故中,API服务器因流量过大无法正常工作,最终导致基于DNS的服务发现机制失效。饱和是事故中极为常见的故障模式。
变更在预发布集群中测试时未发现问题,但故障仅发生在超过特定规模的集群中。由于每个节点的DNS缓存延迟了可见故障,部署得以继续进行。工程师在部署前评估了集群的资源利用率(CPU/内存),但未采取预防措施评估Kubernetes API服务器负载。问题的关键在于系统在真实生产环境条件下才会出现的故障模式,即使使用生产流量进行金丝雀部署也无法预防。
故障是多个系统与流程同时失败并意外交互的结果。根本原因是新的遥测服务配置在大型集群中意外产生大量Kubernetes API负载,压垮控制平面并破坏DNS服务发现。令人惊讶的交互在于Kubernetes API故障导致运行服务(数据平面)行为异常,而两者之间的耦合点正是DNS。
DNS缓存使得变更效果随时间分散,增加了故障诊断难度。当关键服务停止工作(如服务发现)时,故障源(遥测服务部署)往往已被掩盖。DNS缓存使问题在全局部署开始前几乎不可见。这种特性在希望减少爆炸半径的变更中常见,但也使得错误信号更微弱,且问题出现后难以关联因果关系。
故障不仅影响了生产系统,还破坏了运维人员依赖的工具。由于Kubernetes API服务器负载过高,工程师无法访问控制平面进行修复。OpenAI工程师同时尝试了多种策略:缩小集群规模以降低API负载、阻止对Kubernetes管理API的网络访问、以及扩容API服务器。这些干预措施最终成功恢复了系统控制,但也存在意外加剧问题的风险。
本次变更是组织范围可靠性改进计划的一部分,旨在通过新的遥测服务收集Kubernetes控制平面指标以增强系统可见性。然而,该子系统的主要目的是提高可靠性,却意外导致了事故,印证了“可靠系统为何会失败”的悖论。
研究发表于《当代生物学》,揭示了大脑如何将日常生活中连续的信息流划分为离散的、有意义的事件。这种划分类似开启书本的新章节,其触发因素不仅限于外部环境变化,还受到基于过往经验和当前目标的内部“脚本”的影响。这一主动的分段过程反映了大脑如何根据当下最重要的事项来优先处理信息。
大脑对日常事件流的分割(事件分段)是理解世界、更新心理模型和形成持久记忆的关键。传统观点认为环境物理变化(如从室外进入室内)可能标志着新“章节”的开始,但另一种假说认为,这些边界由内部“脚本”塑造——即经验形成的思维模板,使大脑能根据当前目标过滤和优先处理信息。例如,在餐厅用餐时,有经验的食客可能会专注于点餐和上菜等事件,而忽略其他背景变化。
研究人员旨在测试大脑是否会通过优先考虑内部脚本而非环境线索来主动构建事件边界。他们设计了16个音频叙事,每个故事融合了两个重叠的“脚本”:一个基于地点(如餐厅、机场),另一个聚焦社交互动(如分手、求婚)。两个脚本的事件边界故意不重叠,以测试对不同脚本的关注如何影响参与者对事件边界的感知及相应的大脑活动。
实验分为两部分。第一部分在fMRI扫描仪中进行,36名参与者听故事时,其大脑活动(特别是默认模式网络,DMN)受到监测。听故事前,参与者会接受“引导”,被要求关注某个脚本的特定细节(如位置细节或社交细节),从而塑造他们的心理优先级。第二部分在线进行,超过300名参与者逐句听故事,并判断每句话是否标志新事件的开始。同样,部分参与者会被引导关注特定脚本,另一部分则无引导。听完后,参与者还需完成故事细节的记忆测试。
结果发现,参与者对事件的分割方式及其大脑活动模式强烈受到所引导脚本的影响。在线实验中,被引导关注地点脚本的参与者,更可能在地点转换时刻(如进入餐厅)识别新事件;被引导关注社交脚本的参与者则对社交互动变化更敏感,但该效应弱于地点脚本。研究者指出,默认情况下,听众更倾向于关注人物和社交互动,因此要求关注地点脚本才会引起更大变化。
脚本引导也增强了记忆表现:参与者对所引导脚本相关细节的记忆准确度高于未引导脚本。这表明,将注意力聚焦于特定类型的信息不仅塑造了感知,还促进了记忆编码。
fMRI研究显示,DMN区域(特别是内侧前额叶皮层)的神经活动与所引导脚本相关的事件边界对齐。例如,当参与者被引导关注地点细节时,该脑区的神经转换与叙事中的地点事件边界一致。这些发现表明,大脑是基于内部优先级主动构建事件边界,而非被动响应环境线索。
该研究受设计限制,所用故事严格遵循脚本,而现实经历往往更不可预测。研究人员正进一步探索当期望与实际经历不匹配(如服务员向客人泼水)时,大脑如何组织这些体验。未来的工作还将分析参与者听故事时的视角如何影响记忆回忆,以更深入地理解现实经验如何被划分为独立事件并存储于记忆中。
研究论文题为“自上而下的注意力在具有重叠事件脚本的叙事中改变行为和神经事件边界”。
反物质在推进系统中的应用:产生、储存、控制与湮灭
这篇文章探讨了反物质作为未来推进技术潜力的关键方面,主要围绕其产生、储存、控制以及湮灭反应在推进系统中的应用。
1. 反物质的产生 反物质生产是当前面临的主要挑战之一。目前的方法(如粒子加速器)能耗极高,效率极低,产量微乎其微。文章可能概述了现有的实验技术(如CERN的实验)以及未来可能提升产量和能效的理论方案(如利用先进激光技术)。
2. 反物质的储存与控制 由于反物质与普通物质接触会立即湮灭,其安全储存与精确控制是实际应用的前提。文章可能讨论了不同的储存方法,例如使用潘宁阱 或磁瓶,通过电磁场将带电反粒子(如正电子、反质子)约束在超高真空环境中。对于电中性的反氢原子,储存难度则更大。
3. 湮灭反应及其能量释放 当反物质与物质(如质子)相遇时,会发生湮灭,将质量完全转化为能量(遵循 E=mc²)。这种反应释放的能量密度远超核聚变或化学燃烧。文章可能详细说明了不同湮灭反应(如质子-反质子湮灭)产生的能量形式(如π介子、γ射线),以及如何有效地将这些能量转化为定向推力。
4. 在推进系统中的潜在应用 反物质推进系统具有革命性的潜力,主要应用于需要极高比冲和大速度增量的任务:
核心挑战与展望 文章总结指出,尽管反物质推进在理论上拥有巨大优势,但其面临的实际挑战是根本性的:生产效率极低、储存极其困难、系统设计复杂。因此,它目前仍属于长远未来的概念。未来的研究重点在于开发更经济的生产方法、更长期稳定的储存技术,以及高效转化湮灭能量为推力的先进工程方案。
结论 反物质推进代表了航天推进技术的一个终极前沿方向。其实现依赖于在基础物理、材料科学和工程学领域取得一系列重大突破。尽管道路漫长,但持续的理论和实验研究正在逐步探索将这一科幻概念变为科学现实的可能性。