Show HN：一个可替换组件、从第一天就做形式化验证的 Web 引擎

一位开发者发布了一个新的 Web 引擎，核心思路是从第一天就引入形式化方法，并把引擎做成模块化结构。模块化目标包括按 Apple 指南在欧盟地区上架 iOS、只为自己写系统或平台无法提供的代码以压缩二进制体积并接近原生性能，以及让开发者自选 JS 引擎（如 v8 或 Boa）或自带引擎。