Forwarded from DevTwitter | توییت برنامه نویسی
اپلیکیشن Google AI Edge Gallery
این اپلیکیشن امکان اجرای مدلهای Generative AI را به صورت آفلاین و مستقیم روی دستگاههای اندروید (به زودی iOS) فراهم میکند. شما میتوانید از مدلهای مختلف مانند Gemma-3n و مدلهای Hugging Face استفاده کنید.
https://github.com/google-ai-edge/gallery
@DevTwitter | <Alireza Naji/>
این اپلیکیشن امکان اجرای مدلهای Generative AI را به صورت آفلاین و مستقیم روی دستگاههای اندروید (به زودی iOS) فراهم میکند. شما میتوانید از مدلهای مختلف مانند Gemma-3n و مدلهای Hugging Face استفاده کنید.
https://github.com/google-ai-edge/gallery
@DevTwitter | <Alireza Naji/>
Forwarded from Laravel News
Enhance Collection Validation with containsOneItem() Closure Support https://laravel-news.com/containsOneItem
Laravel News
Enhance Collection Validation with containsOneItem() Closure Support - Laravel News
Laravel's containsOneItem() method now supports closures for custom condition validation, enabling verification that exactly one collection item meets specific criteria. This enhancement improves business rule validation by providing precise control over…
Forwarded from DevTwitter | توییت برنامه نویسی
Forwarded from کانال مهرداد لینوکس (Mehrdad Linux)
✅ ابزار tmux یک ترمینال multiplexer است
❌ یک مشکلی بزرگی که داره اگر سیستم ریست شود تمام نشست ها از بین میرن
🔥 با ابزار Tmux Resurrect این مشکل را حل میکنه و دوباره همه را زنده کنید 🧟♂️
💠راه حل های دیگری هم برای این کار هست من ساده نوشتم
اگر نیاز بود در کامنت ها بنویسد اینجا توضیح بدهم
🗓 من از نصاب Tmux Plugin Manager یا همان TPM برای نصب استفاده کردم
اگر نیاز به Tmux Cheat Sheet & Quick Reference برای Tmux دارید از این سایت استفاده کنید یا این سایت
وقتی میخواهید نشست Save شود باید از Prefix + Ctrl-s که معمولا prefix در tmux ترکیب Ctrl+b. است بزنید تا پیام tmux environment saved ظاهر بشه
و زمانی که میخواهید نشست را برگردانید از دستور Prefix + Ctrl-r برگردانید
اگر حال این کار ها را ندارید tmux-continuum را نصب کنید
🔥 امکانات:
تمام جلسات، پنجره ها، ترتیب آنها
دایرکتوری کاری فعلی برای هر پنجره
طرح بندی پنجره های دقیق در داخل ویندوز (حتی در صورت بزرگنمایی)
این مهمه : برنامه هایی که در یک پنجره اجرا می شوند! جزئیات بیشتر در doc.
⁉️ اگر سوالی مشکلی بود در بخش کامنت ها بپرسید با هم برسی کنیم 😎
❌ یک مشکلی بزرگی که داره اگر سیستم ریست شود تمام نشست ها از بین میرن
🔥 با ابزار Tmux Resurrect این مشکل را حل میکنه و دوباره همه را زنده کنید 🧟♂️
💠راه حل های دیگری هم برای این کار هست من ساده نوشتم
اگر نیاز بود در کامنت ها بنویسد اینجا توضیح بدهم
🗓 من از نصاب Tmux Plugin Manager یا همان TPM برای نصب استفاده کردم
اگر نیاز به Tmux Cheat Sheet & Quick Reference برای Tmux دارید از این سایت استفاده کنید یا این سایت
وقتی میخواهید نشست Save شود باید از Prefix + Ctrl-s که معمولا prefix در tmux ترکیب Ctrl+b. است بزنید تا پیام tmux environment saved ظاهر بشه
و زمانی که میخواهید نشست را برگردانید از دستور Prefix + Ctrl-r برگردانید
اگر حال این کار ها را ندارید tmux-continuum را نصب کنید
🔥 امکانات:
تمام جلسات، پنجره ها، ترتیب آنها
دایرکتوری کاری فعلی برای هر پنجره
طرح بندی پنجره های دقیق در داخل ویندوز (حتی در صورت بزرگنمایی)
این مهمه : برنامه هایی که در یک پنجره اجرا می شوند! جزئیات بیشتر در doc.
⁉️ اگر سوالی مشکلی بود در بخش کامنت ها بپرسید با هم برسی کنیم 😎
Forwarded from Linuxor ?
Forwarded from DevTwitter | توییت برنامه نویسی
برنامه Onlook برای طراحان وبسایت و اپلیکیشنهای React با کمک هوش مصنوعی
Cursor for Designers
https://github.com/onlook-dev/onlook
@DevTwitter | <Amirio/>
Cursor for Designers
https://github.com/onlook-dev/onlook
@DevTwitter | <Amirio/>
Forwarded from Linuxor ?
وقتی Bjarne Stroustrup و Herb Sutter، یعنی دو تا از اصلیترین چهرههای دنیای C++، جمع میشن و میگن "اینطوری C++ بنویسید بهتره"، آدم کنجکاو میشه ببینه چی میگن! اینجا مجموعهای از بهترین تجربیات و قوانین برای نوشتن کد C++ که هم خوانا باشه، هم امن، و هم از قابلیتهای مدرن زبون استفاده کنه.
github.com/isocpp/CppCoreGuidelines
@Linuxor
github.com/isocpp/CppCoreGuidelines
@Linuxor
Forwarded from DevTwitter | توییت برنامه نویسی
خبر خوب برای طرفدارهای Rust
اوبونتو از نسخهی بعد، سوییچ میکنه به نسخهی sudo که با rust نوشته شده. یعنی sudo-rs
https://www.omgubuntu.co.uk/2025/05/ubuntu-25-10-rust-sudo-rs-change
@DevTwitter | <Bardia/>
اوبونتو از نسخهی بعد، سوییچ میکنه به نسخهی sudo که با rust نوشته شده. یعنی sudo-rs
https://www.omgubuntu.co.uk/2025/05/ubuntu-25-10-rust-sudo-rs-change
@DevTwitter | <Bardia/>
Forwarded from کانال مهرداد لینوکس
بله اینترنت ایران دومین اینترنت ارزان جهان شد 😳 چطوری؟
⁉️چند نفر در ایران واقعا اینترنت ADSL 16 مگ دریافت میکنند؟
💠شما اسما اینترنت ۱۶ میگیری ولی به هزار دلیل میگن خط شما کشش نداره
اوکراین و روسیه با همین هزینه اینترنت سرعت ۱۰ برابری دریافت میکنند و ایرانی برای فیلترنت با ریال هزینه پرداخت میکنه
بعد به همین ها توی اخبار استناد میکنند
چرا کسی در مورد هزینه های روانی زمانی مالی فیلترینگ که تو ایران میکشیم حرف نمیزنه
#غرهای_فنی
⁉️چند نفر در ایران واقعا اینترنت ADSL 16 مگ دریافت میکنند؟
💠شما اسما اینترنت ۱۶ میگیری ولی به هزار دلیل میگن خط شما کشش نداره
اوکراین و روسیه با همین هزینه اینترنت سرعت ۱۰ برابری دریافت میکنند و ایرانی برای فیلترنت با ریال هزینه پرداخت میکنه
بعد به همین ها توی اخبار استناد میکنند
چرا کسی در مورد هزینه های روانی زمانی مالی فیلترینگ که تو ایران میکشیم حرف نمیزنه
#غرهای_فنی
Forwarded from code2 - تکنولوژی و فناوری
⚡️ از claude استفاده میکنید؟ اگر نمیکنید استفاده کنید. اگر دوست دارید با لینک من ثبت نام کنید:
https://claude.ai/referral/9MYv9Tc9rA
حقیقتا توی code زدن که claude به مراتب به نظر من از مدل های chatgpt بهتره.
@code2_ir
https://claude.ai/referral/9MYv9Tc9rA
حقیقتا توی code زدن که claude به مراتب به نظر من از مدل های chatgpt بهتره.
@code2_ir
claude.ai
Join Claude! | Claude
Join Claude for a chance to win 4 months of Claude Max!
Forwarded from a pessimistic researcher (Kc)
امروز تولد مرحوم Emerson هستش کسی که مشترکا با آقای Clarke و Sifakis برنده جایزه تورینگ بخاطر ابداع Model Checking شد
توی این ویدئو ایشون توضیح میدن که Model Ckecking چی هستش
توی این ویدئو ایشون توضیح میدن که Model Ckecking چی هستش
YouTube
Emerson on the introduction of model checking for hardware and software verification.
E. Allen Emerson, winner of the Association for Computing Machinery's A.M. Turing Award, defines the model checking approach to hardware and software verification and discusses his development of the concept with Edmund Clarke. This clip taken from an interview…
Forwarded from DevTwitter | توییت برنامه نویسی
اگر با Git زیاد کار میکنید، یه بار این ریپو رو کامل بخونید، مثل کتاب قانون بقا در گیت میمونه
https://github.com/k88hudson/git-flight-rules
@DevTwitter | <Misa/>
https://github.com/k88hudson/git-flight-rules
@DevTwitter | <Misa/>
Forwarded from مهندسی نرمافزار - Software Inside
#مطلب
Here’s how I use LLMs to help me write code
https://simonwillison.net/2025/Mar/11/using-llms-for-code/
با اومدن LLM ها و ابزارهایی مثل Cursor و Windsurf نحوهی کد زدن خیلی از مهندسان نرمافزار هم عوض شده و استفاده از این ابزارها به بخشی از کارهای روزمره تبدیل شده. از طرفی استفادهی درست از LLM ها به گونهای که بتونیم بهترین بهرهوری رو داشته باشیم کار سادهای نیست و نیاز به آزمون و خطا و تجربه کردن داره. مقالهی بالا به همین موضوع میپردازه و سعی میکنه به ما کمک کنه که چطوری بهتر از LLM ها توی کد زدن استفاده کنیم.
چندتا نکتهی کوتاه که جالب بود رو اینجا آوردم ولی پیشنهاد میکنم حتما مقالهی اصلی رو بخونید:
- هوش مصنوعی یه دستیار خوب و سریعه ولی با اعتماد به نفس بیش از اندازه:
با اینکه خیلی از چیزا رو درست میگه اما یکسری از چیزها رو هم با اعتماد به نفس کامل اشتباه میگه و ممکنه شما رو کلا گمراه کنه. اگر یک انسان اینکار رو انجام بده احتمالا شما اعتمادتون رو بهش از دست میدید و دیگه چیزی رو ازش نمیپرسید اما با هوش مصنوعی نباید مثل یه انسان برخورد کرد! در عوض بهتره نقاط قوت و ضعف مدلهای مختلف رو بشناسیم و یادبگیریم که چیا رو میتونن انجام بدن و توی چه چیزهایی خوب نیستن
- تاریخ cuttoff رو حتما مد نظر قرار بدید
تاریخ cutoff نشون میده اطلاعاتی که مدل روش آموزش دیده چقدر بروز بوده. برای مثال اگر cutoff یه مدلی 2023 باشه احتمالا تغییراتی که توی 2025 اتفاق افتاده رو نمیدونه یا بد عمل میکنه. البته با اومدن قابلیت tools و سرچ کردن این مشکل بهتر شده اما همچنان اگر مدل روی دادههای جدیدتر آموزش دیده باشه بهتر میتونه جواب بده. خوبه زمان cutoff مدلی که استفاده میکنید رو بدونید. برای همین هرچقدر از کتابخونههای معروفتر که توی اینترنت درموردشون دیتای بیشتری هست استفاده کنید احتمالا LLM ها بیشتر میتونن بهتون کمک کنن.
- کانتکست خیلی مهمه!
جواب مدلها خیلی خیلی وابسته به این هست که چه چیزی رو توی پیامهای قبلی براشون فرستادید. تمامی پیام هایی که بین شما و مدل رد و بدل میشه توی کانتکست مدل هست و اونا رو میدونه. برای همین خیلی مهمه که کانتکست خوبی بهش بدید. مثلا اگر میخواید یه کار بزرگی بهش بدید خوبه اول یه iteration کوچیک باهاش برید و بهش بگید کم کم پیچیدش کنه و قسمتهای مختلفش رو بزنه. اینطوری چون تمامی کدها و کانتکست قبلی رو داره میتونه بهتر جواب بده
- مدلهای زبانی برای prototype زدن و تست گرفتن ایدههای مختلف خیلی خوبن
- هنگام استفاده از مدلها توی کد پروداکشن محافظهکارتر باشید
توی کدهای پروداکشن بهتره دقیقا به LLM بگید چیمیخواید و با جزئیات براش توضیح بدید. کدهایی که LLM میزنه به نظر درست میاد، اسم متغیرها درسته اسم توابع به نظر درست میاد اما این نباید شما رو گول بزنه. حتما حتما باید کدهای LLM رو تست کنید و درستی یه کدی رو تا با چشمتون ندیدید باور نکنید. احتمال اینکه باگهای ریز توی جاهای مختلف باشه زیاده که به چشم نمیان. همچنین اگر تستها رو میدید که خود LLM بزنه خوبه خیلی دقیق کدهای تست رو بررسی کنید که چه چیزی رو دارن تست میکنن.
- آمادهی مداخلهی انسانی باشید!
مدلهای زبانی قرار نیست جای تجربه و شهود شما رو بگیرن. بزرگترین مزیت این مدلها سرعت زیادشون هست اما خیلی جاها باید آماده باشید که مداخله کنید و یه تغییراتی رو خودتون اعمال کنید. قرار نیست سر تا ته یه پروژه رو بدید LLM بزنه.
داخل مقاله کلی مثال و prompt و نکتهی باحال دیگه هم هست که من اینحا نیاوردم و پیشنهاد میکنم حتما مقالهی اصلی رو بخونید.
✴️ @software_inside - مهندسینرمافزار
Here’s how I use LLMs to help me write code
https://simonwillison.net/2025/Mar/11/using-llms-for-code/
با اومدن LLM ها و ابزارهایی مثل Cursor و Windsurf نحوهی کد زدن خیلی از مهندسان نرمافزار هم عوض شده و استفاده از این ابزارها به بخشی از کارهای روزمره تبدیل شده. از طرفی استفادهی درست از LLM ها به گونهای که بتونیم بهترین بهرهوری رو داشته باشیم کار سادهای نیست و نیاز به آزمون و خطا و تجربه کردن داره. مقالهی بالا به همین موضوع میپردازه و سعی میکنه به ما کمک کنه که چطوری بهتر از LLM ها توی کد زدن استفاده کنیم.
چندتا نکتهی کوتاه که جالب بود رو اینجا آوردم ولی پیشنهاد میکنم حتما مقالهی اصلی رو بخونید:
- هوش مصنوعی یه دستیار خوب و سریعه ولی با اعتماد به نفس بیش از اندازه:
با اینکه خیلی از چیزا رو درست میگه اما یکسری از چیزها رو هم با اعتماد به نفس کامل اشتباه میگه و ممکنه شما رو کلا گمراه کنه. اگر یک انسان اینکار رو انجام بده احتمالا شما اعتمادتون رو بهش از دست میدید و دیگه چیزی رو ازش نمیپرسید اما با هوش مصنوعی نباید مثل یه انسان برخورد کرد! در عوض بهتره نقاط قوت و ضعف مدلهای مختلف رو بشناسیم و یادبگیریم که چیا رو میتونن انجام بدن و توی چه چیزهایی خوب نیستن
- تاریخ cuttoff رو حتما مد نظر قرار بدید
تاریخ cutoff نشون میده اطلاعاتی که مدل روش آموزش دیده چقدر بروز بوده. برای مثال اگر cutoff یه مدلی 2023 باشه احتمالا تغییراتی که توی 2025 اتفاق افتاده رو نمیدونه یا بد عمل میکنه. البته با اومدن قابلیت tools و سرچ کردن این مشکل بهتر شده اما همچنان اگر مدل روی دادههای جدیدتر آموزش دیده باشه بهتر میتونه جواب بده. خوبه زمان cutoff مدلی که استفاده میکنید رو بدونید. برای همین هرچقدر از کتابخونههای معروفتر که توی اینترنت درموردشون دیتای بیشتری هست استفاده کنید احتمالا LLM ها بیشتر میتونن بهتون کمک کنن.
- کانتکست خیلی مهمه!
جواب مدلها خیلی خیلی وابسته به این هست که چه چیزی رو توی پیامهای قبلی براشون فرستادید. تمامی پیام هایی که بین شما و مدل رد و بدل میشه توی کانتکست مدل هست و اونا رو میدونه. برای همین خیلی مهمه که کانتکست خوبی بهش بدید. مثلا اگر میخواید یه کار بزرگی بهش بدید خوبه اول یه iteration کوچیک باهاش برید و بهش بگید کم کم پیچیدش کنه و قسمتهای مختلفش رو بزنه. اینطوری چون تمامی کدها و کانتکست قبلی رو داره میتونه بهتر جواب بده
- مدلهای زبانی برای prototype زدن و تست گرفتن ایدههای مختلف خیلی خوبن
- هنگام استفاده از مدلها توی کد پروداکشن محافظهکارتر باشید
توی کدهای پروداکشن بهتره دقیقا به LLM بگید چیمیخواید و با جزئیات براش توضیح بدید. کدهایی که LLM میزنه به نظر درست میاد، اسم متغیرها درسته اسم توابع به نظر درست میاد اما این نباید شما رو گول بزنه. حتما حتما باید کدهای LLM رو تست کنید و درستی یه کدی رو تا با چشمتون ندیدید باور نکنید. احتمال اینکه باگهای ریز توی جاهای مختلف باشه زیاده که به چشم نمیان. همچنین اگر تستها رو میدید که خود LLM بزنه خوبه خیلی دقیق کدهای تست رو بررسی کنید که چه چیزی رو دارن تست میکنن.
- آمادهی مداخلهی انسانی باشید!
مدلهای زبانی قرار نیست جای تجربه و شهود شما رو بگیرن. بزرگترین مزیت این مدلها سرعت زیادشون هست اما خیلی جاها باید آماده باشید که مداخله کنید و یه تغییراتی رو خودتون اعمال کنید. قرار نیست سر تا ته یه پروژه رو بدید LLM بزنه.
داخل مقاله کلی مثال و prompt و نکتهی باحال دیگه هم هست که من اینحا نیاوردم و پیشنهاد میکنم حتما مقالهی اصلی رو بخونید.
✴️ @software_inside - مهندسینرمافزار
Simon Willison’s Weblog
Here’s how I use LLMs to help me write code
Online discussions about using Large Language Models to help write code inevitably produce comments from developers who’s experiences have been disappointing. They often ask what they’re doing wrong—how come some …
Forwarded from a pessimistic researcher (Kc)
انی وی لیست مقالات اکسپت شده کنفرانس concur هم منتشر شد
https://conferences.au.dk/confest2025/concur/accepted-papers
https://conferences.au.dk/confest2025/concur/accepted-papers
conferences.au.dk
Accepted Papers
Forwarded from a pessimistic researcher (Kc)
Sir, you are at risk of winning the argument!
پسر جدی چه جواهرایی توی آکادمیک بودن. و چه خوب که نیستن ببینن چه لومپنزیمی الان حاکمه.
پسر جدی چه جواهرایی توی آکادمیک بودن. و چه خوب که نیستن ببینن چه لومپنزیمی الان حاکمه.