Jeden Samstag das Neueste aus Computertechnik und Informationstechnologie. Beiträge, Reportagen und Interviews zu IT-Sicherheit, Informatik, Datenschutz, Smartphones, Cloud-Computing und IT-Politik. Die Trends der IT kompakt und informativ.
…
continue reading
Nội dung được cung cấp bởi Akronymisierbar. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Akronymisierbar hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.
Tương tự như Akronymisierbar
Jeden Tag eine App
…
continue reading
Menschen! Technik! Sensationen!
…
continue reading
In dieser Serie diskutieren wir interessante Themen aus Software-Entwicklung und -Architektur – immer mit dem Fokus auf Praxistauglichkeit.
…
continue reading
Helden der Computerspiele-Berichterstattung plaudern über historische und aktuelle Themen
…
continue reading
Der abwechslungsreichste Spiele-Podcast der Welt. Mit Anne, Micha, Manu, Michi und illustren Gästen aus der Videospielbranche. Meinungen, Interviews und Croissants.
…
continue reading
Das monatliche Radio des Chaos Computer Club Berlin
…
continue reading
1
Zurück zur Zukunft - Tech-News und Business Models
Zurück zur Zukunft - Tech-News und Business Models
Nicht nostalgisch an Vergangenem kleben, sondern optimistisch die Zukunft gestalten: Zurück zur Zukunft! Denn: Institutionen werden immer versuchen, die Probleme zu erhalten, für die sie die Lösung sind (Clay Shirky). Wir fassen daher seit 2019 jede Woche die wichtigsten Entwicklungen im technologischen Umfeld zusammen und ordnen ihre Konsequenzen für Unternehmen und die Gesellschaft ein. Jeden Dienstag neu! Als Unternehmer aus Berlin befassen wir uns seit 1995 intensiv mit dem Internet und ...
…
continue reading
Immer donnerstags live um 17 Uhr sprechen Anna Kalinowsky, Malte Kirchner und Volker Zota von heise online bei YouTube über die Tech-Themen der Woche. Zum Nachhören gibt es die #heiseshow auch als Podcast.
…
continue reading
Es gibt noch viel zu entdecken! Der Podcast für alle, die auf Reisen etwas erleben wollen: fremde Kulturen, interessante Menschen, unbekannte Orte. Jede Woche erzählen Bärbel Wossagk und David Mayonga drei Geschichten von unterwegs. Mit Reportagen, Interviews, Sounds und Musik tauchen wir tief in spannende Welten ein. Das ist Urlaub für den Kopf.
…
continue reading
Player FM - Ứng dụng Podcast
Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !
Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !
))
017 - Unschuldiges Programmieren
Manage episode 206181860 series 1963921
Nội dung được cung cấp bởi Akronymisierbar. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Akronymisierbar hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.
Heute tauchen wir zusammen mit unserem Gast Marius in die wunderbare Welt der funktionalen Programmierung ab. Vielen Dank an Marius für die Einblicke! Das war eine beeindruckende Menge Informationen in dafür viel zu kurzer Zeit.
Picks
Links
- Idris Buch
- code podcast zu idris
- Coq
- Liquid Haskell
- Engineering TCP/IP with logic
- Protokollverifikation in Idris
- F*
- project everest
- hacl-star
- verified crypto in firefox
- dafny
- Agda
- Functors, Applicatives, And Monads In Pictures
- functional-programming-jargon
- timelydataflow
- Meta Projekt Stream/Batch Processing
- Apache Flink
- Apache Storm
- Apache Spark (Batch)
- MapReduce (Batch)
- Twitter Heron
- Apache Kafka
- Kafka Streams
58 tập
Chia sẻ
Manage episode 206181860 series 1963921
Nội dung được cung cấp bởi Akronymisierbar. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Akronymisierbar hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.
Heute tauchen wir zusammen mit unserem Gast Marius in die wunderbare Welt der funktionalen Programmierung ab. Vielen Dank an Marius für die Einblicke! Das war eine beeindruckende Menge Informationen in dafür viel zu kurzer Zeit.
Picks
Links
- Idris Buch
- code podcast zu idris
- Coq
- Liquid Haskell
- Engineering TCP/IP with logic
- Protokollverifikation in Idris
- F*
- project everest
- hacl-star
- verified crypto in firefox
- dafny
- Agda
- Functors, Applicatives, And Monads In Pictures
- functional-programming-jargon
- timelydataflow
- Meta Projekt Stream/Batch Processing
- Apache Flink
- Apache Storm
- Apache Spark (Batch)
- MapReduce (Batch)
- Twitter Heron
- Apache Kafka
- Kafka Streams
58 tập
모든 에피소드
×
Chào mừng bạn đến với Player FM!
Player FM đang quét trang web để tìm các podcast chất lượng cao cho bạn thưởng thức ngay bây giờ. Đây là ứng dụng podcast tốt nhất và hoạt động trên Android, iPhone và web. Đăng ký để đồng bộ các theo dõi trên tất cả thiết bị.
Tương tự như Akronymisierbar
Jeden Samstag das Neueste aus Computertechnik und Informationstechnologie. Beiträge, Reportagen und Interviews zu IT-Sicherheit, Informatik, Datenschutz, Smartphones, Cloud-Computing und IT-Politik. Die Trends der IT kompakt und informativ.
…
continue reading
Jeden Tag eine App
…
continue reading
Menschen! Technik! Sensationen!
…
continue reading
In dieser Serie diskutieren wir interessante Themen aus Software-Entwicklung und -Architektur – immer mit dem Fokus auf Praxistauglichkeit.
…
continue reading
Helden der Computerspiele-Berichterstattung plaudern über historische und aktuelle Themen
…
continue reading
Der abwechslungsreichste Spiele-Podcast der Welt. Mit Anne, Micha, Manu, Michi und illustren Gästen aus der Videospielbranche. Meinungen, Interviews und Croissants.
…
continue reading
Das monatliche Radio des Chaos Computer Club Berlin
…
continue reading
1
Zurück zur Zukunft - Tech-News und Business Models
Zurück zur Zukunft - Tech-News und Business Models
Nicht nostalgisch an Vergangenem kleben, sondern optimistisch die Zukunft gestalten: Zurück zur Zukunft! Denn: Institutionen werden immer versuchen, die Probleme zu erhalten, für die sie die Lösung sind (Clay Shirky). Wir fassen daher seit 2019 jede Woche die wichtigsten Entwicklungen im technologischen Umfeld zusammen und ordnen ihre Konsequenzen für Unternehmen und die Gesellschaft ein. Jeden Dienstag neu! Als Unternehmer aus Berlin befassen wir uns seit 1995 intensiv mit dem Internet und ...
…
continue reading
Immer donnerstags live um 17 Uhr sprechen Anna Kalinowsky, Malte Kirchner und Volker Zota von heise online bei YouTube über die Tech-Themen der Woche. Zum Nachhören gibt es die #heiseshow auch als Podcast.
…
continue reading
Es gibt noch viel zu entdecken! Der Podcast für alle, die auf Reisen etwas erleben wollen: fremde Kulturen, interessante Menschen, unbekannte Orte. Jede Woche erzählen Bärbel Wossagk und David Mayonga drei Geschichten von unterwegs. Mit Reportagen, Interviews, Sounds und Musik tauchen wir tief in spannende Welten ein. Das ist Urlaub für den Kopf.
…
continue reading
Player FM - Ứng dụng Podcast
Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !
Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !
