WebAssembly
PulseAugur coverage of WebAssembly — every cluster mentioning WebAssembly across labs, papers, and developer communities, ranked by signal.
- developed by GOOGL 100%
- developed by .google 100%
- developed by Apple Inc. 100%
- developed by World Wide Web Consortium 100%
- subsidiary of World Wide Web Consortium 100%
- developed by Microsoft 100%
- used by C programming language 70%
- used by sqlite-utils 70%
- used by Claude Fable-5 60%
- used by Pyodide 50%
- developed by Claude fable 50%
- affiliated with Pyodide 50%
16 天有情绪数据
-
Abject OS 0.8.2 发布，具备自愈 AI 对象
Abject 发布了其操作系统的 0.8.2 版本，该系统围绕本地优先的 AI 对象设计。这些对象能够自我解释、发现和自我修复。新版本引入了对任何 WASM 可编译语言编写的对象、所有网络流量的二进制协议、跨模型视觉能力以及 MCP 和 TURN 中继服务的桥接支持，所有这些都无需云基础设施或传统编码。
-
Walma 框架使用卷积神经网络检测 WebAssembly 中的内存损坏
研究人员开发了 Walma，一个旨在检测 WebAssembly (Wasm) 环境中内存损坏的新型框架。Walma 将 Wasm 线性内存的快照转换为图像，然后由卷积神经网络进行分析以识别篡改。这种方法可以检测到传统字节和纹理分析所遗漏的修改，即使是那些不由程序输入触发的修改。该系统已在受 CVE 影响的真实应用程序上证明了其有效性，需要显著的内存覆盖才能逃避检测，并为持续的内存完整性检查提供了实际的证明成本。
-
新的“AGI编译器”Auto将LLM代理行为提炼为已验证程序
研究人员推出了一款名为“Auto”的新型编译器，旨在提高大型语言模型（LLM）代理的效率和可靠性。Auto记录代理的实时行为，识别确定性组件，并将其提炼为已验证的程序或专用模型。这些编译后的行为被打包成WebAssembly制品，并通过沙箱强制执行保证的能力，从而创建“认知二进制文件”。分层运行时执行这些二进制文件，当触发器触发时，会回退到参考代理并进行后续重新编译，确保学习到的技能不会被重新发现。该系统旨在自主地将新颖的体验转化为永…
-
Ternlight：7MB 嵌入式模型通过 WebAssembly 在浏览器中运行
Ternlight 是一个新推出的、紧凑的嵌入式模型，旨在直接在 Web 浏览器中使用 WebAssembly 运行。这个 7MB 的模型允许进行设备端 AI 处理，消除了某些嵌入式任务对服务器端计算的需求。该项目可以通过 Vercel 上托管的演示进行访问。
-
Half-Life 2 可通过新的非官方 WebGL 2 移植在浏览器中玩
一款非官方的 Half-Life 2 浏览器移植版已发布，允许玩家直接在网页浏览器中体验完整的战役，包括其系列 DLC。该移植版由 Slqnt 和 98006 在短短三个月内开发，利用 WebGL 2 和 WebAssembly 原生运行游戏，提供存档、控制台支持和游戏内成就等功能。虽然在桌面系统上表现出色，达到 100 FPS 以上，但一些用户报告了移动设备性能问题和轻微的图形故障。
-
Simon Willison的6月新闻通讯涵盖AI模型和项目
Simon Willison的6月新闻通讯（赞助者可阅）涵盖了多个AI模型更新，包括Claude Fable-5、GPT-5.6和GLM-5.2（被认为是新的最佳开源模型）。新闻通讯还涉及与AI相关的美国出口限制、“tokenmaxxing”概念，以及他个人项目如Datasette Apps、sqlite-utils和shot-scraper的更新，以及一些WebAssembly杂项项目。
-
无服务器 AI 架构完全在浏览器标签页中运行 LLM
一篇技术论文概述了一种新颖的无服务器 AI 架构，该架构完全在浏览器标签页内运行，无需后端基础设施。该方法利用编译为 WebAssembly 的 Java 进行业务逻辑处理，并利用 WebGPU 进行本地 LLM 推理，从而实现私密且免费的运行。该系统在用户硬件上处理文档解析、向量存储、相似性搜索和多代理编排，挑战了传统的以云为中心的 AI 应用模式。
-
Simon Willison 使用 Claude Code 测试基于浏览器的 SQLite 编辑功能
Simon Willison 正在探索使 Datasette Lite（一个基于浏览器的 Python 应用程序）能够直接在用户计算机上编辑持久化 SQLite 文件的可能性。为了测试此功能，他利用 Claude Code 为各种浏览器上的 Origin Private File System (OPFS) 创建了一个演示 UI。此举是在最近更新之后进行的，包括使用 Claude Code 将 Moebius 0.2B 图像修复模型移…
-
Sean Lynch 提议将 MCP 作为 API 认证网关
Sean Lynch 在 Hacker News 的评论中讨论了 MCP 的潜力，MCP 是一个将认证流程隔离在代理上下文窗口之外的系统。Lynch 建议，MCP 的理想形式可以仅作为 API 认证网关，他认为这将是一个重大的成就。
-
模型上下文协议 (MCP) 面临治理差距，但企业采用率不断增长
一篇新论文和几篇文章讨论了模型上下文协议 (MCP)，这是一个用于 Agent 互操作性的开放标准。虽然 MCP 使 AI Agent 能够发现和利用工具及数据，但最近的一项分析强调了其当前规范中的重大差距，特别是在投票和异议保留等治理功能方面，这表明需要一个用于受治理 Agent 社区的新架构层。同时，实际应用正在涌现，n8n 等工具能够将工作流公开为 MCP 兼容的 Agent 工具，并且平台正在集成 MCP 以实现自动化交易和安…
-
用 Lean 4 构建的开源 WebAssembly 解释器，用于形式化推理
Talos 是一个新推出的开源 WebAssembly 解释器，使用 Lean 4 编程语言开发。它旨在允许开发者对 WebAssembly 程序的行为进行形式化推理和证明定理。该解释器优先考虑清晰的推理而非执行速度，专注于与 Rust 和 C 等高级语言相关的 WebAssembly 功能子集。Talos 利用最弱前置条件演算进行结构化证明，并包含示例程序和正确性证明。
-
ToolPro系统增强了LLM代理的Web服务交互
研究人员推出了ToolPro，一个旨在增强基于LLM的代理与Web服务交互方式的系统。ToolPro将代理的工具意图表示为可执行程序，从而能够实现包含循环、条件和重试的更复杂工作流，超越了静态端点。这种方法显著降低了端到端延迟，最高可达53.4%，并将客户端流量降低了高达96.1%，尤其是在高网络延迟和复杂工作流的场景下。
-
开源 AI CAD 工具 'Adam' 推出，支持浏览器生成
Adam 是一款开源的、由 AI 驱动的 CAD 工具，已在 GitHub 上发布。该工具允许用户通过自然语言描述生成 CAD 模型，并提供参数化控制进行调整。它使用 WebAssembly 在浏览器中运行，支持 STL、SCAD 和 DXF 等多种导出格式，并与 BOSL 和 MCAD 等库集成。
-
Simon Willison 发布“点击播放”Web 组件，实现按需加载 GIF
Simon Willison 开发了一个名为“点击播放”的新 Web 组件，通过延迟加载大型 GIF 直到用户明确点击，从而提升了用户体验。该组件将标准的 HTML 标记转换为交互式元素，显示带有播放按钮的静态第一帧，然后按需加载 GIF。这种方法旨在提高页面加载速度并减少不必要的数据消耗，特别是对于可能不与动画内容交互的用户。
-
退休开发者改进 NetNewsWire RSS 阅读器，探索 AI 模型
Brent Simmons 自去年退休以来，一直致力于改进 NetNewsWire RSS 阅读器，该项目他最初于 2002 年启动，并于 2018 年开源。该软件现在被 Simon Willison 等用户在 Mac 和 iPhone 上视为不可或缺的工具，并且是在没有商业压力的情况下开发的。最近的更新包括发布 WebAssembly wheels 到 PyPI 以集成 Pyodide，以及继续开发 "Claude Fable" A…
-
Datasette 插件支持 Tailscale 集成以实现数据访问
Simon Willison 发布了一个 Datasette 的实验性 alpha 插件，名为 datasette-tailscale。该插件允许用户运行一个带有 Tailscale sidecar 的 Datasette 服务器，从而可以通过 Tailnet 访问他们的数据。该工具利用了 tailscale-rs 库的 Python 绑定，目前正在寻找更简洁的代理机制实现。
-
开发者使用 Satori 和 Resvg 快速按需生成 Open Graph 图片
一位开发者详细介绍了一种为网页动态生成 Open Graph 图片的方法，无需使用 Puppeteer 等传统无头浏览器。该方法利用 Satori（一个将 JSX 转换为 SVG 的库）和 Resvg（一个使用 Rust 编译为 WebAssembly 将 SVG 渲染为 PNG 的库）。这种组合解决方案提供了显著更快的图片生成时间和更小的包体积，使其适用于边缘函数。
-
Julia Evans 的写作建议：为一个人写作
作者讨论了 Julia Evans 的写作理念，她提倡为某个特定的、想象中的个体写作，通常是过去的自己或亲密的朋友。这种方法旨在使内容更具焦点和相关性。文章还简要提到了关于将 WASM 轮子发布到 PyPI 的最新文章以及对 Anthropic 的 Claude Fable 5 的初步印象。
-
Python 扩展现可编译为 WebAssembly 并通过 PyPI 分发
现在可以将用 C、C++ 和 Rust 等语言编写的 Python 扩展编译为 WebAssembly。然后可以通过 PyPI 分发这些编译后的扩展，从而允许 Pyodide 直接安装和使用它们。这一进展使得更多复杂的交互式 Web 应用程序能够利用 Python 的能力在浏览器环境中运行。
-
Simon Willison 发布 luau-wasm 以实现 Pyodide 集成
Simon Willison 发布了 luau-wasm，这是一个支持将 WebAssembly (WASM) 轮子与 Pyodide 一起使用的项目。此集成允许将 WASM 轮子发布到 Python 包索引 (PyPI)，从而方便在支持 Pyodide 的 Python 环境中使用它们。该项目建立在先前关于为 Pyodide 发布 WASM 轮子的工作之上。