a fresh start

I had to redo these pages. Using zola now. Rust, lean, a theme I like, mathjax. My old blog posts are still at bq9.blogspot.com.

I wanted to like racket and pollen, but kept on forgetting everything absolutely everything.

All I want is to keep some standalone note pages, and some posts, with math and code. Goodness.

$e^{i\pi }+1=0$

trait Foo {
  fn foo(&Self) -> Bar
}

$$\begin{array}{c}\begin{array}{ccc}P& & P\to Q\end{array}\\ Q\end{array}({\to }_E)$$