idris's notebooks