Progressive web App ( PWA )
اپلیکشن های وبی که میخواهند سریع و زیبا و قابل اطمینان باشند که بتوانند بصورت آهسته اما پیوسته تجربه کاربر UX را بدون درنظر گرفتن مرورگر و پلتفرم ویا دستگاه بهبود ببخشند .
درواقع PWA بیشتر یک مفهوم است تا ابزار یا یک فریم ورک .
سوالی که ممکنه ذهنتون رو درگیر کنه این است که پس Bootstrap چی ؟
درواقع bootstrap یک فریم ورک و ابزار برای پیاده سازی این مفهوم است پس میتوان گفت که bootstrap زیر مجموعه ای از PWA میباشد .
ابزار ها و روشهای بسیاری برای پاده سازی این نوع از app ها وجود داره که میتوان به عنوان مثال به angular اشاره کرد .
اما نکته ای که هست ، این نوع اپ ها با استفاده فقط از یک تکنولوژی نمیتوان پیاده کرد و باید دانش اولیه و اساس کار رو داشته باشید مانند js و html .
مشخصات PWA :
اپلیکشین باید سریع و بصورت آنی بارگزاری و ریسپانسیو باشد تا از قابلیتهای ارتباطی اپ لیکشین بتوان استفاده کرد .
با سرعت اتصال پایین باید قابلیت استفاده و کار کرد داشته باشه
امنیت در تمام PWA ها جزو بالاترین اولویت بندی ها حساب میشود.
دارای ساختار UI میباشد و میتوان از API های سخت افزاری مانند بلوتوث نیز استفاده کرد .
قابلیت نصبی دارد این به این معنی باشد که میتوان آنرا بصورت یک نرم افزار بر روی یک کامپیوتر اجرا کرد .
از قابلیت های دیگر آن میتوان به :
Responsive,mobile-first,offline-first design .
Re-engaging
Progressive
اشاره کرد . که برای طولانی نشدن از گفت آن خودداری میکنیم. فهمیدن این مطالب به خود خواننده بستگی داره
@de_coder
  اپلیکشن های وبی که میخواهند سریع و زیبا و قابل اطمینان باشند که بتوانند بصورت آهسته اما پیوسته تجربه کاربر UX را بدون درنظر گرفتن مرورگر و پلتفرم ویا دستگاه بهبود ببخشند .
درواقع PWA بیشتر یک مفهوم است تا ابزار یا یک فریم ورک .
سوالی که ممکنه ذهنتون رو درگیر کنه این است که پس Bootstrap چی ؟
درواقع bootstrap یک فریم ورک و ابزار برای پیاده سازی این مفهوم است پس میتوان گفت که bootstrap زیر مجموعه ای از PWA میباشد .
ابزار ها و روشهای بسیاری برای پاده سازی این نوع از app ها وجود داره که میتوان به عنوان مثال به angular اشاره کرد .
اما نکته ای که هست ، این نوع اپ ها با استفاده فقط از یک تکنولوژی نمیتوان پیاده کرد و باید دانش اولیه و اساس کار رو داشته باشید مانند js و html .
مشخصات PWA :
اپلیکشین باید سریع و بصورت آنی بارگزاری و ریسپانسیو باشد تا از قابلیتهای ارتباطی اپ لیکشین بتوان استفاده کرد .
با سرعت اتصال پایین باید قابلیت استفاده و کار کرد داشته باشه
امنیت در تمام PWA ها جزو بالاترین اولویت بندی ها حساب میشود.
دارای ساختار UI میباشد و میتوان از API های سخت افزاری مانند بلوتوث نیز استفاده کرد .
قابلیت نصبی دارد این به این معنی باشد که میتوان آنرا بصورت یک نرم افزار بر روی یک کامپیوتر اجرا کرد .
از قابلیت های دیگر آن میتوان به :
Responsive,mobile-first,offline-first design .
Re-engaging
Progressive
اشاره کرد . که برای طولانی نشدن از گفت آن خودداری میکنیم. فهمیدن این مطالب به خود خواننده بستگی داره
@de_coder
🔺قیمت خرید اطلاعات از گوگل اعلام شد
 
🔹گوگل با دریافت هزینه از نیروهای پلیس به آنها اجازه دسترسی به اطلاعات کاربران را می دهد. این شرکت به ازای هر احضاریه ۴۵ دلار و استراق سمع از کاربران ۶۰ دلار هزینه دریافت می کند.
🔹گوگل از این پس با دریافت هزینه از نیروی پلیس اجازه دسترسی به اطلاعات کاربران را به آنها میدهد. این شرکت به ازای هر احضاریه ۴۵ دلار، استراق سمع ۶۰ دلار و اجازه جست و جو ۲۴۵ دلار هزینه از پلیس دریافت میکند. در حال حاضر تعداد زیادی از سازمانهای مجری قانون از گوگل درخواست دارند تا به اطلاعات کاربران دسترسی یابند و به همین دلیل این شرکت تصمیم گرفته تا با دریافت مبلغی هزینههای جمع آوری اطلاعات را جبران کند.
  🔹گوگل با دریافت هزینه از نیروهای پلیس به آنها اجازه دسترسی به اطلاعات کاربران را می دهد. این شرکت به ازای هر احضاریه ۴۵ دلار و استراق سمع از کاربران ۶۰ دلار هزینه دریافت می کند.
