025 - Datenspuren 2018

26.09.2018 · 00:29:49

Akronymisierbar Podcast Logo

Es waren mal wieder Datenspuren in Dresden. Wir haben uns dieses Mal mit Johannes unterhalten, der einen Vortrag über Ada, Spark und formale Verifikation gehalten hat.

Shownotes

Es waren mal wieder Datenspuren in Dresden. Wir haben uns dieses Mal mit Johannes unterhalten, der einen Vortrag über Ada, Spark und formale Verifikation gehalten hat. Links

  • https://datenspuren.de/2018/
  • https://media.ccc.de/v/DS2018-9332-program_verification_with_spark
  • Alle Talks: https://media.ccc.de/c/DS2018
  • https://learn.adacore.com
  • https://www.adacore.com/download/ Johannes auf Twitter und GitHub

Diskussion

Auf Mastodon antworten →