Akronymisierbar

025 - Datenspuren 2018

Episode Summary

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.

Episode Notes

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