Project record01 mention
Originally shared on Hacker News
Clazel
A formally verified web browser written in Rust, built as an experiment in using AI during development. It currently works as a Lynx-style text browser with sandboxed rendering, HTML parsing, and link navigation, with the goal of pushing the formal verification approach further.
01 / Source history
Shared over time
Each entry reflects what was shared on that date. Details may have changed since then.
Clazel
A formally verified web browser written in Rust, built as an experiment in using AI during development. It currently works as a Lynx-style text browser with sandboxed rendering, HTML parsing, and link navigation, with the goal of pushing the formal verification approach further.
Posted by @atiernanberry · Original comment ↗
“I'm working on Clazel, an experiment in using AI to make a formally verified web browser in Rust. So far it’s a Lynx-style text browser with sandboxed rendering, HTML parsing and link navigation, but I want to see how far I can take it”