Pascal
PulseAugur coverage of Pascal — every cluster mentioning Pascal across labs, papers, and developer communities, ranked by signal.
- 2026-07-16 funding Prediction market startup Pascal raised $9 million in a Series A funding round led by Union Square Ventures. 来源
3 天有情绪数据
-
llama.cpp 添加 GLM5-Next MTP 优化和 GGUF 加载
llama.cpp 项目发布了更新 b11474，为 GLM5-Next 模型引入了重要的优化和功能。此次更新包括实现了一个多令牌预测 (MTP) 图，称为 NextN，通过修剪不必要的计算来提高效率。这些更改还解决了提取合同和共享尾部回滚问题，并引入了加载仅 MTP 或仅 trunk 的 GGUF 文件的能力，从而允许加载草稿模型。
-
AI时代将软件价值从代码转向深层、嵌入式属性
在人工智能时代，软件公司的可防御性正从易于编码转向更深层、不那么显眼的属性。虽然生成式AI和机器学习等AI工具降低了软件开发的门槛，但真正的企业价值现在在于水面以下的因素。这些因素包括领域专业知识、专有数据、深度嵌入的工作流程、合规性以及客户关系，这些都是AI难以复制的。能够利用这些基础要素从数据中创造独特智能的公司，即使不拥有主要数据源，也注定会取得长期成功。
-
复古电子游戏 Krypto Game 和 Le Château 发布，支持 ZX Spectrum 和 C64
两款复古电子游戏，ZX Spectrum 的 Krypto Game 和 Commodore 64 的 Le Château 已发布。Krypto Game 是一款数学卡牌游戏，已更新修复了一个错误，而 Le Château 是一款城堡平台游戏，提供一个会影响玩家得分的更温和的模式。
-
Modder 为 Nvidia Pascal GPU 启用 Windows XP 32 位支持
一位名为 SupraGSX 的 modder 开发了自定义驱动程序，使 Nvidia 的 Pascal 时代 GPU（主要是 10 系列和某些 Quadro 卡）能够在 Windows XP 32 位系统上运行。这些修改后的驱动程序基于较旧的 Nvidia ForceWare 版本，还集成了对 DisplayPort HBR2/HBR3 和 HDMI 2.0 等现代显示技术的增强支持。虽然 1050 Ti 存在实验性支持，但该 mod…
-
旧硬件上的大型语言模型推理揭示了不断演变的真相
作者详细介绍了在旧硬件上运行大型语言模型推理的经验，并将其与科学理解的不断演变进行了类比。起初，他们对最佳配置持有几种假设，例如禁用 Flash Attention 或强制使用特定内核，但这些假设后来被实际应用和硬件限制所推翻。学到的关键经验包括通过受控实验、阅读源代码以及随着时间的推移观察生产证据来验证主张的重要性，而不是仅仅依赖社区的主张或临时测量。这种专注于理解底层机制而非仅仅关注结果的严谨方法，被认为是性能工程的真正产物。
-
Flash Attention 的启用随着模型和量化需求而变化
一位开发者最初在 Pascal GPU 上禁用了 Flash Attention，因为他认为性能会下降 50%。然而，最近量化 KV 缓存的进步，尤其是在 llama.cpp 中，使得启用 Flash Attention 成为在有限硬件上实现大上下文窗口的某些模型栈的必需品。这种转变凸显了特定的硬件优化如何根据所使用的模型架构和量化技术变得有益甚至强制性，而不是静态的硬件限制。
-
开发者发现关键的 LLM 配置标志是无效代码
一位开发者发现，一个被广泛分享的环境变量 `GGML_CUDA_FORCE_MMQ=1`，本意是优化 Pascal GPU（如 Tesla P40）的性能，实际上是无效代码。这个变量在社区指南中经常被引用，被认为可以通过 dp4a 指令启用 INT8 矩阵乘法，但底层的 `llama.cpp` 代码在 Pascal GPU 上无条件选择了 MMQ 内核。开发者强调了通过阅读源代码来验证配置标志的重要性，因为仅凭基准测试无法揭示该变量与…
-
AI 警示：独立编程仍是学习的“金标准”
作者回顾了独立程序员创建操作系统和编程语言等复杂系统的历史意义，并引用了 Thompson 的 UNIX 和 Ritchie 的 C 等例子。他们认为，这种独立、深入的系统构建方法仍然是计算机科学本科生的“金标准”。作者警告不要使用 AI 来生成整个代码库，认为这会绕过从头开始构建系统所固有的宝贵学习过程。
-
Z记号的冗长语法与函数式编程语言形成对比
Z记号是一种用于软件规范的形式化方法，在20世纪80年代初备受推崇，当时C和Pascal等命令式语言占据主导地位。然而，作者发现其语法与ML等函数式编程语言相比过于冗长，而ML提供了更简洁的表达方式。这种对函数式编程语法的偏好一直延续到ML的现代后代，包括Standard ML、OCaml、Haskell、Agda和Idris。
-
CPrefix框架为离散颜色映射分析提供新方法
研究人员推出CPrefix，一个新颖的组合张量框架，旨在表示和分析离散多通道映射。该框架利用基于多项式可观测量的计数张量，其结构源自离散的Pascal单纯形。CPrefix将映射的组合组织与其测量值分开，揭示了底层可观测结构。该系统已在ICC显示器和打印机配置文件上进行了验证，用于潜在重构和感知色域传输，证明了其准确表示和分析颜色映射的能力。
-
Nvidia的GTX 1080 Ti：一款十年老GPU的性能与功耗限制揭晓
发布十年后，Nvidia的GTX 1080 Ti显卡在1080p游戏中仍能提供可观的性能，尤其是在老游戏和受益于其11GB显存的游戏中。然而，与当前一代GPU相比，DLSS和光线追踪等现代技术以及显著提高的功耗效率，都凸显了它的老旧。虽然它仍能超越一些低端现代显卡，但通常会被过去五年内的中端产品超越，并且功耗要高得多。
-
NVIDIA GPU的Warp Divergence行为在不同架构中保持稳定
一篇新论文分析了从Pascal到Blackwell的NVIDIA GPU架构中的Warp Divergence。研究发现，发散路径会随着路径数量线性串行化，这种行为自Pascal一代以来一直保持一致。虽然发散的核心性能成本一直可预测，但NVIDIA在其编译器发出的重新收敛机制和控制流指令方面，在Ampere、Hopper和Blackwell等架构中已显著发展。
-
预测市场初创公司Pascal融资900万美元，挑战Kalshi和Polymarket
新的预测市场初创公司Pascal已获得900万美元A轮融资，以与Kalshi和Polymarket等成熟公司竞争。该公司旨在为机构交易者提供更复杂的平台，专注于更低的费用和先进的工具，其灵感来源于永续期货和Blaise Pascal的工作。此轮融资由Union Square Ventures领投，并建立在之前的种子轮融资之上。
-
ML/OCaml 语言在编译器开发方面具有优势
文章认为，ML 系列语言，特别是 OCaml 和 Standard ML of New Jersey，由于几个关键特性，非常适合编译器构建。这些特性包括自动垃圾回收，简化了编译器中常见复杂数据结构的内存管理；以及优化的尾部递归，能够高效地进行递归函数调用而不会过度使用堆栈。这些语言还提供强大的数据类型，包括对字符串和任意精度整数（bignums）的内置支持，以及强大的类型构造函数，如标签联合（tagged unions），可以自然地映…
-
CLIPix 框架将 CLIP 用于像素级定位
研究人员开发了 CLIPix，一个将 CLIP 视觉语言模型改编用于像素级定位任务的新框架。CLIPix 利用 CLIP 的分类过程来识别特定对象的区域，并优化这些线索以实现精确分割。该框架还包含一个抗噪校正策略和一个定位嵌入策略，以提高准确性和细节。在 PASCAL 和 COCO 数据集上的实验表明，CLIPix 取得了最先进的成果。
-
CLIPix 框架将 CLIP 用于像素级定位
研究人员开发了 CLIPix，一个将 CLIP 视觉语言模型重新用于像素级定位任务的新框架。该方法追溯 CLIP 的分类过程以识别特定于对象的注意力区域，然后使用抗噪声校正策略进行细化，以实现更精确的分割。该方法整合了定位和详细信息，能够对任意对象进行准确、高分辨率的分割，并在 PASCAL 和 COCO 数据集上展示了最先进的性能。
-
2026年，GTX 1080 Ti等老旧GPU可运行12B大语言模型
一项最新分析表明，到2026年，老旧GPU（特别是11GB显存的GTX 1080 Ti）仍能有效运行大语言模型。通过在Ollama中使用量化感知训练和闪电注意力（flash-attention）等技术，高达120亿参数的模型可以达到约每秒30个token的可用速度，并完全载入GPU显存。虽然更大模型或需要CPU分载的模型速度会显著下降，但这表明即使是预算有限、使用老旧硬件的用户也能参与本地大语言模型推理。
-
llama.cpp 在 Web UI 中添加了固定对话功能
llama.cpp 项目发布了 b9586 版本，在其 Web 界面中新增了对固定对话的支持。此次更新还包括了用于代码质量的 linter 和 prettier 检查，并确保搜索功能可以找到这些固定对话。这些更改由多位贡献者共同完成。
-
论文追溯概率作为理性镜像的演变
一篇新的arXiv论文探讨了概率论的历史发展，将其视为人类理性演变的反映。文章追溯了概率从早期博弈论到现代贝叶斯推理的历程，强调了其在量化不确定性方面的作用。论文还讨论了概率在处理模糊概念方面的局限性，并介绍了模糊逻辑和深度学习作为理性方法的补充，强调了在科学理解中明确阐述不确定性、模糊性和推理的必要性。
-
新网络研讨会讨论 Delphi 和 Pascal 开发的未来
宣布了一场题为“Delphi 和 Pascal 开发的未来？就是现在！”的网络研讨会，并提供了 YouTube 观看链接。该活动似乎是一场关于 Delphi 编程语言及其未来的直播，并提到了 AI。