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/>
Forwarded from linuxtnt(linux tips and tricks) (hosein seilany https://seilany.ir/)
⭐️درباره alpine بیشتر از همیشه بدانید! راهنمای کامل + نکات طلایی
------------
ترجمه صفحه راهنمای alpine با جزئیات بیشتر:
🔹در پست زیر، البته با جزییات کامل تر, راهنمای و مرور سریع بر توزیع لینوکس alpine خواهید دید.
https://learninghive.ir/alpine
ترجمه و تهیه: حسین سیلانی
🔹ترجیحاً از سیستم متن رو مطالعه کن بخاطر حجم زیاد متن
------------
ترجمه صفحه راهنمای alpine با جزئیات بیشتر:
🔹در پست زیر، البته با جزییات کامل تر, راهنمای و مرور سریع بر توزیع لینوکس alpine خواهید دید.
https://learninghive.ir/alpine
ترجمه و تهیه: حسین سیلانی
🔹ترجیحاً از سیستم متن رو مطالعه کن بخاطر حجم زیاد متن
Forwarded from linuxtnt(linux tips and tricks) (hosein seilany https://seilany.ir/)
⭐️درباره alpine بیشتر از همیشه بدانید! راهنمای کامل + نکات طلایی
ترجمه صفحه راهنمای alpine با جزئیات بیشتر:
🔹در پست زیر، البته با جزییات کامل تر, راهنمای و مرور سریع بر توزیع لینوکس alpine خواهید دید.
https://learninghive.ir/alpine
ترجمه و تهیه: حسین سیلانی
🔹ترجیحاً از سیستم متن رو مطالعه کن بخاطر حجم زیاد متن
ترجمه صفحه راهنمای alpine با جزئیات بیشتر:
🔹در پست زیر، البته با جزییات کامل تر, راهنمای و مرور سریع بر توزیع لینوکس alpine خواهید دید.
https://learninghive.ir/alpine
ترجمه و تهیه: حسین سیلانی
🔹ترجیحاً از سیستم متن رو مطالعه کن بخاطر حجم زیاد متن
Forwarded from Gopher Academy
🔵 عنوان مقاله
force Claude Code to loop over and over
🟢 خلاصه مقاله:
در یک آزمایش تکراری با یک دستیار کدنویسی، زبانی «شبیه Go» با پوستهای از اصطلاحات نسل Z ساخته شد که Cursed نام گرفت. این زبان با وجود ظاهر شوخطبعانهاش، عملاً کار میکند و از طریق LLVM به باینریهای بومی کامپایل میشود. پروژه نشان میدهد میتوان با چرخههای بازخورد متوالیِ هوش مصنوعی، از ایده تا یک زنجیره ابزار کامپایلر قابل استفاده پیش رفت.
🟣لینک مقاله:
https://golangweekly.com/link/174064/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
force Claude Code to loop over and over
🟢 خلاصه مقاله:
در یک آزمایش تکراری با یک دستیار کدنویسی، زبانی «شبیه Go» با پوستهای از اصطلاحات نسل Z ساخته شد که Cursed نام گرفت. این زبان با وجود ظاهر شوخطبعانهاش، عملاً کار میکند و از طریق LLVM به باینریهای بومی کامپایل میشود. پروژه نشان میدهد میتوان با چرخههای بازخورد متوالیِ هوش مصنوعی، از ایده تا یک زنجیره ابزار کامپایلر قابل استفاده پیش رفت.
🟣لینک مقاله:
https://golangweekly.com/link/174064/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
Geoffrey Huntley
i ran Claude in a loop for three months, and it created a genz programming language called cursed
It's a strange feeling knowing that you can create anything, and I'm starting to wonder if there's a seventh stage to the "people stages of AI adoption by software developers"
whereby that seventh stage is essentially this scene in the matrix...
It's where…
whereby that seventh stage is essentially this scene in the matrix...
It's where…
Forwarded from Morteza Bashsiz مرتضی باشسیز
Forwarded from دستاوردهای یادگیری عمیق(InTec)
Nvidia invest 5 Billion on Intel stocks, to jointly develop AI Infrastructure and Personal computing
تیم آبی، بالاخره داره میوه سرمایهگذاریهاش روی
GPU رو برداشت میکنه مثل اینکه، البته اوضاع هنوز روی CPUهاش به این خوبی نیست.البته من بیشتر به یک همکاری فکر میکنم؛ cpu مخصوص gpu های انویدیا؛ رقابت بهتر با m4, ...
Forwarded from DevTwitter | توییت برنامه نویسی
این مخزن گیت هاب همهٔ سیستمپرامپتهای واقعی ابزارهای AI رو جمع کرده و میتونه کمکتون کنه پرامپت نویسی و کار با ابزار مختلف رو یاد بگیرید
لینک مخزن
https://github.com/x1xhlol/system-prompts-and-models-of-ai-tools
@DevTwitter | <پسر لوسیفر/>
لینک مخزن
https://github.com/x1xhlol/system-prompts-and-models-of-ai-tools
@DevTwitter | <پسر لوسیفر/>
Forwarded from کانال اطلاعرسانی توزیع پارچ
بسته تصاویر زمینه پارچ با چند تصویر زمینه جدید به مناسبت ۴ سالگی توزیع بهروز شد.
این تصاویر در دو حالت تاریک/روشن بوده و همچنین هماکنون برای میزکار گنوم نیز سازگار شده اند.
برای نصب یا بهروزرسانی:
@ParchLinux
این تصاویر در دو حالت تاریک/روشن بوده و همچنین هماکنون برای میزکار گنوم نیز سازگار شده اند.
برای نصب یا بهروزرسانی:
sudo pacman -Sy parch-wallpapers
@ParchLinux
Forwarded from Linuxor ?
کاربرا گزارش Memory Leak توی ماشین حساب مک رو دادن!
این باگ زمانی رخ میده که برنامه نویس فراموش کرده باشه حافظه بعد از استفاده رو آزاد کنه و با گذشت زمان حافظه پر میشه. البته ممکنه این باگ مربوط به سیستم عامل هم باشه چون برخی اپلیکیشن های دیگه هم این اتفاق براشون افتاده ولی چون ماشین حساب به طور مشترک توسط اکثریت استفاده میشه دیده شده. و ماشین حساب هم چیز پیچیده ای نیست که پتانسیل Memory Leak داشته باشه.
توی این وضعیت هیچ کاری نمیشه انجام داد باید منتظر آپدیت های جدید باشید و برنامه ای که رم میخوره رو نهایتا باید Kill کنید.
@Linuxor
این باگ زمانی رخ میده که برنامه نویس فراموش کرده باشه حافظه بعد از استفاده رو آزاد کنه و با گذشت زمان حافظه پر میشه. البته ممکنه این باگ مربوط به سیستم عامل هم باشه چون برخی اپلیکیشن های دیگه هم این اتفاق براشون افتاده ولی چون ماشین حساب به طور مشترک توسط اکثریت استفاده میشه دیده شده. و ماشین حساب هم چیز پیچیده ای نیست که پتانسیل Memory Leak داشته باشه.
توی این وضعیت هیچ کاری نمیشه انجام داد باید منتظر آپدیت های جدید باشید و برنامه ای که رم میخوره رو نهایتا باید Kill کنید.
@Linuxor
Forwarded from code2 - تکنولوژی و فناوری
چقدر با ابزار اتوماسیون n8n آشنا هستید؟
Anonymous Poll
29%
میشناسم و استفاده میکنم
29%
میشناسم ولی تا حالا استفاده نکردم
20%
نمیشناسم
22%
محمدرضا گلزار هستم میخوام نتایج و ببینم
Forwarded from DevTwitter | توییت برنامه نویسی
اُمگا ( CLI ) منتشر شد.
- بررسی سینتکس :
با دستوری که برای بررسی داره با استفاده از ai کد رو کاملا بررسی میکنه و ارور سینتکس ها رو لیست میکنه.
- پرسش سوال :
با این دستور شما میتونید سوالتون رو بپرسید و به خوبی پاسخ دریافت کنید.
- فیکس کد :
با این دستور شما میتونید یک نسخه فیکس شده از کدتون بدون باگ دریافت کنید.
و قابلیت های دیگه که میتونید بعد از نصب با دستور help مشاهده کنید.
جهت نصب از این دستور استفاده کنید.
pip install omga-cli
روش نصب و استفاده رو میتونید از طریق وبسایت PYPI مطالعه کنید.
https://pypi.org/project/omga-cli
گیتهاب پیج :
https://ispoori.github.io/omga-cli
لینک ریپو :
https://github.com/ispoori/omga-cli
@DevTwitter | <Pouria Hosseini/>
- بررسی سینتکس :
با دستوری که برای بررسی داره با استفاده از ai کد رو کاملا بررسی میکنه و ارور سینتکس ها رو لیست میکنه.
- پرسش سوال :
با این دستور شما میتونید سوالتون رو بپرسید و به خوبی پاسخ دریافت کنید.
- فیکس کد :
با این دستور شما میتونید یک نسخه فیکس شده از کدتون بدون باگ دریافت کنید.
و قابلیت های دیگه که میتونید بعد از نصب با دستور help مشاهده کنید.
جهت نصب از این دستور استفاده کنید.
pip install omga-cli
روش نصب و استفاده رو میتونید از طریق وبسایت PYPI مطالعه کنید.
https://pypi.org/project/omga-cli
گیتهاب پیج :
https://ispoori.github.io/omga-cli
لینک ریپو :
https://github.com/ispoori/omga-cli
@DevTwitter | <Pouria Hosseini/>
Forwarded from GitHub Trending Daily
🔥 New GitHub Trending Repositories 🔥
Found 8 new trending repositories:
1. opcode by winfunc
📝 A powerful GUI app and Toolkit for Claude Code - Create custom agents, manage interactive Claude Cod...
💻 TypeScript | ⭐ 16,687 | 🌟 Today: 67
🔗 Link
2. tldraw by tldraw
📝 very good whiteboard SDK / infinite canvas SDK
💻 TypeScript | ⭐ 41,914 | 🌟 Today: 80
🔗 Link
3. loki by grafana
📝 Like Prometheus, but for logs.
💻 Go | ⭐ 26,459 | 🌟 Today: 5
🔗 Link
4. OM1 by OpenMind
📝 Modular AI runtime for robots
💻 Python | ⭐ 393 | 🌟 Today: 49
🔗 Link
5. copyparty by 9001
📝 Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media i...
💻 Python | ⭐ 30,258 | 🌟 Today: 131
🔗 Link
6. aipyapp by knownsec
📝 AI-Powered Python & Python-Powered AI (Python-Use)
💻 Python | ⭐ 2,074 | 🌟 Today: 58
🔗 Link
7. odoo by odoo
📝 Odoo. Open Source Apps To Grow Your Business.
💻 Python | ⭐ 45,861 | 🌟 Today: 28
🔗 Link
8. deep-chat by OvidijusParsiunas
📝 Fully customizable AI chatbot component for your website
💻 TypeScript | ⭐ 2,763 | 🌟 Today: 31
🔗 Link
🔘 @github_trending_daily
Found 8 new trending repositories:
1. opcode by winfunc
📝 A powerful GUI app and Toolkit for Claude Code - Create custom agents, manage interactive Claude Cod...
💻 TypeScript | ⭐ 16,687 | 🌟 Today: 67
🔗 Link
2. tldraw by tldraw
📝 very good whiteboard SDK / infinite canvas SDK
💻 TypeScript | ⭐ 41,914 | 🌟 Today: 80
🔗 Link
3. loki by grafana
📝 Like Prometheus, but for logs.
💻 Go | ⭐ 26,459 | 🌟 Today: 5
🔗 Link
4. OM1 by OpenMind
📝 Modular AI runtime for robots
💻 Python | ⭐ 393 | 🌟 Today: 49
🔗 Link
5. copyparty by 9001
📝 Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media i...
💻 Python | ⭐ 30,258 | 🌟 Today: 131
🔗 Link
6. aipyapp by knownsec
📝 AI-Powered Python & Python-Powered AI (Python-Use)
💻 Python | ⭐ 2,074 | 🌟 Today: 58
🔗 Link
7. odoo by odoo
📝 Odoo. Open Source Apps To Grow Your Business.
💻 Python | ⭐ 45,861 | 🌟 Today: 28
🔗 Link
8. deep-chat by OvidijusParsiunas
📝 Fully customizable AI chatbot component for your website
💻 TypeScript | ⭐ 2,763 | 🌟 Today: 31
🔗 Link
🔘 @github_trending_daily