Akronymisierbar

Podcast von und mit Hendrik und Kilian. Geballtes gefährliches Halbwissen zu allem rund um Programmiersprachen, Messengern und anderen (meist technischen) Themen, die uns spontan einfallen.

https://akronymisier.bar

subscribe
share






episode 25: 025 - Datenspuren 2018


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


fyyd: Podcast Search Engine
share








 September 26, 2018  29m