Pascal
PulseAugur coverage of Pascal — every cluster mentioning Pascal across labs, papers, and developer communities, ranked by signal.
2 天有情绪数据
-
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。
-
NVIDIA 的 Pascal 时代 GeForce GTX 1080/1070 GPU 迎来十周年
今年是 NVIDIA GeForce GTX 1080 和 1070 显卡发布十周年。这些 GPU 属于 Pascal 架构，采用 16nm FinFET 工艺制造。这些显卡的发布正值 AI 和智能体 AI 取得进展的背景下被提及。
-
AI 助力开发 LAPACK 的 Pascal 版本，目标是实现 GPU 加速
一位 Mastodon 用户正在与 GitHub Copilot 合作开发 LAPACK 数值库的 Pascal 版本，目前已完成约 30%。他们预计两天内可完成 80%，并计划集成 GPU 加速以匹配 NumPy 等 Python 库的性能。该用户还强调了在与 AI 协作时保持纪律和严谨工作流程的重要性，以防止 AI 变得草率或失去焦点。
-
AI 协助程序员创建 Pascal 数值库，可与 NumPy 媲美
一位程序员在 GitHub Copilot 的协助下，用 Pascal 实现了 BLAS 1-3 级功能。该项目旨在创建一个 Pascal 数值库 (PNL)，其功能可与 NumPy 和 PyTorch 等 Python 库相媲美，但侧重于静态数组和确定性数据结构。开发者强调了使用 Copilot 等 AI 工具完成此类任务的效率，尽管遇到了一些挑战，但在不到一天的时间内完成了核心实现。
-
新方法改进了 AI 模型参数高效的多任务学习
研究人员开发了一种新的参数高效的多任务学习方法，用于计算机视觉。他们的方法称为渐进式任务特定适应，使用在早期层共享并在后期层变得更专业的适配器模块。这种设计有助于缓解在用有限的可训练参数将预训练模型适应多个任务时常见的任务干扰和负迁移问题。在 Swin 和 Pyramid Vision Transformers 上的评估表明，该方法在需要更少可训练参数的情况下优于现有的参数高效技术。
-
我在80年代学会了# Pascal。我学了点C和Rust，但讨厌那些对矩阵操作极其笨拙的指针逻辑。# Python和# C用户
一位程序员分享了他们学习各种编程语言的经验，发现Pascal的数组处理在矩阵操作方面优于C和Rust。他们指出，像NumPy这样的库通常是用汇编语言编写的，基于Fortran算法，而不是C。该用户试图通过Fortran引导来创建一种新语言，并在Claude 4的帮助下进行，但最终决定因其数组功能而切换回Pascal。