开发者发布形式化验证模块化 Web 引擎

2026 年 10 月 29 日，一位开发者在 Hacker News 的 Show HN 板块发布了一个新的 Web 引擎。该引擎的核心思路是从第一天就引入形式化方法，并把引擎做成模块化结构。报道称，其模块化目标包括三项：按 Apple 指南在欧盟地区上架 iOS；只为自己写系统或平台无法提供的代码，以压缩二进制体积并接近原生性能；让开发者自选 JS 引擎（如 v8 或 Boa）或自带引擎。目前进展停留在发布与介绍阶段，报道未提及后续更新、用户反馈或实际落地情况。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。