Akronymisierbar

017 - Unschuldiges Programmieren

Listen Later

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
  • hyper.sh
  • narro.co
  • typescript 2.8 release notes
    • 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
      • ...more
      View all episodesView all episodes
      Download on the App Store
      AkronymisierbarBy Kilian & Hendrik

      More shows like Akronymisierbar

      View all
      Liebe, Sex, Tod. by Peter Plate, Ulf Leo Sommer, Julian Hutter

      Liebe, Sex, Tod.

      0 Listeners