First post


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

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{prooftree} \AxiomC{$P$} \AxiomC{$P\to Q$} \RightLabel{$(\to_E)$} \BinaryInfC{$Q$} \end{prooftree} $$