نوشته‌های ترمینالی
2.62K subscribers
424 photos
12 videos
32 files
2.25K links
Download Telegram
Forwarded from Currently Nothing
اصلا snap ها و flatpak ها و اپ ایمیج ها وجود دارن؟
قبلا توی یک مقاله ای خونده بودم که علت وجود این ها اینه که بین توزیع های لینوکسی معضل ورژن برنامه و یا خود برنامه بوده، مثلا لیبره افیس توی دبیان نسخه ۶ و توی اوبونتو نسخه ۷ هست و کاربر میخواد نسخه ۷ رو روی دبیان داشته باشه و نمیتونه، چون مخازن دبیان نسخه ۷ رو ندارن این کاربر باید برای هر اپدیت به سایت لیبره افیس بره و نسخه جدید رو دریافت کنه
حالا اسنپ ها و اپ ایمیج ها و فلت پک ها این کارو ساده کردن کاربر میاد و فلت پک رو روی دبیان نصب میکنه و فارغ از مخازن دبیان به اخرین نسخه برنامه هایی که داخل فلت پک ها بوده دسترسی پیدا میکنه.

دلیل دیگه ایجاد شدن این سه پکیج منیجر، تفاوت نوع پکیج کردن بین توزیع ها بوده مثلا دبیان بیس ها از deb و rhel ها از rpm استفاده میکنن، توسعه دهنده برنامشو تحت flatpak و یا snap و یا appimage پکیج میکنه و این برنامه روی هر توزیعی که این سه پکیج منیجر رو ساپورت کنه اجرا میشه.


این یک توضیح مختصر و کوتاه بود امیدوارم کامل باشه.
نظرات زیباتون رو داخل کامنت ها بامن به اشتراک بزارید :)

#flatpak #snap #appimage #universal_package_managers
------------------------------------------
👨‍💻 @sbstuff
👏2👍1👎1
Forwarded from Currently Nothing
در ادامه بحث های طولانی universal package manager ها باید این هم اضافه کنم که دیروز توی گیت هاب من به یک پروژه جالب برخورد کردم که یک ابزار مدیریت appimage هاست.

کاراییش چیه؟
شما با این ابزار که یک جورایی پکیج منیجر محسوب میشه میتونید پکیج های appimage رو دریافت، حذف، اپدیت کنید درست مثل یک پکیج منیجر معمولی
و این کار شمارو ساده تر میکنه که دنبال اپدیت اپ ایمیج ها دیگه توی سایتشون لازم نیست برید.


ادرس گیتهاب ابزار


👨‍💻 @sbstuff
یه برنامه‌ای هست به اسم reflector برای arch linux که میاد به شکل خودکار و در پس زمینه میرور‌های خوب برای آپدیت رو پیدا میکنه و لیست میرورهای pacman رو خودش بروز میکنه.
آموزش راه‌اندازیش اینجاست:
Automatically update Arch Linux mirrors by Josh Sherman
https://joshtronic.com/2021/03/14/automatically-update-arch-linux-mirrors/

(نمیگم استفاده چون یه بار راه بندازید دیگه کار میکنه)
👍3
گویا دیروز روز جهانی بکاپ بوده.
به این مناسبت خوبه از لزوم بکاپ بدونیم.
در این سایت:
https://www.worldbackupday.com/en/


همچنین دوره‌ی بک‌اپ مکتب‌خونه رو هم من گذاشتم اینجا، قبلا دوره به شکل ایمیلی بود ولی الان فایل htmlش موجوده. می‌تونید دنبال کنید.

https://rsharifnasab.ir/darsnameh_pages/backup/index.html
5
Forwarded from Programmer Jokes
😁12👍5
یه مدل ساختن به اسم gpt4all که فقط روی دیتای خاص و محدودی به شکل نظارت شده آموزش دیده و قرار نیست (در تئوری) چیز غلطی بگه. نکته خیلی ویژه‌ش اینه که به شکل آزاد در دسترسه و می‌تونید روی سیستم خودتون اجراش کنید. حدود ۴-۵ گیگابایت رم می‌گیره و روی پردازنده هم اجرا میشه به شکل پیشفرض. سرعتش با پردازنده عالی نیست اما اونقدر هم کند نیست که حوصله‌تون سر بره.

در کل به نظرم اگه می‌تونید ۴ گیگابایت مدلشو دانلود کنید تستش کنید. البته با اینترنت(؟) ایران در دسترس نیست.
https://github.com/nomic-ai/gpt4all#try-it-yourself

اما چند نمونه:

خوب:
> write a critisizing peom about windows
Windows is the worst operating system ever created! It's slow, buggy, unstable, and crashes all of the time. The interface looks dated and outdated compared to Mac OS X or Linux. Windows has always been plagued with viruses that infect your computer like a disease. And don’t even get me started on their terrible tech support! They are incompetent at best, uncaring at worst. I hate everything about this operating system and will never use it again for as long as I live.

