الخطوط العريضة:
(7:14) - الفلاسفة المفضلون
(16:15) - النظرية مقابل الهندسة في العملة المشفرة
قال ، دعونا حقًا نتعامل بجدية مع طبيعة الحقيقة. دعونا نحاول حقاً حل التناقضات. دعونا نحاول حقًا بناء الأشياء بطريقة يمكن في الواقع البناء عليها العمل الذي نتركه وراءنا. ولا يتم التخلص منه كل 50 عامًا أو مائة عام. أه ، وكان الأمر نفسه بالنسبة لتارسكي. إنه يأتي ، كما يقول ، نحن علماء الرياضيات نحب مفهوم الحقيقة هذا ، لكننا لم نخلق أبدًا تعريفًا دقيقًا لطيفًا لا يحتوي على مفارقات مضمنة بداخله. لذلك كان علينا ابتكار لغات Meta ولغات موضوعية وكل هذه المفاهيم وما إلى ذلك. لذلك أنا حقًا أحب هؤلاء الأربعة ، إذا فكرت فيهم ، وهناك الكثير من الدروس العظيمة ، وحيث يكون مناسبًا اليوم ، كما تعلمون ، لديك بشر ولديك أجهزة كمبيوتر وهم يحاولون لنفهم بعضنا البعض ، وتعيش أجهزة الكمبيوتر في العالم الرسمي ، ويعيش البشر في عالم اللغة الطبيعية. وتلك الجسور بينهما ما زالت غير واضحة تمامًا. وهكذا فإن الكثير من العمل الذي كان يقوم به هؤلاء الأشخاص في القرن العشرين ، القرن التاسع عشر ، لم يكن له أي علاقة على الإطلاق بذلك ، ولكنه يمنحك الأمل في إمكانية وجود جسر بين هذين العالمين. وربما هناك بعض الأدوات الرائعة للبناء عليها. وربما سيسمح هذا بطريقة ما لأجهزة الكمبيوتر بفهمنا بشكل أفضل. أعني ، لقد ابتكروا حتى لغات ، لغات منطقية طبيعية خالية تمامًا من الغموض ، مثل Loj Ba n وأشياء من هذا القبيل.
ماذا؟
نعم. حق. انتظر ، l oj b a n ، إنها تستند إلى لغة تسمى Log Land ، وهي لغة منطوقة تعادل المسند من الدرجة الأولى
حساب التفاضل والتكامل.
ل : يا للاهتمام. لذلك لا لبس. إنها متسقة منطقيًا. نعم.
إنه ، لكن هل لا يزال بإمكانك الاستمتاع به؟ يمكنك الحصول على مثل ، هل يمكنك كتابة الشعر أم ماذا؟
ش : نعم ، يمكنك ، هناك أشخاص يكتبون الشعر باللغة هذه.
ل : وسأنتقل إلى ذلك نعم. وابدأ في التغريد فيه. نعم،
ش : ها أنت ذا. آه ، لذا ، كما تعلمون ، هناك الكثير هناك ، وهم فقط ممتعون للدراسة والتفكير. ولسوء الحظ ، إذا نزلت في حفرة الأرانب تلك ، فستقضي الكثير من الوقت. وهناك عوائد متناقصة. الآن ، السؤال الثاني الذي طرحته كان سؤالًا عن علوم الكمبيوتر النظرية لأعتقد الهندسة
ل : فلسفة. لا لا. بالإضافة إلى ذلك ، الخطوة الأولى ، لقد قلت البشر وأجهزة الكمبيوتر ، أليس كذلك؟ إذن علم الكمبيوتر النظري هو نظرية الكمبيوتر والفلسفة هي نظرية الإنسان ، ومن ثم يمكننا تشريح أشياء مختلفة عن الكمبيوتر. ولكن من حيث هذين العالمين من نظرية الإنسان ، وهي فلسفة ونظرية الكمبيوتر ، وهي علم الحاسوب. ماذا تفعل ، ما رأيك هو الاختلاف ، مثل ، ونحن نحاول سد تلك الفجوة ، كما ذكرت .ماذا سيكون التحدي الأكبر؟ مثل ، هل يمكننا إضفاء الطابع الرسمي على الحب ، هل يمكننا إضفاء الطابع الرسمي ، آه ، الموسيقى ، الفن ، الشعر ، كل هذا النوع من الأشياء؟ أم أن هذا هراء بشري نحتاج للتخلص منه؟
ش : لا ، لا أعتقد أنه هراء بشري على الإطلاق. أعني ، حتى أن هناك محاولات لإنشاء موسيقى تم إنشاؤها باستخدام الخوارزميات. وكما تعلمون ، السؤال هو ، هل الحب مجرد ظاهرة كيميائية؟ هل هناك شيء مثل الميتافيزيقي حوله أو ، كما تعلمون ، متجاوز ، أه ، نوع من النظام الرسمي؟ أعني ، علوم الكمبيوتر تقول فقط ، مرحبًا ، لدينا فكرة الحوسبة. لدينا هذا ، هذا الدماغ الذي أنشأناه ، هذا النظام الرسمي الذي بنيناه ، وبالنظر إلى أنه لدينا ، ماذا يمكننا أن نفعل به؟ ولذا فإن بعض الناس قلقون بشأن جذور شجرة المعرفة ، كما تعلمون ، فجر علوم الكمبيوتر العظيم. إنهم قلقون بشأن الجذور ويقولون ، إلى أي مدى يمكننا أن نزرعها؟ ودعونا نستمر في إضافة هذه النماذج الجديدة من الحساب. ويقلق الناس الآخرون بشأن جذع الشجرة.
وبعض الناس يقلقون بشأن أوراق الشجرة. وكلما تقدم المجال أكثر ، كلما اقترب أكثر فأكثر من الأشخاص الذين قاموا ببنائه. نحن ، كما تعلمون ، لدينا معالجة أفضل للصور ، ولدينا طرق أفضل للتعامل مع الكلام إلى النصوص ، ولدينا طرق أفضل لأجهزة الكمبيوتر نوعًا ما لفهم مقصد ما يقوله الإنسان. ثم السؤال هو ، حسناً ، كيف سيفهم الكمبيوتر الحب أو الشعر أو الموسيقى؟ حسنًا ، سوف يفهمها بنفس الطريقة التي نفهمها بها. عليك أن تجعل جهاز الكمبيوتر يكبر إلى درجة يمكن أن يتعلم فيها الطريقة التي نتعلم بها ، أو أقرب ما يمكن إليه. ثم تقوم فقط بتعريضه للأشياء التي تعرضنا لها. وبعد ذلك في مرحلة ما ، سيبدأ الكمبيوتر في إنشاء الأشياء. إذن السؤال هو ، حسنًا ، كيف تقيس الإبداع؟ وليس لدي أدنى فكرة عن ذلك ، لكن
ل : يمكنك تحويله إلى NFT ومعرفة مدى تفوقه .
هذه طريقة واحدة . نعم. لكن في الأساس ، نعم ، هناك الكثير من الأمور الذاتية. وهذا ، مجال رائع بالكامل وأنا مفتون بتفاعل الإنسان الآلي هذا هو كيف نخلق تجارب مقنعة ذاتيًا ، سواء كان ذلك فنًا أو يتحدث شخصان فقط ، أو يتفاعل شخصان بطريقة ما من أجل تعظيم ثراء التجربة الذاتية. وأعتقد أن هذا يمكن أن يكون مشكلة تحسين يمكن حلها. نحن نحلها طوال الوقت ، أليس كذلك؟ الحضارة الإنسانية تحاول باستمرار ، نحاول بإستمرار أه أن نبهر بعضنا البعض. نحن و أصغر سنًا نحاول أن ننجح ، أليس كذلك؟ اه مهما كان. تقع في الحب ، وإبهار رئيسك في العمل بكل الأشياء الرائعة التي تقوم بها. أعني ، نحن نحاول تحسين هذه المشكلة. هذا بالنسبة للجزء الأكبر ، إنه شخصي.
ش : حق؟ هل شاهدت فيلم Blade Runner 2049 من قبل؟ نعم. نعم. هل تذكرت العلاقة الكاملة بين جوي وكاي؟ أنت تعرف ، ومثل ، هل أحببته حقًا ، صورة ثلاثية الأبعاد أم لا؟ هل كان مثل الحب المزيف أم الحب الحقيقي؟
ل : افعلها حتى تصنعها هي وجهة نظري في الحب. اه لا تعليق من تشارلز. لذلك دعونا ، آه ، دعنا نذهب إلى الفرق بين ، أه ، علوم الكمبيوتر النظرية وهندسة البرمجيات ، أو ، أم ، لا أعرف ما إذا كنتم تفرقون ، ولكن إذا نظرنا إلى عالم الكمبيوتر هذا الآن ، هل هناك فرق بين الأشياء النظرية التي يمكنك قولها رسميًا والتطبيق العملي لتلك النظرية في الأنظمة الفعلية التي يستخدمها الناس؟ نعم ، أعتقد أننا سنسمي هندسة البرمجيات.
ش : لذا ، كما تعلم ، المهندسون ، فهم مهووسون بمجال ، حسنًا ، ما الذي تريد تحقيقه ولمن تنجزه؟ لذا فهم يعيشون في عالم البشر. لو كانوا مهندسين جيدين وقالوا حسنًا ما هي التجربة؟ أه تعرف كيف سنستخدم هذا؟ لماذا سنفعل هذا؟ ما هو التطبيق التجاري؟ ما هو التطبيق غير التجاري؟ وتقوم بجمع كل متطلبات العمل هذه. وعندما تنتهي من كل ذلك ، كلما كان عملك أفضل ، كلما كان الأمر بديهيًا عن كيفية تطبيقنا لألعاب وأدوات علوم الكمبيوتر وأشياء أخرى من هذا القبيل لحل ذلك بالفعل. وتعلمون ، الهدف من علم الكمبيوتر النظري من مجال هندسة البرمجيات هو أنه يمكن أن يخبرك نوعًا عن مكان حواجز الحماية الخاصة بك. لن تصنع برامج مثالية، لا يوجد شيء من هذا القبيل.
ولكن بدلاً من ذلك ، يمكن أن يمنحك فكرة جيدة وإحساسًا بأن برنامجك يحتوي على بعض الخصائص المرغوبة. كما لو كان الأمر كذلك ، يمكنك إثبات أنه يمكن إنهاءه إذا كنت تتعامل مع برامج كاملة. أو ربما يمكنك إثبات أنك لن تحصل أبدًا على فائض في المخزن المؤقت أو ، كما تعلم ، ستفقد القسمة على الصفر في مكان ما أو شيء من هذا القبيل. كما تعلم ، لن يحدث حدث ما سيؤدي إلى فشل ذريع في نظامك. ولكن هناك دائمًا هذا الانفجار الاندماجي بين ما تنافس فيه وتفكر فيه وما يمكنك فعله بالفعل. لذا فإن الأشياء الموجودة على الجانب الأيسر تعيش في علاقة أساسية مختلفة ، وكون مختلف. هناك شيء أكبر بكثير هناك. والأدوات الموجودة على الجانب الأيمن ، كما تعلمون ، لدينا اختبار قائم على الخصائص ومحللات SAT هذه ، لدينا كل هذه الأشياء الرائعة هنا والأساليب الرسمية ، الأرض ونظرية علوم الكمبيوتر. لكن هناك مجموعة فرعية صغيرة فقط من الأشياء التي يقدمون لك إجابات جيدة عنها.
إذن فالتوازن بين الأمرين يقول ، حسنًا ، ما الذي تهتم به؟ وماذا أنت بخير في رميه بعيدا؟ هذا هو فن الهندسة وبناء هذه الأنواع من الأشياء. إذاً ، كما تعلمون ، العملات المشفرة ، نتعامل مع هذه الأنظمة الموزعة المعقدة التي تحتوي على التشفير ونظرية الألعاب والجهات الفاعلة البيزنطية. أه إذن الميزان هناك يقول حسنًا ما الذي لا يمكن أن يفشل في ذلك النظام؟ وهذا هو نوع الأشياء التي تريد تطبيقها كأداة ثقيلة قدر الإمكان. لأنه عندما تفشل هذه الأشياء ، فإنك إما تفقد الخصوصية. بمليارات الدولارات أو ربما الحياة اعتمادًا على كيفية اعتماد هذه الأنظمة. ولكن بعد ذلك ، هناك أشياء أخرى ، كما تعلم ، ما الذي يمكن أن يفشل؟ هل لا بأس إذا لم يتم إنشاء الكتلة كما تعلم ، بين الحين والآخر؟ هل من المقبول أن يرتفع وقت الاستجابة أو تصبح شبكتك غير متزامنة فجأة وأنت تعلم ، إذا انفصلت عنها ، عليك إعادة تشغيل الكمبيوتر أو شيء من هذا القبيل.
ربما لا بأس بذلك. إنه مصدر إزعاج وعبء على المستخدم. وإذا حاولت بالفعل مطاردة هذا الذيل ، فسينتهي بك الأمر إلى قضاء 10 سنوات في مطاردة الأشباح .وفي الوقت نفسه يتحرك العالم بأسره. لذلك فهو حقًا اكتشاف هذا التوازن بين الاثنين. والشيء الجميل حقًا هو أن أدوات الأساليب الرسمية قد تحسنت كثيرًا على مدار العشرين عامًا الماضية على وجه الخصوص ، ويرجع ذلك في الغالب إلى الاستثمارات المرتفعة بشكل لا يصدق من Microsoft و Google والجامعات الكبرى ، لأن هؤلاء الأشخاص يبنون هذه الأنظمة العملاقة. إذا نظرت إلى Google plex أو ما لدى Amazon أو غيره ، وكان لديهم قيمة كبيرة ، والعديد من المستخدمين ، والعديد من الأشياء التي تحدث. ولا يمكن لأي شخص أن يحتفظ بهذا في رأسه. ولذا ، فأنت تتحدث عن أنظمة قد تحتوي على 10 ملايين سطر من التعليمات البرمجية ، و 15 مليون سطر من التعليمات البرمجية ، وملايين العقد المطسلة. عمليات خاطئة تحدث طوال الوقت.
قراصنة يقتحمون على أساس منتظم. لذلك عندما تحاول تصميم كل ذلك ، تحاول أن تسأل نفسك ما هي الضمانات الرسمية والخصائص التي يمكنني الحصول عليها لتبسيط هذا النظام قدر الإمكان؟ لذا فبدلاً من أن تؤدي تطبيقات الأساليب
الرسمية إلى إبطائك ، في كثير من الحالات ، فإنها في الواقع تقلل بشكل كبير من وقت تصحيح الأخطاء وقدرتك على العثور على مكان حدوث الأخطاء. في بعض الحالات ، لا يمكنك العثور على مكان حدوث الأخطاء داخل هذه الأنظمة المتزامنة الضخمة. وأنت تقول ، حسنًا ، إلى أين تتجه العملات المشفرة؟ نحن نتحدث عن نفس الشيء ، لكننا نتحدث عن بيئة تشغيل أكثر عدائية حيث يتم تشغيلها على هاتفك الخلوي بدلاً من تشغيلها في مركز بيانات أصلي في كاليفورنيا ، وهي تعمل على هاتف والدتك ، على هاتف والدك .بعض أجهزة الكمبيوتر في منغوليا التي قد يكون لديها إنترنت جيد يوم الثلاثاء ولكن ليس في أي يوم آخر.
(20:39)
