برای Open closed principle این دو تا مطلب جالب بود‌.

https://www.pythontutorial.net/python-oop/python-open-closed-principle/

https://stackoverflow.com/questions/59016/what-is-the-meaning-and-reasoning-behind-the-open-closed-principle

اگر میخواید به طور موقت فایل هیستوری zshتون عوض بشه می‌تونید از این دستور استفاده کنید:
fc -p /path/to/new_history

حالا کاربردش چیه؟
۱- میخواین اسکیرن رو share کنید و historyتون توی auto complete ها نشون داده نشه.
۲- یه سری دستور میخواید بزنید که هیستوریشون توی هیستوری معمولیتون قرار نگیره. مثلا یه workflow جداگانه برای خودتون داشته باشید. البته برای غیر فعال کردن هیستوری راه های دیگه ای هست.

https://unix.stackexchange.com/a/267034

سلام، وقت بخیر
پژوهشی در دانشکده روانشناسی دانشگاه شهید بهشتی تحت نظارت دکتر ذبیح زاده در حال انجام است.
خواهشمندیم حدود ۱۵ دقیقه از زمان خود را برای مشارکت در این پژوهش اختصاص دهید و به ما در پیشبرد آن کمک کنید. پیشاپیش صمیمانه از همکاری شما سپاسگزاریم.

لینک پرسشنامه:
https://survey.porsline.ir/s/Kuxda5b

خواهش میکنم که وقت بذارید و انجام بدید. خیلی ممنون. :)

"هنوز هم Old School زنده‌است، یا چرا ماشین لرنینگ بفهمیم و یا چرا P=NP خوبه"
———————————————————

ما دهه هفتادیا و حتی ده‌های پیش از ما خیلی با بلاگ‌ها آشناتر و دوست‌ترند. اون موقع‌ها شبکه‌های اجتماعی مثل الان feature-rich نبود اگر من می‌خواستم فعالیتی که توی این کانال داشتم رو انجام می‌دادم، بهترین کار این بود که یه بلاگ بزنم تحت عنوان "kc و شطحیات ناگهانیش" و از این RSS ها می‌ذاشتم تا هر پست و آپدیتی که توی بلاگم رخ می‌داد رو بهتون از طریق یک App تحت Desktop و یا از طریق ایمیل اطلاع بده. منتهی خب دیگه یه جورایی بساط این بازیا جمع شده و روش‌های Old School به قول معروف گفتنی محبوبیت نداره. منتهی من میشناسم آدم‌های قدیمی که با همون روش‌های قدیمی کار خودشون رو انجام می‌دن. نمی‌دونم از نظر روان‌شناسی به این مدل آدما چی میگن ولی کلا یه سریا جزو یه دسته‌ای قرار می‌گیرن که خیلی سخت با آپدیت‌های تکنولوژی خو می‌گیرن. مثلا خود من تا همین پارسال رمز دوم روی کارتم نداشتم و اگر خدایی نکرده مجبور می‌شدم از درگاه اینترنتی برای پرداخت پول استفاده کنم، می‌رفتم دم عابر بانک و پول رو کارت به کارت می‌کردم برای یکی از دوستام که رمز دوم داره تا اون به جای من پرداخت انجام بده. بماند که من تا آخر دوره‌ی کارشناسیم حتی از کارت عابر هم استفاده نمی‌کردم و همیشه یه گونی پول تو جیبم بود :)))) همین الانشم بخوام پول کارت به کارت کنم باید برم عابر بانک و از این اپلیکیشن‌های ندارم :)))

بگذریم. یه blog هست که توسط دو تا استاد دانشگاه Computational Complexity کار اداره میشه که برخلاف خیلی از Blog ها همواره آپدیت میشه و برامون می‌نویسن. آقای Lance Fortnow و آقای William Gasarch هدایت این Blog رو برعهده دارن. برای اینکه ترغیب‌تون کنم این بلاگ رو دنبال کنید یکی از پست‌هاشون رو اینجا تشریح می‌کنم.

