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!
پسر جدی چه جواهرایی توی آکادمیک بودن. و چه خوب که نیستن ببینن چه لومپنزیمی الان حاکمه.
پسر جدی چه جواهرایی توی آکادمیک بودن. و چه خوب که نیستن ببینن چه لومپنزیمی الان حاکمه.
Forwarded from ASafaeirad
اگر برای کار کردن یا اجرا کردن پروژه تون حتما باید از یک IDE خاص استفاده کنید یجای کارتون مشکل داره.
البته من درباره Apple Developer ها صحبت نمیکنم اونهارو Apple زده.
#quote
البته من درباره Apple Developer ها صحبت نمیکنم اونهارو Apple زده.
#quote
Forwarded from Philocode
مردی که رشد میکنه، نمیگه «چه زنی کمتر از من بخواد؟» بلکه میگه «چه زنی منو رشد میده؟»
آدم بالغ دنبال کسی نیست که بیدردسر باشه؛ دنبال کسیه که ارزش دردسرهاش رو داشته باشه.
- چت جپت
Forwarded from Philocode
اولین صنفی که شغلش رو از دست بده، صنف تراپیستهاست. 😂
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from DevTwitter | توییت برنامه نویسی
Forwarded from DevTwitter | توییت برنامه نویسی
بنازم به این پکیج قدرتمند
با PHPStan، میتونید بدون اجرای کد، خطاهای منطقی، ناسازگاریها و مشکلات تایپی را شناسایی کنید. این ابزار فوقالعاده برای تحلیل استاتیک کد PHP به شما کمک میکند که کدی امنتر، تمیزتر و قابل نگهداریتر بنویسید.
اگر سطح دسترسی رو روی 8 بزارید، هیچ کدی از آنالیزش در امان نخواهد بود
فقط نکته ای که باید بهش دقت کنید اینه که برای پروژه ای که ددلاینش کمه نمیتونید ازش استفاده کنید چون برای رفع اخطار و ارور هایی که شناسایی میکنه شدیدا باید وقت و حوصله بزارید چون طبق یک استانداردی پیش میره که شما شاید یک جور دیگه کد نویسی کنید
لینک پکیج :
https://phpstan.org/
@DevTwitter | <Mojtaba Zaferani/>
با PHPStan، میتونید بدون اجرای کد، خطاهای منطقی، ناسازگاریها و مشکلات تایپی را شناسایی کنید. این ابزار فوقالعاده برای تحلیل استاتیک کد PHP به شما کمک میکند که کدی امنتر، تمیزتر و قابل نگهداریتر بنویسید.
اگر سطح دسترسی رو روی 8 بزارید، هیچ کدی از آنالیزش در امان نخواهد بود
فقط نکته ای که باید بهش دقت کنید اینه که برای پروژه ای که ددلاینش کمه نمیتونید ازش استفاده کنید چون برای رفع اخطار و ارور هایی که شناسایی میکنه شدیدا باید وقت و حوصله بزارید چون طبق یک استانداردی پیش میره که شما شاید یک جور دیگه کد نویسی کنید
لینک پکیج :
https://phpstan.org/
@DevTwitter | <Mojtaba Zaferani/>
Forwarded from Geek Alerts
استارتآپ Paradromics که رقیب نورالینک به حساب میاد، با موفقیت ایمپلنت مغزی خودشون رو روی یک بیمار تست کردن و اون رو بعد از ۱۰ دقیقه خارج کردن. این آخرین پیشرفت یک شرکت در زمینه اتصال مستقیم مغز به کامپیوتره.
اینکار با هدف بازیابی قدرت تکلم توی افراد با آسیب نخاعی، سکته مغزی و ALS انجام میشه که با قراردادن یک ایمپلنت با ۴۲۰ سوزن کوچک توی لوب گیجگاهی مغز و ترجمه سیگنالهای عصبی به گفتار سنتز شده، متن و کنترل ماوس صورت میگیره.
این آزمایش برای مشخص کردن روش قرار دادن، اطمینان از کار کردن اون و قابل خارج کردنش بوده که با موفقیت انجام شده.
🔗 Wired
🤓 abolfazl @geekalerts
اینکار با هدف بازیابی قدرت تکلم توی افراد با آسیب نخاعی، سکته مغزی و ALS انجام میشه که با قراردادن یک ایمپلنت با ۴۲۰ سوزن کوچک توی لوب گیجگاهی مغز و ترجمه سیگنالهای عصبی به گفتار سنتز شده، متن و کنترل ماوس صورت میگیره.
این آزمایش برای مشخص کردن روش قرار دادن، اطمینان از کار کردن اون و قابل خارج کردنش بوده که با موفقیت انجام شده.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from 🎄 یک برنامه نویس تنبل (The Lazy 🌱)
🔶 آیا مدرک دانشگاهی کارشناسی ارشد ارزش دارد؟
یک نظرسنجی جدید از مدیران استخدام این موضوع را زیر سؤال میبرد
تحصیل در مقطع کارشناسی ارشد ممکن است وسوسهانگیز باشد، اما تأثیر آن بر مسیر شغلی و وضعیت مالی شما به عوامل مختلفی بستگی دارد.
طبق نتایج یک نظرسنجی جدید که توسط Resume Genius و با مشارکت ۱۰۰۰ مدیر استخدام در آمریکا انجام شده، بسیاری از مدیران استخدام بر این باورند که عملکرد افرادی با مدرک کارشناسی ارشد تفاوت چندانی با کسانی که مدرک لیسانس و دو سال سابقه کار دارند ندارد. در واقع، ۵۲ درصد از پاسخدهندگان گفتهاند که عملکرد این دو گروه یکسان است، و ۱۰ درصد نیز معتقدند عملکرد دارندگان مدرک ارشد حتی ضعیفتر است.
نیتن سوتو، کارشناس شغلی در Resume Genius، توضیح میدهد:
«مدرک کارشناسی ارشد بهتنهایی تجربه محسوب نمیشود؛ بلکه دانش است. بسیاری از مهارتهای کاربردی تنها از طریق کار عملی به دست میآیند. تحصیلات عالی افراد را برای ورود به بازار کار آماده نمیکند، بلکه آنها را برای ادامه تحصیل در سطوح بالاتر دانشگاهی آماده میسازد.»
#خبر
@TheRaymondDev
یک نظرسنجی جدید از مدیران استخدام این موضوع را زیر سؤال میبرد
تحصیل در مقطع کارشناسی ارشد ممکن است وسوسهانگیز باشد، اما تأثیر آن بر مسیر شغلی و وضعیت مالی شما به عوامل مختلفی بستگی دارد.
طبق نتایج یک نظرسنجی جدید که توسط Resume Genius و با مشارکت ۱۰۰۰ مدیر استخدام در آمریکا انجام شده، بسیاری از مدیران استخدام بر این باورند که عملکرد افرادی با مدرک کارشناسی ارشد تفاوت چندانی با کسانی که مدرک لیسانس و دو سال سابقه کار دارند ندارد. در واقع، ۵۲ درصد از پاسخدهندگان گفتهاند که عملکرد این دو گروه یکسان است، و ۱۰ درصد نیز معتقدند عملکرد دارندگان مدرک ارشد حتی ضعیفتر است.
نیتن سوتو، کارشناس شغلی در Resume Genius، توضیح میدهد:
«مدرک کارشناسی ارشد بهتنهایی تجربه محسوب نمیشود؛ بلکه دانش است. بسیاری از مهارتهای کاربردی تنها از طریق کار عملی به دست میآیند. تحصیلات عالی افراد را برای ورود به بازار کار آماده نمیکند، بلکه آنها را برای ادامه تحصیل در سطوح بالاتر دانشگاهی آماده میسازد.»
#خبر
@TheRaymondDev
Fast Company
Is a master's degree worth it? A new survey of hiring managers casts doubt
Grad school might sound tempting, but the payoff to your career (and bank account) depends on a few factors.
Forwarded from Linuxor ?
اون روزا که اضافه کردن یه جستجوی درست و حسابی به پروژه خودش یه پروژه جدا حساب میشد گذشته! Meilisearch با یه API ساده و سرراست بهت اجازه میده در عرض چند دقیقه جستجوی تایپ-همزمان (type-as-you-search) با قابلیت تحمل غلط املایی رو به هر اپی اضافه کنی. برای دولوپرهایی که میخوان بدون دردسر زیاد، تجربه کاربری رو یه پله ببرن بالاتر عالیه.
github.com/meilisearch/meilisearch
@Linuxor
github.com/meilisearch/meilisearch
@Linuxor
Forwarded from 🎄 یک برنامه نویس تنبل (The Lazy 🌱)
🔶 براساس گزارش اسپوتنیک عربی، تا سال ۲۰۵۰ تقریباً ۲/۵ میلیارد نفر با درجهای از کاهش شنوایی مواجه خواهند شد و بیش از ۷۰۰ میلیون نفر هم به توانبخشی شنوایی نیاز خواهند داشت. ناگفته نماند که بیش از ۱ میلیارد نفر جوان بالغ در معرض خطر کاهش شنوایی دائمی بهدلیل عادتهای ناامن شنیداری قرار دارند.
#خبر
@TheRaymondDev
#خبر
@TheRaymondDev
سبوتنيك عربي
الصحة العالمية تحذر: 2.5 مليار شخص سيعانون من مرض خطير بحلول 2050
حذرت الأمم المتحدة، اليوم الخميس، من أن مليارات من سكان كوكب الأرض قد يعانون من مرض خطير، بعد 25 عاما.
Forwarded from کدنویس یکروزه
This media is not supported in your browser
VIEW IN TELEGRAM
از چند وقت پیش که در حال ساخت مدل زبانی بودم، ساختار شبکهی عصبی اونها منو کاملاً بهم ریخت. چون متوجه شدم که هر جوری اونو بسازم نمیتونم دقیقاً جوابهای اونو حدس بزنم! یعنی هر چی دامنهی لغات و یادگیری بالا بره، احتمالات تودرتو در انتخاب کلمات اونقدر متنوع میشن که عملاً دیگه اون مدل صاحب آگاهی میشه و از یک روبات دقیق با کارهای تعریف شده فاصله میگیرن! برای همین متوقف شدم! دیدم حتا تصورش هم ترسناکه که برنامهی تو موبایلم در مورد خودم نظر داشته باشه!
حالا با اینکه شبکه های عصبی رو دنبال نمیکنم باز متعجب میشم چون فقط یک امکان جمله سازی آزاد که بهش دادم باعث شد اونو تبدیل به یک شاعر شوریده کنه! چون جملات جدیدی که حتا به کمک جملات انتخابی و دقیق و آموزش داده شده می سازه هم باز فلسفی و تکان دهنده میشن!
بزرگترین درس در این مسیر برای خودم این بود که پس ما هم جز روبات یا ماشین های تنظیم شده نیستیم! اون برداشتی هم که نسبت به احساسات خودمون داریم توهماتی بیش نیستن. بله خود ما روبات های کربنی و کاملاً (تأکید میکنم) کاملاً برنامه ریزی شده هستیم! دغدغهی این روزهام حالا گاهی هک کردن خودمه! یعنی عملکردی فارغ از روتین بگیرم!
حالا با اینکه شبکه های عصبی رو دنبال نمیکنم باز متعجب میشم چون فقط یک امکان جمله سازی آزاد که بهش دادم باعث شد اونو تبدیل به یک شاعر شوریده کنه! چون جملات جدیدی که حتا به کمک جملات انتخابی و دقیق و آموزش داده شده می سازه هم باز فلسفی و تکان دهنده میشن!
بزرگترین درس در این مسیر برای خودم این بود که پس ما هم جز روبات یا ماشین های تنظیم شده نیستیم! اون برداشتی هم که نسبت به احساسات خودمون داریم توهماتی بیش نیستن. بله خود ما روبات های کربنی و کاملاً (تأکید میکنم) کاملاً برنامه ریزی شده هستیم! دغدغهی این روزهام حالا گاهی هک کردن خودمه! یعنی عملکردی فارغ از روتین بگیرم!
Forwarded from DevTwitter | توییت برنامه نویسی
اینقدر که شما در مورد برنامهنویس و زبان برنامهنویسی توییت میکنید، برنامهنویسی نمیکنید!
<Parsa/>
@DevTwitter
<Parsa/>
@DevTwitter
👍1🤣1