Forwarded from a pessimistic researcher (Kc)
ما بالاخره بعد ۶ ماه، تمام commit های داخلی پروژهی JMC رو پوش کردیم روی برنچ main که به شکل public از طریق این لینک قابل دسترس هستش
https://github.com/mpi-sws-rse/jmc
نسبت به نسخهی قبلی feature های بسیاری اضافه کردیم. منتهی readme آپدیت نیست و بهزودی آپدیتش میکنم.
خوشحال میشم که یک امتحانی بهش بدید و سعی کنید build کنید و اگر موردی بود بهم بگید. توصیه میکنم روی IntelliJ بیلد کنید.
https://github.com/mpi-sws-rse/jmc
نسبت به نسخهی قبلی feature های بسیاری اضافه کردیم. منتهی readme آپدیت نیست و بهزودی آپدیتش میکنم.
خوشحال میشم که یک امتحانی بهش بدید و سعی کنید build کنید و اگر موردی بود بهم بگید. توصیه میکنم روی IntelliJ بیلد کنید.
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 Python Hints
گروه مربوط به کانال حذف شد.
خیلیها هنوز شعور عضویت در گروه رو ندارند.
#قوانین و بنر گروه رو خوندن وظیفه اعضا هست.
اینحه صحبتی غیر از Core Python توی گروه نباشه
به خواسته خودتون بوده و رأی گیری شد تا گروه جدابی داشته باشیم.
هیچکدوم از کانالهای
@pyhints
@pytens
@pyrust
هیچوقت هیچ آوردهای برای من نداشتند، هیچ سودی هم نداشته.
قرار باشه تمرکزم رو هم ازم بگیره ترجیح میدم نباشه.
خیلیها هنوز شعور عضویت در گروه رو ندارند.
#قوانین و بنر گروه رو خوندن وظیفه اعضا هست.
اینحه صحبتی غیر از Core Python توی گروه نباشه
به خواسته خودتون بوده و رأی گیری شد تا گروه جدابی داشته باشیم.
هیچکدوم از کانالهای
@pyhints
@pytens
@pyrust
هیچوقت هیچ آوردهای برای من نداشتند، هیچ سودی هم نداشته.
قرار باشه تمرکزم رو هم ازم بگیره ترجیح میدم نباشه.
Forwarded from linuxtnt(linux tips and tricks) (hosein seilany https://seilany.ir/)
🔰برنامه ساده تولید کننده رمز عبور با بش اسکریپت:
گاهی اوقات نیاز به تغییر رمز عبور خود دارید. همه میدانند که یک رمز عبور خوب باید شامل حروف بزرگ و کوچک لاتین، اعداد و کاراکترهای خاص باشد. علاوه بر این، نباید خیلی کوتاه باشند. هر بار ایجاد رمز عبور جدید به خصوص اگر از رمزهای عبور مختلف برای خدمات مختلف استفاده میکنید، دشوارتر میشود. میتوانید برای این منظور از برنامههایی مانند pwgen یا ژنراتور داخلی KeepassX استفاده کنید. یا میتوانید یک مولد رمز عبور ساده در Bash بنویسید.
🔹کاراکترهای استفاده شده
از کاراکترهای زیر استفاده خواهیم کرد: حروف بزرگ و کوچک الفبای لاتین (A-Z و a-z)، اعداد (0-9) و نمادهای "!@#$%^&*()?/[]{}-+_=<>.,". این ترکیب حداکثر امنیت را تضمین میکند.
🔹طول رمز عبور
طول رمز عبور 16 کاراکتر خواهد بود. اگر به رمز عبور کوتاهتری نیاز دارید، میتوانید طول کمتری را در اسکریپت مشخص کنید یا یک گزینه خط فرمان اضافه کنید.
🔹اسکریپت مولد رمز عبور Bash
گاهی اوقات نیاز به تغییر رمز عبور خود دارید. همه میدانند که یک رمز عبور خوب باید شامل حروف بزرگ و کوچک لاتین، اعداد و کاراکترهای خاص باشد. علاوه بر این، نباید خیلی کوتاه باشند. هر بار ایجاد رمز عبور جدید به خصوص اگر از رمزهای عبور مختلف برای خدمات مختلف استفاده میکنید، دشوارتر میشود. میتوانید برای این منظور از برنامههایی مانند pwgen یا ژنراتور داخلی KeepassX استفاده کنید. یا میتوانید یک مولد رمز عبور ساده در Bash بنویسید.
🔹کاراکترهای استفاده شده
از کاراکترهای زیر استفاده خواهیم کرد: حروف بزرگ و کوچک الفبای لاتین (A-Z و a-z)، اعداد (0-9) و نمادهای "!@#$%^&*()?/[]{}-+_=<>.,". این ترکیب حداکثر امنیت را تضمین میکند.
🔹طول رمز عبور
طول رمز عبور 16 کاراکتر خواهد بود. اگر به رمز عبور کوتاهتری نیاز دارید، میتوانید طول کمتری را در اسکریپت مشخص کنید یا یک گزینه خط فرمان اضافه کنید.
🔹اسکریپت مولد رمز عبور Bash
SYMBOLS=""
for symbol in {A..Z} {a..z} {0..9}; do SYMBOLS=$SYMBOLS$symbol; done
SYMBOLS=$SYMBOLS'!@#$%&*()?/[]{}-+_=<>.,'
# رشته با تمام کاراکترها ایجاد شده است.
# اکنون باید با تعداد تکرار برابر با طول رمز عبور حلقه بزنیم
# و به طور تصادفی یک کاراکتر را برای اضافه کردن به رشته رمز عبور انتخاب کنید.
PWD_LENGTH=16 # طول رمز عبور
PASSWORD="" # متغیر برای ذخیره رمز عبور
RANDOM=256 # مقداردهی اولیه ژنراتور عدد تصادفی
for i in `seq 1 $PWD_LENGTH`
do
PASSWORD=$PASSWORD${SYMBOLS:$(expr $RANDOM % ${#SYMBOLS}):1}
done
echo $PASSWORD
Forwarded from PhiloLearn | فیلولرن
یکی از چیزایی که معمولا خیلی رو مخمه اینه که افراد برای اینکه به تازه کار ها یه توزیعی معرفی کنن بهشون میگن که
خودم همیشه مینت یا پارچ رو توصیه میکنم
حالا اتفاق جذابی که افتاده اینه که: سهراب، توسعه دهنده پارچ، شروع کرده و توی مجموعه ای داره مقدمات لینوکس رو با کمک مینت آموزش میده
به شخصه خیلی زیاد توصیه میکنم که سهراب رو دنبال کنید، کلی چیز مفید و خفن میتونید از این آدم خفن کم اعتماد به نفس بعضی وقت ها پرخاشگر یاد بگیرید
تماشا از یوتوب
تماشا از پیرتوب
کانال تلگرام سهراب: @SohrabContents
@PhiloLearn
ubuntu استفاده کنن ولی خب این افراد به مواردی توجه نمیکنن و همین بی توجهی باعث میشه اون فرد تازه کار با کلی مشکل احمقانه مواجه بشه و از لینوکس زده بشهخودم همیشه مینت یا پارچ رو توصیه میکنم
حالا اتفاق جذابی که افتاده اینه که: سهراب، توسعه دهنده پارچ، شروع کرده و توی مجموعه ای داره مقدمات لینوکس رو با کمک مینت آموزش میده
به شخصه خیلی زیاد توصیه میکنم که سهراب رو دنبال کنید، کلی چیز مفید و خفن میتونید از این آدم خفن کم اعتماد به نفس بعضی وقت ها پرخاشگر یاد بگیرید
سری مقدماتی استفاده از گنو/لینوکس
توی این ویدئوها از مینت استفاده کردم، و توی این قسمت یک سری کارهای اولیه رو انجام دادیم مثل کار با apt، نصب چندتا بسته و همینطور توضیحات کلی درمورد میزکار.
تماشا از یوتوب
تماشا از پیرتوب
کانال تلگرام سهراب: @SohrabContents
@PhiloLearn
YouTube
مقدمات استفاده از گنو/لینوکس قسمت اول
توی این ویدئو یک توضیحات مقدماتی دادم درمورد گنو/لینوکس و داخلش یک سری کارهارو با توزیع مینت انجام دادیم.
قسمتهای بعدی به زودی ضبط و بارگذاری میشوند.
خوشحال میشم نظراتتون رو درباره ویدئو بدونم :)
لینک دونیت:
https://daramet.com/sohrabbehdani
من در توییتر:…
قسمتهای بعدی به زودی ضبط و بارگذاری میشوند.
خوشحال میشم نظراتتون رو درباره ویدئو بدونم :)
لینک دونیت:
https://daramet.com/sohrabbehdani
من در توییتر:…
Forwarded from محتوای آزاد سهراب
روزنامه دنیای اقتصاد
تولید نوکیا در ایران قانونی بود/ مستندات
نوکیای ایرانی! نامی که آمد..خیلی زود برند شد و خیلی زودتر محبوب شد! و البته که خیلی سریع هم مورد حسادت و بدخواهی شایعه پراکنان قرار گرفت.
فکر میکنم قبلاً درمورد تولید نوکیای قلابی توی ایران گفته بودم (تولید گوشی با برند نوکیا داخل کشور) جالبه بدونید که شرکت اصلی از شرکت قلابی توی دادگاه عمومی تهران شکایت کرده و طبق منطقی که هممون میدونیم، دادگاه عمومی تهران شکایت رو رد کرده😂
فقط توی ایران این اتفاقات میفته، این خودش یکی از دلایلیه که شرکتهای خارجی میلی به سرمایهگذاری داخل ایران ندارن.
🔗 ماستمالی دنیای اقتصاد
@SohrabContents
فقط توی ایران این اتفاقات میفته، این خودش یکی از دلایلیه که شرکتهای خارجی میلی به سرمایهگذاری داخل ایران ندارن.
@SohrabContents
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Ninja Learn | نینجا لرن
پست فردا چی باشه دوستان؟ خودم نظرم رو معرفی pydantic هست
اگه چیزی مد نظرتون هست کامنت کنید
اگه چیزی مد نظرتون هست کامنت کنید
Forwarded from محتوای آزاد سهراب
This media is not supported in your browser
VIEW IN TELEGRAM
برای دانلود از #یوتوب من روی موبایل از #Seal استفاده میکردم اما طبق سیاستهای یوتوب تازگی ها نمیشه به صورت ناشناس ویدئو دانلود کرد.
برنامه seal این امکان رو فراهم کرده تا از کوکی ها بشه استفاده کرد، فقط کافیه یک جیمیل داشته باشید و داخل یوتوب لاگین کنید. به همین سادگی :)
علاوه بر یوتوب، این برنامه از سایر وبسایت هایی که توسط yt-dlp پشتیبانی میشن هم، پشتیبانی میکنه.
🔗 https://f-droid.org/packages/com.junkfood.seal
@SohrabContents
برنامه seal این امکان رو فراهم کرده تا از کوکی ها بشه استفاده کرد، فقط کافیه یک جیمیل داشته باشید و داخل یوتوب لاگین کنید. به همین سادگی :)
علاوه بر یوتوب، این برنامه از سایر وبسایت هایی که توسط yt-dlp پشتیبانی میشن هم، پشتیبانی میکنه.
@SohrabContents
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from 🎄 یک برنامه نویس تنبل (The Lazy 🌱 Raymond)
🔶 سرمایهگذاری سنگین مایکروسافت روی هوش مصنوعی، صدای سرمایهگذاران را درآورد.
با اینکه مایکروسافت با همکاری نزدیک با OpenAI، در حوزهی هوش مصنوعی پیشتاز بوده، گزارشها نشان میدهند هنوز رشد قابل توجهی در این بخش نداشته و درواقع خدمات اشتراک کوپایلت پرو مورد استقبال کاربران قرار نگرفته است. همچنین، شکایاتی دربارهی عملکرد ضعیفتر کوپایلت درمقایسهبا ChatGPT وجود دارد، هرچند مایکروسافت مشکل را به پایینبودن مهارت کاربران نسبت داد. اگرچه غول فناوری اهل ردموند سرمایهگذاریهای سنگینی درحوزهی هوش مصنوعی انجام داده است، تحلیلها از کاهش فروش محصولات هوش مصنوعی آن خبر میدهند. این وضعیت باعث شد نگرانیهایی میان سرمایهگذاران ایجاد شود؛ زیرا آنها ناراحتی خود را از هزینههای بالای مایکروسافت در پروژههای هوش مصنوعی ابراز کردهاند و ممکن است بازده پروژه کوپایلت پایین تر باشد.
#خبر
@TheRaymondDev
با اینکه مایکروسافت با همکاری نزدیک با OpenAI، در حوزهی هوش مصنوعی پیشتاز بوده، گزارشها نشان میدهند هنوز رشد قابل توجهی در این بخش نداشته و درواقع خدمات اشتراک کوپایلت پرو مورد استقبال کاربران قرار نگرفته است. همچنین، شکایاتی دربارهی عملکرد ضعیفتر کوپایلت درمقایسهبا ChatGPT وجود دارد، هرچند مایکروسافت مشکل را به پایینبودن مهارت کاربران نسبت داد. اگرچه غول فناوری اهل ردموند سرمایهگذاریهای سنگینی درحوزهی هوش مصنوعی انجام داده است، تحلیلها از کاهش فروش محصولات هوش مصنوعی آن خبر میدهند. این وضعیت باعث شد نگرانیهایی میان سرمایهگذاران ایجاد شود؛ زیرا آنها ناراحتی خود را از هزینههای بالای مایکروسافت در پروژههای هوش مصنوعی ابراز کردهاند و ممکن است بازده پروژه کوپایلت پایین تر باشد.
#خبر
@TheRaymondDev
Forwarded from An Inspired Engineer
پیاده سازی لود بالانسر Vortex با IO Uring
توی این کامیت دو تا کار جالب کردم:
۱- اومدم تو io uring از روشی استفاده کردم که تعداد سیستم کال هارو به حداقل برسونه. یعنی اگر توی روش قبلی ۱۰۰ تا سوکت به صورت همزمان به سرور وصا میشدن، باید ۱۰۰ تا سیستم کال انجام میدادیم، ولی الان توی یک سیستم کال همشون رو پردازش میکنیم:
وقتی که 1 رو به
۲- اومدم یکم دیزاین پترن و اینترفیس ریختم تو پروژه، طوری که الان هسته ی نوتیفیکیشن بر اساس io uring کار میکنه، ولی اگه خواستم فردا روی epoll یا هرچیز دیگه ای ببرم راحتتر انجام بشه
لینک فایلای تغیر داده شده:
https://github.com/aabolfazl/Vortex/pull/3/files
نظری یا سوالی اگه بود بهم بگین.
@knowpow
توی این کامیت دو تا کار جالب کردم:
۱- اومدم تو io uring از روشی استفاده کردم که تعداد سیستم کال هارو به حداقل برسونه. یعنی اگر توی روش قبلی ۱۰۰ تا سوکت به صورت همزمان به سرور وصا میشدن، باید ۱۰۰ تا سیستم کال انجام میدادیم، ولی الان توی یک سیستم کال همشون رو پردازش میکنیم:
while (true) {
io_uring_submit_and_wait(&ring_, 1);
unsigned cqe_count = 0;
unsigned head;
io_uring_for_each_cqe(&ring_, head, cqe) {
++cqe_count;
auto *request = static_cast<io_request *>(io_uring_cqe_get_data(cqe));
if (request) {
switch (request->type()) {
case io_request::request_type::accept:
request->socket().on_accept(request, cqe->res);
prepare_accept(request->socket());
break;
default:
core::logger::error("Unknown request type");
break;
}
delete request;
}
}
io_uring_cq_advance(&ring_, cqe_count);
}
وقتی که 1 رو به
io_uring_submit_and_wait میدیم، این متد منتظر فقط یک ایونت میشه تا ترد من رو ازاد کنه و لوپ اصلی شروع به کار کنه. خب مگه نگفتیم یک ایونت؟ پس چطور ممکنه ۱۰۰ تا سوکت رو همزمان داشته باشیم؟! این یک که گفتم به این معنی نیست که اگه فقط یک ایونت اتفاق بیفته تنها همون ایونت توی صف باشه، در واقع io_uring این قابلیت رو داره که چندین ایونت (مثلاً چندین درخواست از سوکتهای مختلف توی یک لحظه) رو توی یه مرحله جمعآوری کنه. یعنی اگه چندتا سوکت همزمان به به سرور من درخواست بفرستن، io_uring تمامی اوتارو توی یه سیستم کال مدیریت میکنه و همشون رو به صف completion queue اضافه میکنه. در نتیجه وقتی io_uring_submit_and_wait حداقل منتظر یه ایونته احتمالاً چندین ایونت به صف اضافه شده و توی لوپ با ماکرو io_uring_for_each_cqe همهی این ایونت ها رو بدون نیاز به سیستم کال جدید پردازش میکنیم.۲- اومدم یکم دیزاین پترن و اینترفیس ریختم تو پروژه، طوری که الان هسته ی نوتیفیکیشن بر اساس io uring کار میکنه، ولی اگه خواستم فردا روی epoll یا هرچیز دیگه ای ببرم راحتتر انجام بشه
لینک فایلای تغیر داده شده:
https://github.com/aabolfazl/Vortex/pull/3/files
نظری یا سوالی اگه بود بهم بگین.
@knowpow
GitHub
Type erasure structure by aabolfazl · Pull Request #3 · aabolfazl/Vortex
Summary by CodeRabbit
New Features
Introduced asynchronous socket handling with new async_socket interface.
Added socket_event_handler for managing various socket events.
Implemented io_uring_so...
New Features
Introduced asynchronous socket handling with new async_socket interface.
Added socket_event_handler for managing various socket events.
Implemented io_uring_so...
Forwarded from Morteza Bashsiz مرتضی باشسیز (Morteza Bashsiz)
درود دوستان
عمیقا باور دارم که اگه از چیزی خوشم اومد حتما باید ازش قدردانی کنم
من حقیقتا از خوندن پستهای این کانال لذت میبرم
اینم به عنوان قدردانی از مطالب زیبایی که مینویسه
عمیقا باور دارم که اگه از چیزی خوشم اومد حتما باید ازش قدردانی کنم
من حقیقتا از خوندن پستهای این کانال لذت میبرم
اینم به عنوان قدردانی از مطالب زیبایی که مینویسه
Forwarded from Ninja Learn | نینجا لرن
دوستان ممنون میشم روی پروژه استار بزنید تا به من انرژی بدید :) ❤️
(۱۰ ثانیه هم وقتتون رو نمیگیره)
(۱۰ ثانیه هم وقتتون رو نمیگیره)
Forwarded from DevTwitter | توییت برنامه نویسی
هنگام استخدام در یک شرکت به عمر طولانی ترین کارمند توجه کنین!
مثلن اگر سن شرکتی 8 سالس اما عمر طولانی ترین برنامهنویس اش کمتر از 2 سال است! بهتر هس احساس خطر کنین.
همچنین بمنظور بهبود این جهنم ! به دوستان خود نیز وضعیت اون شرکت رو اطلاع بدین.
<Javad Vatandoost/>
@DevTwitter
مثلن اگر سن شرکتی 8 سالس اما عمر طولانی ترین برنامهنویس اش کمتر از 2 سال است! بهتر هس احساس خطر کنین.
همچنین بمنظور بهبود این جهنم ! به دوستان خود نیز وضعیت اون شرکت رو اطلاع بدین.
<Javad Vatandoost/>
@DevTwitter
Forwarded from Geek Alerts
بهنظر میرسه OpenAI داره آماده میشه تا موتور جستجوی SerachGPT رو با ChatGPT یکپارچه کنه، الان به بعضی از کاربرها پیام داده که اکستنشن کروم مارو نصب کنید که یه اکستنشن اختصاصی و البته قدیمی از SerachGPT هست.
توی توضیحات اکستنشن نوشته با نصبش موتور جستجوی پیشفرض کروم تبدیل به SerachGPT میشه که البته وقتی سرچ کنید با پیام اینکه در لیست انتظار ثبتنام کنید روبرو میشید و ظاهرا ویژگی نیست که برای همه فعال شده باشه.
خود اکستنشن هم قدیمی هست و احتمالا بهزودی یک آپدیت براش منتشر بشه.
در مورد خود SerachGPT هم انتظار نداریم تو نسخه اول همه سایتهارو مثل گوگل لیست کنه و قبلا هم گفته بودن فعلا با سایتهای بزرگی که تمایل دارن توی این موتور جستجو باشن شروع میکنن.
chromewebstore
@geekalerts
توی توضیحات اکستنشن نوشته با نصبش موتور جستجوی پیشفرض کروم تبدیل به SerachGPT میشه که البته وقتی سرچ کنید با پیام اینکه در لیست انتظار ثبتنام کنید روبرو میشید و ظاهرا ویژگی نیست که برای همه فعال شده باشه.
خود اکستنشن هم قدیمی هست و احتمالا بهزودی یک آپدیت براش منتشر بشه.
در مورد خود SerachGPT هم انتظار نداریم تو نسخه اول همه سایتهارو مثل گوگل لیست کنه و قبلا هم گفته بودن فعلا با سایتهای بزرگی که تمایل دارن توی این موتور جستجو باشن شروع میکنن.
chromewebstore
@geekalerts
Forwarded from BenDev
یه صحبت جذابی با مانی داشتیم در رابطه با پیشرفت توی شرکت های بزرگ و کوچیک کلی تاپیک مختلف هم وسط اومد. گفتم به اشتراک بزارم شما هم بهره ببرید.
https://youtu.be/FOg9zK4ikGU
@BenDevelop
https://youtu.be/FOg9zK4ikGU
@BenDevelop
YouTube
گپ و گفت در رابطه با پیشرفت در شرکت
▬ شبکه های اجتماعی ▬▬▬▬▬▬▬▬▬▬
لینکدین:
/ amirbahador
تلگرام:https://t.iss.one/BenDevelop
گیت هاب:https://github.com/amirbahador-hub
کانال مانی:
https://www.youtube.com/@UCHPRW5oUwsgul8y5RImJLwA
لینکدین:
/ amirbahador
تلگرام:https://t.iss.one/BenDevelop
گیت هاب:https://github.com/amirbahador-hub
کانال مانی:
https://www.youtube.com/@UCHPRW5oUwsgul8y5RImJLwA
Forwarded from DevTwitter | توییت برنامه نویسی
Forwarded from IRCF | اینترنت آزاد برای همه
نسخه ۱.۱.۰ از پنل S-UI در دسترس قرار گرفت.
👉 github.com/alireza0/s-ui/releases/tag/1.1.0
🔍 ircf.space/software
@ircfspace
👉 github.com/alireza0/s-ui/releases/tag/1.1.0
🔍 ircf.space/software
@ircfspace
GitHub
Release 1.1.0 · alireza0/s-ui
Features
Go 1.23.2 & SingBox 1.10.1 & update dependencies
Add Russian language #280 @cany748
Client group feature
Bulk client creation #285
Reload sing-box instead of restart
Multi os/arc...
Go 1.23.2 & SingBox 1.10.1 & update dependencies
Add Russian language #280 @cany748
Client group feature
Bulk client creation #285
Reload sing-box instead of restart
Multi os/arc...