آقای Fortnow شش سال پیش توی بلاگ‌شون یک پستی گذاشتن که اونجا از اهمیت درک نحوه‌ی کارکرد الگوریتم‌های ماشین لرنینگ صحبت می‌کنن. پنج شش تا مورد بیان می‌کنن که نشون میده اگر نفهمیم به‌طور Internally ماشین لرنینگ چطور کار میکنه، اوضاع بیخ پیدا میکنه. البته نظر آقای Fortnow خیلی مهم و محترمه ولی خب یه رویکر میتونه این باشه که کلا استفاده از ماشین لرنینگ رو ایگنور کنیم که دیگه لازمم نباشه بفهمیم داخلش چه خبره :))) بنابر انتفای مقدم کار درستی هم می‌کنیم :)))
آخر اون پست قضیه رو ربط میدن به P=NP و ادعا میکنن اگر این تساوی اثبات بشه، کار خیلی سخت تر میشه. چرا که اگر ما یک الگوریتم خیلی سریع برای یک مسئله‌ی NP-complete داشته باشیم، می‌تونیم ازش برای پیدا کردن کوچکترین مدار ممکن برای حل مسئله‌ی فروشنده‌ی دوره‌گرد استفاده کنیم بدون اینکه هیچ سرنخی داشته باشیم نسبت به این امر که چرا اون مدار درست کار می‌کنه!
همون موقع زیر پست‌شون آقای Richard Ryan Williams که استاد دانشگاه MIT هستند و h-index شون هم ثُلثِ ۱۲۰ عه :))) یک کامنتی می‌ذارن که درکش خیلی برای آقای Fortnow سخت بوده! منتهی امروزه با اومدن این ChatGPT بولشت، فهم اون کامنت خیلی راحتتر شده. حالا اون کامنته چی گفته؟

اون کامنت به‌طور خلاصه میگه که اگر P=NP باشه، می‌تونیم از proof assistant ها مثل HOL و Coq استفاده کنیم تا برای هر مسئله‌ای که میخوایم به جوابش برسیم، کوچکترین مدار ممکنی که اون کار رو میکنه رو بهمون بده. و یکی از مسائلی که میشه بهش داد اینه که این مدار چرا داره درست کار میکنه :))) یعنی اون الگوریتم پیچیده‌ای که ما نمیفهمیم چطور داره درست کار میکنه، خودش بیاد بهمون توضیح بده که چطور درست کار میکنه :)))

حالا نقش ChatGPT چی بوده این وسط؟ آقای Fortnow یه متن مجارستانی که توش اسم یه خانم بوده رو میده به گوگل ترنسلیت. از اونجایی که مجارستانی‌ها مثل ما ایرانی‌ها ضمیراشون جنسیت نداره، گوگل ترنسلیت موقع ترجمه به اشتباه از ضمیر مذکر استفاده می‌کنه. همون متن رو دادن به ChatGPT و اون به درستی ضمیر مؤنث بکار می‌بره. ایشون از ChatGPT می‌پرسه که چرا از ضمیر مؤنث استفاده کردی؟ پاسخ داده که اون شخصی که اسمش توی متن هست، اسم زنانه داره. و اینجا بود که برای آقای Fortnow واضح شد که اون کامنت شش سال پیش چی گفته!

شاید برای فهمیدن الگوریتم‌های ماشین لرنینگ، اینکه چرا درست کار میکنن و یا اصلا چیکار دارن میکنن، به‌جای الگوریتم‌های ساده، باید سراغ الگوریتم‌های پیچیده رفت و کاری کرد که خود الگوریتم بتونه درستی و نحوه‌ی کارکردش رو توضیح بده!

البته اگر نظر Kc رو بخواید، توصیه میکنه که از همون انتفای مقدم استفاده کنید و برید ML راستین رو که بالا‌تر توی کانال اینجا و اینجا توضیح دادم رو یاد بگیرید و از ML دروغین که همون Machine learning عه فرار کنید :))))

💎 The Linux of LLMs is here:
https://youtu.be/ddG2fM9i4Kk

@SingularThinker

اوبونتو 23.04 با طعمه‌هایش به طور رسمی منتشر شدند
لینک دانلود آنها

🐧@linuxiha| لینوکسی‌ها 🐧

جالبه امروز سر کلاس به بچه ها گفتم اخرین نسخه اوبونتو ۲۲:۱۰ئه ولی منطقا به زودی 23.04 هم معرفی میشه =)))

چند ساعت بعد:

چرا ویندوز بد است؟ یکسری دلایل منطقی.
https://www.willghatch.net/blog/misc/windows-is-terrible.html

چرا ویندوز بد است؟ یک مطلب دیگر.
https://itvision.altervista.org/why-windows-10-sucks.html