🔹گوگل از این پس با دریافت هزینه از نیروی پلیس اجازه دسترسی به اطلاعات کاربران را به آنها میدهد. این شرکت به ازای هر احضاریه ۴۵ دلار، استراق سمع ۶۰ دلار و اجازه جست و جو ۲۴۵ دلار هزینه از پلیس دریافت میکند. در حال حاضر تعداد زیادی از سازمانهای مجری قانون از گوگل درخواست دارند تا به اطلاعات کاربران دسترسی یابند و به همین دلیل این شرکت تصمیم گرفته تا با دریافت مبلغی هزینههای جمع آوری اطلاعات را جبران کند.
🗒 حفظ ظاهر , ویروسی ما قبلِ کرونا
🖋 نویسنده : محمد خوشه چین (kc)
آموزش مجازی ؛ اصطلاحی وایرال و در عین حال لمپن . میهمانِ نا خوانده و شاید خوانده ی گروه ها و کانال های تلگرامی در سفره آلودگی این روز ها . به راستی آموزش مجازی چه تعریف و چارچوبی دارد ؟ آیا می توان گفت 'آموزشی که نیاز به حضور فیزیکی دانشجو در کلاس درس ندارد' و یا 'آموزش با کمک گرفتن از بسترِ شبکه' تعاریفی درست , کامل و چارچوب مند از این اصطلاح است ؟ به درستی خیر
مفهومی به نام مِدیوم , عنصری است که تمامی این تعاریف کم دارند. و باید پرسید که مِدیوم یک معلم دانشگاه برای آموزش دادن طبق تعاریف ذکر شده چیست ؟ آن موقع است که می توان متوجه شد که آموزش مجازی , آوانسی که این روز ها به کمک معلم های دانشگاه برای بورژوازی کردن سطح کار خود آمده است , آیا در جایگاه درست و واقعی خود پیاده سازی شده و یا تنها لافی تو خالی جهت ' حفظ ظاهر' است.
اما مدیوم درست چیست ؟ یک سیستم E-Learning که در راستای ارضای نیازمندی های یک کلاس درسِ ' دانشگاهی' و یا 'آکادمیک' پیاده سازی شده است. محیطی که در آن بتوان کلاس آنلاین برگزار کرد . کلاس آنلاین , کلاسی است که معلم در آن بتواند اسکرین کامپیوتر , تصویر و صدای خود را به طور آنلاین share کند و دانشجو بتواند در روند اجرا شدن کلاس تعامل داشته باشد , متن بنویسد و با اجازه معلم صدا و تصویر خود را share کند
تعداد زیادی از دانشگاه ها این مدیوم را ندارند , حتی می توان در این میان به نام دانشگاه آزاد اسلامی تهران واحد جنوب اشاره کرد. دانشگاهی که مدعی است بزرگترین دانشکده فنی خاورمیانه را دارد
با وجود زمینه های فراوان و مستعد برای نقد دانشگاه و فضای آموزشی , در این یادداشت صرفا بحث مورد نقد ما معلمانی هستند که با بهره جویی از مدیوم های نادرست و دم دستی , در عطش ساختن یک پرستیژ بورژوازی برای خود هستند که هم خود را در صف مدعیان دروغین علاقه مند به علم و دانش نشان دهند و هم با حداقل زحمت و تلاش ظاهر کار را هم که شده حفظ کنند . در این میان قشر متضرر و فریب خورده دانشجو است که نه تنها قرار نیست علم و دانشی از این آموزش به اصطلاح مجازی کسب کند بلکه باید وقت و انرژی خود را در این مسیر تلف کند.
و اما توصیه من به دانشجویان عزیزی که میخواهند در این قرنطینه اجباری از فرصت استفاده کنند و به مطالعه دروس دانشگاهی خود بپردازند این است که کتاب رفرنس بخوانند و فیلم های ضبط شده از دانشگاه های برتر دنیا که در سایت مکتبخونه و ocw.mit.edu قرار دارد را تماشا کنند , تنها میراث باقی مانده دنیا برای کشور های جهان سومی
@de_coder
  🖋 نویسنده : محمد خوشه چین (kc)
