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
Forwarded from LinNews (Benyamin)
پس از ۳ سال، 13.0 Flameshot منتشر شد
#Linux #Screenshot #News
این اولین نسخه QT6 است. همچنین، سربرگ پیکربندی با توجه به نیاز کاربر بازطراحی شده است؛ احتمال حذف بسته Snap به دلیل مشکلات سازگاری با دسکتاپ وجود دارد.
منبع خبر
به ما بپیوندید :
@LinAcademy
#Linux #Screenshot #News
این اولین نسخه QT6 است. همچنین، سربرگ پیکربندی با توجه به نیاز کاربر بازطراحی شده است؛ احتمال حذف بسته Snap به دلیل مشکلات سازگاری با دسکتاپ وجود دارد.
تغییر اصلی دیگر غیرفعال کردن بارگذاری پیشفرض Imgur است توسعهدهندگان میگویند این اقدام به دلیل نگرانی درمورد حریم خصوصی بوده زیرا کاربران بهطور تصادفی اسکرینشاتهای حساس خود را در پلتفرمهای عمومی منتشر میکردند. از سوی دیگر ابزار پیکسلیسازی نیز بازطراحی شده است و نسخه جدید فقط از پیکسلهای بیرون قسمت پیکسلی استفاده میکند.تغییرات دیگر:
اکنون ابعاد اسکرینشات نیز درحین انتخاب ظاهر میشود و علاوه بر این، برای کاربران Wayland، تطبیق دهنده برپایه grim سازگاری را با کامپوزیتور wlroots (مانند Hyprland و Sway) بهبود میدهد.
بسته Flatpak در Flathub تایید شده.
پشتیبانی ذخیره HEIF/HEIC با پلاگین شخص ثالث اضافه شده.
کاربران اکنون میتوانند تصاویر سنجاقشده را بچرخانند و افکت شفافیت اعمال کنند.
گزینه کنترل کیفیت JPEG و پشتیبانی رسمی از دسکتاپ COSMIC نیز از تغییرات بروزرسانی جدید هستند.
منبع خبر
به ما بپیوندید :
@LinAcademy