1
Show HN: Ty-extended – a Ty fork with plugin support
Ty语言分支，引入WASM插件机制，为语义检查器带来可扩展能力。
Hi HN! I'm a Ty frequent user on all my Python projects, however, lately I've been needing to go back to mypy due to the lack of plugin support on Ty.…
2
Show HN: Learn OCaml, exercises checked by WASM in browser
浏览器内嵌WASM编译器，边学OCaml边自动检查习题答案，交互式学习新体验。
Hi. I do not know OCaml. But wanted to learn it. With help of Claude Code I did this online interactive course. Runs WASM OCaml compiler in the browse…
3
Auto compiles recorded LLM-agent behavior into verified WASM binaries
能把LLM大模型智能体行为自动编译成可验证的WASM二进制，确定性高达87.1%，性能与安全性兼得。
Article URL: https://github.com/RightNow-AI/auto Comments URL: https://news.ycombinator.com/item?id=48840103 Points: 1 # Comments: 0
4
Show HN: Talos – Open-source WASM interpreter for Lean
开源框架Talos让WASM模块在Lean中实现形式化验证，为AI生成代码的可信执行提供数学证明基础。
At Cajal (YC W26) we’re excited to share Talos ( https://github.com/cajal-technologies/talos ), an open source framework for formal verification of We…
5
BoxAgnts Runtime (6) — Rust + WASM, Local-First
用Rust+WASM构建本地优先的智能体运行时，兼具异步编排与本地模型选择，技术架构清晰。
Over the past decade, software infrastructure has moved decisively toward cloud-native architectures. AI agents followed the same path—cloud-hosted mo…
6
Show HN: A high-performance audio visualizer using Rust, WASM, and React
用Rust+WASM+React打造的高性能音频可视化工具，网页端即可体验惊艳频谱效果
Article URL: https://audiofftimage.netlify.app/ Comments URL: https://news.ycombinator.com/item?id=48276061 Points: 1 # Comments: 1
7
Changes to WebAssembly targets and handling undefined symbols
Rust WebAssembly目标即将移除--allow-undefined标志，现有项目可能受影响，需及时了解变更细节与应对策略。
Rust's WebAssembly targets are soon going to experience a change which has a risk of breaking existing projects, and this post is intended to notify u…
8
Needle-rs – AI Function calling in the browser, 258 KB WASM
仅 258KB 的 WASM 包，让 AI Function Calling 在浏览器直接运行，支持 OpenAI 兼容及多种语言安装。
Article URL: https://needle-rs.pages.dev Comments URL: https://news.ycombinator.com/item?id=48185240 Points: 1 # Comments: 0