#بدرد

آخیش، از این به بعد این جوونا که بام صحبت می‌کنن میگن دانشگاهمون به درد نمی‌‌‌خوره مستقیم این لینک رو می‌دم بشون

https://github.com/ossu/computer-science

@DevTwitter | <Amir Dezfulian/>

پیرو ریلیز شدن JMC، همونطور که گفتم امروز روپاک یک tutorial lecture چهار ساعته داشت توی سامر اسکول Fuzzing روی JMC که حدود یک ساعت و نیمش رو بر اساس این tutorial که با شیرینیدی نوشتیم پیش برد.
https://github.com/mpi-sws-rse/jmctutorial

توی این ریپو شما میتونید یاد بگیرید که چطور از JMC استفاده کنید و یا حتی چطور میتونید ایده‌هایی که برای verification یا testing برنامه‌های multi-thread جاوا دارید رو با گسترش دادن JMC پیاده کنید. به نظرم این ریپو این فرصت رو بهتون میده که حتی اگر جاوا بلد نیستید و یا با تئوری verification آشنا نیستید هم بتونید امتحانش کنید و کمی این حوزه رو explore کنید.

توی این لینک : https://github.com/mpi-sws-rse/jmctutorial/blob/main/Tutorial.md
ما ۶ تا تسک قرار دادیم که امروز از بچه‌های کلاس خواستیم شروع کنن انجام دادن و خیلی فان بود. تسک ۶ امش یه جورایی یه research question بود که بتونن دستاشون رو توی این حوزه کمی گلی کنن.

خلاصه اینم از این

سعدی | مواعظ | رباعیات | رباعی شمارهٔ ۵۰

فردا که به نامه سیه درنگری
بس دست تحسر که به دندان ببری
بفروخته دین به دنیی از بیخبری
یوسف که به ده درم فروشی چه خری

#سعدی | گنجور
📍@iipoem

اون قدیما که می‌خواستی یه ساختار داده پیچیده پایتون رو تو ترمینال ببینی، یا باید کلی print تو در تو می‌ذاشتی یا بی‌خیالش می‌شدی. کتابخونه Rich یه تابع inspect() داره که هر آبجکت پایتونی رو با جزئیات کامل، رنگ‌بندی شده و مرتب بهت نشون می‌ده. برای دیباگ کردن یا فهمیدن سریع ساختار یه متغیر تو دل کد، فوق‌العاده‌ست. انگار یه ذره‌بین حرفه‌ای برای کدنویس‌های پایتون که با ترمینال زیاد سر و کار دارن.

github.com/Textualize/rich

@Linuxor

یادگیری برنامه‌نویسی خیلی در دسترس هست، اما مهم اینه که یک منبع خوب برای یادگیری پیدا کنیم.

یکی از بهترین منابعی که پیدا کردم، کانال یوتیوب Dave Gray هست.

محتوای کانال یوتیوبش خیلی متنوعه:

- آموزش Tailwind CSS
- آموزش ReactJS
- آموزش Django
- آموزش NestJS
- آموزش Typescript
- آموزش Redux
- آموزش NextJS

همشون رایگان هستن.

این روزها دوره NodeJS کانالش رو می‌بینم.

پیشنهاد می‌کنم ویدیوهاشو ببینید.
https://www.youtube.com/@DaveGrayTeachesCode

@DevTwitter | <Mohammad Lotfi/>

وضعیت یکساعت گذشته من و mypy

دیگه ببخشید اگر تصویر خوب نیست:

chatgpt

تولید کرده و حزئیات رو متوجه نشد.

Write once,run anywhere!
این شعار جاواست،اما چی باعث شده که شعارش این باشه؟
وقتی ما یه برنامه به زبون جاوا مینویسیم، کد برنامه ما بعد از کامپایل شدن توسط javac به جای این که مستقیما به کد ماشین سیستم عامل مقصد تبدیل بشه(کاری که زبون C و ++C انجام میدن) به bytecode تبدیل میشه، بعد این bytecode خط به خط توسط jvm تفسیر میشه، و چون واسه هر پلتفرمی jvm مخصوص وجود داره کد اصلیه ما میتونه بدون تغییر روی هر سیستمی اجرا بشه و اینجا مفهوم مستقل بودن از پلتفرم (Platform independent) خودشو نشون میده.
اما چطوری جاوا هم سریعه و هم مستقل؟
داخل jvm و در زمان تفسیر یه ابزاری وجود داره به نام JIT Compiler. این ابزار وقتی که کد اصلی ما به bytecode تبدیل شد بررسی میکنه کد رو و جاهایی از کد که زیاد تکرار شدن مثل حلقه ها و توابع یا بلاک ها، اونارو به کد واقعیه ماشین تبدیل میکنه تا سرعت اجرای برنامه برای دفعات بعدی بالا تر بره.

