Zentrale öffentliche Logbücher

Dies ist die kombinierte Anzeige aller in KoMapedia geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).

• 10:09, 28. Okt. 2026 109.41.112.178 Diskussion erstellte die Seite KoMa 95/AK Lean Reso (Die Seite wurde neu angelegt: „{{Vorlage:Arbeitskreis Session |Name=AK Lean Reso |AK=AK Lean Reso |AKS_Typ=Austausch, Reso |Initiator=Lexa |Leitung=Lexa (gerne noch mit jemandem) |Dauer=2h |AKS_Kurzbeschreibung=Im Zeitalter von KI passieren aktuell viele Fortschritte, um einen eher kontroversen zu nennen, die Navier Stokes Sache von OpenAI. Natürlich war das nicht schön gelöst, aber gerade die Tatsache dass die KI eine Lean Verifikation gebaut hat, hat anfangs viel Vertrauen in di…“)