I have done something very foolish. I've started building a new web browser. From scratch. Not a new wrapper around Chromium or WebKit or Gecko. No, an actual new browser. Why have I done such a thing?! (more…)

What's Changed... (more…)

Egglog https://github.com/philzook58/egglog is a prolog-like syntax I’m fiddling with for the egg egraph library. Check out the online demo here http://www.philipzucker.com/egglog/ (rust compiles to wasm)... (more…)

The goal of the Molt project is to create a "small TCL" interpreter for embedding in Rust applications. The word "small" is to be understood in several senses: (more…)

Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust. (more…)