Meeting 02.05.2014

Geoff's Kollogiums Termin

• Tag: Mittwoch (7.7)
• Zeit: 14 ct
• Raum: noch suchen

Chris versucht im Mai / Juni einen einfachen Kalkül auf den Datenstrukturen zu schreiben.

Falls Datenstrukturen und Kalkül bis Juni soweit lauffähig, mehr Vorträge einbauen. Vielleicht sogar Workshops.

Alex und Max Arbeit

• Titel ausdenken
• Anmelden

Einfach Themen für Bachlorarbeiten ausdenkennoch suchen.

• Relevanzfilter

Jemanden mit technischen Skala Kenntnissen anfragen:

• Daniel könnte mal drüber sehen (Konsole, externe Systeme)
• Sprachliche Verbesserung (Schauen wir uns mal scalaz an)

Alex hat eine Type / Term struktur geschrieben. Als nächstes werden die Term Representationen dokumentiert, dass man damit arbeiten kann.

Blackboard:

• ScalaSTM angucken, statt monitore und locks
• Fairness von STM angucken
• ConcurrentMap (TrieMap, lockfree) / Branchlocking