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…)
Read 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…)
Read 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…)
Read more »
Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust. (more…)
Read more »