Forwarded from IRCF | اینترنت آزاد برای همه
نسخهی ۳ از پنل BPB، برای ساخت کانفیگ Vless/Trojan/Warp بر پایه ورکر منتشر شد.
در ایننسخه مبهمسازی کد با تنظیمات جدیدی صورت گرفته و بخشهایی از کد با ساختار جدید بازنویسی شده، تا بهسادگی توسط کلودفلر شناسایی نشه ...
👉 github.com/bia-pain-bache/BPB-Worker-Panel
🔍 ircf.space/software
@ircfspace
در ایننسخه مبهمسازی کد با تنظیمات جدیدی صورت گرفته و بخشهایی از کد با ساختار جدید بازنویسی شده، تا بهسادگی توسط کلودفلر شناسایی نشه ...
👉 github.com/bia-pain-bache/BPB-Worker-Panel
🔍 ircf.space/software
@ircfspace
Forwarded from Sudoer (Morteza Bashsiz)
درود دوستان
اینو یکی از بچهها معرفی کرد
من خودم ندیده بودم
هتزنر آلمان رو بصورت سه بعدی ببینید
https://www.hetzner.com/unternehmen/360-tour/
اینو یکی از بچهها معرفی کرد
من خودم ندیده بودم
هتزنر آلمان رو بصورت سه بعدی ببینید
https://www.hetzner.com/unternehmen/360-tour/
Hetzner
Hetzner Datacenter 360° Tour
Interactive 360° tour through the data center in Falkenstein of Hetzner Online GmbH. Get an insight into the ultra-modern infrastructure and take a look behind the scenes at Hetzner Online.
Forwarded from Geek Alerts
تصاویر ماهوارهای آتیشسوزیهای لسآنجلس رو میبینید.
تا اینجا ۱۰ کشته داشته و ۱۸۰ هزار نفر مجبور به تخلیه خونهاشون شدن. ۲۰۰ هزار نفر دیگه هم هشدار تخلیه گرفتن، یعنی ممکنه بهزودی مجبور بشن خونههاشون رو ترک کنن. ۱۰ هزار ساختمان آتیش گرفته و ۶۰ هزار ساختمان دیگه در خطر هستن.
خسارت بیمه پیشبینی شده ۸ میلیارد دلار هست چون خونهها ارزش بالایی داشتن.
یه نفر رو به ظن شروع آتیشسوزی دستگیر کردن.
برخی از سلبریتیها مثل لیتون میستر، آدام برودی، جیمز وودز و پاریس هیلتون هم خانههاشون رو از دست دادن.
آتشسوزی در ۵ نقطه هست.
۱. آتشسوزی Palisades: اولین آتشسوزی که سهشنبه شروع شد و بزرگترین آتش منطقهست. نزدیک به ۲۰ هزار هکتار رو سوزونده و تا پنجشنبه شب فقط ۶٪ مهار شده.
۲. آتشسوزی Eaton: در شمال لسآنجلس فعاله و نزدیک به ۱۴ هزار هکتار رو سوزونده و هنوز هیچیش مهار نشده.
۳. آتشسوزی Hurst: که ۶۷۰ هکتار رو سوزونده، اما آتشنشانها دارن اون رو کنترل میکنن.
۴. آتشسوزی Lidia: در منطقهی کوهستانی شروع شد و ۳۵۰ هکتار رو سوزونده. ۶۰٪ مهار شده.
۵. آتشسوزی Kenneth: این آتش جدید پنجشنبه در مرز لسآنجلس و ونتورا شروع شد و تا الان نزدیک به ۱۰۰۰ هکتار رو سوزونده.
کارشناسها علت آتیشسوزی رو خشکسالی شدید، تغییرهای اقلیمی زیاد و بادهای قوی این چند روز میدونن.
bbc
@geekalerts
تا اینجا ۱۰ کشته داشته و ۱۸۰ هزار نفر مجبور به تخلیه خونهاشون شدن. ۲۰۰ هزار نفر دیگه هم هشدار تخلیه گرفتن، یعنی ممکنه بهزودی مجبور بشن خونههاشون رو ترک کنن. ۱۰ هزار ساختمان آتیش گرفته و ۶۰ هزار ساختمان دیگه در خطر هستن.
خسارت بیمه پیشبینی شده ۸ میلیارد دلار هست چون خونهها ارزش بالایی داشتن.
یه نفر رو به ظن شروع آتیشسوزی دستگیر کردن.
برخی از سلبریتیها مثل لیتون میستر، آدام برودی، جیمز وودز و پاریس هیلتون هم خانههاشون رو از دست دادن.
آتشسوزی در ۵ نقطه هست.
۱. آتشسوزی Palisades: اولین آتشسوزی که سهشنبه شروع شد و بزرگترین آتش منطقهست. نزدیک به ۲۰ هزار هکتار رو سوزونده و تا پنجشنبه شب فقط ۶٪ مهار شده.
۲. آتشسوزی Eaton: در شمال لسآنجلس فعاله و نزدیک به ۱۴ هزار هکتار رو سوزونده و هنوز هیچیش مهار نشده.
۳. آتشسوزی Hurst: که ۶۷۰ هکتار رو سوزونده، اما آتشنشانها دارن اون رو کنترل میکنن.
۴. آتشسوزی Lidia: در منطقهی کوهستانی شروع شد و ۳۵۰ هکتار رو سوزونده. ۶۰٪ مهار شده.
۵. آتشسوزی Kenneth: این آتش جدید پنجشنبه در مرز لسآنجلس و ونتورا شروع شد و تا الان نزدیک به ۱۰۰۰ هکتار رو سوزونده.
کارشناسها علت آتیشسوزی رو خشکسالی شدید، تغییرهای اقلیمی زیاد و بادهای قوی این چند روز میدونن.
bbc
@geekalerts
Forwarded from Laravel News
GGH is a Lightweight CLI to Recall Your SSH Sessions https://laravel-news.com/ggh-is-a-lightweight-cli-to-recall-your-ssh-sessions
Laravel News
GGH is a Lightweight CLI to Recall Your SSH Sessions - Laravel News
GGH is a small CLI tool that recalls your SSH sessions and searches your SSH configuration file.
Forwarded from Linuxor ?
یه نفر توییت زده :
اگه میتونی توضیح بدی این فانکشن C چطور کار میکنه، بهتره کمی از کامپیوتر فاصله بگیری و بیرون بری و هوای تازهای بخوری.
در واقع این کد داره از روش داف Duff استفاده میکنه روش داف یکی از کلک های برنامهنویسیه که برای سرعت بخشیدن به یه زنجیره از دستورهای پشت سر هم استفاده میشه.
فرض کنین یه آرایه دارین توش 100 تا عضو داره میخواین بریزینش توی یه آرایه دیگه، یه حلقه میشه نوشت اما این حلقه کند کار میکنه چون هر بار که یکی میریزه میره شرط حلقه رو چک میکنه، بجای یکی یکی فرض کنین 8 تا 8 تا بریزیم که کمتر شرط حلقه چک بشه، مشکل این اینه که 100 به 8 بخش پذیر نیست و اخرین اجرای حلقه که کمتر از 8 تا مونده به مشکل میخوره، پس میایم یه کاری میکنیم توی اولین اجرا با Switch میپریم وسط حلقه که اون اخرین اجرای حلقه هم جور در بیاد.
کد توییت هم در واقع داره از همین روش استفاده میکنه.
@Linuxor
اگه میتونی توضیح بدی این فانکشن C چطور کار میکنه، بهتره کمی از کامپیوتر فاصله بگیری و بیرون بری و هوای تازهای بخوری.
در واقع این کد داره از روش داف Duff استفاده میکنه روش داف یکی از کلک های برنامهنویسیه که برای سرعت بخشیدن به یه زنجیره از دستورهای پشت سر هم استفاده میشه.
فرض کنین یه آرایه دارین توش 100 تا عضو داره میخواین بریزینش توی یه آرایه دیگه، یه حلقه میشه نوشت اما این حلقه کند کار میکنه چون هر بار که یکی میریزه میره شرط حلقه رو چک میکنه، بجای یکی یکی فرض کنین 8 تا 8 تا بریزیم که کمتر شرط حلقه چک بشه، مشکل این اینه که 100 به 8 بخش پذیر نیست و اخرین اجرای حلقه که کمتر از 8 تا مونده به مشکل میخوره، پس میایم یه کاری میکنیم توی اولین اجرا با Switch میپریم وسط حلقه که اون اخرین اجرای حلقه هم جور در بیاد.
کد توییت هم در واقع داره از همین روش استفاده میکنه.
@Linuxor
Forwarded from جادی | Jadi
بحث دکوریتورها از بحث های نسبتا پیشرفته برنامه نویسی است و توی دوره جدید پایتون که دارم ضبط می کنم و احتمالا یکی دو ماه دیگه با مکتبخونه منتشر می شه پوشش دادم. بعد فکر کردم خوبه این تیکه رو انگلیسی هم ضبط کنم و نتیجه اش شد ویدئوی زیر. گفتم اینجا هم بذارم تا هم به نفع زبان انگلیسی مون بشه و هم زودتر از دوره مفهوم دکوریتورها رو (با استفاده از پایتون) خوب درک کنیم و شاید حتی خودمون هم بنویسیم.
Struggling with #Python decorators? 🐍 In this short video, I’ll simplify the concept, show why they’re useful, and how to create one step by step. Watch and start writing your own decorators today! 🚀 #Programming
https://youtu.be/0B01tgso7qw
Struggling with #Python decorators? 🐍 In this short video, I’ll simplify the concept, show why they’re useful, and how to create one step by step. Watch and start writing your own decorators today! 🚀 #Programming
https://youtu.be/0B01tgso7qw
YouTube
Master Python Decorators: A Hands-On Programming Guide
Confused about Python decorators? In this hands-on session, I’ll break down what decorators are, why they’re so powerful, and how you can use them in your own projects. From understanding the basics to writing your own custom decorators, this video is packed…
Forwarded from a pessimistic researcher (Kc)
“Sir, you are at risk of winning the argument.”
برای مرحوم E. Allen Emerson
—————————————————————
دو روز بعد اینکه تصمیم گرفتم در اینجا رو تخته کنم، یعنی ۱۶ اکتبر، توی توییتر دیدم که آقای Rajeev Alur اعلام کردند که متأسفانه آقای E. Allen Emerson فوت کردند. یادم میاد که روز خیلی تلخی بود اون روز. من از روزی که به شکل جدی وارد آکادمیک شدم همواره مشغول کار روی Model Checking بودم و حالا میبینم که دومین نفر از سه نفری که شروع کنندهی این داستان بودن فوت کردند. یادمه هفته بعدش یعنی ۲۳ اکتبر که روپاک سر کلاس Software Verification مبحث Enumerative Model Checking رو تموم کرد، درب ماژیک رو بست و بعد از چند ثانیه سکوت همراه با افسوس رو به ما کرد و گفت که جا داره یادی کنیم از Emerson که متأسفانه هفته پیش فوت کردند. واقعا از دست دادن ایشون یک افسوس بزرگ برای حوزهی ما خواهد بود، من در کنفرانسهای زیادی ایشون رو دیدم و باهاشون صحبت کردم و واقعا نمیدونم چطور بگم که چقدر انسان دوست داشتنیای بودند.
دوست داشتم همون روزی که این خبر رو فهمیدم بیام اینجا و چیزی بنویسم. همونطور که حدس میزدم هیچ یک از دوستان در کانالهاشون سخن و اشارهای به این خبر نداشتند و این غم لابهلای خیلی از سخنها و خبرهای شاید مهمتر محو شد. تا اینکه امروز یک سر ستون در والیوم ۶۷ ام مجلهی CACM که ۵ روز پیش منتشر شد خوندم که یادوارهی آقای Emerson بود و بهانهای دستم داد تا این خبر تلخ رو غبار روبی کنم.
آقای Allen Emerson زمانی که در Harvard دکتریشون رو با آقای Edmund Clarke شروع کردند تصمیم گرفتن که تز دکتریشون رو معطوف کنند به Verification ویژگیهای فرمالشده روی سیستمهای Finite-state. تقریبا یک روز که ایشون داشتن با Clarke در حیاط محوطهی Harvard قدم میزدن، اصطلاح Model Checking رو خلق کردند. ۲۵ سال بعد به پاس تلاشهای ایشون و آقای Clarke و آقای Joseph Sifakis برای خلق و توسعهی Model Checking و کاربرد موثر این تکنیک در Verification نرمافزارها و سختافزارها، به هر سهی این عزیزان جایزهی Turing Award اهدا شد. آقای Clarke متأسفانه در سال ۲۰۱۹ بر اثر ابتلا به بیماری کرونا فوت کردند و حالا هم نوبت به اولین دانشجوی دکتریشون رسید. شاید حالا که از آقای Clarke یادی کردیم، اشارهای کنیم به پستی با عنوان "صفحات پایانی ۳".
آقای Emerson دو منبع مهم الهامشون برای توسعهی مدل چکینگ رو مقالهی Proof of a Program : Find نوشتهی آقای Tony Hoare و یک سخنرانی از آقای Zohar Manna با عنوان Fixpoints and the Tarski-Knaster Theorem عنوان کردند. حالا که اسم این بزرگواران رو آوردم، بد نیست که ارجاع بدم شما رو به دو پست "ارمغان پیری" و "زهر منا".
آقای Emerson بعد از اتمام دکتریشون، وارد دپارتمان CS دانشگاه TU Austin در تگزاس شدند. جایی که آقای Edsger Dijkstra هم حضور داشتند و یکی از مخالفین سر سخت Model Checking بودند. حالا که یادی از دایکسترا شد همینجا شما رو ارجاع میدم به خوندن پست "واحد اندازهگیری غرور : نانو Dijkstra" در کانال. او معتقد بود که برنامه نویسها خودشون باید در مورد درستی برنامهشون reasoning کنند و نباید روی ابزارهای Automated Program Checker اتکا کنند. سال ۱۹۸۵ آقای Emerson مقالهای رو با عنوان Modalities for model checking (extended abstract): branching time strikes back در کنفرانس POPL منتشر میکنند. آقای Dijkstra در اون سال در یکی از جلسات معروف Austin Tuesday Afternoon Club شون تصمیم میگیرند که به بررسی این مقاله بپردازن. همینجا شما رو ارجاع میدم به خواندن پستی که قدیما با عنوان "کلوب سه شنبه ها، بعد از ظهر" منتشر کردم.
توی اون جلسه آقای دایکسترا شروع میکنند به نقد این مقاله و نقدشون رو در قالب یک یادداشت تند برای آقای Emerson مینویسند، یک هفته بعد آقای Emerson به عنوان جوابیه یک یادداشت برای آقای دایکسترا مینویسند و تمام حملات آقای دایکسترا رو جواب میدن. آقای دایکسترا در نهایت میپذیرند که نقدهاشون نادرست بوده و با آقای Emerson دوست صمیمی میشن. آقای Emerson میگن که آقای دایکسترا واقعا به مفید بودن Model Checking پی بردند و با اون غرور معروفی که داشتند یه روز به آقای Emerson میگن :
“Sir, you are at risk of winning the argument.”
خیلی برام سخته که میبینم دارم تو حوزهای کار میکنم که اکثر pioneer هاش دیگه بین ما نیستن. از بین تمام افرادی که توی این پست ازشون یاد کردم فقط دو سه نفرشون زندهاند. امیدوارم قبل از اینکه نوبت به من هم برسه بتونم روزی به هدفی که در ابتدای دکتری برای خودم تعیین کردم برسم، Unlocking Software Model Checking.
با این شعر از سایه خاتمه بدیم.
نآمدگان و رفتگان از دو کرانهی زمان
سوی تو میدوند هان! ای تو همیشه در میان
برای مرحوم E. Allen Emerson
—————————————————————
دو روز بعد اینکه تصمیم گرفتم در اینجا رو تخته کنم، یعنی ۱۶ اکتبر، توی توییتر دیدم که آقای Rajeev Alur اعلام کردند که متأسفانه آقای E. Allen Emerson فوت کردند. یادم میاد که روز خیلی تلخی بود اون روز. من از روزی که به شکل جدی وارد آکادمیک شدم همواره مشغول کار روی Model Checking بودم و حالا میبینم که دومین نفر از سه نفری که شروع کنندهی این داستان بودن فوت کردند. یادمه هفته بعدش یعنی ۲۳ اکتبر که روپاک سر کلاس Software Verification مبحث Enumerative Model Checking رو تموم کرد، درب ماژیک رو بست و بعد از چند ثانیه سکوت همراه با افسوس رو به ما کرد و گفت که جا داره یادی کنیم از Emerson که متأسفانه هفته پیش فوت کردند. واقعا از دست دادن ایشون یک افسوس بزرگ برای حوزهی ما خواهد بود، من در کنفرانسهای زیادی ایشون رو دیدم و باهاشون صحبت کردم و واقعا نمیدونم چطور بگم که چقدر انسان دوست داشتنیای بودند.
دوست داشتم همون روزی که این خبر رو فهمیدم بیام اینجا و چیزی بنویسم. همونطور که حدس میزدم هیچ یک از دوستان در کانالهاشون سخن و اشارهای به این خبر نداشتند و این غم لابهلای خیلی از سخنها و خبرهای شاید مهمتر محو شد. تا اینکه امروز یک سر ستون در والیوم ۶۷ ام مجلهی CACM که ۵ روز پیش منتشر شد خوندم که یادوارهی آقای Emerson بود و بهانهای دستم داد تا این خبر تلخ رو غبار روبی کنم.
آقای Allen Emerson زمانی که در Harvard دکتریشون رو با آقای Edmund Clarke شروع کردند تصمیم گرفتن که تز دکتریشون رو معطوف کنند به Verification ویژگیهای فرمالشده روی سیستمهای Finite-state. تقریبا یک روز که ایشون داشتن با Clarke در حیاط محوطهی Harvard قدم میزدن، اصطلاح Model Checking رو خلق کردند. ۲۵ سال بعد به پاس تلاشهای ایشون و آقای Clarke و آقای Joseph Sifakis برای خلق و توسعهی Model Checking و کاربرد موثر این تکنیک در Verification نرمافزارها و سختافزارها، به هر سهی این عزیزان جایزهی Turing Award اهدا شد. آقای Clarke متأسفانه در سال ۲۰۱۹ بر اثر ابتلا به بیماری کرونا فوت کردند و حالا هم نوبت به اولین دانشجوی دکتریشون رسید. شاید حالا که از آقای Clarke یادی کردیم، اشارهای کنیم به پستی با عنوان "صفحات پایانی ۳".
آقای Emerson دو منبع مهم الهامشون برای توسعهی مدل چکینگ رو مقالهی Proof of a Program : Find نوشتهی آقای Tony Hoare و یک سخنرانی از آقای Zohar Manna با عنوان Fixpoints and the Tarski-Knaster Theorem عنوان کردند. حالا که اسم این بزرگواران رو آوردم، بد نیست که ارجاع بدم شما رو به دو پست "ارمغان پیری" و "زهر منا".
آقای Emerson بعد از اتمام دکتریشون، وارد دپارتمان CS دانشگاه TU Austin در تگزاس شدند. جایی که آقای Edsger Dijkstra هم حضور داشتند و یکی از مخالفین سر سخت Model Checking بودند. حالا که یادی از دایکسترا شد همینجا شما رو ارجاع میدم به خوندن پست "واحد اندازهگیری غرور : نانو Dijkstra" در کانال. او معتقد بود که برنامه نویسها خودشون باید در مورد درستی برنامهشون reasoning کنند و نباید روی ابزارهای Automated Program Checker اتکا کنند. سال ۱۹۸۵ آقای Emerson مقالهای رو با عنوان Modalities for model checking (extended abstract): branching time strikes back در کنفرانس POPL منتشر میکنند. آقای Dijkstra در اون سال در یکی از جلسات معروف Austin Tuesday Afternoon Club شون تصمیم میگیرند که به بررسی این مقاله بپردازن. همینجا شما رو ارجاع میدم به خواندن پستی که قدیما با عنوان "کلوب سه شنبه ها، بعد از ظهر" منتشر کردم.
توی اون جلسه آقای دایکسترا شروع میکنند به نقد این مقاله و نقدشون رو در قالب یک یادداشت تند برای آقای Emerson مینویسند، یک هفته بعد آقای Emerson به عنوان جوابیه یک یادداشت برای آقای دایکسترا مینویسند و تمام حملات آقای دایکسترا رو جواب میدن. آقای دایکسترا در نهایت میپذیرند که نقدهاشون نادرست بوده و با آقای Emerson دوست صمیمی میشن. آقای Emerson میگن که آقای دایکسترا واقعا به مفید بودن Model Checking پی بردند و با اون غرور معروفی که داشتند یه روز به آقای Emerson میگن :
“Sir, you are at risk of winning the argument.”
خیلی برام سخته که میبینم دارم تو حوزهای کار میکنم که اکثر pioneer هاش دیگه بین ما نیستن. از بین تمام افرادی که توی این پست ازشون یاد کردم فقط دو سه نفرشون زندهاند. امیدوارم قبل از اینکه نوبت به من هم برسه بتونم روزی به هدفی که در ابتدای دکتری برای خودم تعیین کردم برسم، Unlocking Software Model Checking.
با این شعر از سایه خاتمه بدیم.
نآمدگان و رفتگان از دو کرانهی زمان
سوی تو میدوند هان! ای تو همیشه در میان
Forwarded from a pessimistic researcher (Kc)
آخرین ورژن منتشر شدهی JMC طبق benchmark هامون میتونه یک برنامهی مالتیترد Java که تعداد equivalent class های Execution trace هاش ۲۵۰ هزارتاست رو توی ۱۵ دقیقه Model Check کنه. دو ماهه که با شیرینیدی refactoring و optimization این ابزار رو شروع کردیم و چیزی به انتشار نهاییش نمونده. توی نسخهی جدید این زمان به کمتر از ۵ ثانیه میرسه و این یعنی یک قدم دیگه نزدیک شدیم به آرمانمون، Unlocking Software Model Checking :)
GitHub
GitHub - mpi-sws-rse/jmc: jmc: Java Model Checker
jmc: Java Model Checker. Contribute to mpi-sws-rse/jmc development by creating an account on GitHub.
Forwarded from نوشتههای ترمینالی
If I was stranded on an island and the only way to get off the island was to make a pretty UI, I’d die there.
- Linus Torvalds
https://blog.ted.com/the-quotable-linus-torvalds-live-onstage-at-ted/
- Linus Torvalds
https://blog.ted.com/the-quotable-linus-torvalds-live-onstage-at-ted/
Ted
The quotable Linus Torvalds, live onstage at TED | TED Blog
I am not a visionary. I'm an engineer. [As a kid] I was into computers, I was into math, I was into physics. I don't think I was particularly exceptional. My sister said my biggest exceptional quality was that I would not let go. Q.
Forwarded from 🎄 یک برنامه نویس تنبل ( MΞ)
🔸territorial
یک بازی جذاب پیکسی سبک و انلاین که میتونه شمارو معتاد کنه
قلمرو خودتون گسترش میدید-متحد میشید-کمک میگیرید و میفرستید-حمله میکنید و... هم تحت وب هم اندروید هم ios
https://territorial.io
#معرفی
@TheRaymondDev
یک بازی جذاب پیکسی سبک و انلاین که میتونه شمارو معتاد کنه
قلمرو خودتون گسترش میدید-متحد میشید-کمک میگیرید و میفرستید-حمله میکنید و... هم تحت وب هم اندروید هم ios
https://territorial.io
#معرفی
@TheRaymondDev
Forwarded from CleverDevs (Mammad)
دوستان اگر در مورد آیندتون جدی هستید و میخواید موفق بشید، به نظرم این کانال میتونه کمکتون بکنه، از دستش ندید 👇🏻:
@hamidreza01
@hamidreza01
Forwarded from Decrypt
Only 0.4% of Pump.fun Traders Have Made More Than $10,000
Pump.fun has made just 294 millionaires so far, with just 0.4% of wallets profiting $10,000 on meme coins.
Pump.fun has made just 294 millionaires so far, with just 0.4% of wallets profiting $10,000 on meme coins.
Forwarded from محتوای آزاد سهراب
آلفا پنجم از میزکار کازمیک عرضه شد.
https://blog.system76.com/post/cosmic-alpha-5-released
@SohrabContents
https://blog.system76.com/post/cosmic-alpha-5-released
@SohrabContents
Forwarded from Geek Alerts
امروز، ۱۰م ژانویه، سالروز تولد دانلد کَنوت است.
دانلد اروین کنوت(Donald Ervin Knuth) متولد ۱۰ ژانویه ۱۹۳۸(امروز ۸۷ ساله شد)، دانشمند علوم رایانه، برنده جایزه تورینگ و استاد افتخاری در دانشگاه استنفورد آمریکا است. او در سن ۳۶ سالگی برنده جایزه تورینگ شد که اینطور او رو تبدیل به جوانترین شخصی کرد که تا به حال به این جایزه که معادل نوبل در علوم کامپیوتر است، رسیدهست. همچنین او برنده جایزههای دیگری همچون جایزه جان فون نویمان، جایزه کیوتو و نشان ملی علوم است.
شهرت او عمدتا مربوط به نویسندگی مجموعه کتابهای The art of computer programming است که یک سری کتاب محبوب در حوزه علوم کامپیوتر است.
او عملاً پایهگذار رشته آنالیز الگوریتمها است و سهم فراوانی در گسترش مبانی نظری شاخههای گوناگون علوم رایانه داشته است. دانلد همچنین طراح سیستم TeX و سامانه طراحی حروف Metafont نیز هست.
https://en.wikipedia.org/wiki/Donald_Knuth
hadi @geekalerts
دانلد اروین کنوت(Donald Ervin Knuth) متولد ۱۰ ژانویه ۱۹۳۸(امروز ۸۷ ساله شد)، دانشمند علوم رایانه، برنده جایزه تورینگ و استاد افتخاری در دانشگاه استنفورد آمریکا است. او در سن ۳۶ سالگی برنده جایزه تورینگ شد که اینطور او رو تبدیل به جوانترین شخصی کرد که تا به حال به این جایزه که معادل نوبل در علوم کامپیوتر است، رسیدهست. همچنین او برنده جایزههای دیگری همچون جایزه جان فون نویمان، جایزه کیوتو و نشان ملی علوم است.
شهرت او عمدتا مربوط به نویسندگی مجموعه کتابهای The art of computer programming است که یک سری کتاب محبوب در حوزه علوم کامپیوتر است.
او عملاً پایهگذار رشته آنالیز الگوریتمها است و سهم فراوانی در گسترش مبانی نظری شاخههای گوناگون علوم رایانه داشته است. دانلد همچنین طراح سیستم TeX و سامانه طراحی حروف Metafont نیز هست.
https://en.wikipedia.org/wiki/Donald_Knuth
hadi @geekalerts
Forwarded from توسعه دهندگان
cleancode.pdf
11.2 MB
Forwarded from code2 - تکنولوژی و فناوری (Mahdi Taleghani)
Forwarded from Linuxor ?
توی کامپیوتر ما یه trade-off بین زمان و حافظه داریم، یعنی باید یکیش رو بر اون یکی ترجیح بدیم مثلا میتونیم بجای اینکه فایل رو مستقیم روی دیسک ذخیره کنیم اونو فشرده کنیم و ذخیره کنیم که فضای کمتری بگیره اما دسترسی به فایل زمان بر تر میشه.
این trade-off به صورت بیولوژیکی توی حیوانات هم وجود داره مثلا گربه از قبل روی DNA و سیستم عصبیشون برنامه ریزی شده که بتونه سریع واکنش نشون بده و نیازی به محاسبه و تصمیمگیری کردن توی اون لحظه نداشته باشه اما انسان برای رسیدن به عکس العمل سریع باید محاسبه و تجزیه و تحلیل انجام بده.
@Linuxor
این trade-off به صورت بیولوژیکی توی حیوانات هم وجود داره مثلا گربه از قبل روی DNA و سیستم عصبیشون برنامه ریزی شده که بتونه سریع واکنش نشون بده و نیازی به محاسبه و تصمیمگیری کردن توی اون لحظه نداشته باشه اما انسان برای رسیدن به عکس العمل سریع باید محاسبه و تجزیه و تحلیل انجام بده.
@Linuxor
Forwarded from Linuxor ?