The Italian Erlang Boss in the house ☝ Glad to see you, Francesco
@Captain_IvyКүн бұрын
Thank you Stefan and Francesco!
@developers-clubАй бұрын
Hier geht es zu Teil 2: kzbin.info/www/bejne/rmjIn5ynjrF1i9U
@RudolfGraubergerАй бұрын
Gab es schon das nächste Mal und wenn ja, wo finde ich davon das Video? Edit, habe es gefunden: kzbin.info/www/bejne/rmjIn5ynjrF1i9U
@developers-clubАй бұрын
hab den Link auch mal angepinnt
@WeltenWurmerАй бұрын
vielen Dank für das Jahr voller KI News. Mir gefällt das Format sehr gut. und wird immer spannender 😊
@developers-clubАй бұрын
Danke das du schon so lange mit dabei bist <3
@developers-clubАй бұрын
Gerade gesehen das mir da wohl das Outro verrutscht ist, sorry 😬
@WeltenWurmerАй бұрын
Coole Challenge 🎉
@Captain_Ivy2 ай бұрын
Wir hätten dich auch gerne verkleidet gesehen Robert 😂 „Kölle Alaaf“🎉
@hansbleuer33462 ай бұрын
Interessantes Gespräch
@xuan-gottfriedyang50942 ай бұрын
ich versuche mit "monad" (funktional) zu programmieren
@mige13342 ай бұрын
Geil, sehe ich mal was aus den Überfliegern unseres Abijahrgangs geworden ist ... der Micha/Mike halt ... Chapeau
@distrologic29252 ай бұрын
Das ist doch das Kommutativgesetz 😅
@distrologic29252 ай бұрын
Funktionale Programmierung wird in der deutschen Softwareindustrie viel zu wenig anerkannt. Alles ist Java, C++, Javascript, Python und fertig
@christianhorauf99582 ай бұрын
Ich hoffe im vortrag kam auch vor wie wichtig ein neutrales element ist um eine halbgruppe zu definieren. Denn dadurch spart man sich ganz viele if-statements. Konkateniere Ich z.b. strings muss ich nicht kucken ob einer von beiden ein leerer string ist. Ich kann sie einfach so konkatenieren und bekomme halt den einen von beiden strings raus. Gleiches gilt für Listen. Daher sollte man als Informatiker auch immer noch im Hinterkopf haben ob am sich nicht einfach ein neutrales Element dazu definieren kann. Ich würde den Vortrag gerne nochmal sehen. Wann und wo wäre das denn der Fall?
@hungdo6397Ай бұрын
Eine Halbgruppe hat im Gegensatz zu einer Gruppe doch eben nicht zwingend ein neutrales Element.
@christianhorauf9958Ай бұрын
@hungdo6397 ich gebe zu das ich bei diesen details der definition schwächele. Aber was bringt es mir als Programmierer dann eine Gruppe zu definiren? Mir hat sich der Sinn und Zweck erst mit der Gruppe, sprich mit dem neutralen Element sinnvoll erschlossen. Erst dann kann ich davon profitieren und meinen Code vereinfachen.
@sequbeats2 ай бұрын
Sehr interessantes Video. Tatsächlich erkenne ich sehr viel aus meinem Informatikstudium wieder. Auch wenn in meinen praktischen Erfahrungen diese mathematischen Grundlagen bisher leider weniger Anwendung finden, merkt man doch immer wieder, wie die alltäglichen Strukturen der Softwareentwicklung sich daran orientieren. Man nehme als super simples Beispiel einfach mal eine equals-Methode als Abbild einer Äquivalenzrelation, mit eben jenen Eigenschaften, die diese Erfüllen sollte (Reflexivität, Symmetrie und Transitivität). :)
@steffenhantschel20162 ай бұрын
Klar, wenn ich Objekte habe, die sich addieren lassen, kann ich auch Halbgruppe dazu sagen. Ich frage mich nur, wieso das dann besseren Code erzeugen soll. Bei logischen Rätseln, die man Software lösen möchte, könnte ich mir das vorstellen - allerdings hat man das im gewöhnlichen Software Entwicklungsprozess eigentlich nie. Reicht es nicht, dass man dann einfach den "+"-Operator überlädt? Außerdem soll es angeblich auch Softwareentwickler geben, die keine Algebra Vorlesung gehört haben. So richtig überzeugt bin ich nicht. Gibt es ein konkretes Beispiel mit Code, wo man sehen kann, wie Mathematik zu besserem Code führt?
@developers-club2 ай бұрын
Zunächst denke ich auch, dass sich das sicherlich nicht immer und auf alles anwenden lässt. Ich würde es so sehen, dass man bei einer mathematischen/algebraischen Modellierung eine ganze Menge an Aussagen über diverse Regel- und Randfälle mitgeliefert bekommt, d.h. der Code wird dadurch besser, dass man den Sachverhalt mit wenigen, aber bedeutungsvollen Zeilen Code auf den Punkt bringt. Sicherlich muss ich da ein oder zwei Abstraktionsschritte zurück treten und mir (ggf. kreativ) überlegen, was eine "Addition" in meinem Domänenkontext sein soll (kann ja etwas ganz anderes als das "Plus" aus der Schulmathematik sein). LG Peter vom developers club
@MichaelSperber2 ай бұрын
Zunächst mal kommen oft die Architekt:innen und Entwickler:innen gar nicht auf die Idee, einen "+"-Operator zu definieren. Wenn die Daten komplexer werden, ist es oft auch nicht so einfach - dann bieten die mathematischen Prinzipien eine Leitlinie für dessen Definition, die Überraschungen vermeiden.
@steffenhantschel20162 ай бұрын
@@MichaelSperber Die Architektinnen und Entwicklerinnen müssen erst gar nicht auf die Idee kommen, einen "+"-Operator zu definieren, weil gebräuchliche Programmiersprachen wie Python dies von Hause aus mitbringen, bspw. __add__. Genauso wie die Vergleichsoperatoren, Mengenoperatoren und viele andere Konzepte, die aus der Mathematik stammen und integraler Bestandteil moderner Programmiersprachen sind. Eventuell wäre es vorteilhaft, dies zu wissen.
@waltertanner79822 ай бұрын
Klarer, als ich vom Titel her befürchtet hatte.
@developers-club2 ай бұрын
Wir nehmen das mal als Kompliment, danke 😄
@Cryptowski2 ай бұрын
Diese Schal triggert mich. Unangenehm.
@steffenhantschel20163 ай бұрын
Zum Reasoning, ca 10:20 : Kann man die Modelle nicht anweisen, die Probleme zu formalisieren und dann ein entsprechendes Tool zu nutzen, um die Aufgabe zu lösen. Steve spricht das ja an: Die Modelle können - genauso wie wir Menschen - nicht beliebige Rechenaufgaben lösen. Dazu braucht man bspw. einen Taschenrechner. Diese Meta-Kognition (Problem übersteigt eigene Fähigkeit, deswegen Tool benutzen) scheint ja schon bei Chat-GPT zu funktionieren. Z.B. wenn ChatGPT ein Python Programm schreibt und dann ausführt, um bestimmte Aufgaben zu lösen. Die Modelle müssten die Logik-Probleme bspw. in Aussagenlogik formulieren und dann anschließend ein entsprechendes Kalkül-Programm aufrufen, um das Problem zu lösen.
@developers-club3 ай бұрын
Sehr guter Kommentar, das wird gemacht und bringt enorme Performance Boosts. D.h. LLMs werden verwendet um Probleme zu formalisieren die dann von anderen Tools gelöst werden. Damit das gut funktioniert darf sich das LLM nicht von irrelevanten Informationen verwirren lassen, was aber selbst bei den stärksten Modellen noch in 17% der Fälle passiert.
@steffenhantschel20163 ай бұрын
Vielen Dank für die wie immer sehr sachkundigen Erläuterungen zu aktuellen KI-Themen und den Nobelpreisen!
@developers-club3 ай бұрын
Vielen Dank :) bin schon gespannt was diese Woche so passiert
@WeltenWurmer3 ай бұрын
Wie immer passiert extrem viel 🎉. Ich freue mich schon sehr auf die Zukunft 😊
@developers-club3 ай бұрын
Vielen Dank wir uns auch :)
@switchcase74834 ай бұрын
tatsächlich gutes video
@developers-club4 ай бұрын
Vielen Dank :)
@christianries85165 ай бұрын
Danke für das Shoutout zum Hackathon am Ende!
@s_trucks47535 ай бұрын
Viel Dank euch beiden 🙏
@steffenhantschel20165 ай бұрын
Vielen Dank für euren hochwertigen AI-Content!
@developers-club5 ай бұрын
sehr gerne <3
@marcelhenkel93755 ай бұрын
Interessant!
@markov83535 ай бұрын
Sehr langweilig :(
@developers-club5 ай бұрын
Tut mir leid, das zu hören, hast du einen Tipp, wie wir es nächstes Mal interessanter machen können?
@steffenhantschel20165 ай бұрын
Aha. Und was genau ist für dich langweilig?
@Raminber6 ай бұрын
cooler Überblick. Ich find's gut, dass ihr das Format kurz und knapp haltet. Danke für eure Arbeit!
@developers-club6 ай бұрын
Danke dir für das Feedback :)
@s_trucks47536 ай бұрын
sehr spannend, danke für den Überblick :)
@developers-club6 ай бұрын
Freut mich, danke :)
@dzenanbabajic95056 ай бұрын
Ich lass noch n Kommentar da für den Algorithmus! ;)
@Luca_0406 ай бұрын
Los gehts bei 1:25
@steffenhantschel20167 ай бұрын
Vielen Dank für euren hochwertigen KI Content!
@developers-club7 ай бұрын
Danke für deinen Support, wir lesen alle Kommentare und das bedeutet uns viel :)
@steffenhantschel20167 ай бұрын
Vielen Dank an Steve und den developers club für den ausgezeichneten KI-Content! Hoffentlich geht das mit den Abo-Zahlen noch nach oben. Verdient habt ihr es auf jeden Fall!
@developers-club7 ай бұрын
Vielen Dank <3
@rolandsand7 ай бұрын
die Hintergrundmusik fand ich etwas nervig...
@developers-club7 ай бұрын
Danke für dein Feedback :)
@SergejMichel-mk7sk7 ай бұрын
Hi Steve, vielen Dank für Deinen Vortrag in Bonn. War mega spannend und super vorgetragen.
@dzenanbabajic95057 ай бұрын
Mega spannend. Ich frag mich wohin das exponentielle Wachstum führen kann :O Vor allem auch welche alternative es zum LM gibt. Villt EM? emotional Models, in dem sie durch EDA und EKG Prompts reagiert :D
@developers-club7 ай бұрын
Die Art der Eingabe kann sicherlich dazu beitragen, die Modelle noch nützlicher zu machen. Zum Beispiel mit GPT-4o, das mit Audio arbeiten kann.
@dzenanbabajic95057 ай бұрын
@@developers-club Eh der Input ist gleich, aber ist das nicht auch LM? Ich meinte mit EM durch physiologische Messwerte prompten
@s_trucks47537 ай бұрын
🙌 sehr spannend
@developers-club7 ай бұрын
Cool, danke :)
@OfCourseIStillLoveU9 ай бұрын
auf 1,5 fach ist es auch die Informationsdichte hoch genug ;-). Danke!
@developers-club9 ай бұрын
Danke für dein Feedback :)
@antonio11209 ай бұрын
Promo`SM ☺️
@flohasit90389 ай бұрын
Euren Content finde ich super 😊 Mit einem hochwertigeren Mikro wäre es noch besser.
@developers-club9 ай бұрын
Danke für dein Feedback :) Wir sind gerade noch am experimentieren wie wir eine gute Aufnahmen mit Personen an verschiedenen Standorten umsetzen können. Mit unserem bisherigen Setup sind wir auch nicht so zufrieden und werden möglichst bald umstellen. Dann sollte auch die Audioqualität besser werden.
@aubisoka10 ай бұрын
Danke fü die News!
@developers-club10 ай бұрын
Immer gerne :)
@WeltenWurmer10 ай бұрын
Vielen Dank nochmals für die regelmäßigen Updates 😊. Aber nun zur wichtigsten Frage vorne weg: ist das ein Duschvorhang im Hintergrund 😂
@developers-club10 ай бұрын
😂 das ist ein Raumtrenner
@dzenanbabajic950510 ай бұрын
Sehr sehr nice! Ich verfolge eure wöchentlichen Zusammenfassungen. Bitte weiter machen 🙏
@developers-club10 ай бұрын
Vielen Dank 😍 wir sind so froh wenn dieses Segment Leuten hilft am Ball zu bleiben 🙂
@dzenanbabajic950510 ай бұрын
@@developers-club auf alle Fälle! Ich erspart einem wirklich sehr das researchen. Ich bin mir auch sicher das mit der Zeit die Zuschauermenge ansteigen wird 👍💪🦾
@christianries851611 ай бұрын
Hat Spaß gemacht! Danke für die Einladung
@developers-club11 ай бұрын
Vielen Dank, dass ihr beide uns so großartige Einblicke in die Anwendung von KI gegeben habt ❤️
@flaemis441311 ай бұрын
Sehr schön, dass Steve dieses Format macht! Weiter so :).
@developers-club11 ай бұрын
Wir sind auch so froh das Steve jede Woche bei uns ist. Vielen Dank Steve <3 und danke für dein Feedback
@WeltenWurmer11 ай бұрын
Vielen Dank für eure regelmäßigen Videos! Ich finde auch das neue Format mit 2 ITlern sehr gelungen 😊
@developers-club11 ай бұрын
Vielen Dank für dein Feedback ❤️
@henrikteudt476011 ай бұрын
Moin, sympathische videos für eine kleine Gruppe von Leuten die im Thema sind. Vielleicht könnte man das etwas aufregender gestalten und ein paar mehr User einfangen. Die neuen KI Anwendungen geben dafür soviele Möglichkeiten! Da geht noch was ;)
@developers-club11 ай бұрын
Vielen Dank für dein Feedback. Wir versuchen besser zu werden und hoffen dich nicht zu enttäuschen :)
@bannani152 Жыл бұрын
sehr interessantes Video
@developers-club Жыл бұрын
Danke @bannani152 🤗! Hast du ein bestimmtes Thema das wir für dich näher beleuchten dürfen?
@WeltenWurmer Жыл бұрын
Wieder super spannend. Gerade dieses Mini Model von Microsoft hat gezeigt wie gut synthetische Trainingsdaten schon seien können. Schöne Feiertage und bis im neuen Jahr