آموزش مجازی ؛ اصطلاحی وایرال و در عین حال لمپن . میهمانِ نا خوانده و شاید خوانده ی گروه ها و کانال های تلگرامی در سفره آلودگی این روز ها . به راستی آموزش مجازی چه تعریف و چارچوبی دارد ؟ آیا می توان گفت 'آموزشی که نیاز به حضور فیزیکی دانشجو در کلاس درس ندارد' و یا 'آموزش با کمک گرفتن از بسترِ شبکه' تعاریفی درست , کامل و چارچوب مند از این اصطلاح است ؟ به درستی خیر
مفهومی به نام مِدیوم , عنصری است که تمامی این تعاریف کم دارند. و باید پرسید که مِدیوم یک معلم دانشگاه برای آموزش دادن طبق تعاریف ذکر شده چیست ؟ آن موقع است که می توان متوجه شد که آموزش مجازی , آوانسی که این روز ها به کمک معلم های دانشگاه برای بورژوازی کردن سطح کار خود آمده است , آیا در جایگاه درست و واقعی خود پیاده سازی شده و یا تنها لافی تو خالی جهت ' حفظ ظاهر' است.
اما مدیوم درست چیست ؟ یک سیستم E-Learning که در راستای ارضای نیازمندی های یک کلاس درسِ ' دانشگاهی' و یا 'آکادمیک' پیاده سازی شده است. محیطی که در آن بتوان کلاس آنلاین برگزار کرد . کلاس آنلاین , کلاسی است که معلم در آن بتواند اسکرین کامپیوتر , تصویر و صدای خود را به طور آنلاین share کند و دانشجو بتواند در روند اجرا شدن کلاس تعامل داشته باشد , متن بنویسد و با اجازه معلم صدا و تصویر خود را share کند
تعداد زیادی از دانشگاه ها این مدیوم را ندارند , حتی می توان در این میان به نام دانشگاه آزاد اسلامی تهران واحد جنوب اشاره کرد. دانشگاهی که مدعی است بزرگترین دانشکده فنی خاورمیانه را دارد
با وجود زمینه های فراوان و مستعد برای نقد دانشگاه و فضای آموزشی , در این یادداشت صرفا بحث مورد نقد ما معلمانی هستند که با بهره جویی از مدیوم های نادرست و دم دستی , در عطش ساختن یک پرستیژ بورژوازی برای خود هستند که هم خود را در صف مدعیان دروغین علاقه مند به علم و دانش نشان دهند و هم با حداقل زحمت و تلاش ظاهر کار را هم که شده حفظ کنند . در این میان قشر متضرر و فریب خورده دانشجو است که نه تنها قرار نیست علم و دانشی از این آموزش به اصطلاح مجازی کسب کند بلکه باید وقت و انرژی خود را در این مسیر تلف کند.
و اما توصیه من به دانشجویان عزیزی که میخواهند در این قرنطینه اجباری از فرصت استفاده کنند و به مطالعه دروس دانشگاهی خود بپردازند این است که کتاب رفرنس بخوانند و فیلم های ضبط شده از دانشگاه های برتر دنیا که در سایت مکتبخونه و ocw.mit.edu قرار دارد را تماشا کنند , تنها میراث باقی مانده دنیا برای کشور های جهان سومی
@de_coder
Brainfuck 
بله تعجب نکنید اسم یک زبان برنامه نویسی هستش شاید براتون جالب باشد.
اول از همه میخوام درباره نام گزاری این زبان برنامه نویسی بگم که یک وقت برداشت بدی نداشته باشید .
این اسم درواقع به موقعیت های سخت و بسیار پیچیده و یا حتی موقعیت های غیر معمول برای تصمیم گیری و فهم یک موضوع گفته میشود .
اما درباره خود زبان :
در واقع این یک زبان به اصطلاح esoteric میباشد که هدف این زبان ها معمولا برای تست کردن حد و مرز توانایی های یک زبان برنامه نویسی کامپیوتری ساخته شده به عنوان مثال برای اثبات مفاهیم و قوانین ، توانایی یک نرم افزار ، واسط یا راه ارتباط برای هک ، نفوذ کرک و تست زبان های برنامه نویسی دیگر استفاده میشود یا میتوان به عنوان یک سرگرمی و یک جوک در نظر گرفت .
این زبان در سال 1993 توسط urban muller ساخته شده که به دلیل کوچک بودن و بهینه بودنش مورد توجه قرار گرفته .
این زبان در کل دارای 8 دستور برای اجرا میباشد که این دستورات اغلب با رجستری به نام program counter کار میکنند .
یکی از خصوصیات بسیار جالب این زبان می توان به turing complete بودن آن اشاره کرد .
این به این معنا می باشد که میتوان با استفاده از این زبان ، تمام ماشین های تورینگ را بصورت کامل پیاده سازی کرد ( اگر متوجه نشدید باز بهتون توصیه میکنم درباره زندگی و دست آورد پدر علم کامپیوتر آقای turing یک مطالعه داشته باشید ) .
از این زبان نمیتوان به عنوان یک زبان قابل استفاده امروزی نام برد اما برای چالش های برنامه نویسی بسیار جالب و زیباست .
چند تا از دستورات این زبان هم برای آشنایی بیشتر معرفی میکنم.
همچنین برای تشریح آنها هم از معادل این دستورات در زبان C استفاده میکنیم .
قابل ذکر است که زبان چیزی به نام سمی کالن ندارد
Ptr : pointer
> : ++ptr
< : --ptr
+ : ++*ptr
- : --*ptr
. : putchar(*ptr)
[ : while ( *ptr ) {
] : }
چند تا از زبانهایی که ساخته شده بر اساس brainfuck هم معرفی میکنم :
PI ; VerboseFuck ; Ook ; BodyFuck ; OooWee ; DerpPlusPlus ;
البته قابل ذکره که در این مقاله اشاره ای هم به #C و .Net هم شده که گفته شده اولین بار بطور پیش فرض به brainFuck تبدیل و اجرا میشدند . راست و درست بودن آن به عهده خواننده .
بعدا باز از این زبانها بیشتر معرفی میکنیم😉
سوال : حداقل با چندتا دستور برنامه نویسی میتوان یک turing complete طراحی کرد ؟
@de_coder
  بله تعجب نکنید اسم یک زبان برنامه نویسی هستش شاید براتون جالب باشد.
