<p>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</p>
<ul>
<li>https://datenspuren.de/2018/</li>
<li>https://media.ccc.de/v/DS2018-9332-program_verification_with_spark</li>
<li>Alle Talks: https://media.ccc.de/c/DS2018</li>
<li>https://learn.adacore.com</li>
<li>https://www.adacore.com/download/
Johannes auf <a href="https://xcancel.com/jk70523">Twitter</a> und <a href="https://github.com/jklmnn/">GitHub</a></li>
</ul>

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

<p>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</p>
<ul>
<li>https://datenspuren.de/2018/</li>
<li>https://media.ccc.de/v/DS2018-9332-program_verification_with_spark</li>
<li>Alle Talks: https://media.ccc.de/c/DS2018</li>
<li>https://learn.adacore.com</li>
<li>https://www.adacore.com/download/
Johannes auf <a href="https://xcancel.com/jk70523" rel="noopener noreferrer">Twitter</a> und <a href="https://github.com/jklmnn/" rel="noopener noreferrer">GitHub</a></li>
</ul>

025 - Datenspuren 2018

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.

Share 025 - Datenspuren 2018

Sign up to save your podcasts

025 - Datenspuren 2018

025 - Datenspuren 2018

More shows like Akronymisierbar

Liebe, Sex, Tod.