نوشته‌های ترمینالی
2.62K subscribers
424 photos
12 videos
32 files
2.25K links
Download Telegram
در یک سازمان/شرکت bus factor چیه؟
شاید تو مکالمات روزمره هم شنیده باشید که تو یه تیم میگن: فلانی خیلی خفنه و خیلی چیزا دستشه. اگه از فردا نیومد چی؟ اگه اتوبوس زد بهش چی؟

تعداد آدم‌های اینطوری که چیزای مهمی رو می‌دونن که بقیه نمی‌دونن میشه bus factor.
به شکل دقیق تر، تعداد آدمای یه تیم که اگه همزمان بهشون اتوبوس بزنه اون تیم دیگه نمی‌تونه مفید باشه. مثلا تو یه تیم ۳۰ نفره کار ۱ رو همه بلدن انجام بدن، کار ۲ رو ۱۰ نفر بلدم و کار ۳ رو فقط ۵ نفر بلدن. خب اگه این ۵ نفر همزمان با هم اتوبوس بهشون بزنه اون کار روی زمین میمونه پس bus factor این تیم برابر ۵ئه. طبیعتا این عدد هرچی بالاتر باشه بهتره.

The "bus factor" is the minimum number of team members that have to suddenly disappear from a project before the project stalls due to lack of knowledgeable or competent personnel.



https://en.wikipedia.org/wiki/Bus_factor
👍15
نوشته‌های ترمینالی
در یک سازمان/شرکت bus factor چیه؟ شاید تو مکالمات روزمره هم شنیده باشید که تو یه تیم میگن: فلانی خیلی خفنه و خیلی چیزا دستشه. اگه از فردا نیومد چی؟ اگه اتوبوس زد بهش چی؟ تعداد آدم‌های اینطوری که چیزای مهمی رو می‌دونن که بقیه نمی‌دونن میشه bus factor. به…
مثال ملموس‌تر اگه بخوام بزنم، سوالی که خودم برام پیش اومده اینه که اگه لینوس توروالدز بمیره چی بر سر لینوکس میاد؟ اگه خیدو ون روسوم نباشه چه اتفاقی برای پایتون می‌افته؟

یه مطالعه توی ۲۰۱۵ روی bus factor پروژه‌های گیتهابی نشون میده که اکثرا این عددشون زیر ۲ئه که خوب نیست اصلا.

https://arxiv.org/abs/1604.06766v1
👍10
حس می‌کنم که pypi فیلتر/مختل شده.
یعنی نمی‌تونیم با pip پکیجی چیزی نصب کنیم.
راه حلش چیه؟ برای pip می‌شه http proxy ست کرد؟
شکن رو کسی امتحان کرده؟
🤬4👍3
اگر میخواید به طور موقت فایل هیستوری zshتون عوض بشه می‌تونید از این دستور استفاده کنید:
fc -p /path/to/new_history

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

https://unix.stackexchange.com/a/267034
👍6
Forwarded from Mahboubeh
سلام، وقت بخیر
پژوهشی در دانشکده روانشناسی دانشگاه شهید بهشتی تحت نظارت دکتر ذبیح زاده در حال انجام است.
خواهشمندیم حدود ۱۵ دقیقه از زمان خود را برای مشارکت در این پژوهش اختصاص دهید و به ما در پیشبرد آن کمک کنید. پیشاپیش صمیمانه از همکاری شما سپاسگزاریم.

لینک پرسشنامه:
https://survey.porsline.ir/s/Kuxda5b
👍3
Forwarded from a pessimistic researcher (Kc)
"هنوز هم 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 عه فرار کنید :))))
🔥4👍1
Linuxiha
اوبونتو 23.04 با طعمه‌هایش به طور رسمی منتشر شدند لینک دانلود آنها 🐧@linuxiha| لینوکسی‌ها 🐧
جالبه امروز سر کلاس به بچه ها گفتم اخرین نسخه اوبونتو ۲۲:۱۰ئه ولی منطقا به زودی 23.04 هم معرفی میشه =)))

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

خود هاگینگ فیس چیکاره بود این وسط؟ پلتفرم و سخت افزار رو براش حاضر کرده الان همه میتونن از این مدل استفاده کنند.
کیفیتش نسبت به چت جی پی تی خیلی پایین تره ولی مجانیه و کلا اوپن سورس هست.
👍9🔥4
کامپایلر 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
👍3
تنها سیستم عاملی که line endingش با بقیه فرق داره چیه؟ بعله ویندوز.

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

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