Conteúdo fornecido por Akronymisierbar. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Akronymisierbar ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.

Akronymisierbar « »
025 - Datenspuren 2018

6+ y ago 29:49

MP3•Home de episódios

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 episódios

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

همه قسمت ها

Bem vindo ao Player FM!

O Player FM procura na web por podcasts de alta qualidade para você curtir agora mesmo. É o melhor app de podcast e funciona no Android, iPhone e web. Inscreva-se para sincronizar as assinaturas entre os dispositivos.

Ouça a 500+ tópicos

Parecido com Akronymisierbar

Podcasts que valem a pena ouvir

Akronymisierbar « » 025 - Datenspuren 2018

Links

025 - Datenspuren 2018

Links

Podcasts que valem a pena ouvir

Bem vindo ao Player FM!

Parecido com Akronymisierbar

Guia rápido de referências

Akronymisierbar « »
025 - Datenspuren 2018