مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۱۴۲۵

ای مفخر و سلطان همه دلداران
جالینوسی برای این بیماران
روز باران بگلشنت جمع شویم
شیرین باشند روز باران یاران

#مولانا | گنجور
📍@iipoem

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

ٖٖhttps://youtu.be/Euf_G4-duDs

پ.ن. اگر نمی خواین ویدئو رو ببینین؛ اسم برنامه هست PocketPal (تو گیت‌هاب هم پیداش می کنین) و برنامه نویس اصلی اش اصغر قربانی است.

و اگر این وسط می‌خواین انگلیسی‌تون رو هم تمرین کنین؛ اینم ویدئوی انگلیسی اش https://youtu.be/BAHyuoJCISk

#Quick
سوال مصاحبه یکی از دوستان بوده.

توی مصاحبه خیلی از زبان‌های برنامه‌نویسی مختلف یکی از سوالاتی که پرسیده می‌شه مربوط به نحوه ارسال آرگومان به توابع هست اکثرا هم شما به یکی از دو حالت:

Pass by Value
Pass by Reference

اشاره می‌کنید؛ اما توی پایتون اینطوری نیست توی پایتون ما
Pass By Object Reference (Pass by Assignment)
رو داریم. اول برگردیم به این تعریف که:

همه چیز در پایتون نهایتا object هست.

وقتی یک آرگومان رو به تابع میدید؛ رفرنس اون آبجکت رو براش می‌فرستید و نه یک کپی از اون رو ولی این رفرنس رو بصورت pass by value می‌فرستید! گیج گننده شد؟ برای همین میگیم پایتون نه Pass By Reference هست نه Pass By Value

یک صندوق رو فرض کنید که توش وسایل شما قرار داره (این حکم object رو داره) حالا فرض کنید برای اینکه جاش رو یادتون نره آدرسش رو روی یک کاغذ نوشتید و توی جیبتون می‌ذارید (این میشه reference شما)
یکی از دوستانتون می‌خواد صندوق رو ببینه؛ شما فقط کافیه آدرس رو بهش بدید که برای اینکار شما آدرس رو روی یک کاغذ جدید می‌نویسید و اون رو بهش میدید (این میشه Pass reference by Value)

و این میشه مدل پایتون؛ اگر رفیق شما بره اونجا و از داخل صندوق چیزی برداره یا تغییراتی روی صندوق انجام بده؛ شما هم اون تغییرات رو خواهید دید. اگرم که صندوق رو ببینه و کارش که تموم شد کاغذ آدرس صندوق رو بندازه دور اونوقت صندوق هنوز سرجاش خواهد بود و شما صاحبش هستید.

اگر بره از صندوق یدونه بسازه؛ صندوق شما تغییری نمی‌کنه فقط یکی دیگه مشابهش وجود داره (که ممکنه چیزایی که داخلش هست فرق کنه)

مثال بالا میشه برای Object هایی که قابل تغییر هستند مثل list
اما اگر Object قابل تغییر نبود چی ؟ مثل Int
اونوقت رفیق شما هر تغییری که بخواد بده اول باید ی دونه از روی چیزی که مال شما هست برای خودش بسازه بعد تغییرش بده.

def demonstrate_passing_behavior(my_list, my_int):
    print("\n--- INSIDE FUNCTION ---")
    print(f"List ID: {id(my_list)}, Int ID: {id(my_int)}")

    my_list.append(4)
    print(f"List after append: {my_list}, ID(append): {id(my_list)}")

    print("Copy of the original list")
    my_list = list(my_list)
    print(f"List copy and reassignment: {my_list}, ID(copy): {id(my_list)}")

    print("Modifying integer...")
    my_int = my_int + 10
    print(f"Int after modification: {my_int}, ID(modified) : {id(my_int)}")


original_list = [1, 2, 3]
original_int = 5

print(f"Original list: {original_list}, ID: {id(original_list)}")
print(f"Original int: {original_int}, ID: {id(original_int)}")

demonstrate_passing_behavior(original_list, original_int)

print("\n--- AFTER FUNCTION CALL ---")
print(f"Original list: {original_list}, ID: {id(original_list)}")
print(f"Original int: {original_int}, ID: {id(original_int)}")

رفتار Rust هم شباهت‌های زیادی داره به Python اما با مفاهیم دیگری مثل ownership, ... ارزیابی می‌شه.

خواهرم هر موقع قیمت برگرهاشون رو عوض میکرد من علاوه بر تغییر قیمت توی سایت (چون فعلا استاتیک هست) چون نیمچه دستی هم توی طراحی دارم باید قیمت رو توی منو و همچنین با قیمت برای استوری های اینستا هم عوض می‌کردم.

تازگی تغییرات زیادی داده بودند و من دیدم نمیشه هر بار کلی زمان بذارم. پس اومدم یه صفحه به سایتشون اضافه کردن منو رو به جای اینکه با برنامه COREL طراحی کنم با Vue.js طراحی کردم و بعد هم با کمک پکیج زیر خروجی گرفتم
html-to-image

تازه الان از یه فایل js برای قیمت های سایت و منو و اینستا استفاده میکنم یعنی فقط قیمت رو یه جا تغییر میدم.

دیگه عوض کردن قیمت و خروجی گرفتن منو و استوری اینستا توی 10 دقیقه انجام میشه 😎

اینم چندتا از خروجی ها

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۴۹۷

آن لحظه که آن سرو روانم برسید
تن زد تنم از شرم چو جانم برسید
او چونکه چنان بود چنانم برسید
من چونکه چنین نیم بدانم برسید

#مولانا | گنجور
📍@iipoem

این رو چندباری از چندتا از بچه‌ها شنیدم ؛
تا امروز راجبش چیزی نگفتم چون در مدل‌های دیگه شنیده بودم.

