الخطوط العريضة:
16:15 - النظرية مقابل الهندسة في العملة المشفرة
27:24 - ما هي لغات البرمجة التي يجب أن يتعلمها الجميع
ش : لذلك عندما تعيش في هذا النوع من البيئة ، فأنت تحتاج حقًا إلى التفكير مليًا في فئة جديدة كاملة من البروتوكولات. وبعد ذلك تحتاج إلى التفكير مليًا في فئة جديدة تمامًا من الأدوات والتقنيات لاختبار موثوقية تلك الأنظمة. وتحتاج لفصل العالم والقول ، ما هو الضمان العالي ولا يمكن أن يفشل؟ لأنه إذا فشل يخسر الناس المال. وما هو الضمان المنخفض؟ ولا بأس إذا انهار ذلك. الشيء الآخر الذي سأذكره هو أن هناك حوافز مالية ضارة في صناعتنا لأن الحقيقة هي أنه عندما ينفجر شيء ما ، فإن الأشخاص الذين قاموا ببناء تلك الأشياء التي تنفجر عادة ما يتقاضون رواتبهم مقدمًا. لذا فإن ما يركزون عليه هو الوقت للتسويق ، والسرعة في السوق ، والحصول على الرموز المميزة والحصول عليها سائلة. ثم يأتي الناس لي ثم يشترونها. ولكن إذا كان هناك خلل بعض بروتوكولات ، فمن المحتمل أن يتم اكتشافه بعد ستة أشهر أو شيء من هذا القبيل. يفجر من يعاني .المستخدمون
ل : الأشخاص الذين قاموا بصنعها لقد حصلواعلى المال بالفعل.
ش : بالضبط. لهذا السبب تدفع للرجل الذي يصنع برنامج المكابح لقطارك أخيرًا . وتأكد من أنه يكتب القطار كل يوم. .
ل : إذن ، هذا يعني أنك تصف بشكل أساسي تعقيد النظام الموزع الذي يعد نظريًا أساسيًا للعبة. ومثل إذا فكرنا في السلاحف على طول الطريق ، فإن البشر هم على طول الطريق. إنها ، أعني ، أنت في الأسفل ، لا تزال طبيعة بشرية. هل هناك شيء يمكنك قوله رسميًا عن الطبيعة البشرية لتجربته؟ قلت أنك لا تستطيع ، هناك أجزاء معينة من النظام لا يمكن أن تفشل. كما تعلم ، يتحدث بعض الناس عن الحرب النووية بنفس الطريقة. أن هناك هذه اللعبة ، البناء النظري للتدمير المتبادل المؤكد ، أه ، تلك القوافي. انظر انا شاعر. لا يمكن لهذا النظام أن يفشل لأننا سنفجر الجميع. لكن لا يمكنك القول رسميًا على وجه اليقين أنه لن يفشل. لذا مثلك ، فأنت تحاول في الأساس مطاردة مثل تقليل احتمالية أن تفشل هذه الجوانب الحاسمة المعينة. وبعد ذلك قمت باختبار ، أعتقد من خلال النشر في العالم الحقيقي على نطاق ضيق ،لنرى أين تسوء الأمور.
ش : نعم ، إنه سؤال رائع. وكما تعلمون ، فإن مشكلة نظرية اللعبة وتصميم الآلية هي أنه يمكنك تطوير هذا المفهوم للممثل العقلاني. ولا أعتقد في حياتي أنني قابلت ممثلًا عقلانيًا ، كما تعلم ، هناك ممثل عقلاني يوم الثلاثاء ، لكنك تعلم ، في أي يوم آخر من أيام الأسبوع يعرفه بحق الجحيم. وهناك أيضًا ، أعتقد أنه كان هناك كتاب Freakonomics وهناك عدد قليل من هذه الأشياء حيث يظهر مرارًا وتكرارًا حيث يتصرف الناس بطرق تتعارض مع مصلحتهم الفضلى. إذن لديك هؤلاء المصممون للبروتوكول وهم يقولون ، حسنًا ، نحن بحاجة إلى أغلبية صادقة لكي يعمل هذا الشيء. وهم يقولون ، حسنًا ، سننشئ نموذج الحوافز هذا وسيتصرف الفاعلون العقلانيون مع نموذج الحافز هذا ويقولون ، حسنًا ، الفرد لن يفعل ذلك ، لكن الشركة والحكومة والكيان سيفعلون ذلك.
المشكلة في ذلك هي أن لدينا الكثير من الأمثلة المضادة حيث كان النظام يتصرف بالفعل بطرق غريبة. كما لو أننا قضينا على البشر بشكل شبه كامل مرتين في القرن العشرين ، مرة خلال أزمة الصواريخ الكوبية ، ومرة أخرى في الثمانينيات كانت هناك نواة روسية في نظام الأقمار الصناعية الجديد الذي تم تركيبه ، وقال ، مرحبًا ، الأمريكيون يطلقون الصواريخ فينا. تحتاج إلى تشغيل المفتاح ، كما تعلم ، إطلاق جميع الصواريخ في الصومعة. وقال ، أوه ، هذا ليس صحيحًا. أن هذا لا يبدو صحيحًا. وتم توبيخه لعدم إطلاق الصواريخ. أه في كلتا الحالتين شخص واحد وقف ضد أنظمة القوى العظمى بيننا وبين الإبادة النووية. آه ، بشكل عام نحن سيئون حقًا في بناء هذه الأنواع من الأشياء. إذن ما تبحث عنه بدلاً من ذلك هو القول ، هل يمكن للنظام أن يصحح نفسه بنفسه؟
لا يتعلق الأمر بتجنب المشكلة ، بل يتعلق أكثر بإمكانية حل المشكلة؟ وهذه هي الطريقة التي تصمم بها الطبيعة الأشياء. يمنحك الجهاز المناعي ، ويمنحك القدرة على الشفاء. إذا نشبت حريق في إحدى الغابات المطيرة أو حدث كارثي ، فسيجد النظام البيئي طريقة لإصلاح الأمور. لذا ، فإن السؤال الأفضل هو كيف يمكنك مواءمة الحوافز على المدى الطويل لنظام حيث يكون لدى جميع الجهات الفاعلة داخل هذا النظام ، عند وقوع حدث يعطله ، حافزًا لدفعه مرة أخرى إلى حالة صحية ومنتجة ومفيدة . وهو ، العودة نوعًا ما إلى أشياء نظرية التعقيد تلك التي بدأنا بها وقليلًا ، كما تعلمون ، كيف تتعامل مع الاقتصاد الحديث؟ على سبيل المثال ، عرفنا هذا عند الدخول في أزمة كوفيد سيكون هناك اضطراب اقتصادي كارثي في جميع أنحاء العالم كله. في العالم المتقدم
كانت تطبع الكثير من المال وتمنى أن يعمل الله. ويحاول العالم النامي ألا يموت جوعا. تم دفع أكثر من مائة مليون شخص إلى مجاعة حادة. الجوع الشديد وضع رهيب. لكن كل خبير اقتصادي كان يعلم أننا ذاهبون لذلك. إذن السؤال هو كيف تعيد تشغيل النظام؟ كيف تعيد تنظيم النظام وما إلى ذلك وتتأكد من عدم انهياره في مرحلة ما. لذلك فهو علم ناقص وغير دقيق. اممم ، وهذا في الواقع أحد الأشياء التي تجعل صناعتنا ممتعة للغاية هو أنها نوع من التجارب الدقيقة للماكرو. في السنوات الماضية ، لم تتح لك الفرصة لتجربة السياسة النقدية. أعني ، كل 20 عامًا ، 30 عامًا ، سيكون لديهم مؤتمر ما عادة في جزيرة رائعة مثل جامايكا ويكونوا مثل ، حسنًا ، دعنا نتحدث عن السياسة النقدية ونود تعديل اتفاقية برينتون وودز.
وستكون هذه دعوة دول قومية فقط. والآن لديك أكثر من 8000 عملة مشفرة تتداول في كل مكان مع سياستها النقدية وقواعدها. وهي داروينية للغاية. يموت الكثير ، وبعضها يحدث شذوذًا ناجحًا مثل Dogecoin وأنت تقول ، يا الله ، هل هذا مؤقت؟ هل هذا دائم؟ لماذا لا يموت هذا الشيء الرهيب؟ ومن ثم فإن الأشياء الأخرى التي تعتقد أنها ستكون ناجحة تمامًا وستكون من بين العشرة الأوائل لا تحصل حقًا على نفس القدر من الجذب. مثل Al Gorand هو مثال رائع على ذلك. أعني سيلفيو ، إنه رجل ذكي بشكل لا يصدق. في كل مرة أذهب فيها لتناول العشاء وأنت تعلم ، عمله أسطوري وهو جميل وأنيق. ولديه حرفياً كل الأشخاص الذين ذهب إليهم وظفهم روبن طويل القامة ، كما تعلم ، حصل على بحث من شركة IBM و Craig Gentry هناك كل هؤلاء الأشخاص الرائعين في هذا الفريق ولديهم أموال في رأس المال الاستثماري. لذلك ستقول ، حسنًا ، هذا منافس. ولكن إذا نظرت إلى اعتماد السوق ، ستجد أن Ethereum Classic أعلى منه في بعض الأحيان وأشياء أخرى فوقها.
ل : ثم هناك هذا التطور الدارويني الغريب الذي أنتج ، كائن Dogecoin الذي يدوس في كل مكان. التطور ليس له معنى.
ش : بالضبط. لكن ربما تكون ، نحن المشكلة وليس التطور ، كما تعلمون ، لأن السوق ،هو السوق ، كما تعلم ، يمكنك أن تصرخ وتبكي وتعبس وتختم بقدمك وتقول ، هذا لا معنى له. لكن هذه هي الطريقة التي يعمل بها العالم. كما تعلم ، هناك الكثير من متسلقي الجبال الذين لا يريدون تطبيق الجاذبية عليهم. وهو نفس الوضع هنا. كما تعلم ، هناك الكثير من الأشخاص في هذه الأسواق الذين لديهم نوايا حسنة ، وأفضل فريق ، وأفضل تقنية ، ولأي سبب لم يحصلوا على هذا التبني. لذا فإن السؤال ليس هو المحلي ، بل يجب أن يكون على المدى الطويل. وهل سيتقارب النظام بمرور الوقت إلى حالة مفيدة وذات مغزى للمجتمع وستحل المشكلات بالفعل من أجله؟ وهذا ، هذا ما نحاول اكتشافه ، كما تعلم ، كيف نشوش هذه الأشياء بطريقة تدفعها نوعًا ما في هذا الاتجاه.
ل : لذا قبل أن ندخل في هذا التطور الدارويني الرائع للعملات المشفرة ، اسمح لي أن أسألك نوعًا من سؤال برمجة أساسي. هناك جانب رائع في عملك في Cardano التي تستخدم هاسكل لبناء البنية التحتية. ولكن حتى لو عدنا للوراء أكثر ، بالنظر إلى هذا المشهد ، مكان آخر حيث يعمل التطور الدارويني ، بالنظر إلى هذا المشهد من لغات البرمجة ، أنت كمهندس ، أنت كفيلسوف ، ما هي لغات البرمجة التي تعتقد أنها مثيرة للاهتمام وأكثر عمليا , ما هي برمجة اللغات ، إذا كنت تنصح الطلاب اليوم ، فهل يجب أن يتعلموا؟
ش : نعم ، هناك أصول التدريس لتعلم كيفية البرمجة والتعبير عن نظرية علوم الكمبيوتر. مثلما يجب أن تتعلم كيفية كتابة الخوارزميات ، عليك أن تتعلم ماهية هياكل البيانات ، يجب أن تكون قادرًا على تحليل هذه الأشياء. وأه ، هذا على الأرجح ، أعتقد أن الجدل الدائر حول بايثون هو على الأرجح أفضل لغة أو جافا سكريبت ، لتبدألأنها مفيدة للغاية. المكتبات مذهلة. هناك الكثير من المواد على الإنترنت. حتى MIT الآن تقوم بتدريس مقدمتهم لعلوم الكمبيوتر وبايثون. أه كانوا يفعلون Lisp. أعني هؤلاء ، الرجال كانوا المتشددين
ل : ما زلت أحب ليسب.
ش : يا رجل ، هذا رائع. كما تعلم ، هذه أقواس والدك ، إنها أسلحة أنيقة ، منذ زمن بعيد. لكنك تعلم ، هذه نقطة انطلاق رائعة. و ، لا يتعلق الأمر بالوقوع في حب اللغة ، إنه مجرد الوقوع في حب الحوسبة. يتعلق الأمر بالوقوع في حب إجراء حوار مع جهاز كمبيوتر والتفكير ، حسنًا ، كيف يمكنني حل ذلك؟ كيف أتفاعل مع ذلك؟ ماذا ، ما الذي يجب أن يبدو عليه هذا؟ أم ، البرمجة الوظيفية هي ما اخترنا استخدامه للبطاقة ، لأننا في الغالب نعيش في العالم الأكاديمي. لقد كتبنا 105 بحثًا والمشكلة هي أنه يتعين عليك ترجمة هذا العمل إلى رمز والفجوة بين لغة حتمية مثل C++أو C وهذه الأوراق الأكاديمية الصارمة كبيرة للغاية. وبالتالي سيكون هناك الكثير من الغموض الدلالي بين هذين الاثنين.
وما أعنيه بذلك هو أنه قد ينتهي بك الأمر بتنفيذ شيء خاطئ. قد تعتقد أن ما قمت ببنائه هو الورق ، لكن الكمبيوتر لن يخبرك بذلك. لأن الورقة مكتوبة بالنثر وربما تمت كتابتها في وقت متأخر من التكنولوجيا أو شيء من هذا القبيل ، ولكن لا توجد سلسلة إثبات ، سلسلة أدلة يمكنك إظهار من خلالها ذلك ذلك ، أنه لا يوجد غموض. عندما تنظر إلى لغة وظيفية ، فأنت أقرب قليلاً إلى الرياضيات. ونتيجة لذلك ، فإن ترجمة الأوراق التي قضينا وقتًا طويلاً في الكتابة وكتابة البراهين وما إلى ذلك من أجل الترميز هي أصغر بكثير. الآن الجانب السلبي هو أن هذه اللغات الوظيفية تميل إلى أن تكون أكثر أكاديمية قليلاً ولا تميل بالضرورة إلى الحصول على أفضل دعم لـ Windows والمكتبات ليست جيدة جدًا. كما أنها تميل إلى أن تكون أبطأ قليلاً عند مقارنتها ككل في المتوسط بلغات مثل C على سبيل المثال.
إذن فهو حقًا سؤال ، حسنًا ، ما الذي تصمم من أجله؟ للنسخة الأولى؟ هل تصمم من أجل الأداء وهل تقوم بالتصميم لإمكانية وصول المطور؟ هل تصمم من أجل الصواب؟ وهل تصممون ل تمثيل عالي الدقة للبروتوكول؟ حسنًا ، لذلك تم اختيار هاسكل كنوع من الإصدار الأول لأننا علمنا أن أنواع الأشخاص الذين يفكرون في ذلك هم أيضًا أنواع الأشخاص الذين سيكون لديهم وقت سهل في قراءة ورقة مثل Ouroboros ويعملون في طريقهم من خلال كل هذا. وسوف يقومون بعمل جيد جدًا في تشغيل المواصفات الرسمية ثم ترجمة ذلك إلى كود قيد التشغيل. ثم بمجرد حصولك على ذلك ، يكون لديك مخطط يمكنك في الواقع التفكير بشأن صيانته. وإذا كنت ترغب حقًا في ذلك ، يمكنك بعد ذلك تحويل ذلك إلى رمز ذات قاعدة Rust أو ذات قاعدة Java، أما الذهاب بعكس هذا التسلسل ، نوعًا ما ، بلا طائل ويؤدي إلى نتائج عكسية.
(31:01)
