<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_8gu3dkk8ne78in36pv6nv7ff5g, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

concept TitleSeen {
  S title;
}

cmodule OperationGroupSpike > DynPrintLog {
  L<Theory> theories = syncList();
  
  // a theory here is a list of things
  
  class Theory {
    Set<S> examples;
  }
  
  class PrefixTheory {
    S prefix;
  }
  
  class SuffixTheory {
    S suffix;
  }
  
  start-thread {
    dbIndexing(TitleSeen, 'title);
    doEvery(3.0, rEnter gather);
  }
  
  void gather {
    L<virtual wmctrl_Entry> l = dm_windows();
    LS titles = collect windowTitle(l);
    oMap readTitle(this, titles);
  }
  
  void readTitle(S title) {
    if (uniq_trueIfNew(TitleSeen, +title)) print("New title: " + title);
    theories.add(titles);
  }
}