اول از همه میخوام درباره نام گزاری این زبان برنامه نویسی بگم که یک وقت برداشت بدی نداشته باشید .
این اسم درواقع به موقعیت های سخت و بسیار پیچیده و یا حتی موقعیت های غیر معمول برای تصمیم گیری و فهم یک موضوع گفته میشود .
اما درباره خود زبان :
در واقع این یک زبان به اصطلاح esoteric میباشد که هدف این زبان ها معمولا برای تست کردن حد و مرز توانایی های یک زبان برنامه نویسی کامپیوتری ساخته شده به عنوان مثال برای اثبات مفاهیم و قوانین ، توانایی یک نرم افزار ، واسط یا راه ارتباط برای هک ، نفوذ کرک و تست زبان های برنامه نویسی دیگر استفاده میشود یا میتوان به عنوان یک سرگرمی و یک جوک در نظر گرفت .
این زبان در سال 1993 توسط urban muller ساخته شده که به دلیل کوچک بودن و بهینه بودنش مورد توجه قرار گرفته .
این زبان در کل دارای 8 دستور برای اجرا میباشد که این دستورات اغلب با رجستری به نام program counter کار میکنند .
یکی از خصوصیات بسیار جالب این زبان می توان به turing complete بودن آن اشاره کرد .
این به این معنا می باشد که میتوان با استفاده از این زبان ، تمام ماشین های تورینگ را بصورت کامل پیاده سازی کرد ( اگر متوجه نشدید باز بهتون توصیه میکنم درباره زندگی و دست آورد پدر علم کامپیوتر آقای turing یک مطالعه داشته باشید ) .
از این زبان نمیتوان به عنوان یک زبان قابل استفاده امروزی نام برد اما برای چالش های برنامه نویسی بسیار جالب و زیباست .
چند تا از دستورات این زبان هم برای آشنایی بیشتر معرفی میکنم.
همچنین برای تشریح آنها هم از معادل این دستورات در زبان C استفاده میکنیم .
قابل ذکر است که زبان چیزی به نام سمی کالن ندارد
Ptr : pointer
> : ++ptr
< : --ptr
+ : ++*ptr
- : --*ptr
. : putchar(*ptr)
[ : while ( *ptr ) {
] : }
چند تا از زبانهایی که ساخته شده بر اساس brainfuck هم معرفی میکنم :
PI ; VerboseFuck ; Ook ; BodyFuck ; OooWee ; DerpPlusPlus ;
البته قابل ذکره که در این مقاله اشاره ای هم به #C و .Net هم شده که گفته شده اولین بار بطور پیش فرض به brainFuck تبدیل و اجرا میشدند . راست و درست بودن آن به عهده خواننده .
بعدا باز از این زبانها بیشتر معرفی میکنیم😉
سوال : حداقل با چندتا دستور برنامه نویسی میتوان یک turing complete طراحی کرد ؟
@de_coder
Scala 
یک زبان برنامه نوسی همکاره که میتوان از آن در همه کارها و پروژهای برنامه نویسی با مقیاس های متفاوت استفاده کرد به این تعریف اصطلا general purpose گفته میشد .
با این زبان میتوان به صورت functional برنامه نویسی کرد هرچند که در نسخهای خود قابلیت object-oriented رو هم دارد اما اصل کارکردها و قابلیتهای این زبان بصورت functional است. این قابلیت بصورت یک فیچر به زبان میتوان اضافه کرد.
این زبان از قابلیت static type پشتیبانی کامل و قوی دارد و این بدان معنی میباشد که بر روی برنامه شما آنالیز تایپ هایی همچون متغیر انجام میشود که این باعث کوچکتر شدن منابع استفاده برنامه همچنین سرعت و عملکرد بهتر برنامه میشود . بر خلاف پایتون که dynamic type است
امتیاز این زبان تحت لیسانس apache2.0 میباشد.
این زبان برای اجرا شدن به java bytecode تبدیل میشود که این بدین معنی میباشد که برای کامپایل و اجرا شدن ، نیاز به JVM دارد . پس میتوان نتیجه گرفت که این زبان بر اساس JAVA ساخته شده که بسیاری از مشکلات این زبان یعنی JAVA را حل کرده . اما نتیجه دیگری هم میتوان گرفت که از این زبان میتوانید در داخل برنامه جاوایی خود و برعکس ، از جاوا در این زبان استفاده ک بهره وری کنید .
اما این زبان چندین ویژگی از زبان JAVA را ندارد . به عنوان مثال قبلیت هایی همچون :
Overloading
Named parameter
Optional parameter
Etc .
این زبان از قابلیتهایی همچون list و tuple پشتیبانی میکند ( abstract ) .
یکی از ویژگی هایی که پارادایم برنامه نویسی functional به این زبان بخشیده است قابلیت concurent می باشد .
چند مورد از دستورات این زبان را در اینجا بیان میکنیم :
Val
متغیر های غیر قابل تغیر
Var
متغیرهای قابل تغیر
Def
تعریف تابع
List
تعریف لیست
Unit
سینگلتون کلاس
Etc.
از برنامهایی که بر اساس این زبان نوشته شدند میتوان به apache kafka و apache spark اشاره کرد که به این معنی میباشد که اجازه cluster computing را به کاربر و برنامها میدهد پس میتوان نتیجه دیگری که گرفت برای کار با پایگاه داده بهترین انتخاب برای این زبان NoSql ها میباشند .
یکی از مشکلا این زبان میتوان به یادگیری آن اشاره کرد بسیار سخت تر از java میباشد
سرعت رشد این برنامه بالاست بطوری که در یک سال ممکنه شما 3 تا نسخه جدید از این برنامه مشاهده کنید ( نسخه فعلی آن 2.13.1 که به عنوان نسخه stable معرفی شده میباشد ) .
سازمدگان برای راحتی کاربران و برنانه نویسان دو نسخه قابل حمل و نصبی در سایت قرار دادند.
سوال : ویژگی های بسیار مهم این زبان چیست ؟
🖥 www.scala-lang.org
@de_coder
  یک زبان برنامه نوسی همکاره که میتوان از آن در همه کارها و پروژهای برنامه نویسی با مقیاس های متفاوت استفاده کرد به این تعریف اصطلا general purpose گفته میشد .
