First post

2023-06-12
/blog#zola#meta

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.

eiπ+1=0

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

PPQQ(E)