#trustworthyit — Public Fediverse posts

🎧 https://cyberraum-podcast.podigee.io/19-formale-verifikation
⬇️ https://audio.podigee-cdn.net/2396088-m-1eb131ad5f6a428fd922aca69c95e8c3.mp3?source=webplayer-download
🟢 https://open.spotify.com/episode/1ZLdNTyfAkCsyowQZXkGLN?si=4I55XB-mRs6nR-MLWB7woA
🍏 https://podcasts.apple.com/de/podcast/hard-und-software-sicher-machen-mit-logik-und-mathe/id1767558988?i=1000754813489
📬https://cyberraum-podcast.podigee.io/feed/mp3

Viel Spaß beim Hören!

#Podcast #KI #trustworthyIT #ÖvIT #EvIT #formaleVerifikation
@Cyberagentur

Und am Ende der Folge nimmt Sebastian mir meine Sorgen vor KI – denn auch sie lässt sich sicher machen. Sebastian meint: Wer #KI sagt, muss immer auch formale Verifikation sagen.
Was ich bei der Folge auch gelernt habe: Wo Mathe und Informatik draufsteht, steckt mitunter Philosophie drin. 🤯
Viel Spaß beim Hören!

@Cyberagentur
#Podcast #formaleverifikation #trustworthyIT #KI