با این زبان میتوان به صورت functional برنامه نویسی کرد هرچند که در نسخهای خود قابلیت object-oriented رو هم دارد اما اصل کارکردها و قابلیتهای این زبان بصورت functional است. این قابلیت بصورت یک فیچر به زبان میتوان اضافه کرد.
این زبان از قابلیت static type پشتیبانی کامل و قوی دارد و این بدان معنی میباشد که بر روی برنامه شما آنالیز تایپ هایی همچون متغیر انجام میشود که این باعث کوچکتر شدن منابع استفاده برنامه همچنین سرعت و عملکرد بهتر برنامه میشود . بر خلاف پایتون که dynamic type است
امتیاز این زبان تحت لیسانس apache2.0 میباشد.
این زبان برای اجرا شدن به java bytecode تبدیل میشود که این بدین معنی میباشد که برای کامپایل و اجرا شدن ، نیاز به JVM دارد . پس میتوان نتیجه گرفت که این زبان بر اساس JAVA ساخته شده که بسیاری از مشکلات این زبان یعنی JAVA را حل کرده . اما نتیجه دیگری هم میتوان گرفت که از این زبان میتوانید در داخل برنامه جاوایی خود و برعکس ، از جاوا در این زبان استفاده ک بهره وری کنید .
اما این زبان چندین ویژگی از زبان JAVA را ندارد . به عنوان مثال قبلیت هایی همچون :
Overloading
Named parameter
Optional parameter
Etc .
این زبان از قابلیتهایی همچون list و tuple پشتیبانی میکند ( abstract ) .
یکی از ویژگی هایی که پارادایم برنامه نویسی functional به این زبان بخشیده است قابلیت concurent می باشد .
چند مورد از دستورات این زبان را در اینجا بیان میکنیم :
Val
متغیر های غیر قابل تغیر
Var
متغیرهای قابل تغیر
Def
تعریف تابع
List
تعریف لیست
Unit
سینگلتون کلاس
Etc.
از برنامهایی که بر اساس این زبان نوشته شدند میتوان به apache kafka و apache spark اشاره کرد که به این معنی میباشد که اجازه cluster computing را به کاربر و برنامها میدهد پس میتوان نتیجه دیگری که گرفت برای کار با پایگاه داده بهترین انتخاب برای این زبان NoSql ها میباشند .
یکی از مشکلا این زبان میتوان به یادگیری آن اشاره کرد بسیار سخت تر از java میباشد
سرعت رشد این برنامه بالاست بطوری که در یک سال ممکنه شما 3 تا نسخه جدید از این برنامه مشاهده کنید ( نسخه فعلی آن 2.13.1 که به عنوان نسخه stable معرفی شده میباشد ) .
سازمدگان برای راحتی کاربران و برنانه نویسان دو نسخه قابل حمل و نصبی در سایت قرار دادند.
سوال : ویژگی های بسیار مهم این زبان چیست ؟
🖥 www.scala-lang.org
@de_coder
Haskell
یک زبان برنامه نویسی general هستش که بصورت کامل ( فقط ) از پارادایم functional پشتیبانی میکنه . و این به این معنا میباشد که تمام توابعی که در این برنامه نوشته میشود میتواند قابلیت pure را داشته باشد و بقیه قوانین مربوط به functional .
این زبان هدف اصلی برای توسعه و تهیه آن جهت آموزش بصورت آکادمیک برای برنامه نویسی با پارادایم functional بود .
در این زبان برای اولین بود که بحث type class معرفی شد و برای اولین بار در این زبان ارائه شد برای مثال باعث شد type-safe operator overloading در زبانهای برنامه نویسی قابل ارائه باشه و همچنین این اتفاق برای اولین بار در این زبان شد .
نکته جالب این هستش که این زبان آخرین بار در سال 2010 آخرین نسخه ارائه داده اما به این موضوع اکتفا نکرده و قراره برای سال 2020 یک نسخه جدید داشته باشه . با گسترش این زبان در سال 2019 وارد مرحله صنعتی شد.
طبق بررسی ها و نظرسنجی ها توسط شرکت گوگل این زبان 23 مین زبان محبوب در جامعه برنامه نویسان است .
از ویژگی های این زبان میتوان به functional بود آن و همچینین کامل علمی بودن آن ( برخلاف بعضی از زبانها که بر اساس تجربه ساخته شده ) اشاره کرد که البته این ویژگی خودش کم چیزی نیست .
این ویژگی باعث شد این زبان برنامه نویسی در کارهای cuncorrenc و همچنین parallel حرفی واسه گتن داشته باشد.
در گسترش این زبان framework هایی بر اساس این زبان ساخته شد که باعث شد این زبان از حالت pure functional خارج شود تا بتواند مباحث بیشتری از محاسبات را پشتیبانی کند اما این به معنی این نیست که دیگر از حالت قبلی خود پشتیبانی نکند.
یادگیری این زبان برای افراد و جوامع برنامه نویس امروز بسیار سخت و دشوار هست چون یکم مباحث functional ممکنه باعث اذیت افراد بشه چه برای مبتدیان و چه برای حرفه ای ها .
یکی از ویژگی های این زبان میتوان به static type بودن اشاره کرد .
البته برای یادگیری آن سایت این ربان به تنهایی هم کفایت میکنه بصوری که تمام ویژگی های این زبان و یک آموزش مقدماتی برای برنامه نویسان فراهم کرده .
این زبان برای توسعه و پیشرفت آن چهار جامعه برنامه نویسی و conference داره که بشرح زیر :
ICFP
CUFP
haskell workshop ( haskell symposium )
Haskell inplementers workshop
🖥 www.haskell.org
@de_coder
  یک زبان برنامه نویسی general هستش که بصورت کامل ( فقط ) از پارادایم functional پشتیبانی میکنه . و این به این معنا میباشد که تمام توابعی که در این برنامه نوشته میشود میتواند قابلیت pure را داشته باشد و بقیه قوانین مربوط به functional .
