Forwarded from AiSegaro 👾
Media is too big
VIEW IN TELEGRAM
محصولات جدید اپل اینجا هستند! 🤩 از آیفون ۱۷ تا اپل واچ سری ۱۱ و ایرپاد پرو 3
اپل در رویداد اخیرش از جدیدترین گجتهاش رونمایی کرد! 🚀 خلاصه این رویداد در 16 دقیقه خدمت شما
توی این ویدیو میتونید با تمام محصولات جدید اپل آشنا بشید:
ایرپاد Pro 3: با حذف نویز دو برابر قویتر و قابلیت ترجمه زنده! 🎧
اپل واچ سری 11, SE3, Ultra 3: با طراحی جدید، قابلیتهای سلامتی پیشرفته و عمر باتری بیشتر ⌚️
آیفون 17, Air, 17 Pro: با طراحیهای خیرهکننده، دوربینهای فوقالعاده و تراشههای قدرتمند A19 و A19 Pro 📱
اگه از طرفداران اپل هستید، این ویدیو رو از دست ندید! 😉
📽 زیرنویس فارسی
🧠 مناسب برای همه، چه مبتدی چه حرفهای
🌐 ترجمه این ویدیو با وبسایت isega.ro انجام شده — حتماً سر بزن!
☯️ 💳 با حمایت (Donate) از من، محتوای بیشتری در آینده قرار میدهم. لینک دونیت (ریالی و کریپتو): donate.isega.ro
📌 برای دیدن قسمتهای بعدی کانال رو دنبال کن:
📺🌐 @AiSegaro
🚀 هر روز یک قدم نزدیکتر به آیندهای هوشمند!
📤 بازنشر آزاد با ذکر منبع 🙏❤️
اپل در رویداد اخیرش از جدیدترین گجتهاش رونمایی کرد! 🚀 خلاصه این رویداد در 16 دقیقه خدمت شما
توی این ویدیو میتونید با تمام محصولات جدید اپل آشنا بشید:
ایرپاد Pro 3: با حذف نویز دو برابر قویتر و قابلیت ترجمه زنده! 🎧
اپل واچ سری 11, SE3, Ultra 3: با طراحی جدید، قابلیتهای سلامتی پیشرفته و عمر باتری بیشتر ⌚️
آیفون 17, Air, 17 Pro: با طراحیهای خیرهکننده، دوربینهای فوقالعاده و تراشههای قدرتمند A19 و A19 Pro 📱
اگه از طرفداران اپل هستید، این ویدیو رو از دست ندید! 😉
📽 زیرنویس فارسی
🧠 مناسب برای همه، چه مبتدی چه حرفهای
🌐 ترجمه این ویدیو با وبسایت isega.ro انجام شده — حتماً سر بزن!
☯️ 💳 با حمایت (Donate) از من، محتوای بیشتری در آینده قرار میدهم. لینک دونیت (ریالی و کریپتو): donate.isega.ro
📌 برای دیدن قسمتهای بعدی کانال رو دنبال کن:
📺🌐 @AiSegaro
🚀 هر روز یک قدم نزدیکتر به آیندهای هوشمند!
📤 بازنشر آزاد با ذکر منبع 🙏❤️
Forwarded from Gopher Academy
🔵 عنوان مقاله
A-go-ha! Gopher Hawaiian Shirt Patterns
🟢 خلاصه مقاله:
**
در اواخر تابستان، خبر جالبی برای جامعهٔ Go منتشر شده است: در سال ۲۰۲۳ راس کاکس همراه با رنه فرنچ، خالق ماسکات گوفر، پیراهنهای هاوایی با طرحهای مرتبط با Go طراحی و چاپ کردند. اکنون الگوهای این طرحها در چند رنگ بهطور عمومی در دسترس قرار گرفتهاند تا علاقهمندان بتوانند نسخههای خودشان را تهیه یا از آنها استفاده خلاقانه کنند. این یک حرکت سرگرمکننده و نمادین از فرهنگ جامعهٔ Go است که حالوهوای برنامهنویسی را با استایل تابستانی پیوند میدهد.
🟣لینک مقاله:
https://golangweekly.com/link/173619/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
A-go-ha! Gopher Hawaiian Shirt Patterns
🟢 خلاصه مقاله:
**
در اواخر تابستان، خبر جالبی برای جامعهٔ Go منتشر شده است: در سال ۲۰۲۳ راس کاکس همراه با رنه فرنچ، خالق ماسکات گوفر، پیراهنهای هاوایی با طرحهای مرتبط با Go طراحی و چاپ کردند. اکنون الگوهای این طرحها در چند رنگ بهطور عمومی در دسترس قرار گرفتهاند تا علاقهمندان بتوانند نسخههای خودشان را تهیه یا از آنها استفاده خلاقانه کنند. این یک حرکت سرگرمکننده و نمادین از فرهنگ جامعهٔ Go است که حالوهوای برنامهنویسی را با استایل تابستانی پیوند میدهد.
🟣لینک مقاله:
https://golangweekly.com/link/173619/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
GitHub
GitHub - rsc/gophershirt: Gopher Hawaiian Shirts
Gopher Hawaiian Shirts. Contribute to rsc/gophershirt development by creating an account on GitHub.
Forwarded from Project X Channel
Xray-core v25.9.10 正式版,支持 VLESS Reverse Proxy 极简配置
VLESS NFT 自成一个系列,每个图片都不同且只有一个,你可以选择自己喜欢的图片来收藏,先到先得
https://opensea.io/collection/vless 首发放出了二十个不同的 VLESS NFT 图片
本次还放出了两个稀缺的 Project X NFT,如果你有余力,请支持一下:https://opensea.io/assets/ethereum/0x5ee362866001613093361eb8569d59c4141b76d1/1
VLESS NFT 自成一个系列,每个图片都不同且只有一个,你可以选择自己喜欢的图片来收藏,先到先得
https://opensea.io/collection/vless 首发放出了二十个不同的 VLESS NFT 图片
本次还放出了两个稀缺的 Project X NFT,如果你有余力,请支持一下:https://opensea.io/assets/ethereum/0x5ee362866001613093361eb8569d59c4141b76d1/1
Forwarded from SoniaCircuit (Sonia Fatholahi)
خیلی خلاصه
اومدن انکریپشن رو به vless اضافه کردن اسمشم کذاشتن Post quantum encryption
اومدن انکریپشن رو به vless اضافه کردن اسمشم کذاشتن Post quantum encryption
Forwarded from Project X Channel
Xray-core v25.9.5 正式版,支持 VLESS Post-Quantum Encryption
或者你也可以使用 Mihomo v1.19.13 ,感谢多次 sync code
VLESS NFT 自成一个系列,每个图片都不同且只有一个,你可以选择自己喜欢的图片来收藏,先到先得
https://opensea.io/collection/vless 首发放出了二十个不同的 VLESS NFT 图片
本次还放出了两个稀缺的 Project X NFT,如果你有余力,请支持一下:https://opensea.io/assets/ethereum/0x5ee362866001613093361eb8569d59c4141b76d1/1
或者你也可以使用 Mihomo v1.19.13 ,感谢多次 sync code
VLESS NFT 自成一个系列,每个图片都不同且只有一个,你可以选择自己喜欢的图片来收藏,先到先得
https://opensea.io/collection/vless 首发放出了二十个不同的 VLESS NFT 图片
本次还放出了两个稀缺的 Project X NFT,如果你有余力,请支持一下:https://opensea.io/assets/ethereum/0x5ee362866001613093361eb8569d59c4141b76d1/1
Forwarded from IRCF | اینترنت آزاد برای همه
مرکز ماهر دیروز با صدور یک هشدار سطح زرد، از همه دستگاههای اجرایی خواسته تا برای بالا بردن امنیت شبکهها و مراکز داده، یکسری اقدامات فوری و پیشگیرانه رو در دستور کار بذارن. توی این هشدار گفته شده مسئولان IT باید ۲۴ ساعته آماده باشن، دسترسیهای مدیریتی از راه دور بسته بشه، خدمات فقط برای کاربرهای داخل کشور (ایران اکسس) فعال باشه، سیستمهای امنیتی و آنتیویروسها بهروز بمونن و وضعیت شبکه و سرورها هم مرتب زیر نظر گرفته بشه. همینطور روی جداسازی دادههای روزمره از آرشیوی، گرفتن بکاپ امن بیرون از شبکه، کنترل سختافزاری سرورها، قطع اینترنت ILOها و گزارش سریع هر رفتار مشکوک هم تأکید شده.
جالب اینجاست که این هشدار، یادآور همون روزهای جنگ ۱۲ روزه هست؛ وقتی که مرکز افتا هم با یک نامه رسمی به مدیران دستگاهها، اعلام آمادهباش سایبری کرده بود. اون موقع افتا هشدار داده بود که احتمال حملات هدفمند سایبری بالاست و همه مدیران IT و مسئولان مربوطه باید توی آمادهباش کامل باشن و تمام الزامات امنیتی رو اجرا کنن.
🔍 ircf.space
@ircfspace
جالب اینجاست که این هشدار، یادآور همون روزهای جنگ ۱۲ روزه هست؛ وقتی که مرکز افتا هم با یک نامه رسمی به مدیران دستگاهها، اعلام آمادهباش سایبری کرده بود. اون موقع افتا هشدار داده بود که احتمال حملات هدفمند سایبری بالاست و همه مدیران IT و مسئولان مربوطه باید توی آمادهباش کامل باشن و تمام الزامات امنیتی رو اجرا کنن.
🔍 ircf.space
@ircfspace
Forwarded from SoniaCircuit (Javad)
🚀 ابزار مانیتورینگ Consumption
با کمک این ابزار میتوانید مصرف انرژی یک پروسه در حال اجرا را با دقت تقریبی ۸۰ تا ۹۰ درصد محاسبه کنید.
الگوریتم بهکاررفته، توان مصرفی را بر اساس سهم CPU، عملیات دیسک و فعالیت حافظه مدلسازی کرده و در پایان هر اجرا، گزارشی کامل و ساختارمند از توان لحظهای (Watt) و انرژی تجمعی (Joule) پروسه ارائه میدهد.
🔧 ویژگیها:
- مانیتورینگ در سطح پروسه یا کل درخت پروسهها
- خروجیهای متنوع: جدول، CSV، JSON و گزارش HTML
- الگوریتم اختصاصی برای تخمین توان بر اساس CPU، دیسک و رم
- قابل تنظیم با پارامترهای دلخواه (Idle, Max Power, γ و …)
🎯 هدفم از این پروژه این بود که یه ابزار ساده، سریع و اوپنسورس برای تیمها و ادمینهایی باشه که میخوان مصرف انرژی سرویسهاشون رو تخمین بزنن و مقایسه کنن.
📂 سورسکد و مستندات و دانلود:
github.com/ja7ad/consumption
با کمک این ابزار میتوانید مصرف انرژی یک پروسه در حال اجرا را با دقت تقریبی ۸۰ تا ۹۰ درصد محاسبه کنید.
الگوریتم بهکاررفته، توان مصرفی را بر اساس سهم CPU، عملیات دیسک و فعالیت حافظه مدلسازی کرده و در پایان هر اجرا، گزارشی کامل و ساختارمند از توان لحظهای (Watt) و انرژی تجمعی (Joule) پروسه ارائه میدهد.
🔧 ویژگیها:
- مانیتورینگ در سطح پروسه یا کل درخت پروسهها
- خروجیهای متنوع: جدول، CSV، JSON و گزارش HTML
- الگوریتم اختصاصی برای تخمین توان بر اساس CPU، دیسک و رم
- قابل تنظیم با پارامترهای دلخواه (Idle, Max Power, γ و …)
🎯 هدفم از این پروژه این بود که یه ابزار ساده، سریع و اوپنسورس برای تیمها و ادمینهایی باشه که میخوان مصرف انرژی سرویسهاشون رو تخمین بزنن و مقایسه کنن.
📂 سورسکد و مستندات و دانلود:
github.com/ja7ad/consumption
Forwarded from Linuxor ?
ابزار localtunnel یه سرویس رایگانه که به شما این امکانو میده سرور محلی (localhost) خودتون رو از طریق اینترنت در دسترس دیگران قرار دهید. این ابزار برای توسعهدهندگان وب، تست APIها، یا نمایش سریع پروژهها به مشتری ها یا هم تیمی ها خیلی کاربردیه.
نصب :
localtunnel.me
@Linuxor
نصب :
localtunnel.me
@Linuxor
Forwarded from linuxtnt(linux tips and tricks) (hosein seilany https://seilany.ir/)
🔹داغترین خبرهای هفته
🔸اولین ISO آرچ لینوکس با هستهی لینوکس 6.16 منتشر شد – کاربران اکنون میتوانند نسخهی تازه را دانلود و نصب کنند.
🔸نسخه توسعهی GIMP 3.2 منتشر شد – این نسخه شامل قابلیت لایههای پیوندی و لایههای برداری است.
🔸برنامه OpenSSL 3.6 در راه است – این نسخه پشتیبانی از تأیید امضای LMS را به همراه دارد و نسخهی آلفای آن در دسترس است.
🔸نصبکنندهی آرچ لینوکس با پشتیبانی از LVM از حالت بتا خارج شد – مدیریت حجم منطقی اکنون به صورت پایدار پشتیبانی میشود.
🔸درایور NVIDIA 580.82.07 منتشر شد – پشتیبانی از فناوری Smooth Motion برای کارتهای سری GeForce RTX 40 اضافه شده است.
🔸لینوکس مینت 22.2 با نام رمز "Zara" منتشر شد – این نسخه همراه با هسته لینوکس 6.14 برای دانلود آماده است.
🔸اپلیکیشنها، درایورها، دسکتاپها و هستههای لینوکسی منتشر شده در این هفته
🔸برنامه HandBrake 1.10.2 – نرمافزار محبوب تبدیل ویدئو
🔸برنامه Calibre 8.10 – ابزار مدیریت کتابهای الکترونیکی
🔸برنامه Snort 3.9.5.0 – سیستم تشخیص نفوذ شبکه
🔹هستههای لینوکس:
6.16.5 (جدیدترین نسخه اصلی)
6.12.45 LTS
6.6.104 LTS
6.1.150 LTS
5.15.191 LTS
5.10.242 LTS
5.4.298 LTS
🔸برنامه Docker 28.4.0 – کانتینرسازی
🔸برنامه systemd 257.9 – مدیریت سرویسها در لینوکس
🔸برنامه Chromium 140.0.7339.80 – مرورگر متنباز
🔸برنامه Mesa 25.2.2 – درایورهای گرافیکی متنباز
🔸برنامه Mixxx 2.5.3 – نرمافزار DJ متنباز
🔸 برنامه NVIDIA 580.82.07 – درایور گرافیک انویدیا
🔸 برنامه DNF 5.2.17.0 – مدیر بستهی فدورا
🔹سایر بهروزرسانیهای مهم
🔸برنامه Mixxx 2.5.3 – بهبودهای چشمگیر در سیستم Digital Vinyl برای DJها.
🔸برنامه GNOME 49 RC – پشتیبانی از X11 در GDM دوباره فعال شد.
🔸 برنامه Calibre 8.10 – بهبودهایی برای درایور Kindle MTP.
🔸دبیان 13.1 "Trixie" منتشر شد – با 71 رفع باگ و 16 بهروزرسانی امنیتی.
🔸توزیع KDE Linux – اکنون برای تست عمومی در دسترس است.
🔹سایر اخبار دنیای گنو/لینوکس
🔸پشتیبانی از openSUSE Leap 15 و Leap Micro 15 تا 30 آوریل 2026 تمدید شد.
🔸برنامه System76 نسخههای بتای COSMIC و Pop!_OS 24.04 را در 25 سپتامبر منتشر میکند.
موزیلا اعلام کرد که پشتیبانی از نسخهی 32 بیتی فایرفاکس روی لینوکس در سپتامبر 2026 پایان مییابد.
نویسنده: حسین سیلانی
🔸اولین ISO آرچ لینوکس با هستهی لینوکس 6.16 منتشر شد – کاربران اکنون میتوانند نسخهی تازه را دانلود و نصب کنند.
🔸نسخه توسعهی GIMP 3.2 منتشر شد – این نسخه شامل قابلیت لایههای پیوندی و لایههای برداری است.
🔸برنامه OpenSSL 3.6 در راه است – این نسخه پشتیبانی از تأیید امضای LMS را به همراه دارد و نسخهی آلفای آن در دسترس است.
🔸نصبکنندهی آرچ لینوکس با پشتیبانی از LVM از حالت بتا خارج شد – مدیریت حجم منطقی اکنون به صورت پایدار پشتیبانی میشود.
🔸درایور NVIDIA 580.82.07 منتشر شد – پشتیبانی از فناوری Smooth Motion برای کارتهای سری GeForce RTX 40 اضافه شده است.
🔸لینوکس مینت 22.2 با نام رمز "Zara" منتشر شد – این نسخه همراه با هسته لینوکس 6.14 برای دانلود آماده است.
🔸اپلیکیشنها، درایورها، دسکتاپها و هستههای لینوکسی منتشر شده در این هفته
🔸برنامه HandBrake 1.10.2 – نرمافزار محبوب تبدیل ویدئو
🔸برنامه Calibre 8.10 – ابزار مدیریت کتابهای الکترونیکی
🔸برنامه Snort 3.9.5.0 – سیستم تشخیص نفوذ شبکه
🔹هستههای لینوکس:
6.16.5 (جدیدترین نسخه اصلی)
6.12.45 LTS
6.6.104 LTS
6.1.150 LTS
5.15.191 LTS
5.10.242 LTS
5.4.298 LTS
🔸برنامه Docker 28.4.0 – کانتینرسازی
🔸برنامه systemd 257.9 – مدیریت سرویسها در لینوکس
🔸برنامه Chromium 140.0.7339.80 – مرورگر متنباز
🔸برنامه Mesa 25.2.2 – درایورهای گرافیکی متنباز
🔸برنامه Mixxx 2.5.3 – نرمافزار DJ متنباز
🔸 برنامه NVIDIA 580.82.07 – درایور گرافیک انویدیا
🔸 برنامه DNF 5.2.17.0 – مدیر بستهی فدورا
🔹سایر بهروزرسانیهای مهم
🔸برنامه Mixxx 2.5.3 – بهبودهای چشمگیر در سیستم Digital Vinyl برای DJها.
🔸برنامه GNOME 49 RC – پشتیبانی از X11 در GDM دوباره فعال شد.
🔸 برنامه Calibre 8.10 – بهبودهایی برای درایور Kindle MTP.
🔸دبیان 13.1 "Trixie" منتشر شد – با 71 رفع باگ و 16 بهروزرسانی امنیتی.
🔸توزیع KDE Linux – اکنون برای تست عمومی در دسترس است.
🔹سایر اخبار دنیای گنو/لینوکس
🔸پشتیبانی از openSUSE Leap 15 و Leap Micro 15 تا 30 آوریل 2026 تمدید شد.
🔸برنامه System76 نسخههای بتای COSMIC و Pop!_OS 24.04 را در 25 سپتامبر منتشر میکند.
موزیلا اعلام کرد که پشتیبانی از نسخهی 32 بیتی فایرفاکس روی لینوکس در سپتامبر 2026 پایان مییابد.
نویسنده: حسین سیلانی
Forwarded from DevTwitter | توییت برنامه نویسی
تصور کنید در حال انتخاب کتابخانهای برای پروژهتون هستید: React یا Vue؟ Tailwind یا Bootstrap؟ Lodash یا Ramda؟
همیشه این سوال پیش میاد که کدوم یکی ترندتره، بیشتر دانلود میشه، یا جامعه بزرگتری داره؟
امروز میخوام یک ابزار فوقالعاده رو بهتون معرفی کنم:
npmtrends.com
این سایت مثل یک رادار برای اکوسیستم npm عمل میکنه و بهتون کمک میکنه پکیجها و کتابخانههای مختلف رو با هم مقایسه کنید.
فقط کافیه اسامی ابزارهایی که میخواهید را وارد کنید و نرخ دانلود هر پکیج را نسبت به پکیج دیگه مقایسه کنید
همچنین میتونید مشخصات کلیدی دیگر ابزارها مانند ستاره گیتهاب ، آخرین زمان آپدیت و ... مشاهده کنید
مثلا توی این تصویر مقایسه ۲ پکیج تیلویند و بوتسترپ در یک سال اخیر به ما نشون میده
این ابزار نه تنها کمک میکنه بهترین انتخاب رو بکنید، بلکه از روندهای آینده هم آگاهتون میکنه. مثلاً اگر ببینید یک پکیج دانلودهاش داره افت میکنه، میتونید زودتر به پکیجهای مناسب تر سوییچ کنید و پروژهتون رو ایمن نگه دارید.
@DevTwitter | <Seyed Mehrzad Sajjadi/>
همیشه این سوال پیش میاد که کدوم یکی ترندتره، بیشتر دانلود میشه، یا جامعه بزرگتری داره؟
امروز میخوام یک ابزار فوقالعاده رو بهتون معرفی کنم:
npmtrends.com
این سایت مثل یک رادار برای اکوسیستم npm عمل میکنه و بهتون کمک میکنه پکیجها و کتابخانههای مختلف رو با هم مقایسه کنید.
فقط کافیه اسامی ابزارهایی که میخواهید را وارد کنید و نرخ دانلود هر پکیج را نسبت به پکیج دیگه مقایسه کنید
همچنین میتونید مشخصات کلیدی دیگر ابزارها مانند ستاره گیتهاب ، آخرین زمان آپدیت و ... مشاهده کنید
مثلا توی این تصویر مقایسه ۲ پکیج تیلویند و بوتسترپ در یک سال اخیر به ما نشون میده
این ابزار نه تنها کمک میکنه بهترین انتخاب رو بکنید، بلکه از روندهای آینده هم آگاهتون میکنه. مثلاً اگر ببینید یک پکیج دانلودهاش داره افت میکنه، میتونید زودتر به پکیجهای مناسب تر سوییچ کنید و پروژهتون رو ایمن نگه دارید.
@DevTwitter | <Seyed Mehrzad Sajjadi/>
Forwarded from a pessimistic researcher (Kc)
آقا من با یه بنده خدایی در ارتباط بودم به اسم محمد ب. که داشتیم روی یه موضوعی کار میکردیم. من تنها راه ارتباطی که باهاش داشتم تلگرام بود و چند روز پیش بنده خدا دیلیت اکانت کرد :)
گفتم شاید با یه اکانت دیگه تو کانال باشه و پیام آخرش رو اینجا جواب میدم :)
رئیس ۳ تا کاری که برام فرستادی، اولیش اپن سورس نبود و مقالهای ازش پیدا نکردم ولی خب میتونیم از case study هاشون ایده بگیریم. کار دومی که فرستادی در مورد resource aware type systems هم جالب بود ولی در کل به نظرم اگر میخواید impact خوبی روی industry داشته باشه کارت بهتره تکنیکهایی رو توسعه بدی که قابل استفاده روی سیستمهایی باشه که با زبانهایی مثل Java و C و Rust و این صحبتا کار کنه که دقیقا کار سومی که اشاره کردی خیلی مناسبت تره. اون پیپر PLDI'15 که فرستادی رو خیلی خوشم اومد ولی همونطور که احتمالا دیدی، کارشون روی برنامههای sequential هستش. من به نظرم یه چکی بکن ببین اگر کسی همونو نبرده سمت Concurrent به نظرم میشه ایدهشون رو با Owicki-Gries Logic ترکیب کرد و رفت سراغ Concurrent Data Structure ها.
راستی یه مقالهای هم هست از آقای Ben Wegbrett که کار کلاسیکی هستش و ۱۹۷۶ چاپ شده :) ولی ازش به عنوان اولین تلاش برای verify کردن performance property یاد میشه و اتفاقا به نظرم همراستا با همون پیپر PLDI هستش. وقت کردی سایتیشنهاش رو یه چکی بکن ببین کارای جدیدی روش شده یا نه :)
در مورد آخرین جلسهای هم که باهم داشتیم، ایدهی ترکیب DPOR و Time nondeterminism، میخواستم بهت یه آپدیتی بدم. توی CONCUR با دو تا استاد آشنا شدم آقای B Srivathsan از CMI و آقای Frédéric Herbreteau از موسسهی LaBRi توی Bordeaux. اینا مدتهای زیادی کارشون روی Timed Automata و Partial Order Reduction بوده. یعنی میخواستن POR-based تکنیکهایی رو برای Timed Automata ابداع کنند. و تا امروز که بنده در خدمت شما هستم تمام تلاشهاشون با شکست مواجه شده. واسه همین آقای فردریک تصمیم گرفت بیاد یکم اول روی POR بدون Time کار بکنه تا ببینه اوضاع از چه قراره و بعدش به فکر Time باشه. اینا چند روز اونجا با من صحبت کردند و آخرین آپدیتشون نسبت به ادغام این دو موضوع اینه : اینا اومدن توی یه پیپری که CONCUR'19 چاپ شد، یک تکنیک Abstraction معرفی کردند برای timed automata به نام Local Time semantics که میاد clock ها رو مستقل از هم در نظر میگیره و با هم sync نمیشن. بعد تر متوجه میشن که این تکنیک کار رو برای استفاده از POR خیلی راحت تر میکنه و سعی میکنن این دوتا کار رو با هم ترکیب کنند و حاصلش میشه پیپر LICS'22 شون. منتهی توی این پیپر متوجه میشن که POR هارد هستش و باید کلی constraints بذارن روی مدلشون. واسه همین یه جوری گیو آپ کردند و حالا به کار ما یعنی ConDpor علاقهمند شدند. منو دعوت کرده که یه هفته برم LaBRi ویزیت و تاک بدم و راجع به این مسئله صحبت کنیم. به نظرم اگر بتونیم ConDpor رو با Timed Nondeterminism ادغام کنیم، اون Ground Tool مورد نیاز برای Performance Verification سیستمهای Concurrent رو خواهیم داشت. ولی خب اینم صرفا یه روشه و کارای تئوریش زمانبره. واسه همین شاید بهتر باشه اول ببینیم خود ConDpor چه property هایی رو میتونیم باهاش هندل کنیم و اگر لازم شد یکم بهش از همین OG logic اضافه کنیم. و اتفاقا الان داریم روی ترکیب OG-logic و ConDpor کار میکنیم بخاطر مقاصد دیگه :) ولی به نظرم جواب سوال ما رو توی Performance Verification میده. خلاصه پیام رو دیدی یه خبر بده. من اون داکی رو که باهام share کردی رو خوندم و اگر دوست داشتی میتونیم در موردشون بیشتر صحبت کنیم.
ارادت
گفتم شاید با یه اکانت دیگه تو کانال باشه و پیام آخرش رو اینجا جواب میدم :)
رئیس ۳ تا کاری که برام فرستادی، اولیش اپن سورس نبود و مقالهای ازش پیدا نکردم ولی خب میتونیم از case study هاشون ایده بگیریم. کار دومی که فرستادی در مورد resource aware type systems هم جالب بود ولی در کل به نظرم اگر میخواید impact خوبی روی industry داشته باشه کارت بهتره تکنیکهایی رو توسعه بدی که قابل استفاده روی سیستمهایی باشه که با زبانهایی مثل Java و C و Rust و این صحبتا کار کنه که دقیقا کار سومی که اشاره کردی خیلی مناسبت تره. اون پیپر PLDI'15 که فرستادی رو خیلی خوشم اومد ولی همونطور که احتمالا دیدی، کارشون روی برنامههای sequential هستش. من به نظرم یه چکی بکن ببین اگر کسی همونو نبرده سمت Concurrent به نظرم میشه ایدهشون رو با Owicki-Gries Logic ترکیب کرد و رفت سراغ Concurrent Data Structure ها.
راستی یه مقالهای هم هست از آقای Ben Wegbrett که کار کلاسیکی هستش و ۱۹۷۶ چاپ شده :) ولی ازش به عنوان اولین تلاش برای verify کردن performance property یاد میشه و اتفاقا به نظرم همراستا با همون پیپر PLDI هستش. وقت کردی سایتیشنهاش رو یه چکی بکن ببین کارای جدیدی روش شده یا نه :)
در مورد آخرین جلسهای هم که باهم داشتیم، ایدهی ترکیب DPOR و Time nondeterminism، میخواستم بهت یه آپدیتی بدم. توی CONCUR با دو تا استاد آشنا شدم آقای B Srivathsan از CMI و آقای Frédéric Herbreteau از موسسهی LaBRi توی Bordeaux. اینا مدتهای زیادی کارشون روی Timed Automata و Partial Order Reduction بوده. یعنی میخواستن POR-based تکنیکهایی رو برای Timed Automata ابداع کنند. و تا امروز که بنده در خدمت شما هستم تمام تلاشهاشون با شکست مواجه شده. واسه همین آقای فردریک تصمیم گرفت بیاد یکم اول روی POR بدون Time کار بکنه تا ببینه اوضاع از چه قراره و بعدش به فکر Time باشه. اینا چند روز اونجا با من صحبت کردند و آخرین آپدیتشون نسبت به ادغام این دو موضوع اینه : اینا اومدن توی یه پیپری که CONCUR'19 چاپ شد، یک تکنیک Abstraction معرفی کردند برای timed automata به نام Local Time semantics که میاد clock ها رو مستقل از هم در نظر میگیره و با هم sync نمیشن. بعد تر متوجه میشن که این تکنیک کار رو برای استفاده از POR خیلی راحت تر میکنه و سعی میکنن این دوتا کار رو با هم ترکیب کنند و حاصلش میشه پیپر LICS'22 شون. منتهی توی این پیپر متوجه میشن که POR هارد هستش و باید کلی constraints بذارن روی مدلشون. واسه همین یه جوری گیو آپ کردند و حالا به کار ما یعنی ConDpor علاقهمند شدند. منو دعوت کرده که یه هفته برم LaBRi ویزیت و تاک بدم و راجع به این مسئله صحبت کنیم. به نظرم اگر بتونیم ConDpor رو با Timed Nondeterminism ادغام کنیم، اون Ground Tool مورد نیاز برای Performance Verification سیستمهای Concurrent رو خواهیم داشت. ولی خب اینم صرفا یه روشه و کارای تئوریش زمانبره. واسه همین شاید بهتر باشه اول ببینیم خود ConDpor چه property هایی رو میتونیم باهاش هندل کنیم و اگر لازم شد یکم بهش از همین OG logic اضافه کنیم. و اتفاقا الان داریم روی ترکیب OG-logic و ConDpor کار میکنیم بخاطر مقاصد دیگه :) ولی به نظرم جواب سوال ما رو توی Performance Verification میده. خلاصه پیام رو دیدی یه خبر بده. من اون داکی رو که باهام share کردی رو خوندم و اگر دوست داشتی میتونیم در موردشون بیشتر صحبت کنیم.
ارادت
Forwarded from Gopher Academy
🔵 عنوان مقاله
now supports Go 1.25.
🟢 خلاصه مقاله:
اکنون این پروژه بهطور کامل از Go 1.25 پشتیبانی میکند؛ خبری که در آخرین شماره Golang Weekly برجسته شده است. این پشتیبانی شامل ساخت و آزمایش با ابزارهای Go 1.25، همسانسازی CI و تصاویر کانتینری، و بهروزرسانی اسناد است تا ارتقاء بدون اصطکاک انجام شود. با توجه به بهبودهای کارایی، پایداری و ابزارها در Go 1.25، توصیه میشود Go را ارتقاء دهید، go.mod را به 1.25 تنظیم کنید، go mod tidy اجرا کنید و تستها را بگذرانید؛ در صورت بروز مشکل، آن را گزارش کنید. اگر فعلاً ارتقاء نمیدهید، میتوانید از نسخه فعلی خود استفاده کنید، اما ویژگیهای جدید پروژه احتمالاً بر پایه Go 1.25 ارائه خواهند شد.
🟣لینک مقاله:
https://golangweekly.com/link/173624/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
now supports Go 1.25.
🟢 خلاصه مقاله:
اکنون این پروژه بهطور کامل از Go 1.25 پشتیبانی میکند؛ خبری که در آخرین شماره Golang Weekly برجسته شده است. این پشتیبانی شامل ساخت و آزمایش با ابزارهای Go 1.25، همسانسازی CI و تصاویر کانتینری، و بهروزرسانی اسناد است تا ارتقاء بدون اصطکاک انجام شود. با توجه به بهبودهای کارایی، پایداری و ابزارها در Go 1.25، توصیه میشود Go را ارتقاء دهید، go.mod را به 1.25 تنظیم کنید، go mod tidy اجرا کنید و تستها را بگذرانید؛ در صورت بروز مشکل، آن را گزارش کنید. اگر فعلاً ارتقاء نمیدهید، میتوانید از نسخه فعلی خود استفاده کنید، اما ویژگیهای جدید پروژه احتمالاً بر پایه Go 1.25 ارائه خواهند شد.
🟣لینک مقاله:
https://golangweekly.com/link/173624/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
The GitHub Blog
CodeQL 2.22.4 adds support for Go 1.25 and accuracy improvements - GitHub Changelog
CodeQL is the static analysis engine behind GitHub code scanning, which finds and remediates security issues in your code. We’ve recently released CodeQL 2.22.4, which adds support for Go 1.25,…
Forwarded from Gopher Academy
🚀 به کانال تخصصی انواع دیتابیس و دیتا خوش اومدی!
اینجا هر روز مطالب کاربردی و بهروز درباره موضوعات زیر میذاریم:
🔹 PostgreSQL
🔹 RDBMS (سیستمهای مدیریت پایگاه داده رابطهای)
🔹 NoSQL
🔹 Big Data
🔹 Data Science
🔹 Data Engineering
📚 یادگیری، نکات حرفهای و تازهترین ترندهای دنیای دیتا همه اینجاست!
📌 همین حالا جوین شو و یک قدم جلوتر باش
https://t.iss.one/Database_Academy
اینجا هر روز مطالب کاربردی و بهروز درباره موضوعات زیر میذاریم:
🔹 PostgreSQL
🔹 RDBMS (سیستمهای مدیریت پایگاه داده رابطهای)
🔹 NoSQL
🔹 Big Data
🔹 Data Science
🔹 Data Engineering
📚 یادگیری، نکات حرفهای و تازهترین ترندهای دنیای دیتا همه اینجاست!
📌 همین حالا جوین شو و یک قدم جلوتر باش
https://t.iss.one/Database_Academy
Forwarded from Go Casts 🚀
سلام به همه دوستان گل
میلاد رسول الله مبارک باشه، ان شاءالله همیشه خوب و خوش باشید ❤️❤️
ببخشید یه مدتی کمتر در خدمت تون بودم.
تو این مقاله پکیج های جدید json برای گولنگ معرفی شدند که بهبودهایی که مدت ها بود تقاضا میشد اضافه شده. فعلا نسخه آزمایشی هست.
https://go.dev/blog/jsonv2-exp
@gocasts
میلاد رسول الله مبارک باشه، ان شاءالله همیشه خوب و خوش باشید ❤️❤️
ببخشید یه مدتی کمتر در خدمت تون بودم.
تو این مقاله پکیج های جدید json برای گولنگ معرفی شدند که بهبودهایی که مدت ها بود تقاضا میشد اضافه شده. فعلا نسخه آزمایشی هست.
https://go.dev/blog/jsonv2-exp
@gocasts
go.dev
A new experimental Go API for JSON - The Go Programming Language
Go 1.25 introduces experimental support for encoding/json/jsontext and encoding/json/v2 packages.
Forwarded from DevTwitter | توییت برنامه نویسی
از اونجایی که آموزشهای فارسی در زمینه Markdown و ابزاری مثل Pandoc کم هستند و کار با اونها برای تازهکارها تا حدی گیجکننده، یک راهنمای جامع و کاربردی به زبان فارسی با mdBook آماده کردم که میشه روی GitHub Pages از اینجا مطالعه کرد:
https://ackreq.github.io/mdlearn
کد منبع پروژه هم در GitHub در دسترسه:
https://github.com/ackreq/mdlearn
متنباز هست و از بازخوردها و مشارکتهای توسعهدهندگان استقبال میشود تا بلکه محتوای آموزشی فارسی در این زمینه کاملتر و گسترده بشن.
@DevTwitter | <Mohammad/>
https://ackreq.github.io/mdlearn
کد منبع پروژه هم در GitHub در دسترسه:
https://github.com/ackreq/mdlearn
متنباز هست و از بازخوردها و مشارکتهای توسعهدهندگان استقبال میشود تا بلکه محتوای آموزشی فارسی در این زمینه کاملتر و گسترده بشن.
@DevTwitter | <Mohammad/>
Forwarded from a pessimistic researcher (Kc)
خب آقا لینک شدیم مجدد
از اونجایی توی این پیام یه سری منبع هم معرفی شده دیگه پاکش نمیکنم و باشه برای دوستان علاقهمند :)
از اونجایی توی این پیام یه سری منبع هم معرفی شده دیگه پاکش نمیکنم و باشه برای دوستان علاقهمند :)
Forwarded from Curious Geek ⚡️
🥶 نمنمی - سامانه هواشناسی
🔗 https://namnami.ir
تکنولوژی های استفاده شده :
⚡️شما بودید چه اسمی انتخاب میکردید؟
توی کامنت ها بنویسید ⬇️
🆔 @Hiradsajde
🔗 https://namnami.ir
تکنولوژی های استفاده شده :
expressjs - vite - shadcn - persian-tools - tanstack query - recharts⚡️شما بودید چه اسمی انتخاب میکردید؟
توی کامنت ها بنویسید ⬇️
🆔 @Hiradsajde
Forwarded from Curious Geek ⚡️
با استفاده از این تکنیک
پرفورمنس نمنمی چند برابر شد 😅
هرکجا که integration خارجی باشه به شدت مفیده و توصیه میشه.
🆔 @Hiradsajde
پرفورمنس نمنمی چند برابر شد 😅
هرکجا که integration خارجی باشه به شدت مفیده و توصیه میشه.
🆔 @Hiradsajde
Telegram
Curious Geek ⚡️
http-proxy-agent
وبسایت OpenweatherAPI ایران رو تحریم کرده، حاکمیت ایران سرور های خارج که تازه خریداری شده رو فیلتر میکنه،
راه حل؟ میشه با استفاده از V2rayA روی سرور ایران پروکسی HTTP خروجی گرفت و با این پکیج بهش وصل شد.
🔗 npmjs.com/package/http-proxy…
وبسایت OpenweatherAPI ایران رو تحریم کرده، حاکمیت ایران سرور های خارج که تازه خریداری شده رو فیلتر میکنه،
راه حل؟ میشه با استفاده از V2rayA روی سرور ایران پروکسی HTTP خروجی گرفت و با این پکیج بهش وصل شد.
🔗 npmjs.com/package/http-proxy…
Forwarded from AiSegaro 👾
Media is too big
VIEW IN TELEGRAM
همه تلاش من اینه
سایت ترجمم به کیفیت این مکالمه برسه
انتقال مفهوم و روانی ترجمش بینظیره
از سایت iSega.Ro دیدن کنید 🤣🤣🤣
سایت ترجمم به کیفیت این مکالمه برسه
انتقال مفهوم و روانی ترجمش بینظیره
از سایت iSega.Ro دیدن کنید 🤣🤣🤣