https://de.komapedia.org/api.php?action=feedcontributions&feedformat=atom&user=2A00%3A20%3A6400%3A9B21%3AB41A%3AA2FF%3AFEF7%3A299AKoMapedia - Benutzerbeiträge [de]2026-11-01T16:44:20ZBenutzerbeiträgeMediaWiki 1.45.4https://de.komapedia.org/index.php?title=KoMa_95/AK_Lean_Reso&diff=24708KoMa 95/AK Lean Reso2026-10-28T14:16:45Z<p>2A00:20:6400:9B21:B41A:A2FF:FEF7:299A: </p>
<hr />
<div>{{Vorlage:Arbeitskreis Session<br />
|Name=AK Lean Reso<br />
|AK=AK Lean Reso<br />
|AKS_Typ=Austausch, Reso<br />
|Initiator=Lexa<br />
|Leitung=Lexa (gerne noch mit jemandem)<br />
|Dauer=2h<br />
|AKS_Kurzbeschreibung=Im Zeitalter von KI passieren aktuell viele Fortschritte, um einen eher kontroversen zu nennen, die Navier Stokes Sache von OpenAI. <br />
Die Tatsache dass die KI eine Lean Verifikation gebaut hat, hat anfangs viel Vertrauen in die Arbeit gegeben. <br />
Ich fände es schön, wenn wir eine Reso schreiben könnten, in der wir fordern das man im Studium die Möglichkeit erhält sich mit Lean zu beschäftigen (oder ähnlichen Proof Assitants). Ich nehme an, dass in der Zukunft Verifikation immer wichtiger wird, ob beim Prüfen von AI Outputs oder beim Prüfen der eigenen Arbeit.<br />
}}</div>2A00:20:6400:9B21:B41A:A2FF:FEF7:299Ahttps://de.komapedia.org/index.php?title=KoMa_95/AKAK%5En_Tool&diff=24700KoMa 95/AKAK^n Tool2026-10-28T10:00:25Z<p>2A00:20:6400:9B21:B41A:A2FF:FEF7:299A: Die Seite wurde neu angelegt: „{{Vorlage:Arbeitskreis Session |Name=AKAK^n Tool |AK=AKAK^n Tool |AKS_Typ=Austausch |Initiator=Lexa |Leitung=Lexa |Dauer=2h |AKS_Kurzbeschreibung=Wir haben ein AK^n Tool und ich will daran rumbasteln. In einer WachKoMa hatten wir schon ein paar Dinge geändert, aber ich will auch längerfristig ein paar Sachen machen. Falls ihr Spaß am Programmieren oder einfach Interesse an dem Ding habt, schaut vorbei, wir wollen vor allem Ideen sammeln und Code ve…“</p>
<hr />
<div>{{Vorlage:Arbeitskreis Session<br />
|Name=AKAK^n Tool<br />
|AK=AKAK^n Tool<br />
|AKS_Typ=Austausch<br />
|Initiator=Lexa<br />
|Leitung=Lexa<br />
|Dauer=2h<br />
|AKS_Kurzbeschreibung=Wir haben ein AK^n Tool und ich will daran rumbasteln. <br />
In einer WachKoMa hatten wir schon ein paar Dinge geändert, aber ich will auch längerfristig ein paar Sachen machen. <br />
Falls ihr Spaß am Programmieren oder einfach Interesse an dem Ding habt, schaut vorbei, wir wollen vor allem Ideen sammeln und Code verstehen.<br />
}}</div>2A00:20:6400:9B21:B41A:A2FF:FEF7:299A