Forwarded from نوشتههای ترمینالی
توی کامنت های این پست، بحث کامیت مسیج شد،
این سایت فوقالعاده براتون کامیت مسیج رندوم پیشنهاد میده، میتونید حتی اسکریپتی هم بنویسید که مستقیم کامیت کنه و کامیت مسیج رو از این بگیره.
Commit Message Generator
https://whatthecommit.com/
توضیح: چند بار رفرش کنید.
این سایت فوقالعاده براتون کامیت مسیج رندوم پیشنهاد میده، میتونید حتی اسکریپتی هم بنویسید که مستقیم کامیت کنه و کامیت مسیج رو از این بگیره.
Commit Message Generator
https://whatthecommit.com/
توضیح: چند بار رفرش کنید.
Whatthecommit
Commit Message Generator
SHIT ===> GOLD
Forwarded from 🎄 یک برنامه نویس تنبل ( MΞ)
Forwarded from NetSentinel24Support
🚨 اگر میخوای قبل از همه بفهمی سایت یا سرورت Down شده و اولین نفر از Down Time باخبر شی
🔒 اگر میخوای قبل از منقضی شدن SSL سایتت، متوجه بشی و Renew کنی SSL رو
⚡️ اگر دوست داری UP Time یک پورت از سرورت رو بررسی کنی
📊 اگر میخوای مطمئن باشی سرورات همیشه زیر نظرن و گزارشگیری داشته باشی
🤖 مجموعهی ما میتونه کمکت کنه!
🚀 شروع کن با ربات: @NetSentinel24Bot
📌 کانال: @NetSentinel24
🤙 پشتیبانی: @NetSentinel24Support
🔥 حرفهایها همیشه یه نگهبان دارن!
🔒 اگر میخوای قبل از منقضی شدن SSL سایتت، متوجه بشی و Renew کنی SSL رو
⚡️ اگر دوست داری UP Time یک پورت از سرورت رو بررسی کنی
📊 اگر میخوای مطمئن باشی سرورات همیشه زیر نظرن و گزارشگیری داشته باشی
🤖 مجموعهی ما میتونه کمکت کنه!
🚀 شروع کن با ربات: @NetSentinel24Bot
📌 کانال: @NetSentinel24
🤙 پشتیبانی: @NetSentinel24Support
🔥 حرفهایها همیشه یه نگهبان دارن!
Forwarded from a pessimistic researcher (Kc)
بعد دو سال کار کردن، امشب، یعنی جمعه ساعت ۸:۳۰ که هیچ خبری در این کشور کار نمیکنه :) یکی ایمیل زد که ما داریم برای یه مقاله از ابزار شما استفاده میکنیم و به نظرمون یه باگی داره. باگ در کسری از ثانیه حل شد و من خوشحال از اینکه بالاخره JMC از وضعیت چرا هیچ خری بهش توجه نمیکنه، به وضعیت بالاخره یه عزیزی بهش توجه کرد تغییر کرد :)
GitHub
GitHub - mpi-sws-rse/jmc: jmc: Java Model Checker
jmc: Java Model Checker. Contribute to mpi-sws-rse/jmc development by creating an account on GitHub.
Forwarded from a pessimistic researcher (Kc)
حدس بزنید کی رفته اخیرا ریپوی JMC رو توی گیتهاب star کرده؟ :)
همون که چند وقت پیش توی کانال داشتم پتهاش رو میریختم روی آب :) آدمی که پشت مدل چکر CONFORMANCE هستش :) بله با افتخار :)
همون که چند وقت پیش توی کانال داشتم پتهاش رو میریختم روی آب :) آدمی که پشت مدل چکر CONFORMANCE هستش :) بله با افتخار :)
Forwarded from محتوای آزاد سهراب (Sohrab)
بعضی رفتارها توی بعضی گروهها، رفتارهای جالبی نیست.
من امشب اکثر گروههام رو خارج شدم، همینطور هم که اینجا نوشته بودم، تلگرام مناسب این مدل چیزها نیست.
اگر علاقمند به #نرمافزارآزاد ، #برنامهنویسی یا هرچیزی مرتبط با کامپیوتر هستید میتونید توی فروم پارچ فعالیت کنید، به شرطی که توی تاپیک درست پست بذارید.
https://forum.parchlinux.com
اگر هم از پارچ و من خوشتون نمیاد، میتونید بیاید توی fsiran فعالیت کنید:
https://fsiran.org
اینکه بخوام بنویسم که یک جامعه پویا و فعال خواهیم داشت، متاسفانه دروغی بیش نیست چون وضعیت کشور مانعش میشه، ولی هرکسی درحدی که توی توانش هست میتونه در گسترش و یا تشکیل یک جامعه جدید سهیم باشه، از فعالیت نترسید، از پاسخ دادن توی فروم ها هم نترسید، بالاخره از یکجا باید شروع بشه دیگه ؟
@SohrabContents
من امشب اکثر گروههام رو خارج شدم، همینطور هم که اینجا نوشته بودم، تلگرام مناسب این مدل چیزها نیست.
اگر علاقمند به #نرمافزارآزاد ، #برنامهنویسی یا هرچیزی مرتبط با کامپیوتر هستید میتونید توی فروم پارچ فعالیت کنید، به شرطی که توی تاپیک درست پست بذارید.
https://forum.parchlinux.com
اگر هم از پارچ و من خوشتون نمیاد، میتونید بیاید توی fsiran فعالیت کنید:
https://fsiran.org
اینکه بخوام بنویسم که یک جامعه پویا و فعال خواهیم داشت، متاسفانه دروغی بیش نیست چون وضعیت کشور مانعش میشه، ولی هرکسی درحدی که توی توانش هست میتونه در گسترش و یا تشکیل یک جامعه جدید سهیم باشه، از فعالیت نترسید، از پاسخ دادن توی فروم ها هم نترسید، بالاخره از یکجا باید شروع بشه دیگه ؟
@SohrabContents
Forwarded from PhiloLearn | فیلولرن
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
🔶 مکانسیم ماشه فعال شد.
شواری امنیت با ۴ رای موافق، ۲ رای ممتنع و ۹ رای مخالف قطعنامه پیشنهادی چین و روسیه برای تعویق تحریمهای ایران را رد کرد.
#منهای_برنامه_نویسی
@TheRaymondDev
شواری امنیت با ۴ رای موافق، ۲ رای ممتنع و ۹ رای مخالف قطعنامه پیشنهادی چین و روسیه برای تعویق تحریمهای ایران را رد کرد.
#منهای_برنامه_نویسی
@TheRaymondDev
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
🔶 در مکانسیم ماشه, بخش اصلی تحریم ها مربوط به حوزه های تسلیحاتی و هستهای خواهد بود، همراه با ممنوعیت سفر افراد تحریمشده و مسدود شدن دارایی های آنان.
در عین حال، گزارشهایی درباره امضای قراردادهای ایران با روسیه، چین و حتی هند و چندین کشور منتشر شده که نشان میدهد همکاریهای اقتصادی، هستهای و حتی نظامی همچنان ادامه دارد و صادرات نفت ایران نیز با مشکل جدی مواجه نیست.
در حوزه مالی، این کشورها میتوانند از مکانیزمهای پرداخت جایگزین مانند استفاده از ارزهای محلی (یوآن، روبل) یا روشهای تهاتر کالا به جای سیستمهای دلاری برای تجارت با ایران بهره بگیرند.
با این حال، ایراد اصلی اینجاست که اقتصاد ایران بهطور فزاینده ای به شرق وابسته خواهد شد و عملاً هیچ همکاری اقتصادی معناداری با اروپا نخواهد داشت.
#منهای_برنامه_نویسی
@TheRaymondDev
در عین حال، گزارشهایی درباره امضای قراردادهای ایران با روسیه، چین و حتی هند و چندین کشور منتشر شده که نشان میدهد همکاریهای اقتصادی، هستهای و حتی نظامی همچنان ادامه دارد و صادرات نفت ایران نیز با مشکل جدی مواجه نیست.
در حوزه مالی، این کشورها میتوانند از مکانیزمهای پرداخت جایگزین مانند استفاده از ارزهای محلی (یوآن، روبل) یا روشهای تهاتر کالا به جای سیستمهای دلاری برای تجارت با ایران بهره بگیرند.
با این حال، ایراد اصلی اینجاست که اقتصاد ایران بهطور فزاینده ای به شرق وابسته خواهد شد و عملاً هیچ همکاری اقتصادی معناداری با اروپا نخواهد داشت.
#منهای_برنامه_نویسی
@TheRaymondDev
Reuters
Iran sanctions snapback offers Chinese oil buyers a lucrative boost
The looming revival of international sanctions on Iran is unlikely to curtail Tehran’s vital oil exports but could benefit Chinese refiners, offering them access to a larger share of discounted Iranian crude.
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
پوشش خبر منهای برنامه نویسی چطور بود؟
به روز رسانی : به دلیل افزایش مخالفت ها خبرهای منهای برنامه نویسی کنسل شد و فقط خبرهای تکنولوژی می زاریم.
@TheRaymondDev
به روز رسانی : به دلیل افزایش مخالفت ها خبرهای منهای برنامه نویسی کنسل شد و فقط خبرهای تکنولوژی می زاریم.
@TheRaymondDev
Forwarded from دستاوردهای یادگیری عمیق(InTec)
چندین بار اومدم از تجربم روی راهاندازی
ولی واقعاً انگیزهای نیست!
بقول صاحب شرکت؛
چیزی که متوجه شدم:
سفارشها ۱ روز قبل جنگ انجام شده؛
بعد جنگ شده و کلی عقب افتاد
در نهایت هر قطعه از یک راهی وارد شده (جهت دور زدن تحریم مثل اینکه)
بعد از جنگ یک سری قراردادهاشون لغو شده
الان هم توی این شرایط یک سری دیگر ...
H200 بگم و Sync کردن و تستهای مختلف که چندروز درگیرش بودم.ولی واقعاً انگیزهای نیست!
بقول صاحب شرکت؛
آقا من ۱۸ میلیارد پول اینارو دادم ولی با این وضعیت دیگه پول متخصص ندارم بدم!
چیزی که متوجه شدم:
سفارشها ۱ روز قبل جنگ انجام شده؛
بعد جنگ شده و کلی عقب افتاد
در نهایت هر قطعه از یک راهی وارد شده (جهت دور زدن تحریم مثل اینکه)
بعد از جنگ یک سری قراردادهاشون لغو شده
الان هم توی این شرایط یک سری دیگر ...
Forwarded from کانال مهرداد لینوکس
📄 دستور mkdir در لینوکس
✅ دستور mkdir (make directory) در Linux برای ساختن دایرکتوری استفاده میشه
اپشنهای متداول:
🔥 ترفندهای ترکیبی و حرفهای:
🔥 برای اسکریپتنویسی خیلی کاربردیه، مثلا ساخت ساختار پروژه😎:
✨ عالیه تا اینجا آمدی 💐 به نظرت کار دستور زیر چیه ؟ و کاربردش چیه؟
#دیوار_لینوکس
@MehrdadLinuxchannel
#Linux #لینوکس
#linux_command
✅ دستور mkdir (make directory) در Linux برای ساختن دایرکتوری استفاده میشه
اپشنهای متداول:
mkdir test ساخت دایرکتوری
mkdir dir1 dir2 dir3 چند دایرکتوری
mkdir -p a/b/c پوشههای تو در تو
mkdir -m 700 private دسترسی خاص
mkdir -v newdir با گزارش
🔥 ترفندهای ترکیبی و حرفهای:
mkdir project_{A,B,C} → ساخت با الگو
mkdir release_{01..12} → پوشههای شمارهدار ۰۱ تا ۱۲
mkdir "$(date +%Y-%m-%d)" → نام تاریخ امروز
mkdir "$(whoami)_data" → اسم کاربر فعلی
mkdir new && cd $_ → ساخت پوشه و ورود🔥 برای اسکریپتنویسی خیلی کاربردیه، مثلا ساخت ساختار پروژه😎:
mkdir -p project/{src/{lib,tests},docs,bin}✨ عالیه تا اینجا آمدی 💐 به نظرت کار دستور زیر چیه ؟ و کاربردش چیه؟
TMPDIR=$(mktemp -d /tmp/mydir.XXXXXX)
#دیوار_لینوکس
@MehrdadLinuxchannel
#Linux #لینوکس
#linux_command
Forwarded from Gopher Academy
🔵 عنوان مقاله
Go's Support for Valgrind Instrumentation
🟢 خلاصه مقاله:
این مقاله درباره پشتیبانی آزمایشی Go از Valgrind است؛ چارچوبی که با ابزارهایی مانند Memcheck، Helgrind، DRD، Cachegrind، Callgrind و Massif برای پروفایلینگ و یافتن خطاهای حافظه و همزمانی بهکار میرود. با این پشتیبانی، برنامههای Go میتوانند به شکل عمیقتری پایش شوند—بهویژه در مرزهای cgo—و علاوه بر ابزارهای داخلی مانند pprof و race detector، گزینههای تشخیصی بیشتری در اختیار دارند. بااینحال، به دلیل سربار اجرایی بالا و ماهیت آزمایشی، نتایج ممکن است شامل خطا یا مثبت کاذب باشد و بهتر است با بیلدهای دیباگ و بارهای کاری کنترلشده استفاده شود. این قابلیت مکمل ابزارهای بومی Go است و جایگزین آنها محسوب نمیشود.
#Go #Valgrind #Instrumentation #Profiling #MemoryLeaks #Concurrency #Performance #Debugging
🟣لینک مقاله:
https://golangweekly.com/link/174628/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
Go's Support for Valgrind Instrumentation
🟢 خلاصه مقاله:
این مقاله درباره پشتیبانی آزمایشی Go از Valgrind است؛ چارچوبی که با ابزارهایی مانند Memcheck، Helgrind، DRD، Cachegrind، Callgrind و Massif برای پروفایلینگ و یافتن خطاهای حافظه و همزمانی بهکار میرود. با این پشتیبانی، برنامههای Go میتوانند به شکل عمیقتری پایش شوند—بهویژه در مرزهای cgo—و علاوه بر ابزارهای داخلی مانند pprof و race detector، گزینههای تشخیصی بیشتری در اختیار دارند. بااینحال، به دلیل سربار اجرایی بالا و ماهیت آزمایشی، نتایج ممکن است شامل خطا یا مثبت کاذب باشد و بهتر است با بیلدهای دیباگ و بارهای کاری کنترلشده استفاده شود. این قابلیت مکمل ابزارهای بومی Go است و جایگزین آنها محسوب نمیشود.
#Go #Valgrind #Instrumentation #Profiling #MemoryLeaks #Concurrency #Performance #Debugging
🟣لینک مقاله:
https://golangweekly.com/link/174628/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
Forwarded from DevTwitter | توییت برنامه نویسی
ورژن جدید جاوااسکریپت ECMAScript 2026 یه متود جدید به اسم try به Promise اضافه کرده
باهاش میتونید یه تابع sync رو با ظاهر async اجرا کنید و فرقش با حالت then اینه که این همون لحظه اجرا میشه اما then اجرا رو به میکروتسک بعدی منتقل میکنه، یعنی کمی تأخیر داره.
@DevTwitter | <Nimo/>
باهاش میتونید یه تابع sync رو با ظاهر async اجرا کنید و فرقش با حالت then اینه که این همون لحظه اجرا میشه اما then اجرا رو به میکروتسک بعدی منتقل میکنه، یعنی کمی تأخیر داره.
@DevTwitter | <Nimo/>
Forwarded from IRCF | اینترنت آزاد برای همه
#فیلترینگ
وزارت ارشاد با صدور یک دستورالعمل، اقدام به مسدودسازی وبسایتهای رسمی و سامانههای فروش ۲۵ شرکت فعال در حوزه مواد غذایی صادراتمحور کرده. شرق گزارش داده که این تصمیم بهدلیل تبلیغ این شرکتها در ماهواره اتخاذ شده!
همینطور ارائه دهنده پکتلاس که ابزاری برای سنجش کیفیت و پایداری اینترنت هست، گفته "سایتشون بیدلیل روی اینترنت ثابت و همراه درحال مسدود شدن هست".
🔍 ircf.space
@ircfspace
وزارت ارشاد با صدور یک دستورالعمل، اقدام به مسدودسازی وبسایتهای رسمی و سامانههای فروش ۲۵ شرکت فعال در حوزه مواد غذایی صادراتمحور کرده. شرق گزارش داده که این تصمیم بهدلیل تبلیغ این شرکتها در ماهواره اتخاذ شده!
همینطور ارائه دهنده پکتلاس که ابزاری برای سنجش کیفیت و پایداری اینترنت هست، گفته "سایتشون بیدلیل روی اینترنت ثابت و همراه درحال مسدود شدن هست".
🔍 ircf.space
@ircfspace
Forwarded from DevTwitter | توییت برنامه نویسی
قصه غمانگیز هوش مصنوعی در ایران
ردههای بالای سازمانی دستور میدن که هوش مصنوعی رو وارد سازمان کنید.
ردههای میانی هم میان یه مشت داکیومنت از ته انبار ورمیدارن میارن میگن بیاید برای ما چتبات بسازید.
نه فکری...نه حساب کتابی...نه نیازسنجی...هیچی
@DevTwitter | <Reza Jafari/>
ردههای بالای سازمانی دستور میدن که هوش مصنوعی رو وارد سازمان کنید.
ردههای میانی هم میان یه مشت داکیومنت از ته انبار ورمیدارن میارن میگن بیاید برای ما چتبات بسازید.
نه فکری...نه حساب کتابی...نه نیازسنجی...هیچی
@DevTwitter | <Reza Jafari/>