Вміст надано Akronymisierbar. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Akronymisierbar або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

Akronymisierbar « »
025 - Datenspuren 2018

6y ago 29:49

Поширити

MP3•Головна епізоду

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

58 епізодів

#Technologie #Dresden #Swift #Lifestyle #Rust #Akronymisierbar #Typescript

Alla avsnitt

Ласкаво просимо до Player FM!

Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.

Слухайте шоу на 500+ тем

Схожі до Akronymisierbar

Подкасти, які варто послухати

Akronymisierbar « » 025 - Datenspuren 2018

Links

025 - Datenspuren 2018

Links

Подкасти, які варто послухати

Ласкаво просимо до Player FM!

Схожі до Akronymisierbar

Короткий довідник

Akronymisierbar « »
025 - Datenspuren 2018