<Astra> Someone, du schaust fertig aus. Spät schlafen gegangen?
<Someone> Nah, ur früh.
<Astra> schon um 3?
<Someone> Mitternacht. Das blöde dabei ist, dass ich dann wieder um 0400 aufgewacht bin. Aufstehn wollt ich nicht, Laptop war auch nicht in griffweite … also hab ich mir ne Android Aktien-App installiert - weil was willst sonst um 4 Uhr machen…
<G> Wie hast du das gelöst?
<M> Ich hab ein paar Bespiele gelöst und dann gemeint das geht trivial durch Induktion.
<R> Aha, also Beweis durch Einschüchterung. Hab ich bei Karigl gelernt als eine der möglichen Beweisformen.
<A> ich dachte du baust das nur ein und du entwickelst das nicht?
<B> du weißt wie schnell das geht..
<A> ja, ich wollte ja nur kurz und ooops.. ich bin Maintainer!
[Über milcert]
<A> also ich glaub die von der Cyberwehr glauben, du kannst einfach einen Grundwehrdiener mit nem scharfen Keyboard zu einem Sever setzen und es ist sicher…
<A (räumt stinkende Müllsäcke weg und fragt im Lernraum)> Könnt ihr mal im Borg-Raum proberiechen, ob und woher der Gestank kommt?
<B> Hier riecht es nicht schlechter als sonst...
<A> Bei anderen Meetings wird 10 minuten lang diskutiert, was in eine Tabelle rein gehört. Hier diskutieren wir seit 10 min, wie die tabelle kodiert wird.
<A> Wie verschiebe ich A nach B?
<B> cp …
<C> A wollte aber etwas verschieben?
<B> Das ist wie ne zsh - die autokorrigiert auch Zeug.
<C> gibts auch eine B_rc und eine manpage mit UNDOCUMENTED-Eintrag?
<A> Du hast also ein Verfahren entwickelt, das ohne Rundungs-, Verfahrens-, Rechen-, Modellfehler die Raumgröße bestimmen kann?
<B> Also kannst du exakt die Raumgröße bestimmen?
<A> exakter.
<B> Also genauer, als die Wirklichkeit?