این زبان هدف اصلی برای توسعه و تهیه آن جهت آموزش بصورت آکادمیک برای برنامه نویسی با پارادایم functional بود .
در این زبان برای اولین بود که بحث type class معرفی شد و برای اولین بار در این زبان ارائه شد برای مثال باعث شد type-safe operator overloading در زبانهای برنامه نویسی قابل ارائه باشه و همچنین این اتفاق برای اولین بار در این زبان شد .
نکته جالب این هستش که این زبان آخرین بار در سال 2010 آخرین نسخه ارائه داده اما به این موضوع اکتفا نکرده و قراره برای سال 2020 یک نسخه جدید داشته باشه . با گسترش این زبان در سال 2019 وارد مرحله صنعتی شد.
طبق بررسی ها و نظرسنجی ها توسط شرکت گوگل این زبان 23 مین زبان محبوب در جامعه برنامه نویسان است .
از ویژگی های این زبان میتوان به functional بود آن و همچینین کامل علمی بودن آن ( برخلاف بعضی از زبانها که بر اساس تجربه ساخته شده ) اشاره کرد که البته این ویژگی خودش کم چیزی نیست .
این ویژگی باعث شد این زبان برنامه نویسی در کارهای cuncorrenc و همچنین parallel حرفی واسه گتن داشته باشد.
در گسترش این زبان framework هایی بر اساس این زبان ساخته شد که باعث شد این زبان از حالت pure functional خارج شود تا بتواند مباحث بیشتری از محاسبات را پشتیبانی کند اما این به معنی این نیست که دیگر از حالت قبلی خود پشتیبانی نکند.
یادگیری این زبان برای افراد و جوامع برنامه نویس امروز بسیار سخت و دشوار هست چون یکم مباحث functional ممکنه باعث اذیت افراد بشه چه برای مبتدیان و چه برای حرفه ای ها .
یکی از ویژگی های این زبان میتوان به static type بودن اشاره کرد .
البته برای یادگیری آن سایت این ربان به تنهایی هم کفایت میکنه بصوری که تمام ویژگی های این زبان و یک آموزش مقدماتی برای برنامه نویسان فراهم کرده .
این زبان برای توسعه و پیشرفت آن چهار جامعه برنامه نویسی و conference داره که بشرح زیر :
ICFP
CUFP
haskell workshop ( haskell symposium )
Haskell inplementers workshop
🖥 www.haskell.org
@de_coder
#سرورهایشان
یکی از مراکز محاسباتی IBM .
گفته شده این مرکز برای پردازش دادهای مربوط به کرونا با تمام ظرفیت در اختیار شرکت انرژی و بخش فناوری و علمی کاخ سفید در آمریکا قرار داده شده .
@de_coder
  یکی از مراکز محاسباتی IBM .
گفته شده این مرکز برای پردازش دادهای مربوط به کرونا با تمام ظرفیت در اختیار شرکت انرژی و بخش فناوری و علمی کاخ سفید در آمریکا قرار داده شده .
@de_coder
Forwarded from Debrary (Mohammad Mahdi)
  با سلام خدمت دوستان ، یکی از کتابایی که بسیار توصیه شده در زمینه شبکه این کتاب هستش.
درواقع همان dns server میباشد که با زبان go نوشته و توسعه یافته است اما قابلیتهای بسیار جالب و خوبی داره
  درواقع همان dns server میباشد که با زبان go نوشته و توسعه یافته است اما قابلیتهای بسیار جالب و خوبی داره
Quantum computing :
کامپیوتر هایی که توانایی پردازش کوانتومی دارند به quantum computer معروف هستند .
این شاخه از سال 1980 توسط بنیان گذار آن یعنی پائول بنیوف فعالیت کرده که یک مدل از turing machine را توصیف میکند همچنین این شاخه علمی خود زیر شاخه از علم quantum information science یا QIS میباشد.
بعد ها افرادی نظیر یوری منین و ریچارد فینمن این مدل را توسعه دادند که بر اساس گفتهای آنها ، این کاپیوترها میتوانند فاکتور گیری و یا عملیات های الگریتمی را بسیار سریعتر انجام دهند .
این کامپیوتر پتانسیل حل مشکلات الگریتم RSA را دارند ( مشکل این الگریتم در فاکتور گیری بسیار سنگین کلید برای دیکد کردن متن است ) .
محاسباتی که کامپیوتر های کلاسیک یا معمولی میتوانند انجام دهند ، کامپیوتر های کوانتومی نیز توانایی آن را دارا میباشند و برعکس اون هم به دلیل مسئله مشترک در آنها .
church turing thesis
یکی از تفاوت های این کامپیوتر با کامپیوتر های معمولی در این است که از این نوع کامپیوترها هم به صورت آنالوگ و هم به صورت دیجیتال وجود دارد .
@de_coder
  کامپیوتر هایی که توانایی پردازش کوانتومی دارند به quantum computer معروف هستند .
این شاخه از سال 1980 توسط بنیان گذار آن یعنی پائول بنیوف فعالیت کرده که یک مدل از turing machine را توصیف میکند همچنین این شاخه علمی خود زیر شاخه از علم quantum information science یا QIS میباشد.
بعد ها افرادی نظیر یوری منین و ریچارد فینمن این مدل را توسعه دادند که بر اساس گفتهای آنها ، این کاپیوترها میتوانند فاکتور گیری و یا عملیات های الگریتمی را بسیار سریعتر انجام دهند .
این کامپیوتر پتانسیل حل مشکلات الگریتم RSA را دارند ( مشکل این الگریتم در فاکتور گیری بسیار سنگین کلید برای دیکد کردن متن است ) .
محاسباتی که کامپیوتر های کلاسیک یا معمولی میتوانند انجام دهند ، کامپیوتر های کوانتومی نیز توانایی آن را دارا میباشند و برعکس اون هم به دلیل مسئله مشترک در آنها .
church turing thesis
یکی از تفاوت های این کامپیوتر با کامپیوتر های معمولی در این است که از این نوع کامپیوترها هم به صورت آنالوگ و هم به صورت دیجیتال وجود دارد .
@de_coder
Forwarded from Decoder Courseware (kc)
Media is too big
    VIEW IN TELEGRAM
  فیلم همایش < علوم کامپیوتر نظری: گذشته حال و آینده >
