See#Party 2010: ALT.NET / Was noch zu beweisen wäre

Am Samstag besuchte ich die erste See#Party im schweizerischen Kreuzlingen, direkt hinter Kostanz am Bodensee. Die Konferenz drehte sich um das Thema C#, das den Großteil meiner beruflichen Tätigkeit beherrscht. In den folgenden Beiträgen werde ich nun die dort besuchten Vorträge kurz zusammenfassen:

Keynote von Golo Roden: ALT.NET
Golo Rodens Vortrag drehte sich um einen Punkt aus dem Joel-Test zur Bestimmung der Qualität eines Software-Teams, der da lautet: "Do you use the best tools money can buy?" Seine Schlussfolgerung war, dass sich ein guter .net-Entwickler nicht nur auf Microsoft konzentrieren darf, sondern nach Alternativen Ausschau halten soll. In diesem Zusammenhang stellte er die ALT.NET-Bewegung vor, deren zentrale Anlaufstelle die altnetpedia bietet.

Was noch zu beweisen wäre
Die erste Session, die ich besuchte, wurde ebenfalls von Golo gehalten und drehte sich um mathematische Probleme und ihre Lösbarkeit. Neben theoretischen Grundlagen der Komplexitätstheorie, die mich stellenweise ein wenig überforderten, präsentierte er einige spannende Probleme, darunter: Fermats letzter Satz, das Halteproblem, das Rucksackproblem und - mein Highlight - Stable Marriage mit drei Geschlechtern. Sein Fazit: Wenn man keinen effizienteren Algorithmus zu einem Problem finden kann, gibt es vielleicht gar keinen und man ist gar nicht unfähig Bereits vor der Veranstaltung hatte Golo bereits über ein Buch gebloggt, in dem ausführlicher auf diese Thematik eingegangen wird.

Leider konnte ich Golos Folien bisher nirgends online finden, werde sie aber ggf. nachliefern.