Forwarded from a pessimistic researcher (Kc)
اما بریم سراغ یکی از محبوبترین Event هام. این Event یک Informal Meeting هستش تا یک Summer School چرا که جای لکچر و درس دادن، دانشجوها و استادا میان راجع به مقالات اخیر یا کارای در دست توسعهشون Talk میدن. علاوه بر اون کلی Social Meeting داره که اصلا نگم برات :)
اسم این ایونت Alpine Verification Meeting هست که حوزهی مورد بحثش Model Checking و Verification و Abstract Interpretation هست. شاید دلیل اینکه خیلی دوستش دارم اینه که اومدن بر اساس حوزهی کاریم یه ایونت درست کردن :) پارسال این ایونت رو معرفی کردم و از اون بهتر شرکت کردم که میتونید توی این پست راجع بهش بخونید. واقعا فوق العاده بود. هم شهر فرایبورگ و طبیعت بکرش و هم organizer های فوقالعاده نایسش آقای پودلسکی و آقای دومینیک که حسابی باهاش رفیق شدم و هم پیاله شدیم :)
اما امسال هم مطمئنا شرکت میکنم و بسیار به اصحابی که به حرفای کانال علاقه دارند توصیه میکنم که در صورت امکان شرکت کنند. امسال این ایونت توی کشور رومانی امسال ۲۳ تا ۲۵ سپتامبر در دانشگاه Universitatea de Vest واقع در شهر Timișoara برگزار میشه. علاوه بر خود دانشگاه، ریسرچ یونیت FORSYTE در دانشگاه TU Wien هم Co-organizer این رویداد هست.
دلیل نام گزاری این ایونت اینه که هر سال توی یکی از کشورای حوزهی رشته کوه آلپ برگزار میشه. هنوز لینک ثبتنامش رو نذاشتن ولی برای کسب اطلاعات بیشتر میتونید به این لینک مراجعه کنید. امیدوارم که بتونم مثل سال گذشته، تعداد خوبی از دوستان رو ببینم. امسال قطعا در مورد JMC در AVM حرف میزنیم.
اسم این ایونت Alpine Verification Meeting هست که حوزهی مورد بحثش Model Checking و Verification و Abstract Interpretation هست. شاید دلیل اینکه خیلی دوستش دارم اینه که اومدن بر اساس حوزهی کاریم یه ایونت درست کردن :) پارسال این ایونت رو معرفی کردم و از اون بهتر شرکت کردم که میتونید توی این پست راجع بهش بخونید. واقعا فوق العاده بود. هم شهر فرایبورگ و طبیعت بکرش و هم organizer های فوقالعاده نایسش آقای پودلسکی و آقای دومینیک که حسابی باهاش رفیق شدم و هم پیاله شدیم :)
اما امسال هم مطمئنا شرکت میکنم و بسیار به اصحابی که به حرفای کانال علاقه دارند توصیه میکنم که در صورت امکان شرکت کنند. امسال این ایونت توی کشور رومانی امسال ۲۳ تا ۲۵ سپتامبر در دانشگاه Universitatea de Vest واقع در شهر Timișoara برگزار میشه. علاوه بر خود دانشگاه، ریسرچ یونیت FORSYTE در دانشگاه TU Wien هم Co-organizer این رویداد هست.
دلیل نام گزاری این ایونت اینه که هر سال توی یکی از کشورای حوزهی رشته کوه آلپ برگزار میشه. هنوز لینک ثبتنامش رو نذاشتن ولی برای کسب اطلاعات بیشتر میتونید به این لینک مراجعه کنید. امیدوارم که بتونم مثل سال گذشته، تعداد خوبی از دوستان رو ببینم. امسال قطعا در مورد JMC در AVM حرف میزنیم.
Forwarded from a pessimistic researcher (Kc)
فعلا کافیه. منتظر میمونم تا Marktoberdorf هم وبسایتش رو برای ۲۰۲۵ راهاندازی کنه و بعد معرفیش کنم.
حالا اگر چیز جالب دیگهای هم دیدم معرفی میکنم
حالا اگر چیز جالب دیگهای هم دیدم معرفی میکنم
Forwarded from a pessimistic researcher (Kc)
فیلسوف مهندس
🔹 این آقایی که میبینید کنار بنده استاد MIT هست و خداوندگارِ سنتز یا تولید اتوماتیک برنامه (program synthesis). لوریس دیآنتونی هم یه سخنرانی جذاب یه ساعته درباره سنتز داشت. کلا به نظرم سنتز تکنولوژیای انقلابی و مترقی هست ⚒️ برخلاف بسیاری از تکنولوژیها و…
امیرعلی هم توی کانالش از تجربیات شرکت در کنفرانس POPL نوشته که حتما توصیه میکنم بخونید.
من از روزی که با امیرعلی آشنا شدم سعی کردم تا میتونم فرمال و کانکارنسی درستی رو بهش نشون بدم، واقعا نمیدونم چی شد که آلودهی LLM شد :)))
من از روزی که با امیرعلی آشنا شدم سعی کردم تا میتونم فرمال و کانکارنسی درستی رو بهش نشون بدم، واقعا نمیدونم چی شد که آلودهی LLM شد :)))
Forwarded from linuxtnt(linux tips and tricks) (hosein seilany https://seilany.ir/)
🔰فرآیند زامبی (Zombie Process) چیست؟
🔹فرآیند زامبی (یا فرآیند معیوب) به فرآیندی گفته میشود که اجرای آن به پایان رسیده است، اما هنوز یک ورودی در جدول فرآیندها (process table) دارد. این اتفاق زمانی رخ میدهد که فرآیند والد (parent process) وضعیت خروج فرآیند فرزند (child process) را نخوانده باشد. فرآیندهای زامبی از منابع سیستم (مانند CPU یا حافظه) استفاده نمیکنند، اما اگر تعداد آنها زیاد شود، میتوانند جدول فرآیندها را شلوغ کنند.
🔹شناسایی فرآیندهای زامبی
🔹پیدا کردن شناسه فرآیند والد (PPID)
پس از شناسایی فرآیند زامبی، شناسه آن (PID) را یادداشت کنید. سپس، شناسه فرآیند والد (PPID) را با استفاده از دستور زیر پیدا کنید:
🔹متوقف کردن فرآیند والد
فرآیندهای زامبی را نمیتوان مستقیماً متوقف کرد، زیرا آنها از قبل پایان یافتهاند. در عوض، باید فرآیند والد آنها را متوقف کنید تا فرآیند زامبی پاک شود. برای این کار از دستور kill استفاده کنید
به جای <PPID>، شناسه فرآیند والد را قرار دهید.
🔹اگر فرآیند والد بهطور عادی متوقف نشد، میتوانید آن را بهزور متوقف کنید:
📌نویسنده: حسین سیلانی
📌منبع : آکادمی کندوی دانش
https://learninghive.ir
🔹فرآیند زامبی (یا فرآیند معیوب) به فرآیندی گفته میشود که اجرای آن به پایان رسیده است، اما هنوز یک ورودی در جدول فرآیندها (process table) دارد. این اتفاق زمانی رخ میدهد که فرآیند والد (parent process) وضعیت خروج فرآیند فرزند (child process) را نخوانده باشد. فرآیندهای زامبی از منابع سیستم (مانند CPU یا حافظه) استفاده نمیکنند، اما اگر تعداد آنها زیاد شود، میتوانند جدول فرآیندها را شلوغ کنند.
🔹شناسایی فرآیندهای زامبی
ps aux | grep 'Z'
🔹پیدا کردن شناسه فرآیند والد (PPID)
پس از شناسایی فرآیند زامبی، شناسه آن (PID) را یادداشت کنید. سپس، شناسه فرآیند والد (PPID) را با استفاده از دستور زیر پیدا کنید:
ps -o ppid= -p <PID>
🔹متوقف کردن فرآیند والد
فرآیندهای زامبی را نمیتوان مستقیماً متوقف کرد، زیرا آنها از قبل پایان یافتهاند. در عوض، باید فرآیند والد آنها را متوقف کنید تا فرآیند زامبی پاک شود. برای این کار از دستور kill استفاده کنید
kill <PPID>
به جای <PPID>، شناسه فرآیند والد را قرار دهید.
🔹اگر فرآیند والد بهطور عادی متوقف نشد، میتوانید آن را بهزور متوقف کنید:
kill -9 PPID
📌نویسنده: حسین سیلانی
📌منبع : آکادمی کندوی دانش
https://learninghive.ir
Forwarded from DevTwitter | توییت برنامه نویسی
این پروژه به شما یاد میده که چطور با استفاده از کدهای ساده و کارآمد، یک سیستم کوتاهکننده URL بسازید و لینکهای طولانی رو به لینک های کوتاه و کاربرپسند تبدیل کنید.
این پروژه با پایتون و فریمورک قدرتمند FastAPI نوشته شده
و به همه افراد، از تازهکارها گرفته تا افرادی که قصد دارن مهارتهای برنامهنویسی خودشون رو تقویت کنن کمک میکنه
https://github.com/irvaniamirali/zip-link
@DevTwitter | <Amiri/>
این پروژه با پایتون و فریمورک قدرتمند FastAPI نوشته شده
و به همه افراد، از تازهکارها گرفته تا افرادی که قصد دارن مهارتهای برنامهنویسی خودشون رو تقویت کنن کمک میکنه
https://github.com/irvaniamirali/zip-link
@DevTwitter | <Amiri/>
Forwarded from Geek Alerts
نسخه ویندوزی ترمینال محبوب Warp منتشر شد. کاملا با زبان Rust نوشته شده، سرعت بالایی داره و مستقیما روی GPU رندر میشه از طرفی لاگین به warp اجباری نیست.
با این حال اگه لاگین کنید از ویژگی معروفش یعنی AI استفاده میکنید که کمک میکنه توی ترمینال دستورات رو بهتر وارد کنید و در کل کار کردن با لینوکس و ترمینال رو خیلی سادهتر میکنه.
یه Agent Mode هم داره که میتونه خودش خطاهای داخل ترمینال رو تشخیص بده، اصلاح کنه، خلاصه از لاگها درست میکنه و کلی ویژگی دیگه. قبلا نسخه لینوکس و مک منتشر شده بود و فقط نسخه ویندوز رو کم داشت.
الان میتونید نسخه ویندوز رو دانلود کنید.
🔗 warp
🤓 @geekalerts
با این حال اگه لاگین کنید از ویژگی معروفش یعنی AI استفاده میکنید که کمک میکنه توی ترمینال دستورات رو بهتر وارد کنید و در کل کار کردن با لینوکس و ترمینال رو خیلی سادهتر میکنه.
یه Agent Mode هم داره که میتونه خودش خطاهای داخل ترمینال رو تشخیص بده، اصلاح کنه، خلاصه از لاگها درست میکنه و کلی ویژگی دیگه. قبلا نسخه لینوکس و مک منتشر شده بود و فقط نسخه ویندوز رو کم داشت.
الان میتونید نسخه ویندوز رو دانلود کنید.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Geek Alerts
یه ابزار جدید به اسم colormatch از polarr منتشر شده که کارش اصلاح رنگ با هوشمصنوعی هست و فعلا هم رایگانه.
اینجوری کار میکنه که شما یه عکس بهش میدید و میگید میخوام رنگبندی عکس دومم مثل رنگبندی عکس اولم بشه، کاربردهای زیادی داره مثل وقتی با چند تا دوربین عکس گرفتید و میخواید رنگبندی همه مثل هم بشه یا وقتی از رنگهای یه عکس خوشتون میاد و میخواد عکسهای شما هم بر اساس اون اصلاح رنگ بشن.
به مراتب خروجی این ابزار از فیلتر برنامههای اصلاح رنگ یا ویرایش عکس بهتر هست.
برای استفاده میتونید مستقیم از سایت polarr استفاده کنید.
🤓 @geekalerts
اینجوری کار میکنه که شما یه عکس بهش میدید و میگید میخوام رنگبندی عکس دومم مثل رنگبندی عکس اولم بشه، کاربردهای زیادی داره مثل وقتی با چند تا دوربین عکس گرفتید و میخواید رنگبندی همه مثل هم بشه یا وقتی از رنگهای یه عکس خوشتون میاد و میخواد عکسهای شما هم بر اساس اون اصلاح رنگ بشن.
به مراتب خروجی این ابزار از فیلتر برنامههای اصلاح رنگ یا ویرایش عکس بهتر هست.
برای استفاده میتونید مستقیم از سایت polarr استفاده کنید.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from کانال مهرداد لینوکس
🔥 ابزار Yaak یک API client برای توسعه دهندههای مدرن 😎
ابزار Yaak API Client به صورت Offline کار میکنه با Git سازگاره و برای HTTP ,GraphQL ,WebSockets ,SSE و gRPC استفاده میشه
✅ برای ساخت این ابزار از Tauri همچنین Rust و ReactJS استفاده شده
امکانات خوبی داره مثل :
💠 وارد کردن دیتا از Postman, Insomnia, OpenAPI, Swagger یا Curl.
💠 احراز هویت با OAuth 2.0, JWT tokens, Basic Auth , ...
💠 فیلتر کردن پاسخ ها با JSONPath یا XPath queries
💠زنجیره سازی ، دسته بندی تو در تو متغییر های محیطی درخواست ها
❤️ ممنون از حمایت هاتون 💐🌺
#devops #programming
ابزار Yaak API Client به صورت Offline کار میکنه با Git سازگاره و برای HTTP ,GraphQL ,WebSockets ,SSE و gRPC استفاده میشه
✅ برای ساخت این ابزار از Tauri همچنین Rust و ReactJS استفاده شده
امکانات خوبی داره مثل :
💠 وارد کردن دیتا از Postman, Insomnia, OpenAPI, Swagger یا Curl.
💠 احراز هویت با OAuth 2.0, JWT tokens, Basic Auth , ...
💠 فیلتر کردن پاسخ ها با JSONPath یا XPath queries
💠زنجیره سازی ، دسته بندی تو در تو متغییر های محیطی درخواست ها
قبلا ابزار Bruno را در این زمینه معرفی کرده بودم که در پست که منشن شده یا اینجا میتوانید ببینید
این Awesome API Clients هم مفیده
ابزار مشابه دیگر
HTTPie for Web & Desktop
HTTPie CLI
insomnia
Restfox
ezy
Kreya
API Dash
vscode-restclient
xh
NativeRest
yaade
firecamp
thunderclient
Hoppscotch
❤️ ممنون از حمایت هاتون 💐🌺
#devops #programming
Forwarded from محتوای آزاد سهراب
چون دیدم توی خیلی از گروهها هنوز فرق نرمافزار آزاد و نرمافزار رایگان و نرمافزار متنباز هنوز جا نیفتاده، یک مطلب نوشتم که درموردشون توضیح دادم.
(شاید ایراداتی داشته باشه که ممنون میشم گوشزد کنید بهم)
از این لینک در دسترسه:
https://blogfa.sohrabbehdani.ir/foss-vs-floss-vs-freeware
@SohrabContents
(شاید ایراداتی داشته باشه که ممنون میشم گوشزد کنید بهم)
از این لینک در دسترسه:
https://blogfa.sohrabbehdani.ir/foss-vs-floss-vs-freeware
@SohrabContents
blogfa.sohrabbehdani.ir
محتوای آزاد سهراب
بله، باهم فرق دارن!
Forwarded from DevTwitter | توییت برنامه نویسی
تو Reddit یه نفر یه فایل EXE ویژوال بیسیک ۴ که میشه برای ۱۹۹۷ رو با Claude 3.7 اومده به پایتون تبدیل کرده.
میگه اجرای فایلهای VB4 الان دردسره، ولی Claude 3.7 فایل رو آنالیز کرده، UI و فایلهای صوتی رو پیدا کرده و یه کد پایتون معادلش ساخته، بعد همون بار اول هم کار کرد و کل پروسه کلا ۵ دقیقه طول کشید.
معنی این ماجرا اینه که میشه اپلیکیشنها و بازیهای قدیمی رو بدون کد اصلی به کمک یه ابزار مثل Claude 3.7 بیایم open-source و reverse-engineer کنیم.
@DevTwitter | <Soroush Ahmadi/>
میگه اجرای فایلهای VB4 الان دردسره، ولی Claude 3.7 فایل رو آنالیز کرده، UI و فایلهای صوتی رو پیدا کرده و یه کد پایتون معادلش ساخته، بعد همون بار اول هم کار کرد و کل پروسه کلا ۵ دقیقه طول کشید.
معنی این ماجرا اینه که میشه اپلیکیشنها و بازیهای قدیمی رو بدون کد اصلی به کمک یه ابزار مثل Claude 3.7 بیایم open-source و reverse-engineer کنیم.
@DevTwitter | <Soroush Ahmadi/>