Forwarded from کانال ترجمه The Tonight Show جیمی فلن
Media is too big
VIEW IN TELEGRAM
این قسمت :
🎬 Sylvester Stallone's Iconic Rocky Steps Scene Was a Last-Minute Decision (Extended)
تاریخ انتشار : ۱۴۰۴/۰۶/۲۸
〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️
از The Tonight Show با اجرای Jimmy Fallon
〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️
زیرنویس فارسی چسبیده
ترجمه با استفاده از سایت 👈 iSega.ro 🌎
کانال اخبار هوش مصنوعی 👈 @AiSegaro 👾
🎬 Sylvester Stallone's Iconic Rocky Steps Scene Was a Last-Minute Decision (Extended)
تاریخ انتشار : ۱۴۰۴/۰۶/۲۸
〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️
از The Tonight Show با اجرای Jimmy Fallon
〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️〰️
زیرنویس فارسی چسبیده
ترجمه با استفاده از سایت 👈 iSega.ro 🌎
کانال اخبار هوش مصنوعی 👈 @AiSegaro 👾
Forwarded from Morteza Bashsiz مرتضی باشسیز
اینم از قشنگیای سیاهچاله
یه لایه ایمیج ۸۰ مگی رو با سرعت ۲۸۰ مگ داره دانلود میکنه و چند دقیقست که تازه شده اینقدر
یه لایه ایمیج ۸۰ مگی رو با سرعت ۲۸۰ مگ داره دانلود میکنه و چند دقیقست که تازه شده اینقدر
Forwarded from A¥
با سلام و احترام،
امیدوارم اوقات به نیکی باشد.
مایلم ابزار جدیدی به نام CMDGEN را که حاصل تلاش و علاقه من در زمینه فناوری اطلاعات است، خدمت شما معرفی کنم. CMDGEN یک دستیار هوشمند خط فرمان (Command-Line) است که با هدف سادهسازی و افزایش بهرهوری در کار با ترمینال برای کاربران، از مبتدی تا حرفهای، توسعه داده شده است. این پروژه به عنوان اولین دستیار هوشمند خط فرمان ایرانی، با افتخار تقدیم میگردد.
این ابزار با بهرهگیری از هوش مصنوعی، قابلیتهای کلیدی زیر را ارائه میدهد:
تولید دستور (Generate): کاربران میتوانند نیاز خود را به زبان ساده (فارسی یا انگلیسی) توصیف کرده و دستورات دقیق و کاربردی متناسب با سیستمعامل خود را دریافت کنند.
تحلیل دستور (Analyze): هر دستور پیچیده یا ناآشنایی را به ابزار داده و توضیحات کامل و خط به خط آن را به زبانی روان تحویل بگیرید.
اشکالزدایی (Error Debugging): با ارائه پیامهای خطا، علت احتمالی و راهحلهای قدم به قدم برای رفع مشکل را دریافت نمایید.
CMDGEN در دو نسخه وب اپلیکیشن (برای دسترسی سریع و آسان) و ابزار خط فرمان (CLI) مستقل (برای استفاده حرفهای در ترمینال) در دسترس است.
این پروژه در مراحل اولیه توسعه قرار دارد و بیشک نظرات، پیشنهادات و انتقادات ارزشمند شما اساتید و دوستان عزیز، میتواند نقشی حیاتی در پیشرفت و بهبود کیفیت آن داشته باشد.
لذا صمیمانه از شما دعوت میکنم تا این ابزار را بررسی کرده و در صورت امکان، بازخورد خود را با من در میان بگذارید.
آدرس نسخه وب: https://cmdgen.onrender.com
آدرس پروژه در گیتهاب (برای نصب نسخه CLI و مشاهده کدها): https://github.com/amirhosseinyavari021/ay-cmdgen
از وقتی که برای بررسی این پروژه اختصاص میدهید، بینهایت سپاسگزارم.
با احترام فراوان،
امیرحسین یاوری
امیدوارم اوقات به نیکی باشد.
مایلم ابزار جدیدی به نام CMDGEN را که حاصل تلاش و علاقه من در زمینه فناوری اطلاعات است، خدمت شما معرفی کنم. CMDGEN یک دستیار هوشمند خط فرمان (Command-Line) است که با هدف سادهسازی و افزایش بهرهوری در کار با ترمینال برای کاربران، از مبتدی تا حرفهای، توسعه داده شده است. این پروژه به عنوان اولین دستیار هوشمند خط فرمان ایرانی، با افتخار تقدیم میگردد.
این ابزار با بهرهگیری از هوش مصنوعی، قابلیتهای کلیدی زیر را ارائه میدهد:
تولید دستور (Generate): کاربران میتوانند نیاز خود را به زبان ساده (فارسی یا انگلیسی) توصیف کرده و دستورات دقیق و کاربردی متناسب با سیستمعامل خود را دریافت کنند.
تحلیل دستور (Analyze): هر دستور پیچیده یا ناآشنایی را به ابزار داده و توضیحات کامل و خط به خط آن را به زبانی روان تحویل بگیرید.
اشکالزدایی (Error Debugging): با ارائه پیامهای خطا، علت احتمالی و راهحلهای قدم به قدم برای رفع مشکل را دریافت نمایید.
CMDGEN در دو نسخه وب اپلیکیشن (برای دسترسی سریع و آسان) و ابزار خط فرمان (CLI) مستقل (برای استفاده حرفهای در ترمینال) در دسترس است.
این پروژه در مراحل اولیه توسعه قرار دارد و بیشک نظرات، پیشنهادات و انتقادات ارزشمند شما اساتید و دوستان عزیز، میتواند نقشی حیاتی در پیشرفت و بهبود کیفیت آن داشته باشد.
لذا صمیمانه از شما دعوت میکنم تا این ابزار را بررسی کرده و در صورت امکان، بازخورد خود را با من در میان بگذارید.
آدرس نسخه وب: https://cmdgen.onrender.com
آدرس پروژه در گیتهاب (برای نصب نسخه CLI و مشاهده کدها): https://github.com/amirhosseinyavari021/ay-cmdgen
از وقتی که برای بررسی این پروژه اختصاص میدهید، بینهایت سپاسگزارم.
با احترام فراوان،
امیرحسین یاوری
Onrender
CMDGEN - Command Line Assistant
CMDGEN: Generate, explain, and analyze command-line instructions with ease.
Forwarded from NetSentinel24Support
🚨 اگر میخوای قبل از همه بفهمی سایت یا سرورت Down شده و اولین نفر از Down Time باخبر شی
🔒 اگر میخوای قبل از منقضی شدن SSL سایتت، متوجه بشی و Renew کنی SSL رو
⚡️ اگر دوست داری UP Time یک پورت از سرورت رو بررسی کنی
📊 اگر میخوای مطمئن باشی سرورات همیشه زیر نظرن و گزارشگیری داشته باشی
🤖 مجموعهی ما میتونه کمکت کنه!
🚀 شروع کن با ربات: @NetSentinel24Bot
📌 کانال: @NetSentinel24
🤙 پشتیبانی: @NetSentinel24Support
🔥 حرفهایها همیشه یه نگهبان دارن!
🔒 اگر میخوای قبل از منقضی شدن SSL سایتت، متوجه بشی و Renew کنی SSL رو
⚡️ اگر دوست داری UP Time یک پورت از سرورت رو بررسی کنی
📊 اگر میخوای مطمئن باشی سرورات همیشه زیر نظرن و گزارشگیری داشته باشی
🤖 مجموعهی ما میتونه کمکت کنه!
🚀 شروع کن با ربات: @NetSentinel24Bot
📌 کانال: @NetSentinel24
🤙 پشتیبانی: @NetSentinel24Support
🔥 حرفهایها همیشه یه نگهبان دارن!
Forwarded from نوشتههای ترمینالی
این هفته GPT5 توی openrouter انگار تخفیف داره ۵۰ درصد. گفتم بذار برای این یه پروژه کوچک ازش استفاده کنم و واقعا بده. من فکر میکردم روی پروژههای بزرگ بده ولی این پروژه ۴۰۰ خط هم نیست هنوز و وقتی گفتم یه interface تعریف کن، افتاده تو لوپ داره با خودش کشتی میگیره =)))))))
Forwarded from AiSegaro 👾
Media is too big
VIEW IN TELEGRAM
هدفون Nothing Ear (3) معرفی شد! 🎧✨ طراحی جدید، Super Mic و کیفیت صدای بینظیر!
بالاخره Nothing Ear (3) رسید! 😍 تو این ویدئو، تیم Nothing نشون میده که چطوری هدفونهای جدیدشون هم خوشگلتر شدن و هم کلی امکانات باحال دارن. از جمله یه قابلیت خفن به اسم Super Mic که باعث میشه حتی تو شلوغترین جاها هم صدات شفاف باشه 🔊. کیفیت صدا هم که دیگه نگم براتون! حتماً این ویدئو رو ببینید تا ببینید چه خبره! 👇
📽 زیرنویس فارسی
🧠 مناسب برای همه، چه مبتدی چه حرفهای
🌐 ترجمه این ویدیو با وبسایت isega.ro انجام شده — حتماً سر بزن!
📌 برای دیدن قسمتهای بعدی کانال رو دنبال کن:
📺🌐 @AiSegaro
🚀 هر روز یک قدم نزدیکتر به آیندهای هوشمند!
📤 بازنشر آزاد با ذکر منبع 🙏❤️
بالاخره Nothing Ear (3) رسید! 😍 تو این ویدئو، تیم Nothing نشون میده که چطوری هدفونهای جدیدشون هم خوشگلتر شدن و هم کلی امکانات باحال دارن. از جمله یه قابلیت خفن به اسم Super Mic که باعث میشه حتی تو شلوغترین جاها هم صدات شفاف باشه 🔊. کیفیت صدا هم که دیگه نگم براتون! حتماً این ویدئو رو ببینید تا ببینید چه خبره! 👇
📽 زیرنویس فارسی
🧠 مناسب برای همه، چه مبتدی چه حرفهای
🌐 ترجمه این ویدیو با وبسایت isega.ro انجام شده — حتماً سر بزن!
📌 برای دیدن قسمتهای بعدی کانال رو دنبال کن:
📺🌐 @AiSegaro
🚀 هر روز یک قدم نزدیکتر به آیندهای هوشمند!
📤 بازنشر آزاد با ذکر منبع 🙏❤️
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
Forwarded from DevTwitter | توییت برنامه نویسی
ویم یکی از ادیتور های ترمنیالیه که خیلی از افراد رو مجذوب لینوکس کرده اما یادگیریش کار راحتی برای همه نیست، اگه خواستین شروع کنید به یادگیری اینجارو چک کنید بهصورت فهرستوار و دستهبندیشده
https://github.com/mhinz/vim-galore
@DevTwitter | <Nimo/>
https://github.com/mhinz/vim-galore
@DevTwitter | <Nimo/>
Forwarded from DevTwitter | توییت برنامه نویسی
حدود 6 ماه پیش بود که توی کتابخونه دانشگاه نشسته بودم و چند ساعتی تا کلاس بعدیم وقت داشتم. توی اون فاصله، تصمیم گرفتم روی یه پروژه کوچیک کار کنم که هم سرگرم بشم هم یه کار مفید انجام داده باشم. /
اون زمان ایده یه هانیپات ساده به ذهنم رسید... اساس پروژه رو توی کتابخونه نوشتم و بقیهاش رو هم وقتی رسیدم خونه تکمیل کردم.
می ذارمش اینجا که اگر کسی خواست استفاده کنه و باعث خوشحالیه اگه کسی روی این پروژه پول ریکوست بزنه.
https://github.com/naseridev/tunnel-breach
@DevTwitter | <Nima Naseri/>
اون زمان ایده یه هانیپات ساده به ذهنم رسید... اساس پروژه رو توی کتابخونه نوشتم و بقیهاش رو هم وقتی رسیدم خونه تکمیل کردم.
می ذارمش اینجا که اگر کسی خواست استفاده کنه و باعث خوشحالیه اگه کسی روی این پروژه پول ریکوست بزنه.
https://github.com/naseridev/tunnel-breach
@DevTwitter | <Nima Naseri/>
Forwarded from Morteza Bashsiz مرتضی باشسیز
یبار یکی از بچههای خوابگاه که خیلی حذب اللهی بود و همیشه تلاش میکرد که نمازش دیر نشه و گناه نکنه، برگشت یه فیلم تصادف وحشتناک بهم نشون داد که خیلی صحنههای دلخراش داشت.
خیلی جدی برگشت بهم گفت که:
باید برم این فیلم رو به بچههای خوابگاه نشون بدم، خیلی شاد و خوشحالن و دارن میخندن، اینهمه خنده خوب نیست
این آدمی نبود که بگم از روی حسادت به خنده و شادی اونا داره این حرف رو میزنه، این آدم داشت با اعتقاد و باورش همچین حرفی میزد. یعنی باورش این بود که نباید زیاد شاد بود و خندید و باید غمگین و ناراحت باشیم.
این مدل تفکر از همون کثافتی میاد که باید کون خودمون رو پاره کنیم تا به خدا نزدیک بشیم، انگاری خدا کونپاره ها رو بیشتر دوست داره. امثال این نوع حرکات رو توی کتابهای مذهبی خیلی پیدا میشه کرد. مثلا همون داستان هندوانه با نمک خوردن خمینی، یا تکیه ندادن به صندلی فلان مرجع، یا توی توالت بلند نگوزیدن فلان علامه که همه اینها برای اینه که از لذتهای فیزیکی با اختیار دوری کنی تا مثلا به خدا نزدیک بشی.
این دو مدل صوفیگری و مذهبی گری در این مورد خیلی شبیه همدیگه هم نیستند. شاید در نگاه اول بگید که آره جفتشون تمایل به رنج و ملامت دارند ولی تفاوت مکاتب مذهبی با صوفیگری مثل همین ملامتیه در اینه که
اون صوفیها فقط کون خودشون رو پاره میکردن
ولی این مکاتب مذهبی مثل شیعه، علاوه بر کون خودشون باید کون بقیه رو هم پاره کنن چون فقط و فقط خودشون رو حق مطلق میدونند و بقیه هم باید مثل اونا باشند و تاب و توان این رو ندارن که فقط کون خودشون پاره بشه. یه چیز تو این مایهها که حالا که کون من پارست پس باید کون همه رو پاره کنم.
خیلی جدی برگشت بهم گفت که:
باید برم این فیلم رو به بچههای خوابگاه نشون بدم، خیلی شاد و خوشحالن و دارن میخندن، اینهمه خنده خوب نیست
این آدمی نبود که بگم از روی حسادت به خنده و شادی اونا داره این حرف رو میزنه، این آدم داشت با اعتقاد و باورش همچین حرفی میزد. یعنی باورش این بود که نباید زیاد شاد بود و خندید و باید غمگین و ناراحت باشیم.
این مدل تفکر از همون کثافتی میاد که باید کون خودمون رو پاره کنیم تا به خدا نزدیک بشیم، انگاری خدا کونپاره ها رو بیشتر دوست داره. امثال این نوع حرکات رو توی کتابهای مذهبی خیلی پیدا میشه کرد. مثلا همون داستان هندوانه با نمک خوردن خمینی، یا تکیه ندادن به صندلی فلان مرجع، یا توی توالت بلند نگوزیدن فلان علامه که همه اینها برای اینه که از لذتهای فیزیکی با اختیار دوری کنی تا مثلا به خدا نزدیک بشی.
این دو مدل صوفیگری و مذهبی گری در این مورد خیلی شبیه همدیگه هم نیستند. شاید در نگاه اول بگید که آره جفتشون تمایل به رنج و ملامت دارند ولی تفاوت مکاتب مذهبی با صوفیگری مثل همین ملامتیه در اینه که
اون صوفیها فقط کون خودشون رو پاره میکردن
ولی این مکاتب مذهبی مثل شیعه، علاوه بر کون خودشون باید کون بقیه رو هم پاره کنن چون فقط و فقط خودشون رو حق مطلق میدونند و بقیه هم باید مثل اونا باشند و تاب و توان این رو ندارن که فقط کون خودشون پاره بشه. یه چیز تو این مایهها که حالا که کون من پارست پس باید کون همه رو پاره کنم.
👍1
Forwarded from a pessimistic researcher (Kc)
بچه ها دروغ چرا
من ایران که بودم، همیشه یا ta بودم یا کلی دانشجوی میومد آزمایشگاهمون همش در حال صحبت بودیم. با مهران کلی حرف میزدم. همیشه در حال گفت و شنود علمی بودیم. از وقتی اومدم دکتری این قضیه خیلی کمرنگ شده. هم بخاطر موانع زبانی و فرهنگی و هم بخاطر اینکه مکس پلانک خیلی با دانشجوهای کارشناسی و ارشد سر و کار نداره و خیلی فورس نیستیم که ta وایسیم. واسه همین مدتهای زیاد بود که دلم تنگ شده بود که بشینم با یک عده به زبان مادری راجع به فرمال صحبت کنم. این reading group هفتگی واقعا حال و هوامو عوض کرد. طوری که وقتی توی جلسات شروع میکنم به حرف زدن باید یکی بیاد و میکروفونم رو میوت کنه تا استوپ کنم. واقعا دم امیر و یاسمین گرم که کمک میکنن برای برقراری این جلسات و احساس میکنم بعد از مدتها چیزی در من روشن شده. واقعا دلم لک زده بود برای این گفت و شنودها
من ایران که بودم، همیشه یا ta بودم یا کلی دانشجوی میومد آزمایشگاهمون همش در حال صحبت بودیم. با مهران کلی حرف میزدم. همیشه در حال گفت و شنود علمی بودیم. از وقتی اومدم دکتری این قضیه خیلی کمرنگ شده. هم بخاطر موانع زبانی و فرهنگی و هم بخاطر اینکه مکس پلانک خیلی با دانشجوهای کارشناسی و ارشد سر و کار نداره و خیلی فورس نیستیم که ta وایسیم. واسه همین مدتهای زیاد بود که دلم تنگ شده بود که بشینم با یک عده به زبان مادری راجع به فرمال صحبت کنم. این reading group هفتگی واقعا حال و هوامو عوض کرد. طوری که وقتی توی جلسات شروع میکنم به حرف زدن باید یکی بیاد و میکروفونم رو میوت کنه تا استوپ کنم. واقعا دم امیر و یاسمین گرم که کمک میکنن برای برقراری این جلسات و احساس میکنم بعد از مدتها چیزی در من روشن شده. واقعا دلم لک زده بود برای این گفت و شنودها
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
🔶 پیامد های بازگشت مکانیسم ماشه شورای امنیت سازمان ملل بر ایران
اگر مکانیسم ماشه فعال شود و تحریم های شورای امنیت علیه ایران بازگردد، برجام عملاً پایان یافته تلقی خواهد شد و تمامی محدودیت های پیش از توافق دوباره اعمال میشوند. این بازگشت، از نظر اقتصادی تأثیر چشمگیری نخواهد داشت، زیرا تحریمهای گسترده آمریکا از سال ۲۰۱۸ عملاً راه هرگونه تعامل اقتصادی مؤثر با ایران را بسته است. با این حال، پیامد های مهمی در حوزه های نظامی و هسته ای خواهد داشت. ممنوعیت مجدد واردات و صادرات سلاح، موشک های بالستیک و پهپادها، فعالیت هایی مانند ارسال پهپاد ایران به روسیه را غیرقانونی خواهد کرد. در بُعد هسته ای نیز ایران ملزم به تعلیق غنیسازی اورانیوم، توقف کار روی راکتورهای آب سنگین و منع باز فرآوری پلوتونیوم خواهد شد. همچنین هرگونه سرمایه گذاری هسته ای در خارج از کشور و فعالیت مرتبط با توسعه موشک های بالستیک ممنوع میشود. کشورهای عضو سازمان ملل نیز باید از ارائه تجهیزات، فناوری، منابع مالی یا آموزشی به ایران در این حوزه ها خودداری کنند.
از منظر بازدارندگی، مکانیسم ماشه بیشتر بُعد سیاسی دارد تا اقتصادی. کشورهای غربی آن را ابزار فشار برای محدود سازی برنامه هسته ای ایران میدانند، اما مخالفان، بهویژه روسیه و چین، با اجرای آن همراهی نمیکنند. همین اختلاف باعث میشود اثربخشی این مکانیسم در ایجاد بازدارندگی کامل زیر سؤال رود. در عمل، بازگشت تحریم ها پیام نمادین و سیاسی قدرتمندی دارد، اما در غیاب اجماع جهانی، ممکن است ایران نه تنها عقب نشینی نکند، بلکه با اقدامات تلافیجویانه سطح تنش ها را افزایش دهد. بنابراین، بازدارندگی مکانیسم ماشه محدود و شکننده خواهد بود.
#منهای_برنامه_نویسی
@TheRaymondDev
اگر مکانیسم ماشه فعال شود و تحریم های شورای امنیت علیه ایران بازگردد، برجام عملاً پایان یافته تلقی خواهد شد و تمامی محدودیت های پیش از توافق دوباره اعمال میشوند. این بازگشت، از نظر اقتصادی تأثیر چشمگیری نخواهد داشت، زیرا تحریمهای گسترده آمریکا از سال ۲۰۱۸ عملاً راه هرگونه تعامل اقتصادی مؤثر با ایران را بسته است. با این حال، پیامد های مهمی در حوزه های نظامی و هسته ای خواهد داشت. ممنوعیت مجدد واردات و صادرات سلاح، موشک های بالستیک و پهپادها، فعالیت هایی مانند ارسال پهپاد ایران به روسیه را غیرقانونی خواهد کرد. در بُعد هسته ای نیز ایران ملزم به تعلیق غنیسازی اورانیوم، توقف کار روی راکتورهای آب سنگین و منع باز فرآوری پلوتونیوم خواهد شد. همچنین هرگونه سرمایه گذاری هسته ای در خارج از کشور و فعالیت مرتبط با توسعه موشک های بالستیک ممنوع میشود. کشورهای عضو سازمان ملل نیز باید از ارائه تجهیزات، فناوری، منابع مالی یا آموزشی به ایران در این حوزه ها خودداری کنند.
از منظر بازدارندگی، مکانیسم ماشه بیشتر بُعد سیاسی دارد تا اقتصادی. کشورهای غربی آن را ابزار فشار برای محدود سازی برنامه هسته ای ایران میدانند، اما مخالفان، بهویژه روسیه و چین، با اجرای آن همراهی نمیکنند. همین اختلاف باعث میشود اثربخشی این مکانیسم در ایجاد بازدارندگی کامل زیر سؤال رود. در عمل، بازگشت تحریم ها پیام نمادین و سیاسی قدرتمندی دارد، اما در غیاب اجماع جهانی، ممکن است ایران نه تنها عقب نشینی نکند، بلکه با اقدامات تلافیجویانه سطح تنش ها را افزایش دهد. بنابراین، بازدارندگی مکانیسم ماشه محدود و شکننده خواهد بود.
#منهای_برنامه_نویسی
@TheRaymondDev
Just Security
What You Need to Know About Iran Sanctions Snap Back at the UN: A Q&A with Kelsey Davenport
On Aug. 28, three European nations triggered the UN snapback of Iran sanctions. Davenport explains impact, next steps, and why it matters.
👎1
Forwarded from a pessimistic researcher (Kc)
توی لینکدین یه استادی از MPI-IS به طور خاص نوشته که دانشجو میخواد و میتونید پستش رو از اینجا بخونید.
Forwarded from a pessimistic researcher (Kc)
دوستان جلسهی امشب که در مورد Stateless model checking و مفاهیمی بود که توی این پست راجع بهشون صحبت کردم. فیلم این جلسه ضبط شده و توی گروه قرار گرفته. لیست منابع و مقالاتی که توی جلسه هم در موردشون بحث شد رو میتونید اینجا ببینید :
1. Verisoft paper : https://patricegodefroid.github.io/public_psfiles/popl97.pdf
2. Verisoft tool : https://9p.io/who/god/verisoft/
3. Java Pathfinder tool : https://github.com/javapathfinder/jpf-core
4. Chess tool : https://github.com/LeeSanderson/Chess
5. MaceMC tool : https://web.archive.org/web/20140204032527/https://macesystems.org/mace/
6. DPOR paper : https://users.soe.ucsc.edu/~cormac/papers/popl05.pdf
7. Optimal DPOR paper : https://user.it.uu.se/~parosha/publications/papers/jacm17.pdf
8. TruSt paper : https://plv.mpi-sws.org/genmc/popl2022-trust.pdf
9. Must paper : https://people.inf.ethz.ch/mkokologiann/papers/oopsla2024-must.pdf
10. ConDpor paper : https://drops.dagstuhl.de/storage/00lipics/lipics-vol348-concur2025/LIPIcs.CONCUR.2025.26/LIPIcs.CONCUR.2025.26.pdf
11. PCT paper : https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/asplos277-pct.pdf
12. POS paper : https://www.cs.columbia.edu/~junfeng/papers/pos-cav18.pdf
13. SURW paper : https://abhikrc.com/pdf/asplos25.pdf
14. Trace Theory paper : https://link.springer.com/content/pdf/10.1007/3-540-17906-2_30.pdf
1. Verisoft paper : https://patricegodefroid.github.io/public_psfiles/popl97.pdf
2. Verisoft tool : https://9p.io/who/god/verisoft/
3. Java Pathfinder tool : https://github.com/javapathfinder/jpf-core
4. Chess tool : https://github.com/LeeSanderson/Chess
5. MaceMC tool : https://web.archive.org/web/20140204032527/https://macesystems.org/mace/
6. DPOR paper : https://users.soe.ucsc.edu/~cormac/papers/popl05.pdf
7. Optimal DPOR paper : https://user.it.uu.se/~parosha/publications/papers/jacm17.pdf
8. TruSt paper : https://plv.mpi-sws.org/genmc/popl2022-trust.pdf
9. Must paper : https://people.inf.ethz.ch/mkokologiann/papers/oopsla2024-must.pdf
10. ConDpor paper : https://drops.dagstuhl.de/storage/00lipics/lipics-vol348-concur2025/LIPIcs.CONCUR.2025.26/LIPIcs.CONCUR.2025.26.pdf
11. PCT paper : https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/asplos277-pct.pdf
12. POS paper : https://www.cs.columbia.edu/~junfeng/papers/pos-cav18.pdf
13. SURW paper : https://abhikrc.com/pdf/asplos25.pdf
14. Trace Theory paper : https://link.springer.com/content/pdf/10.1007/3-540-17906-2_30.pdf
Forwarded from a pessimistic researcher (Kc)
دوستان جلسهی امشب در مورد Stateless model checking و مفاهیمی بود که توی این پست راجع بهشون صحبت کردم. فیلم این جلسه ضبط شده و توی گروه قرار گرفته. لیست منابع و مقالاتی که توی جلسه هم در موردشون بحث شد رو میتونید اینجا ببینید :
1. Verisoft paper : https://patricegodefroid.github.io/public_psfiles/popl97.pdf
2. Verisoft tool : https://9p.io/who/god/verisoft/
3. Java Pathfinder tool : https://github.com/javapathfinder/jpf-core
4. Chess tool : https://github.com/LeeSanderson/Chess
5. MaceMC tool : https://web.archive.org/web/20140204032527/https://macesystems.org/mace/
6. DPOR paper : https://users.soe.ucsc.edu/~cormac/papers/popl05.pdf
7. Optimal DPOR paper : https://user.it.uu.se/~parosha/publications/papers/jacm17.pdf
8. TruSt paper : https://plv.mpi-sws.org/genmc/popl2022-trust.pdf
9. Must paper : https://people.inf.ethz.ch/mkokologiann/papers/oopsla2024-must.pdf
10. ConDpor paper : https://drops.dagstuhl.de/storage/00lipics/lipics-vol348-concur2025/LIPIcs.CONCUR.2025.26/LIPIcs.CONCUR.2025.26.pdf
11. PCT paper : https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/asplos277-pct.pdf
12. POS paper : https://www.cs.columbia.edu/~junfeng/papers/pos-cav18.pdf
13. SURW paper : https://abhikrc.com/pdf/asplos25.pdf
14. Trace Theory paper : https://link.springer.com/content/pdf/10.1007/3-540-17906-2_30.pdf
1. Verisoft paper : https://patricegodefroid.github.io/public_psfiles/popl97.pdf
2. Verisoft tool : https://9p.io/who/god/verisoft/
3. Java Pathfinder tool : https://github.com/javapathfinder/jpf-core
4. Chess tool : https://github.com/LeeSanderson/Chess
5. MaceMC tool : https://web.archive.org/web/20140204032527/https://macesystems.org/mace/
6. DPOR paper : https://users.soe.ucsc.edu/~cormac/papers/popl05.pdf
7. Optimal DPOR paper : https://user.it.uu.se/~parosha/publications/papers/jacm17.pdf
8. TruSt paper : https://plv.mpi-sws.org/genmc/popl2022-trust.pdf
9. Must paper : https://people.inf.ethz.ch/mkokologiann/papers/oopsla2024-must.pdf
10. ConDpor paper : https://drops.dagstuhl.de/storage/00lipics/lipics-vol348-concur2025/LIPIcs.CONCUR.2025.26/LIPIcs.CONCUR.2025.26.pdf
11. PCT paper : https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/asplos277-pct.pdf
12. POS paper : https://www.cs.columbia.edu/~junfeng/papers/pos-cav18.pdf
13. SURW paper : https://abhikrc.com/pdf/asplos25.pdf
14. Trace Theory paper : https://link.springer.com/content/pdf/10.1007/3-540-17906-2_30.pdf
Forwarded from کدنویس یکروزه
آفیس WPS بی نیاز به اکتیو شدن
نسخهی آفلاین اینستالر ویندوزیش ۲۵۰ مگابایت و بدون دردسر نصب میشه و با سرعت و سازگاری باورنکردنی عین آفیس مایکروسافت عمل می کنه!
اما جالب تر اینه که تمام برنامه هایی که نیاز به آفیس دارن کاملاً کارشون با این برنامهی سریع و کم حجم راه می افته!
و البته در کمال تعجب، نسخه های لینوکسی، اپل و اندرویدی هم داره!
از همه جالب تر اینه که یک مجموعه کاربردی از ابزارهای PDF برای نمایش و ویرایش و تبدیل داره!
https://www.digikala.com/mag/wps-office-app-android-ios/
نسخهی آفلاین اینستالر ویندوزیش ۲۵۰ مگابایت و بدون دردسر نصب میشه و با سرعت و سازگاری باورنکردنی عین آفیس مایکروسافت عمل می کنه!
اما جالب تر اینه که تمام برنامه هایی که نیاز به آفیس دارن کاملاً کارشون با این برنامهی سریع و کم حجم راه می افته!
و البته در کمال تعجب، نسخه های لینوکسی، اپل و اندرویدی هم داره!
از همه جالب تر اینه که یک مجموعه کاربردی از ابزارهای PDF برای نمایش و ویرایش و تبدیل داره!
https://www.digikala.com/mag/wps-office-app-android-ios/
دیجیکالا مگ
معرفی اپلیکیشن WPS Office؛ مجموعه کامل آفیس برای اندروید و آیفون
در این مطلب به معرفی اپلیکیشن WPS Office میپردازیم که میتواند جایگزین خوبی برای مجموعه آفیس برای گوشیها باشد.
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
🔶 یوتیوب پر شده از ویدئوهای هوش مصنوعی
با این الگورتیمی که داره از تماشای یوتیوب خسته شدم. 😤
@TheRaymondDev
با این الگورتیمی که داره از تماشای یوتیوب خسته شدم. 😤
@TheRaymondDev
Forwarded from Gopher Academy
🔵 عنوان مقاله
Flaggy 1.6: Idiomatic Go Command Line Input Parsing
🟢 خلاصه مقاله:
Flaggy 1.6 یک کتابخانه Go برای پارس کردن ورودی خط فرمان بهصورت مطابق با الگوهای رایج Go است. از زیرفرمانها، مقادیر موقعیتی و قرار گرفتن فلگها در هر جای خط فرمان پشتیبانی میکند. هیچ وابستگی خارجی ندارد و شما را به الگوی خاصی از چیدمان پروژه یا پکیج ملزم نمیکند.
🟣لینک مقاله:
https://golangweekly.com/link/174426/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
Flaggy 1.6: Idiomatic Go Command Line Input Parsing
🟢 خلاصه مقاله:
Flaggy 1.6 یک کتابخانه Go برای پارس کردن ورودی خط فرمان بهصورت مطابق با الگوهای رایج Go است. از زیرفرمانها، مقادیر موقعیتی و قرار گرفتن فلگها در هر جای خط فرمان پشتیبانی میکند. هیچ وابستگی خارجی ندارد و شما را به الگوی خاصی از چیدمان پروژه یا پکیج ملزم نمیکند.
🟣لینک مقاله:
https://golangweekly.com/link/174426/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
GitHub
GitHub - integrii/flaggy: Idiomatic Go input parsing with subcommands, positional values, and flags at any position. No required…
Idiomatic Go input parsing with subcommands, positional values, and flags at any position. No required project or package layout and no external dependencies. - integrii/flaggy
Forwarded from DevTwitter | توییت برنامه نویسی
خیلی بی سر و صدا چند نفر یه گوشه دارن شبیه ساز ps4 توسعه میدن امروز هم آپدیت شده
https://github.com/shadps4-emu/shadPS4
@DevTwitter | <iman/>
https://github.com/shadps4-emu/shadPS4
@DevTwitter | <iman/>