محتوای ارائه شده توسط Akronymisierbar. تمام محتوای پادکست شامل قسمتها، گرافیکها و توضیحات پادکست مستقیماً توسط Akronymisierbar یا شریک پلتفرم پادکست آنها آپلود و ارائه میشوند. اگر فکر میکنید شخصی بدون اجازه شما از اثر دارای حق نسخهبرداری شما استفاده میکند، میتوانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal
Player FM - برنامه پادکست
با برنامه Player FM !
با برنامه Player FM !
017 - Unschuldiges Programmieren
Manage episode 206181860 series 1963921
محتوای ارائه شده توسط Akronymisierbar. تمام محتوای پادکست شامل قسمتها، گرافیکها و توضیحات پادکست مستقیماً توسط Akronymisierbar یا شریک پلتفرم پادکست آنها آپلود و ارائه میشوند. اگر فکر میکنید شخصی بدون اجازه شما از اثر دارای حق نسخهبرداری شما استفاده میکند، میتوانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.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 قسمت
Manage episode 206181860 series 1963921
محتوای ارائه شده توسط Akronymisierbar. تمام محتوای پادکست شامل قسمتها، گرافیکها و توضیحات پادکست مستقیماً توسط Akronymisierbar یا شریک پلتفرم پادکست آنها آپلود و ارائه میشوند. اگر فکر میکنید شخصی بدون اجازه شما از اثر دارای حق نسخهبرداری شما استفاده میکند، میتوانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.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 قسمت
Όλα τα επεισόδια
×به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.