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

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

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

اگر مکانیسم ماشه فعال شود و تحریم‌ های شورای امنیت علیه ایران بازگردد، برجام عملاً پایان یافته تلقی خواهد شد و تمامی محدودیت‌ های پیش از توافق دوباره اعمال می‌شوند. این بازگشت، از نظر اقتصادی تأثیر چشمگیری نخواهد داشت، زیرا تحریم‌های گسترده آمریکا از سال ۲۰۱۸ عملاً راه هرگونه تعامل اقتصادی مؤثر با ایران را بسته است. با این حال، پیامد های مهمی در حوزه ‌های نظامی و هسته ‌ای خواهد داشت. ممنوعیت مجدد واردات و صادرات سلاح، موشک ‌های بالستیک و پهپادها، فعالیت‌ هایی مانند ارسال پهپاد ایران به روسیه را غیرقانونی خواهد کرد. در بُعد هسته ‌ای نیز ایران ملزم به تعلیق غنی‌سازی اورانیوم، توقف کار روی راکتورهای آب ‌سنگین و منع باز فرآوری پلوتونیوم خواهد شد. همچنین هرگونه سرمایه‌ گذاری هسته‌ ای در خارج از کشور و فعالیت مرتبط با توسعه موشک ‌های بالستیک ممنوع می‌شود. کشورهای عضو سازمان ملل نیز باید از ارائه تجهیزات، فناوری، منابع مالی یا آموزشی به ایران در این حوزه ‌ها خودداری کنند.

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

#منهای_برنامه_نویسی

@TheRaymondDev

توی لینکدین یه استادی از MPI-IS به طور خاص نوشته که دانشجو میخواد و میتونید پستش رو از اینجا بخونید.

دوستان جلسه‌ی امشب که در مورد 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

دوستان جلسه‌ی امشب در مورد 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

آفیس WPS بی نیاز به اکتیو شدن

نسخه‌ی آفلاین اینستالر ویندوزیش ۲۵۰ مگابایت و بدون دردسر نصب میشه و با سرعت و سازگاری باورنکردنی عین آفیس مایکروسافت عمل می کنه!
اما جالب تر اینه که تمام برنامه هایی که نیاز به آفیس دارن کاملاً کارشون با این برنامه‌ی سریع و کم حجم راه می افته!
و البته در کمال تعجب، نسخه های لینوکسی، اپل و اندرویدی هم داره!
از همه جالب تر اینه که یک مجموعه کاربردی از ابزارهای PDF برای نمایش و ویرایش و تبدیل داره!

https://www.digikala.com/mag/wps-office-app-android-ios/

🔶 یوتیوب پر شده از ویدئوهای هوش مصنوعی

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

@TheRaymondDev

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

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

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

🔵 عنوان مقاله
Flaggy 1.6: Idiomatic Go Command Line Input Parsing

🟢 خلاصه مقاله:
Flaggy 1.6 یک کتابخانه Go برای پارس کردن ورودی خط فرمان به‌صورت مطابق با الگوهای رایج Go است. از زیر‌فرمان‌ها، مقادیر موقعیتی و قرار گرفتن فلگ‌ها در هر جای خط فرمان پشتیبانی می‌کند. هیچ وابستگی خارجی ندارد و شما را به الگوی خاصی از چیدمان پروژه یا پکیج ملزم نمی‌کند.

🟣لینک مقاله:
https://golangweekly.com/link/174426/web

➖➖➖➖➖➖➖➖
👑 @gopher_academy

خیلی بی سر و صدا چند نفر یه گوشه دارن شبیه ساز ps4 توسعه میدن امروز هم آپدیت شده

https://github.com/shadps4-emu/shadPS4

@DevTwitter | <iman/>

⭐️درباره alpine بیشتر از همیشه بدانید! راهنمای کامل + نکات طلایی
------------
ترجمه صفحه راهنمای alpine با جزئیات بیشتر:

🔹در پست زیر، البته با جزییات کامل تر, راهنمای و مرور سریع  بر توزیع لینوکس alpine خواهید دید.


https://learninghive.ir/alpine

ترجمه و تهیه: حسین سیلانی

🔹ترجیحاً از سیستم متن رو مطالعه کن بخاطر حجم زیاد متن

⭐️درباره alpine بیشتر از همیشه بدانید! راهنمای کامل + نکات طلایی

ترجمه صفحه راهنمای alpine با جزئیات بیشتر:

🔹در پست زیر، البته با جزییات کامل تر, راهنمای و مرور سریع  بر توزیع لینوکس alpine خواهید دید.


https://learninghive.ir/alpine

ترجمه و تهیه: حسین سیلانی

🔹ترجیحاً از سیستم متن رو مطالعه کن بخاطر حجم زیاد متن

🔵 عنوان مقاله
force Claude Code to loop over and over

🟢 خلاصه مقاله:
در یک آزمایش تکراری با یک دستیار کدنویسی، زبانی «شبیه Go» با پوسته‌ای از اصطلاحات نسل Z ساخته شد که Cursed نام گرفت. این زبان با وجود ظاهر شوخ‌طبعانه‌اش، عملاً کار می‌کند و از طریق LLVM به باینری‌های بومی کامپایل می‌شود. پروژه نشان می‌دهد می‌توان با چرخه‌های بازخورد متوالیِ هوش مصنوعی، از ایده تا یک زنجیره ابزار کامپایلر قابل استفاده پیش رفت.

🟣لینک مقاله:
https://golangweekly.com/link/174064/web

➖➖➖➖➖➖➖➖
👑 @gopher_academy

Nvidia invest 5 Billion on Intel stocks, to jointly develop AI Infrastructure and Personal computing

تیم‌ آبی، بالاخره داره میوه سرمایه‌گذاری‌هاش روی GPU رو برداشت می‌کنه مثل اینکه، البته اوضاع هنوز روی CPU‌هاش به این خوبی نیست.

البته من بیشتر به یک همکاری فکر می‌کنم؛ cpu مخصوص gpu های انویدیا؛ رقابت بهتر با m4, ...

این مخزن گیت هاب همهٔ سیستم‌پرامپت‌های واقعی ابزارهای AI رو جمع کرده و می‌تونه کمکتون کنه پرامپت نویسی و کار با ابزار مختلف رو یاد بگیرید

لینک مخزن
https://github.com/x1xhlol/system-prompts-and-models-of-ai-tools

@DevTwitter | <پسر لوسیفر/>

بسته تصاویر زمینه پارچ با چند تصویر زمینه جدید به مناسبت ۴ سالگی توزیع به‌روز شد.

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

برای نصب یا به‌روزرسانی:

sudo pacman -Sy parch-wallpapers

@ParchLinux

کاربرا گزارش Memory Leak توی ماشین حساب مک رو دادن!

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

توی این وضعیت هیچ کاری نمی‌شه انجام داد باید منتظر آپدیت های جدید باشید و برنامه ای که رم می‌خوره رو نهایتا باید Kill کنید.


@Linuxor