و بالاخره مطلبی که منتظرش بودید: چرا لینوکس بد است.😳🤯😱

https://itvision.altervista.org/why.linux.is.not.ready.for.the.desktop.current.html

اصلا همه سیستم عامل ها بد هستند:
https://harmful.cat-v.org/software/operating-systems/os-suck

بحث task manager برای لینوکس بود. یکسری پیشنهاد اینجا هست که به نظر بد نمیاد.
https://alternativeto.net/software/task-manager-built-in/?platform=linux

و اخیرا با SysMonTask هم آشنا شدم که اون خیلی ظاهر task manager ویندوز رو شبیه سازی کرده و جالبه.

از وقتی چت جی پی تی ارایه شد، یک سری خیرین دنیای متن باز ماشین لرنینگ دست بکار شدند، دسته جمعی کلی دیتا برچسب زدن، کلی مدل ترین کردن و نهایتا به این مدل رسیدن که شرکت هاگینگ فیس زده تو سایتش:
https://huggingface.co/chat/

خود هاگینگ فیس چیکاره بود این وسط؟ پلتفرم و سخت افزار رو براش حاضر کرده الان همه میتونن از این مدل استفاده کنند.
کیفیتش نسبت به چت جی پی تی خیلی پایین تره ولی مجانیه و کلا اوپن سورس هست.

کامپایلر rust خیلی مهمه که درست باشه. پس زیاد تستش کنیم. اما چطوری؟

https://brson.github.io/2017/07/10/how-rust-is-tested


یکی از قسمت های جالبش برای من اینه:
ابزار crater، مییاد crate ها (یا همون پکیج های قابل دانلود) رو با یه نسخه جدید rust کامپایل میکنه و تست‌هاشون رو اجرا میکنه تا مطمئن بشه چیزی خراب نشده.

Crater is a tool to run experiments across parts of the Rust ecosystem. Its primary purpose is to detect regressions in the Rust compiler, and it does this by building a large number of crates, running their test suites and comparing the results between two versions of the Rust compiler.
https://github.com/rust-lang/crater

تنها سیستم عاملی که line endingش با بقیه فرق داره چیه؟ بعله ویندوز.

یک مطلب خوب در مورد دلیلش (برمیگرده به type writerها) و توضیحات کافی.

https://www.willghatch.net/blog/2015/01/02/line-endings/

یه ویدیوی جالب در مورد null pointer در cpp
همچنین خیلی جالب نحوه‌ی کامپایل شدن یه کلاس (خیلی ساده) سی پلاس پلاس رو با تبدیلش به سی شرح میده.
در آخرم راجع به offset ممبر ها نسبت به اول استراکت صحبت می‌کنه. در کل به نظرم نگاه عمیق و خوبی داره.

https://youtu.be/PksUUwvq-po

مجموعه سم های دنیای برنامه نویسی در یک ویدیوی ۱۵ دقیقه ای:
https://youtu.be/iHz6wiYh44M

سلام به همه تون

متأسفانه خبردار شدم آقای صابر راستی کردار دچار سرطان بدخیم فاز چهارم شدند(+) و بسیار غمگین گشتم.
ایشون توسعه دهنده قلم های صمیم، وزیر[۱]، ساحل و چندین قلم استاندارد و آزاد/متن باز دیگه هم هستند. +
نمیدونم آیا کمکی غیر از حمایت از ایشون هم میتونیم بکنیم یا نه؟

پ. نون:
۱. قلم وزیر همون قلمی هست که از حدودا یک سال و نیم پیش تلگرام برای فارسی و عربی ازش استفاده میکنه.
https://bugs.telegram.org/c/6097

احتمالا اگر با Go کار کردید، go by example رو شنیدین. یه منبع آموزشیه که میاد قدم به قدم مفاهیم گو رو با مثال و توضیح یاد میده.
حالا یکیم اومدن کنارش زدن به اسم go web by examples
خیلی پیوسته و جامع نیست ولی مفاهیم مختلفی رو پوشش داده و برای مرور یا تکمیل یادگیری می‌تونه مناسب باشه. اگه دوست داشتین:

gowebexamples.com

مثلا قسمت template رو خیلی خوب توضیح داده. توضیح های دیگه اینقدر سرراست نیستن معمولا.
https://gowebexamples.com/templates/