qasawa.xyz | قساوة
رفتن به کانال در Telegram
https://www.qasawa.xyz/ https://madar.network/ https://www.notch.finance/ https://qasawa.com/ https://dijkstrakeystone.com/ https://github.com/qasawa https://madar.network/
نمایش بیشترکشور مشخص نشده استدسته بندی مشخص نشده است
1 015
مشترکین
+424 ساعت
+687 روز
+25530 روز
آرشیو پست ها
1 015
قامت عندي الأدلة أن دماغي فقد ثلث مادته الرمادية على الأقل. فلا حول ولا قوة إلا بالله. لعلي لو لم ألتزم ذاك الالتزام الجزئي بالدواء منذ 2020 إلى اليوم؛ كنتُ فاقدا نصفها. فالحمد لله.
والسلام عليكم.
1 015
من العيب أن يحاول البشر تخيُّل شكل آخر بشري على الكوكب، وهم لا يقدرون على تخيُّل أول بشري آدم عليه السلام.
وإذا فرغت الأرض من البشر (لو سافروا للمريخ مثلا) فسيخرج إنسان من حواسيب الأرض ليلحق بهم ويعيدهم.
إذا انطلقت كل قنابل الأرض النووية وانفجرت في كل الأمكنة الممكنة؟ هذا نقض على الردع النووي. ولكنْ من الصعب نقضُ الردع النووي بغير نقض لـ1+1=2؛ إلا لو كانت 0.1+0.2=0.3 أو بغير نقض النظرية العودية المعروفة باسم Computability Theory.
1 015
Repost from N/a
20 أغسطس 2020؛ البحر الميت (عاش حينما كنت في شطّه). المشكل الوحيد أنه لا يصلح للسباحة (ملوحته خطيرة ومُعمِي للبصر عند الغوص أسفل).
1 015
من تعليق لمحمد تقي؛ بالغامق.
لو كنت أذكر .. احد الفصول صعب نوعا ما, يتطلب الجبر التجريدي ونظرية الشبكات (لا أعرف اسمها العربي Lattice Theory) .
اللاتيس ضرورية ببساطة لأن ال compiler في كل لحظة عليه أن يعرف الاجابة على اسئلة من قبيل "هل هذا العدد ثابت أم متغير عند هذه النقطة من تنفيذ البرنامج" ,"هل هذا التعبير قد تمت حوسبته من قبل ولايزال متسقا"..
للاجابة على هذه الاسئلة, ينبغي على ال compiler أن يعرف بالضبط كيف يقوم بدمج عدد كبير من الطرق الممكنة لتنفيذ البرنامج, حتى يحصل على اجابة صحيحة. بالتالي : ينبغي دراسة البرنامج دراسة وكأنه عبارة عن lattice .
مثلا إذا كان x = 5 في شرط "إذا كان if"... و x = 3 في شرط "أو else" .. عند تحليل البرنامج لمعرفة ما اذا كان x متغيرا عند compilation ... فلا تهمنا القيم أحيانا, بل قد تهمنا معلومات اكثر تجريدية من قبيل "العدد متغير من 8 بت"...
هنا يمكن للاتيس أن تقوم بدمج تاريخ التنفيذ الذي يعطينا 5 ,وتاريخ التنفيذ الذي يعطينا 3 في تاريخ واحد, المعلومة المهمة فيه ليست 5 أو 3...بل معلومة أقل دقة وأكثر تجريدية.
اللاتيس اذن تعطينا نقاط الالتقاء لمختلف الطرق الممكنة لتنفيذ البرنامج.
الفصل الذي يتحدث عنها من أصعب الفصول ... لم أقرأ الكتاب كاملا, بل تعاملت معه فقط كمرجعية, لكن بعض الفصول التي أحس بأنها صعبة أقفز إليها مباشرة وأقرؤها.
نسيت في الحقيقة السبب الرئيسي لاستخدامي للكتاب ...لكني أتذكر موضوعه العام وبعض النقاط هنا وهناك.
1 015
Compilers_Principles,_Techniques,_and_Tools_Pearson_Addison_Wesley.pdf5.78 MB