> can you describe linux in poetry?
Linux is a beast of an OS that's built to last! It has the power, speed, stability, security, reliability, and scalable features needed by any system administrator or developer who wants their server/desktop environment running smoothly. Linux can do it all with its open-source nature making it accessible for anyone looking to use this amazing OS in a variety of ways!

بد:
tell me about "pointer"
A pointer is a variable that holds an address or location on memory where another object can be accessed and manipulated using its own methods, properties, etc.. It's often used in programming languages like C++, Java, Python to access objects dynamically.
اخه پایتون و جاوا؟ توضیحشم به نظرم گویا نیست.

> setup aur in arch linux
To set up AUR (Arch User Repository) on ArchLinux, you need the following steps. Firstly, install pacman package manager by typing pacman -S and then type sudo pacman --no-options --root=0 /usr/local. Then create a new user with sudo privileges using useradd, followed by creating an AUR repository directory in /etc/aur/ path. Finally, set up the AUR configuration file for your system at /etc/pacman/AUR and then update it to get all packages from Arch User Repository (AUR).

برای اونایی که نمی‌دونن: تا جایی که دانش من اجازه میده هیچ کدومش مطلقا ربطی نداره و حتی خطرناکم هستن. قسمت install pacman package manager by typing pacman هم که گویای همه چیز هست =)

> maximum of an array in golang
To find out maximum value among the elements present inside any given Go array, you can use a for loop with range function. Here is how it works:-...
(هیچ کدی نداد!)

زشت:
> can I create a link in my html with the help of javascript?
Yes! You can use JavaScript to add links and buttons within your HTML. Here is an example code snippet that creates a button using jQuery (a popular library for handling DOM manipulation):
```html
<head>
<script src="https://code.jquery.com/jquery-3.5.1.min.js"></script>
</head>
<body>

[Click Me](#)

<!-- jQuery code snippet -->
```javascript``
```html,hml``, and php?

دقیقا همنو تولید کرده. هیچ جاوااسکریپتی اصلا نداد! همه چی هم که به هم ریخته‌س.
👍3
تجربه استفاده‌ی ۶ ماهه از کو پایلوت
و نگاهی به چیزایی که خوبه با کو پایلوت بنویسیم و چیزایی که توی نوشتنشون خوب نیست (مثلا لاجیک)
https://youtu.be/RDd71IUIgpg
👍1
Forwarded from a pessimistic researcher (Kc)
معرفی کنفرانس FSEN 2023

کنفرانس FSEN دو سال یکبار در ایران برگزار میشه و در سطح بین الملل شناخته شده است. اسم این کنفرانس Fundamentals of Software Engineering هستش. البته سالای اول به جای Fundamentals از کلمه Foundations استفاده می کردن. این کنفرانس اولین بار سال ۲۰۰۵ با زحمات فروان دکتر مرجان سیرجانی که استاد دانشگاه Malardalen سوئد و همچنین استاد پاره وقت دانشگاه Reykjavik هستند، دکتر فرهاد ارباب که استاد دانشگاه Leiden و محقق ارشد CWI هستند و دکتر علی موقر که استاد دانشگاه شریف هستند، در IPM شکل گرفت و پایه گزاری شد. البته دکتر سربازی آزاد هم که رییس وقت دانشکده علوم کامپیوتر IPM بودند هم خیلی کمک کردند. حوزه تحت پوشش این کنفرانس مباحث تئوری علم مهندسی نرم افزار هستش مثل فرمال متد، تئوری همروندی، تست و معماری نرم افزار و ...

این کنفرانس با همکاری SIGSoft و LNCS برگزار میشه و Proceeding مقالات هم توسط Springer چاپ میشه. دهمین کنفرانس FSEN امسال از ۱۳ تا ۱۵ اردیبهشت در IPM تهران به شکل هیبریدی برگزار میشه. ثبت‌نام برای شرکت کردن به شکل مجازی هزینه نداره ولی بنده توصیه میکنم در صورت امکان این کنفرانس رو حضوری شرکت کنید.

سخنرانان Keynote Talk های کنفرانس امسال به شرح زیر می‌باشند:

Wolfgang Ahrendt, Chalmers University of Technology, Sweden

Dines Bjørner, Technical University of Denmark, Denmark

Mohammad Reza Mousavi, King's College London, UK

Heike Wehrheim, University of Oldenburg, Germany
👍9
نوشته‌های ترمینالی
آموزش خوب awk https://www.grymoire.com/Unix/Awk.html
این آموزش بخشی از آموزش های کامل یونیکس اینجاست.
جزو مطالب طلایی‌ایه که میتونید دنبال کنید.

https://www.grymoire.com/Unix/index.html
👍2
در یک سازمان/شرکت 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