Contenuto fornito da Akronymisierbar. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Akronymisierbar o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.
Player FM - App Podcast
Vai offline con l'app Player FM !
Vai offline con l'app Player FM !
017 - Unschuldiges Programmieren
Manage episode 206181860 series 1963921
Contenuto fornito da Akronymisierbar. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Akronymisierbar o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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 episodi
Manage episode 206181860 series 1963921
Contenuto fornito da Akronymisierbar. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Akronymisierbar o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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 episodi
모든 에피소드
×Benvenuto su Player FM!
Player FM ricerca sul web podcast di alta qualità che tu possa goderti adesso. È la migliore app di podcast e funziona su Android, iPhone e web. Registrati per sincronizzare le iscrizioni su tutti i tuoi dispositivi.