مثلاً اینکه از طرف شما ۴۰۰-۶۰۰ میلیون وام بگیرند بعد شما اقساط اون رو بدید؛ یعنی یک دوره هوش مصنوعی برای شما حداقل ۳۰۰ میلیون تومان در میاد!

برای دانشگاه stanford و دوره‌ی پروفسور Manning شما با مبلغ ۱۰,۰۰۰ دلار می‌تونید مدرک معتبر استنفورد رو برای NLP بگیرید
(حداقل ۲ سال پیش که من پرسیدم)

خیلی مراقب این سودجویی ها باشید؛ شاید بهتر باشه مقامات قانونی کشور یک سری هم به این مدل شرکت‌ها بزنند!

راستش آدم وقتی وارد یه دنیای جدید میشه خیلی خوبه که آدم هایی رو داشته باشه که کمکش کنن، راهنماییش کنن و به سوالاش بهتر از هر LLM جواب بدن و خب من این شانس رو داشتم که همون اول که وارد دنیای لینوکس شدم با سهراب و علی آشنا شدم.

هر چند وقت یبار یادم میوفته که چقدر ترس دنیای ناشناخته رو برام کم کردن و بهم کمک کردن و چقدر محتوای مفید و جذاب و خفنی دارن به اشتراک میذارن و حس می‌کنم که لازمه که بیام و ازشون بخاطر کمک هاشون تشکر کنم. 💙💙💙

کانال سهراب:
https://t.iss.one/sohrabcontents

کانال علی:
https://t.iss.one/PinkOrca



@PhiloLearn

این رو چندباری از چندتا از بچه‌ها شنیدم ؛
تا امروز راجبش چیزی نگفتم چون در مدل‌های دیگه شنیده بودم.

مثلاً اینکه از طرف شما ۴۰۰-۶۰۰ میلیون وام بگیرند بعد شما اقساط اون رو بدید (توی این مورد هم هیچی از پروژه و ... مشخص نبود) یعنی یک دوره هوش مصنوعی برای شما حداقل ۳۰۰ میلیون تومان در میاد!

برای دانشگاه stanford و دوره‌ی پروفسور Manning شما با مبلغ ۱۰,۰۰۰ دلار می‌تونید مدرک معتبر استنفورد رو برای NLP بگیرید
(حداقل ۲ سال پیش که من پرسیدم)

خیلی مراقب این سودجویی ها باشید؛ شاید بهتر باشه مقامات قانونی کشور یک سری هم به این مدل شرکت‌ها بزنند!


پی‌نوشت:

دوستان خواهشاً خودتون مراقب باشید، از متخصص های فعلی مشورت بگیرید، توی گروها بپرسد و ...
با هر شرایطی سراغ کار نرید. هنوز شروع به کار نکرده خودتون رو بدهی بالا نیارید.

یادتونه یه سرور ماتریکس اورده بودیم بالا ولی از دسترس خارج شد؟ (اون دوستی که صاحب سرور بود حین فیکس کرد یه باگی اعصابش خرد شد و پاک کرد سرور رو کلا😂).

الان با کمک گیت پوش و کوبار دوباره یه سرور ماتریکس آوردیم بالا، امیده که این یکی بمونه برامون 💙

لینک کلاینت ماتریکس

اگر خواستید توی کلاینت دیگه ازش استفاده کنید:
matrix.gitpush-lab.ir

💙💙 @PhiloLearn 💙💙

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۱۸۵۷

در دست اجل چو درنهم من پایی
در کتم عدم در افکنم غوغایی
حیران گردد عدم که هرگز جایی
در هر دو جهان نیست چنین شیدایی

#مولانا | گنجور
📍@iipoem

دو تا مسئله

اولی این که بعد صحبت‌های مفصلی که با Shaz Qadeer داشتم، قرار بر این شد که زبان Boogie و Civl رو که یک deductive verifier برای برنامه‌های concurrent ای هست که با زبان بوگی نوشته میشه، بیام برای جاوا بنویسم و شروع کنیم روی ترکیب model checking و deductive و به عبارت دیگه ترکیب Jmc و Civl. یکم حقیقتش کار رادیکالیه ولی خب چیزیه که دوست دارم هر طوری شده انجامش بدم.

برای اینکه بشتر در مورد Civl بخونید و یاد بگیرید می‌تونید به وب‌سایتش سر بزنید. کلی مطلب خوب برای یادگیری تئوری پشت این verifier داره.
https://civl-verifier.github.io/

اگر علاقه بودید که تو این راه کمکم کنید من دارم این بازنویسی رو توی این ریپازیتوری انجام میدم :

https://github.com/joulook/Jivl

یه توضیح مختصر هم اینکه من دارم از بازنویسی بخش core شروع میکنم که شامل پیاده‌سازی زبان و type checker بوگی میشه.

دومیش هم اینکه هفته آینده در خدمت بچه‌های خانه‌ی ریاضیات اصفهان خواهم بود و قراره براشون در مورد Model Checking صحبت کنم و یک سیر روایی داشته باشیم از گذشته، حال و آینده‌ی این تکنیک. براتون پست معرفی این ارائه رو فوروارد میکنم

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۱۵۶۱

چون پاک شد از رنگ خودی سینه تو
خودبین گردی ز یار دیرینه تو
بی آینه روی خویش نتوان دیدن
در یار نگر که اوست آیینه تو

#مولانا | گنجور
📍@iipoem

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۷۶۵

عشق تو خوشی چو قصد خونریز کند
جان از قفس قالب من خیز کند
کافر باشد که با لب چون شکرت
امکان گنه یابد و پرهیز کند

#مولانا | گنجور
📍@iipoem