Show HN: A malleable and formally verified Web engine

By polyglotfacto · 2026-10-29 · 5 points · 0 comments

Hello HN, I've been working on a new Web engine, build around two ideas: - use formal methods from day one. - make it modular. The modularity is orientated towards the following goals: - enabling shipping anywhere, including on IOS in the EU as per Apple’s guidelines. - only wri…

Open the full discussion on BetterNews