Вміст надано Akronymisierbar. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Akronymisierbar або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.
Player FM - додаток Podcast
Переходьте в офлайн за допомогою програми Player FM !
Переходьте в офлайн за допомогою програми Player FM !
017 - Unschuldiges Programmieren
MP3•Головна епізоду
Manage episode 206181860 series 1963921
Вміст надано Akronymisierbar. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Akronymisierbar або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.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 епізодів
MP3•Головна епізоду
Manage episode 206181860 series 1963921
Вміст надано Akronymisierbar. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Akronymisierbar або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.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 епізодів
Wszystkie odcinki
×Ласкаво просимо до Player FM!
Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.