سخنران : دکتر امیر دانشگر
برگزار کننده : انجمن علمی همبند
@decodercw
  سخنران : دکتر امیر دانشگر
برگزار کننده : انجمن علمی همبند
@decodercw
🔺لغو پروژه TON برای تلگرام دردسرساز شد؛ احتمال شکایت سرمایهگذاران از پاول دورف
🔹موسس تلگرام رسما خبر از لغو شبکه بلاکچین TON و رمزارز گرم داده و حالا به نظر میرسد این موضوع برای پاول دورف دردسرساز شود. سرمایهگذاران که ۱.۷ میلیارد برای این پروژه هزینه کردهاند، شاید از تلگرام و دورف شکایت کنند.
یکی از اعضای کمیته پارلمانی سیاستگذاری اطلاعات روسیه، «Yevgeny Lifshiz» به این موضوع اشاره کرده که پاول دورف از نظر تئوری همچنان میتواند تصمیم خود را تغییر دهد و با رعایت تمام پیشنیازها، همچنان این پروژه را ادامه دهد. چنین کاری ممکن است در راستای تجدیدنظر در پروژه «لیبرا» فیسبوک باشد.
برخی متخصصان بر این باورند که تلگرام برای بازپرداخت سرمایهها، احتمالا به آنها بخشی از سهام شرکت را پیشنهاد میکند. مدیریت «Russian Venture Company»، «الکسی باسوف» به این موضوع اشاره کرده که با توجه به مداخله ۱۱ ساعته رگولاتورها برای مسدودسازی TON، سرمایهگذاران در صورت شکایت شاید در موقعیت آسیبپذیری از نظر حقوقی قرار بگیرند.
  🔹موسس تلگرام رسما خبر از لغو شبکه بلاکچین TON و رمزارز گرم داده و حالا به نظر میرسد این موضوع برای پاول دورف دردسرساز شود. سرمایهگذاران که ۱.۷ میلیارد برای این پروژه هزینه کردهاند، شاید از تلگرام و دورف شکایت کنند.
یکی از اعضای کمیته پارلمانی سیاستگذاری اطلاعات روسیه، «Yevgeny Lifshiz» به این موضوع اشاره کرده که پاول دورف از نظر تئوری همچنان میتواند تصمیم خود را تغییر دهد و با رعایت تمام پیشنیازها، همچنان این پروژه را ادامه دهد. چنین کاری ممکن است در راستای تجدیدنظر در پروژه «لیبرا» فیسبوک باشد.
برخی متخصصان بر این باورند که تلگرام برای بازپرداخت سرمایهها، احتمالا به آنها بخشی از سهام شرکت را پیشنهاد میکند. مدیریت «Russian Venture Company»، «الکسی باسوف» به این موضوع اشاره کرده که با توجه به مداخله ۱۱ ساعته رگولاتورها برای مسدودسازی TON، سرمایهگذاران در صورت شکایت شاید در موقعیت آسیبپذیری از نظر حقوقی قرار بگیرند.
  De.coder
RFC @de_coder
خواندن RFC ها کار بسیار سختی هستش و ممکنه شما دچار اشتباه بشید یا ممکنه بعضی از علامت ها را ندانید . در لینک زیر سایت مرجع نحوه خواندن این مقالات را به شما توضیح میدهد . 
https://www.ietf.org/blog/how-read-rfc/
@de_coder
  
  https://www.ietf.org/blog/how-read-rfc/
@de_coder
IETF
  
  How to Read an RFC
  Requests for Comments (RFCs) are how we specify many protocols on the Internet. These documents are alternatively treated as holy texts by developers who parse them for hidden meanings, then shunned as irrelevant because they can’t be understood. This often…
  Optimization of the N-body simulation : 
یکی از مشکلات امروز دانشمندان کامپیوتر یا همان computer science در این است که چگونه میتوان سیستم هایی که از تکنولوژی پردازش موازی استفاده میکنن را جوری بهینه کرد که بتوان چندین شبیه سازی رو اجرا و در زمان مناسب به نتیجه دلخواه که تمرکز آنها بر روی سیستم های اینتل که دارای آخرین تکنولوژی اینتل و بر اساس معماری AVX-512 هستند پیاده کرد
مسئله N-body یکی از مسائل جالب و قابل پیاده سازی و شبیه سازیست .
این مسئله باعث تاثیر بسیاری درضمینه فیزیک نجوم شده است .
و اما n-body چیست ؟
یک ابزار شبیه سازی بسیار قوی برای محاسبه و آزمایش کردن جاذبه و یا تعامل بین ذرات تا از تعداد مشخصی از اجرام که در کهکشان وجود دارند بتوانند یک کهکشان را مطالعه کنند که در این باره میتوان به ماده تاریک هم اشاره کرد . مشکل در آن است که تغیرات یک سیستم N تایی را در طول زمان سپری شده شبیه سازی کرد.
برای پیاده سازی این جور مسائل باید بهینه سازی بسیاری هم در سطح سخت افزار و هم در زمینه نرم افزار که نیاز به دانش بسیار بالایی در این ضمینها دارند .
@de_coder
  یکی از مشکلات امروز دانشمندان کامپیوتر یا همان computer science در این است که چگونه میتوان سیستم هایی که از تکنولوژی پردازش موازی استفاده میکنن را جوری بهینه کرد که بتوان چندین شبیه سازی رو اجرا و در زمان مناسب به نتیجه دلخواه که تمرکز آنها بر روی سیستم های اینتل که دارای آخرین تکنولوژی اینتل و بر اساس معماری AVX-512 هستند پیاده کرد
