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
Content provided by Akronymisierbar. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Akronymisierbar or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.
Similar cu Akronymisierbar
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
Der abwechslungsreichste Spiele-Podcast der Welt. Mit Anne, Micha, Manu, Michi und illustren Gästen aus der Videospielbranche. Meinungen, Interviews und Croissants.
…
continue reading
Helden der Computerspiele-Berichterstattung plaudern über historische und aktuelle Themen
…
continue reading
Das monatliche Radio des Chaos Computer Club Berlin
…
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
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
Die neuesten Alben im Metal, Hardcore und Punk, dazu Szene Talk, Random Stuff und Konzert- sowie Festivalberichte: Andi und Philipp sind Breaking Noize - ein FUZE 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 - Aplicație Podcast
Treceți offline cu aplicația Player FM !
Treceți offline cu aplicația Player FM !
))
017 - Unschuldiges Programmieren
Manage episode 206181860 series 1963921
Content provided by Akronymisierbar. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Akronymisierbar or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.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 episoade
Distribuie
Manage episode 206181860 series 1963921
Content provided by Akronymisierbar. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Akronymisierbar or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.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 episoade
Toate episoadele
×
Bun venit la Player FM!
Player FM scanează web-ul pentru podcast-uri de înaltă calitate pentru a vă putea bucura acum. Este cea mai bună aplicație pentru podcast și funcționează pe Android, iPhone și pe web. Înscrieți-vă pentru a sincroniza abonamentele pe toate dispozitivele.
Similar cu 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
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
Der abwechslungsreichste Spiele-Podcast der Welt. Mit Anne, Micha, Manu, Michi und illustren Gästen aus der Videospielbranche. Meinungen, Interviews und Croissants.
…
continue reading
Helden der Computerspiele-Berichterstattung plaudern über historische und aktuelle Themen
…
continue reading
Das monatliche Radio des Chaos Computer Club Berlin
…
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
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
Die neuesten Alben im Metal, Hardcore und Punk, dazu Szene Talk, Random Stuff und Konzert- sowie Festivalberichte: Andi und Philipp sind Breaking Noize - ein FUZE 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 - Aplicație Podcast
Treceți offline cu aplicația Player FM !
Treceți offline cu aplicația Player FM !
