Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
Forwarded from Geek Alerts
معرفی GPT-5 Pro
این میشه مدلی که جایگزین o3-pro هست، برای کارهای سنگین که نیاز به محاسبات و تفکر طولانی دارن، توی تمام بنچمارکها تقریبا بالاترین امتیاز رو بین تمام مدلهای OpenAI گرفت. این مدل فقط برای کاربران Pro در دسترس هست. تونسته با کسب نمره ۸۸.۴٪ در بنچمارک GPQA هم رکورد جدیدی ثبت کنه.
در ارزیابیهایی روی بیش از ۱۰۰۰ دستور استدلالی دنیای واقعی که ارزش اقتصادی دارن، متخصصان در ۶۷.۸ درصد موارد GPT-5 pro رو به «GPT-5 thinking» ترجیح دادن. [L]
🤓 @geekalerts
این میشه مدلی که جایگزین o3-pro هست، برای کارهای سنگین که نیاز به محاسبات و تفکر طولانی دارن، توی تمام بنچمارکها تقریبا بالاترین امتیاز رو بین تمام مدلهای OpenAI گرفت. این مدل فقط برای کاربران Pro در دسترس هست. تونسته با کسب نمره ۸۸.۴٪ در بنچمارک GPQA هم رکورد جدیدی ثبت کنه.
در ارزیابیهایی روی بیش از ۱۰۰۰ دستور استدلالی دنیای واقعی که ارزش اقتصادی دارن، متخصصان در ۶۷.۸ درصد موارد GPT-5 pro رو به «GPT-5 thinking» ترجیح دادن. [L]
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Geek Alerts
مدل GPT-5 معرفی شد
میخوان بذارنش مدل پیشفرض ChatGPT و حتی پلن رایگان هم میتونن تا سطحی ازش استفاده کنن. میگن دقیقتره، کمتر اطلاعات غلط میده، توهمش خیلی کمتر شده و سریعتر فکر میکنه. جوابهاش هم واضحتر و عمیقتره. در واقع یکی از پیشرفتهاش همین سرعته که سمآلتمن میگه انقدر سریع جواب میده به شک میفتی واقعا داره فکر میکنه یا نه.
🤓 @geekalerts
میخوان بذارنش مدل پیشفرض ChatGPT و حتی پلن رایگان هم میتونن تا سطحی ازش استفاده کنن. میگن دقیقتره، کمتر اطلاعات غلط میده، توهمش خیلی کمتر شده و سریعتر فکر میکنه. جوابهاش هم واضحتر و عمیقتره. در واقع یکی از پیشرفتهاش همین سرعته که سمآلتمن میگه انقدر سریع جواب میده به شک میفتی واقعا داره فکر میکنه یا نه.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Laravel News
Establishing Consistent Data Foundations with Laravel's Database Population System https://laravel-news.com/database-population-system
Laravel News
Establishing Consistent Data Foundations with Laravel's Database Population System - Laravel News
Establish reliable database foundations with Laravel's comprehensive seeding system that enables consistent data environments across development stages. These tools support factory integration, relationship management, and environment-specific configuration…
Forwarded from a pessimistic researcher (Kc)
این رو امروز دیدم. واقعا چقدر این آقای Thorsten Altenkirch خوبه ویدئوهاش و ریسرچش. همیشه غبطه میخورم به چیزایی که روش کار میکنه. توی این ویدئو با استفاده از LEAN خیلی راحت توضیح میده قضیه ناتمامیت گودل رو و اولشم یه تیکه میندازه و میگه که ملت میان هی این قضیه رو تحلیل فلسفی میکنند و چمیدونم مثلا به اثبات خدا میرسن و این صحبتا. ایشونم معتقدن که باید یک قدم فاصله گرفت :)
YouTube
Gödel's Incompleteness Theorem - Computerphile
Gödel's Incompleteness Theorem explained with Pen, Paper & Lean (the proof assistant) Professor Thorsten Altenkirch is based at the University of Nottingham.
Computerphile is supported by Jane Street. Learn more about them (and exciting career opportunities)…
Computerphile is supported by Jane Street. Learn more about them (and exciting career opportunities)…
Forwarded from Laravel News
Generate Postman Collections from Laravel Routes https://laravel-news.com/generate-postman-collections-from-laravel-routes
Laravel News
Generate Postman Collections from Laravel Routes - Laravel News
The yasin_tgh/laravel-postman Composer package generates Postman collections from your Laravel routes with intelligent organization and rich documentation capabilities.
Forwarded from a pessimistic researcher (Kc)
توی کامنتها بحثی شد و بهونهای داد که یک پست قدیمی از کانال رو بازنشر کنیم :
Most Successful Program Based on a Wrong Idea
این پست در دو قسمت نوشته شده و توضیح میده که چطور اصل ناتمامیت گودل موجب پدید اومدن علم Proof Theory شد
Most Successful Program Based on a Wrong Idea
این پست در دو قسمت نوشته شده و توضیح میده که چطور اصل ناتمامیت گودل موجب پدید اومدن علم Proof Theory شد
Telegram
a pessimistic researcher
"Most Successful Program Based on a Wrong Idea"
یادداشتی پیرامون علم Proof Theory - بخش اول
——————————————————————————
اواخر قرن نوزدهم و اوایل قرن بیستم، شبهاتی مطرح شد پیرامون Inconsistency شاخههای ریاضیات. حالا اصلا بحث Consistency یعنی چی؟ اگر بخوایم…
یادداشتی پیرامون علم Proof Theory - بخش اول
——————————————————————————
اواخر قرن نوزدهم و اوایل قرن بیستم، شبهاتی مطرح شد پیرامون Inconsistency شاخههای ریاضیات. حالا اصلا بحث Consistency یعنی چی؟ اگر بخوایم…
Forwarded from DevTwitter | توییت برنامه نویسی
پروفایل LLM حرفهای میخوای؟
سایت UnslothAI یه کلاس رایگان پر از ترفند عملیه: مدل بساز، تو huggingface منتشر کن، باگ بگیر دیباگ کن و برای مصاحبه آماده شو!
https://unsloth.ai/
@DevTwitter | <Morteza Heidari/>
سایت UnslothAI یه کلاس رایگان پر از ترفند عملیه: مدل بساز، تو huggingface منتشر کن، باگ بگیر دیباگ کن و برای مصاحبه آماده شو!
https://unsloth.ai/
@DevTwitter | <Morteza Heidari/>
Forwarded from SoniaCircuit (Sonia Fatholahi)
چارت پر بازدید ترین وبسایت ها - جولای ۲۰۲۵ - ماهیانه
خیلی برام جالبه فیسبوک هنوز رنک سومه و بازدیدش از Instagram بیشتره
چت جی پی تی سریع ترین رشد رو توی ۱ سال اخیر داشته
طبق دیتا SEMRUSH بیشترین Average Pages Per Visit رو Instagram, XVideos, Twitter داشته
ریپورت کامل:
https://indd.adobe.com/view/b6e15f09-e002-4207-91a7-f3a862ad675d
خیلی برام جالبه فیسبوک هنوز رنک سومه و بازدیدش از Instagram بیشتره
چت جی پی تی سریع ترین رشد رو توی ۱ سال اخیر داشته
طبق دیتا SEMRUSH بیشترین Average Pages Per Visit رو Instagram, XVideos, Twitter داشته
ریپورت کامل:
https://indd.adobe.com/view/b6e15f09-e002-4207-91a7-f3a862ad675d
Forwarded from SoniaCircuit (Sonia Fatholahi)
Forwarded from نوشتههای ترمینالی
Forwarded from SoniaCircuit (Sonia Fatholahi)
Median Country Speeds Updated June 2025
۳ کشور اول : امارات, قطر, کویت
اگه براتون سواله که ایران کجا قرار میگیره, آخرین جایگاهم براش زیادیه.
۳ کشور اول : امارات, قطر, کویت
اگه براتون سواله که ایران کجا قرار میگیره, آخرین جایگاهم براش زیادیه.
Forwarded from DevTwitter | توییت برنامه نویسی
اگه یه چیزی مثل curl برای gRPC میخواین میتونین از این استفاده کنین:
https://github.com/fullstorydev/grpcurl
@DevTwitter | <بلک استیت />
https://github.com/fullstorydev/grpcurl
@DevTwitter | <بلک استیت />
Forwarded from Ninja Learn | نینجا لرن (Mohammad)
امروز به این نتیجه رسیدم اگه Ai رو محدود نکنی هر کاری میکنه تکرار میکنم
هرکاری ...
هرکاری ...
Forwarded from Geek Alerts
حالت صوتی پیشرفته ChatGPT رایگان شد، الان اسمش رو تغییر دادن و گذاشتن ChatGPT Voice و قرار هست از ۹ سپتامبر بشه دستیار صوتی پیشفرض توی برنامه. این نسخه چیزهایی مثل ۹ صدای طبیعی در کنار استفاده از دوربین و نمایش صفحه دستگاه رو داره که بر اساس اون اجازه میدید محیط اطرافتون رو ببینه و به سوالات شما جواب بده.
دستیار صوتی هنوز داره از GPT-4o استفاده میکنه و فعلا مشخص نیست چه زمانی میتونیم نسخهای ازش رو داشته باشیم که با GPT-5 کار کنه. [L]
🤓 @geekalerts
دستیار صوتی هنوز داره از GPT-4o استفاده میکنه و فعلا مشخص نیست چه زمانی میتونیم نسخهای ازش رو داشته باشیم که با GPT-5 کار کنه. [L]
Please open Telegram to view this post
VIEW IN TELEGRAM