Artwork

Technologie Dresden Swift Lifestyle Rust Akronymisierbar Typescript

เนื้อหาจัดทำโดย Akronymisierbar เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดหาให้โดยตรงจาก Akronymisierbar หรือพันธมิตรแพลตฟอร์มพอดแคสต์ของพวกเขา หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่แสดงไว้ที่นี่ https://th.player.fm/legal

Akronymisierbar « »
025 - Datenspuren 2018

6+ y ago 29:49

แบ่งปัน

MP3•หน้าโฮมของตอน

เนื้อหาจัดทำโดย Akronymisierbar เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดหาให้โดยตรงจาก Akronymisierbar หรือพันธมิตรแพลตฟอร์มพอดแคสต์ของพวกเขา หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่แสดงไว้ที่นี่ https://th.player.fm/legal

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

… continue reading

58 ตอน

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

Artwork

025 - Datenspuren 2018

Akronymisierbar

published 6+ y ago

แบ่งปัน

MP3•หน้าโฮมของตอน

เนื้อหาจัดทำโดย Akronymisierbar เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดหาให้โดยตรงจาก Akronymisierbar หรือพันธมิตรแพลตฟอร์มพอดแคสต์ของพวกเขา หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่แสดงไว้ที่นี่ https://th.player.fm/legal

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

… continue reading

58 ตอน

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

すべてのエピソード

×

ขอต้อนรับสู่ Player FM!

Player FM กำลังหาเว็บ

เปิดฟังกว่า 500+ หัวข้อ

คู่มืออ้างอิงด่วน

พอดคาสต์ยอดนิยม

The Secret Sauce

สัพเพHEYไรว้าาา

Geek Forever’s Podcast

วอยซ์ ออฟ อเมริกา

ข่าวสดสายตรงจากวีโอเอ ภาคภาษาไทย 8:30–9:00 น. - วอยซ์ ออฟ อเมริกา

ปลดล็อกกับหมอเวช

WiTcast (ฟีดเก่า ไม่ใช้แล้ว)

ฟังรายการนี้ในขณะที่คุณสำรวจ