مسئله N-body یکی از مسائل جالب و قابل پیاده سازی و شبیه سازیست .
این مسئله باعث تاثیر بسیاری درضمینه فیزیک نجوم شده است .
و اما n-body چیست ؟
یک ابزار شبیه سازی بسیار قوی برای محاسبه و آزمایش کردن جاذبه و یا تعامل بین ذرات تا از تعداد مشخصی از اجرام که در کهکشان وجود دارند بتوانند یک کهکشان را مطالعه کنند که در این باره میتوان به ماده تاریک هم اشاره کرد . مشکل در آن است که تغیرات یک سیستم N تایی را در طول زمان سپری شده شبیه سازی کرد.
برای پیاده سازی این جور مسائل باید بهینه سازی بسیاری هم در سطح سخت افزار و هم در زمینه نرم افزار که نیاز به دانش بسیار بالایی در این ضمینها دارند .
@de_coder
دوستان شبکه ای حواس تون به این موردم باشه : 👇
یک باگ امنیتی خطرناک در سرویس DNS ویندوز سرور از نسخه 2003 الی 2019 کشف شده است با درجه اهمیت 10 که به هکرها دسترسی بالا به سرور را میدهد شناسه این آسیب پذیری
CVR-2020-1350
می باشد
مدیران و ادمین های شبکه آگاه باشند که هرچه سریعتر بروزرسانی مذکور را سریعا انجام دهند
فقط دست از سر این ویندوز بردارید تو رو خدا
  یک باگ امنیتی خطرناک در سرویس DNS ویندوز سرور از نسخه 2003 الی 2019 کشف شده است با درجه اهمیت 10 که به هکرها دسترسی بالا به سرور را میدهد شناسه این آسیب پذیری
CVR-2020-1350
می باشد
مدیران و ادمین های شبکه آگاه باشند که هرچه سریعتر بروزرسانی مذکور را سریعا انجام دهند
فقط دست از سر این ویندوز بردارید تو رو خدا
#update
🔴 هک شدن حساب توییر اشخاص زیر تاکنون تایید شده است:
🔸 چانگپنگ ژائو، مدیرعامل بایننس
🔸 صرافی بایننس
🔸 ایلان ماسک
🔸 بیل گیتس
🔸 جاستین سان، خالق ترون
🔸صرافی جمینی
🔸صرافی کوکوین
🔸چارلی لی، خالق لایت کوین
🔸صرافی بیتفینکس
🔸شرکت ریپل
🔸اوبر
🔸اپل
🔸کانیه وست
🔸خبرگزاری کوین دسک
🔸جو بایدن، رقیب انتخاباتی ترامپ
🔸وارن بافت
🔸باراک اوباما
🔸جف بزوس
🔸فلوید میودر
🔸شرکت اسکوئر
🔸ویز خلیفا، رپر
🔸چارلی شرم
🔸آرتور هیس، مدیرعامل بیتمکس
در تمام این حسابها یک پست فریبکارانه برای کلاهبرداری و سرقت ارزهای دیجیتال افراد ناآگاه ارسال شده است. در این پست برای جذب قربانی نوشته شده است که افراد در صورت ارسال ارز دیجیتال (بیشتر بیت کوین) به آدرس اعلامشده، بهعنوان جایزه پاداش دریافت خواهند کرد.
البته پستها خیلی زود از سوی توییتر پاک میشوند، اما فقط چند ثانیه کافی است تا یک کاربر گول بخورد و به کیف پول هکر بیت کوین ارسال کند.
@de_coder
  🔴 هک شدن حساب توییر اشخاص زیر تاکنون تایید شده است:
🔸 چانگپنگ ژائو، مدیرعامل بایننس
🔸 صرافی بایننس
🔸 ایلان ماسک
🔸 بیل گیتس
🔸 جاستین سان، خالق ترون
🔸صرافی جمینی
🔸صرافی کوکوین
🔸چارلی لی، خالق لایت کوین
🔸صرافی بیتفینکس
🔸شرکت ریپل
🔸اوبر
🔸اپل
🔸کانیه وست
🔸خبرگزاری کوین دسک
🔸جو بایدن، رقیب انتخاباتی ترامپ
🔸وارن بافت
🔸باراک اوباما
🔸جف بزوس
🔸فلوید میودر
🔸شرکت اسکوئر
🔸ویز خلیفا، رپر
🔸چارلی شرم
🔸آرتور هیس، مدیرعامل بیتمکس
در تمام این حسابها یک پست فریبکارانه برای کلاهبرداری و سرقت ارزهای دیجیتال افراد ناآگاه ارسال شده است. در این پست برای جذب قربانی نوشته شده است که افراد در صورت ارسال ارز دیجیتال (بیشتر بیت کوین) به آدرس اعلامشده، بهعنوان جایزه پاداش دریافت خواهند کرد.
البته پستها خیلی زود از سوی توییتر پاک میشوند، اما فقط چند ثانیه کافی است تا یک کاربر گول بخورد و به کیف پول هکر بیت کوین ارسال کند.
@de_coder