@DevTwitter | <Vahid Shokri/>

کریتیو کامنز: ۲۰ سال در ۶۰ ثانیه

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

اگر تولید کننده محتوا هستید با استفاده از پروانه های کریتیو کامنز جامعه آزاد و فرهنگ آزاد رو حمایت کنید.

- ویکیپدیا
- وبگاه کریتیو کامنز
- پروانه های کریتیو کامنز

💠داشبردی برای داکر در ترمینال💠

سی‌تاپ، (مخفف کانتینرتاپ) یک اچ‌تاپ برای کانتینرهای داکر است.
با سی‌تاپ می‌تونید اطلاعات مفیدی رو درباره کانتینر‌های داکرتون ببینید.

همچنین قابلیت گرفتن متریک‌های محدود در مورد هر کانتینر، ورود با شل، استارت و استاپ و دیدن لاگ‌ها رو داره.

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

👉🔗 Ctop

#دوآپس #معرفی

این واقعاً جزو تغییرات خفن پلاسما ۶.۴.۰ بوده :))



@SohrabContents

مثلا اگر دوست داشتید می‌تونید برای تسک ۶، ریپو رو fork کنید و الگوریتمی که توی این مقاله که در ASPLOS 2025 چاپ شده بود رو پیاده کنید و merge request بدید :)
https://abhikrc.com/pdf/asplos25.pdf

یک داشبرد مینیمال و سبک دیگه، dozzle هست که توسط یک توسعه‌دهنده‌ی ایرانی نوشته شده.

دازل با یک داکر ران یا کامپوز ساده بالا میاد و از مرورگر قابل مشاهده است.

علاوه بر سبک بودن، قابلیت جستجو در لاگ‌ها به‌وسیله سیکوال یا رجکس، agent و swarm mode هم داره و جواب‌گوی بیشتر نیاز‌های مانیتورینگ یک سرور هست.

👉🔗 Dozzle

#دوآپس #معرفی

تست هوش برنامه نویسی !‌ این چیه ؟

@Linuxor

Write once,run anywhere!
این شعار جاواست،اما چی باعث شده که شعارش این باشه؟
وقتی ما یه برنامه به زبون جاوا مینویسیم، کد برنامه ما بعد از کامپایل شدن توسط javac به جای این که مستقیما به کد ماشین سیستم عامل مقصد تبدیل بشه(کاری که زبون C و ++C انجام میدن) به bytecode تبدیل میشه، بعد این bytecode خط به خط توسط jvm تفسیر میشه، و چون واسه هر پلتفرمی jvm مخصوص وجود داره کد اصلیه ما میتونه بدون تغییر روی هر سیستمی اجرا بشه و اینجا مفهوم مستقل بودن از پلتفرم (Platform independent) خودشو نشون میده.
اما چطوری جاوا هم سریعه و هم مستقل؟
داخل jvm و در زمان تفسیر یه ابزاری وجود داره به نام JIT Compiler. این ابزار وقتی که کد اصلی ما به bytecode تبدیل شد بررسی میکنه کد رو و جاهایی از کد که زیاد تکرار شدن مثل حلقه ها و توابع یا بلاک ها، اونارو به کد واقعیه ماشین تبدیل میکنه تا سرعت اجرای برنامه برای دفعات بعدی بالا تر بره.

@DevTwitter | <Vahid Shokri/>

البته اینم باید بگم که اگه خیلی سریع به متریک خاصی نیاز دارید، می‌تونید با خود داکر بهش برسید:

docker stats --no-stream --format '{{ json . }}' 

پیداست که می‌تونید با jq فیلترش کنید.
یا حتی می‌تونید دستور زیر رو به یک فانکشن توی بش تبدیل کنید تا راحت‌تر این اطلاعات رو فراخوانی کنید. (عکس دوم)

docker stats --format "table {{.Container}}\t{{.Name}}\t{{.CPUPerc}}\t{{.MemUsage}}"

#آموزش #دوآپس

#موقت

چون خیلی بحث شد راجب جایگزین barry-far

یک تست انومات هم برای کانفیگهاش نوشتم - روی مخابرات - ایرانسل - همراه اول کانفیگهای زیر ۵۰۰ دیده میشه (به خوبی barry-far) هست.

📌 افزایش شانس گرفتن مصاحبه: ریفرال، بازی win win win

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

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

🔸چرا بازی win win win؟
همونطور که گفتم، شرکت استخدام‌کننده با کمک ریفرال سریع‌تر می‌تونه کاندید مناسب رو پیدا کنه و احتمال خطای استخدامش هم میاد پایین.

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

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

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

#افزایش_شانس_مصاحبه
@aminrbg