Forwarded from DevTwitter | توییت برنامه نویسی
انگولار اول بهعنوان یه آزمایش داخلی تو گوگل شروع شد – حتی اولش جیمیل و گوگل مپ هم جدی نگرفتنش. اما خیلی زود تبدیل به یه پدیده تو دنیای جاوااسکریپت شد.
http://youtube.com/post/UgkxCEPPeUZNnEYxoRli-I2tNHV57kFqINI7?si=2LM_g8n9jQHHJjr0
@DevTwitter | <Ahmadreza Shamimi/>
http://youtube.com/post/UgkxCEPPeUZNnEYxoRli-I2tNHV57kFqINI7?si=2LM_g8n9jQHHJjr0
@DevTwitter | <Ahmadreza Shamimi/>
Forwarded from Geek Alerts
پنج ایالت آمریکا (نیویورک، کالیفرنیا، مینهسوتا، اورگان و کلرادو) قانون «حق تعمیر» (Right to Repair) برای لوازم الکترونیکی رو تصویب کردن، ایالتهای دیگه هم دارن لایحه مشابه رو مطرح میکنن.
پیام این طرح هم ساده هست، هرچیزی که میخری باید بتونی تعمیرش کنی، اول شرکتها مقاومت میکردن ولی حالا شرکتهای بزرگ مثل گوگل خودشون از حامیان این قانون شدن.
با تصویب این قانون شرکتها باید قطعات یدکی، ابزار تعمیر و مستندات لازم برای تعمیر دستگاههاشون رو به مصرفکنندگان و تعمیرکاران ارائه بدن و اجازه ندارن تعمیر دستگاههاشون رو فقط به نمایندگیهای خودشون محدود کنن.
🔗 ifixit
🤓 @geekalerts
پیام این طرح هم ساده هست، هرچیزی که میخری باید بتونی تعمیرش کنی، اول شرکتها مقاومت میکردن ولی حالا شرکتهای بزرگ مثل گوگل خودشون از حامیان این قانون شدن.
با تصویب این قانون شرکتها باید قطعات یدکی، ابزار تعمیر و مستندات لازم برای تعمیر دستگاههاشون رو به مصرفکنندگان و تعمیرکاران ارائه بدن و اجازه ندارن تعمیر دستگاههاشون رو فقط به نمایندگیهای خودشون محدود کنن.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Geek Alerts
مرورگر اختصاصی Perplexity به اسم Comet معرفی شد.
یه شانسی که این مرورگر اختصاصی AI داره اینه که میتونه خیلی بیشتر از کروم یا فایرفاکس با AI یکپارچه بشه چون اونا از روز اول برپایه حریمخصوصی کاربرهاشون رو جذب کردن و الان نمیتونن مرورگرشون رو زیاد با AI یکپارچه کنن.
فعلا میشه درخواست ثبتنام توی لیستانتظار رو ارسال کرد.
https://www.perplexity.ai/comet
🔗 techcrunch
🤓 @geekalerts
یه شانسی که این مرورگر اختصاصی AI داره اینه که میتونه خیلی بیشتر از کروم یا فایرفاکس با AI یکپارچه بشه چون اونا از روز اول برپایه حریمخصوصی کاربرهاشون رو جذب کردن و الان نمیتونن مرورگرشون رو زیاد با AI یکپارچه کنن.
فعلا میشه درخواست ثبتنام توی لیستانتظار رو ارسال کرد.
https://www.perplexity.ai/comet
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from محتوای آزاد سهراب
با تشکر از جنگالک عزیز، سرویس نظردهی بلاگ من هم فعال شد که بواسطه ماستادون کار میکنه.
یعنی من یک فرسته داخل ماستادون میفرستم و با پاسخ به اون شما داخل بلاگ من و به مطلبی که فرستاده شده نظر میدید.
https://blogfa.sohrabbehdani.ir/commenting/
@SohrabContents
یعنی من یک فرسته داخل ماستادون میفرستم و با پاسخ به اون شما داخل بلاگ من و به مطلبی که فرستاده شده نظر میدید.
https://blogfa.sohrabbehdani.ir/commenting/
@SohrabContents
Forwarded from DevTwitter | توییت برنامه نویسی
ماجرای یه SELECT ساده که SQL SERVER رو به زانو در آورد.
چند وقت پیش تو یه پروژه ای بودم که یکی از دولوپرهای عزیز یه گزارش جدید نوشته بود که شامل یه Query بود. روی سطح کد، همهچیز عالی به نظر میومد. اما وقتی گزارش اجرا میشد، سیستم یه دفعه شروع می کرد به کند شدن و سرور، CPU رو تا 100٪ میبرد بالا.
رفتم بررسی کنم چی شده. دیدم Queryش این شکلی بود:
کاری که این Query انجام میداد، این بود که یه فانکشن روی ستون اجرا میکرد. نتیجه؟ بهجای استفاده از ایندکسهای موجود، SQL Server مجبور میشد کل جدول رو اسکن کنه (Full Table Scan).
اول، با دولوپر صحبت کردم و براش توضیح دادم که استفاده از فانکشن روی ستونها (بهخصوص توی WHERE یا JOIN) باعث میشه SQL Server ایندکسها رو نادیده بگیره. بعد، بهش پیشنهاد دادم که بهجای فانکشن، مقدار محاسبهشده رو از قبل توی یه ستون جدید ذخیره کنه یا از Persisted Computed Column استفاده کنه.
کوئری اصلاح شدهش این شد:
سرعت اجرای Query از چند دقیقه به کمتر از یک ثانیه رسید. همین تغییر ساده کلی بار روی دیتابیس رو کم کرد. نتیجه اینکه من راضی ، دولوپر راضی ، SQL SERVER هم راضی.
@DevTwitter | <Mostafa Hassanzadeh/>
چند وقت پیش تو یه پروژه ای بودم که یکی از دولوپرهای عزیز یه گزارش جدید نوشته بود که شامل یه Query بود. روی سطح کد، همهچیز عالی به نظر میومد. اما وقتی گزارش اجرا میشد، سیستم یه دفعه شروع می کرد به کند شدن و سرور، CPU رو تا 100٪ میبرد بالا.
رفتم بررسی کنم چی شده. دیدم Queryش این شکلی بود:
SELECT *
FROM BigTable
WHERE FunctionOnColumn(SomeColumn) = 'Value';
کاری که این Query انجام میداد، این بود که یه فانکشن روی ستون اجرا میکرد. نتیجه؟ بهجای استفاده از ایندکسهای موجود، SQL Server مجبور میشد کل جدول رو اسکن کنه (Full Table Scan).
اول، با دولوپر صحبت کردم و براش توضیح دادم که استفاده از فانکشن روی ستونها (بهخصوص توی WHERE یا JOIN) باعث میشه SQL Server ایندکسها رو نادیده بگیره. بعد، بهش پیشنهاد دادم که بهجای فانکشن، مقدار محاسبهشده رو از قبل توی یه ستون جدید ذخیره کنه یا از Persisted Computed Column استفاده کنه.
کوئری اصلاح شدهش این شد:
SELECT *
FROM BigTable
WHERE CalculatedSomeColumn = 'Value';
سرعت اجرای Query از چند دقیقه به کمتر از یک ثانیه رسید. همین تغییر ساده کلی بار روی دیتابیس رو کم کرد. نتیجه اینکه من راضی ، دولوپر راضی ، SQL SERVER هم راضی.
@DevTwitter | <Mostafa Hassanzadeh/>
Forwarded from linuxtnt(linux tips and tricks) (hosein seilany https://seilany.ir/)
بازخورد نسخه 3.5 توزیع پردیتور طی 20 روز از پست هایی که میگذارم.
این عدد 52 هزار بازدید و نمایش پست برای افراد که البته برای یک پست است.
خوشحالم که از کشور های مختلف پیام و همکاری هایی داشتم.
این عدد 52 هزار بازدید و نمایش پست برای افراد که البته برای یک پست است.
خوشحالم که از کشور های مختلف پیام و همکاری هایی داشتم.
Forwarded from Geek Alerts
سیگما یه دوربین فولفریم ۲۴.۶ مگاپیکسل مینیمالیستی به اسم BF معرفی کرده که این دوربین کلا چهارتا دکمه داره و در ۲ رنگ مشکی و نقرهای عرضه میشه.
دوربین BF با استاندارد لنز L-Mount سازگاره که اول توسط لایکا توسعه داده شده و حالا پاناسونیک و سیگما هم ازش استفاده میکنن. یه صفحه نمایش ۳.۲ اینچی داره و از پورت USB-C میشه برای شارژ و انتقال فایلها استفاده کرد.
دوربین یه حافظه SSD با حجم ۲۳۰ گیگابایت داره که به گفته خودشون برای ذخیرهی ۱۴۰۰۰ عکس JPEG یا ۴۳۰۰ عکس RAW فشردهنشده کافیه. این دوربین میتونه ویدیوهای 6K رو با سرعت ۲۹.۹۷ فریم بر ثانیه ضبط کنه و تا ۲.۵ ساعت ویدیو رو با بالاترین کیفیت ذخیره کنه.
قیمتش ۲۰۰۰ دلار هست و آوریل ۲۰۲۴ (فروردین ۱۴۰۴) میشه خریداری کرد، این قیمت فقط برای خود دوربین هست و لنزش باید جداگانه تهیه بشه.
🔗 theverge
🤓 @geekalerts
دوربین BF با استاندارد لنز L-Mount سازگاره که اول توسط لایکا توسعه داده شده و حالا پاناسونیک و سیگما هم ازش استفاده میکنن. یه صفحه نمایش ۳.۲ اینچی داره و از پورت USB-C میشه برای شارژ و انتقال فایلها استفاده کرد.
دوربین یه حافظه SSD با حجم ۲۳۰ گیگابایت داره که به گفته خودشون برای ذخیرهی ۱۴۰۰۰ عکس JPEG یا ۴۳۰۰ عکس RAW فشردهنشده کافیه. این دوربین میتونه ویدیوهای 6K رو با سرعت ۲۹.۹۷ فریم بر ثانیه ضبط کنه و تا ۲.۵ ساعت ویدیو رو با بالاترین کیفیت ذخیره کنه.
قیمتش ۲۰۰۰ دلار هست و آوریل ۲۰۲۴ (فروردین ۱۴۰۴) میشه خریداری کرد، این قیمت فقط برای خود دوربین هست و لنزش باید جداگانه تهیه بشه.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from mosTafa Arshadi
رفیق، واقعیت اینه که تا وقتی پولدار، عاقل و خوش ظاهر نباشی هیچکس بهت اهمیتی نمیده. دنیا به شکل بی رحمانه ای تبعیض قائل میشه. سرت رو بنداز پایین و تا کامل نشدی دست از تلاش برندار.
@hamidreza01
@hamidreza01
Forwarded from کانال اطلاعرسانی توزیع پارچ (Sohrab @sohrab:bsd.cafe)
نگارش هفتم اسفند پارچ منتشر شد
لیست تغییرات:
- همگام شدن با آخرین تغییرات آرچایزو
- رفع مشکل بوتنشدن بعد از بهروزرسانی
- پلاسما ۶.۳ و گنوم ۴۷
اگر کاربر فعلی پارچ هستید، نیازی به نصب مجدد ندارید؛ همواره با اجرای دستور
آخرین تغییرات برای شما اعمال میشوند.
دریافت از:
🔗 https://parchlinux.com/download
🐧 @ParchLinux
لیست تغییرات:
- همگام شدن با آخرین تغییرات آرچایزو
- رفع مشکل بوتنشدن بعد از بهروزرسانی
- پلاسما ۶.۳ و گنوم ۴۷
اگر کاربر فعلی پارچ هستید، نیازی به نصب مجدد ندارید؛ همواره با اجرای دستور
sudo pacman -Syu
آخرین تغییرات برای شما اعمال میشوند.
دریافت از:
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from کدنویس یکروزه (𝕻𝖊𝖉𝖗𝖆𝖒 𝕽𝖆𝖍𝖎𝖒𝖎)
هوش مصنوعی کوچولو بساز !
با مدلهای زبانی یا LM
کدی که در اختیار شما میگذارم به راحتی روش Train یا آموزش مدل های زبانی یا Language Model رو به شما در مقیاس کوچک نشون میده!
کافیه در کادر پایین اول یک پرسش ساده مطرح کنید یا حتا بگید «سلام» متوجه میشین که هیچ اطلاعاتی هنوز نداره.
پس در کادر بالا وارد کنید:
سلام -> سلام، چطوری!
به این ترتیب اول سؤال و بعد از خط تیره و علامت بزرگتر، جواب رو درج کرده و کلید [آموزش بده] رو بزنید!
حتا می تونید برای «سلام» جوابهای متعدد آموزش بدین.
این بار اگه در کادر پایین سلام رو وارد کنید، با پاسخ های مناسب به طور تصادفی مواجه خواهید شد که قبلاً یاد گرفته!
این فایل با زبان JavaScript نوشته شده و معلومات هوش مصنوعی را در local storage داخل مرورگر ذخیره می کنه که طبعاً پایدار نبوده و ممکنه پاک بشه.
پس در ادامه نسخهی PHP رو با بانک اطلاعاتی SQLite هم قرار میدم.
با مدلهای زبانی یا LM
کدی که در اختیار شما میگذارم به راحتی روش Train یا آموزش مدل های زبانی یا Language Model رو به شما در مقیاس کوچک نشون میده!
کافیه در کادر پایین اول یک پرسش ساده مطرح کنید یا حتا بگید «سلام» متوجه میشین که هیچ اطلاعاتی هنوز نداره.
پس در کادر بالا وارد کنید:
سلام -> سلام، چطوری!
به این ترتیب اول سؤال و بعد از خط تیره و علامت بزرگتر، جواب رو درج کرده و کلید [آموزش بده] رو بزنید!
حتا می تونید برای «سلام» جوابهای متعدد آموزش بدین.
این بار اگه در کادر پایین سلام رو وارد کنید، با پاسخ های مناسب به طور تصادفی مواجه خواهید شد که قبلاً یاد گرفته!
این فایل با زبان JavaScript نوشته شده و معلومات هوش مصنوعی را در local storage داخل مرورگر ذخیره می کنه که طبعاً پایدار نبوده و ممکنه پاک بشه.
پس در ادامه نسخهی PHP رو با بانک اطلاعاتی SQLite هم قرار میدم.
Forwarded from کدنویس یکروزه
این نسخه رو طبعاً همین جا در موبایل بدون هیچ سِرور خاصی و با یک مرورگر اینترنت می تونید اجرا کنید.
اما برای نگهداری پایدار اطلاعاتی که یادش میدین نسخهی PHP رو به کار ببرین.
اما برای نگهداری پایدار اطلاعاتی که یادش میدین نسخهی PHP رو به کار ببرین.
Forwarded from a pessimistic researcher (Kc)
آقا چقدر این آقای Philip Wadler موده جدی :)))
یه تاک داره برای تقریبا ۱۰ سال پیش. اولش میاد میگه که خب بذارید براتون یکم تاریخچه computability بگم. سال ۷۸۰ تا ۸۵۰ یه بابایی به اسم خوارزمی اومد گفت الگوریتم یک sequence از دستوراته که میدیم به یک آدم اجرا کنه. بعدش که فوت کردند تا سال ۱۹۳۰ هیچ آدم با خیری پیدا نشد که براش یک تعریف Formal Mathematical ارائه کنه.
سال ۱۹۳۵ آقای Alonzo Church که تنها ۳۳ سال داشتند و توی پرینستون بودند میان و Lambda Calculus رو ارائه میکنند که میشه اولین تعریف فرمال ریاضی برای محاسبه. بعد آقای گودل که تنها ۳۰ سال سن داشت میان پرینستون ویزیت میگن این چه بولشتیه؟ و ایشون به همراه آقای Klnee میان و مدل محاسبهی General Recursive Functions رو ارائه میکنند. بعدش آقای Church ثابت میکنه که مدل خودش و آقای گودل با هم معادلن و بعد این اثبات آقای گودل میگه پس منم بولشت گفتم :)
سال بعدش یعنی ۱۹۳۶ آقای تورینگ در کمبریج که تنها ۲۳ سال سن داشت :)) با یک فلسفهی کاملا متفاوت ماشین تورینگ رو مطرح میکنند و با کمک آقای چرچ اثبات میکنند که این مدل هم معادل Lambda Calculus هستش. گودل این رو که میبینه قانع میشه و میگه خب پس مشکلی نیست و هر ۳ تعریف به ما میدهد تعریف فرمال ریاضی Effective Computability :)
آقای وادلر میگن : عین این میمونه که شما ۲۰۰۰ سال توی ایستگاه اتوبوس منتظر موندی یه اتوبوس بیاد و بعد از ۲۰۰۰ سال ۳ تا اتوبوس با هم پشت سر هم میان :) و البته از این رخداد نتیجه میگیرن که ریاضیات اکتشافی هستش و اختراعی نیست.
اما سوال خیلی قشنگی که مطرح میکنن اینه که چرا ۲۰۰۰ سال ما مجبور شدیم صبر کنیم تا این ۳ تا اتوبوس با هم برسن ؟ دلیلش پروگرام آقای هیلبرت ۶۷ ساله بود که اومد تز داد که قراره ریاضی دانا رو از نون خوردن بندازه. آقای گودل که تنها ۲۷ سال داشت اومد اثبات کرد که Decision procedure ای که آقای هیلبرت در نظر داشت برای reasoning روی درستی گزارههای ریاضی بهکار ببره Complete نیست. و این همون دلیل اومدن ۳ تا اتوبوسه. چرا که ایشون میگن : ببینید، اگر Incompleteness نبود، اون وقت محاسبه و الگوریتم عین پورن بود :) چرا که هر وقت میدیدیش میتونستی تشخیصش بدی :) ولی Incompleteness باعث شد که ما بیایم یه دایرهای بکشیم و ببینیم چه مسائلی داخل این دایره میافتن و نمیشه محاسبهشون کرد. برای اینکه بتونن اون دایره رو بکشن نیاز داشتن که مسائل محاسبه ناپذیر رو فرمال تعریف کنن. و همین شد که ۳ تا اتوبوس با هم رسیدن به ایستگاه :) فیلم کامل سخنرانیش توی این لینک هست.
آقای وادلر یکی از خدایگان Functional Programming هستند و تو حوزهی Concurrency Theory هم خیلی کارا کردن. یکی از چیزایی که برام از شخصیت آقای وادلر جالب بود این بودش که روی Java هم کار کردن و مفهوم Java Generics رو ایشون بودند که توی JDK 1.5 اضافه کردند :) یعنی یک فانکشنال کار پیداش شده که از Java خوشش اومده و روش کار کرده. اون وقت طرف هنوز فرق Object و Type رو نمیدونه میاد توی این گروهها مینویسه که Java چه آشغالیه تو دانشگاها درس میدن :)
یکی دیگه از کارای آقای وادلر که من خیلی دوستش دارم فرمال کردن RPC یا همون Remote Procedure Call هستش. میتونید توی این پیپیر بیشتر در موردش بخونید. ما یکی از کارایی که میخوایم با JMC انجام بدیم Verification برنامههای Distributed ای هست که با Java و gRPC مینویسن.
جدی ولی الگوم آقا وادلر چقدر لات و خوبه :)
یه تاک داره برای تقریبا ۱۰ سال پیش. اولش میاد میگه که خب بذارید براتون یکم تاریخچه computability بگم. سال ۷۸۰ تا ۸۵۰ یه بابایی به اسم خوارزمی اومد گفت الگوریتم یک sequence از دستوراته که میدیم به یک آدم اجرا کنه. بعدش که فوت کردند تا سال ۱۹۳۰ هیچ آدم با خیری پیدا نشد که براش یک تعریف Formal Mathematical ارائه کنه.
سال ۱۹۳۵ آقای Alonzo Church که تنها ۳۳ سال داشتند و توی پرینستون بودند میان و Lambda Calculus رو ارائه میکنند که میشه اولین تعریف فرمال ریاضی برای محاسبه. بعد آقای گودل که تنها ۳۰ سال سن داشت میان پرینستون ویزیت میگن این چه بولشتیه؟ و ایشون به همراه آقای Klnee میان و مدل محاسبهی General Recursive Functions رو ارائه میکنند. بعدش آقای Church ثابت میکنه که مدل خودش و آقای گودل با هم معادلن و بعد این اثبات آقای گودل میگه پس منم بولشت گفتم :)
سال بعدش یعنی ۱۹۳۶ آقای تورینگ در کمبریج که تنها ۲۳ سال سن داشت :)) با یک فلسفهی کاملا متفاوت ماشین تورینگ رو مطرح میکنند و با کمک آقای چرچ اثبات میکنند که این مدل هم معادل Lambda Calculus هستش. گودل این رو که میبینه قانع میشه و میگه خب پس مشکلی نیست و هر ۳ تعریف به ما میدهد تعریف فرمال ریاضی Effective Computability :)
آقای وادلر میگن : عین این میمونه که شما ۲۰۰۰ سال توی ایستگاه اتوبوس منتظر موندی یه اتوبوس بیاد و بعد از ۲۰۰۰ سال ۳ تا اتوبوس با هم پشت سر هم میان :) و البته از این رخداد نتیجه میگیرن که ریاضیات اکتشافی هستش و اختراعی نیست.
اما سوال خیلی قشنگی که مطرح میکنن اینه که چرا ۲۰۰۰ سال ما مجبور شدیم صبر کنیم تا این ۳ تا اتوبوس با هم برسن ؟ دلیلش پروگرام آقای هیلبرت ۶۷ ساله بود که اومد تز داد که قراره ریاضی دانا رو از نون خوردن بندازه. آقای گودل که تنها ۲۷ سال داشت اومد اثبات کرد که Decision procedure ای که آقای هیلبرت در نظر داشت برای reasoning روی درستی گزارههای ریاضی بهکار ببره Complete نیست. و این همون دلیل اومدن ۳ تا اتوبوسه. چرا که ایشون میگن : ببینید، اگر Incompleteness نبود، اون وقت محاسبه و الگوریتم عین پورن بود :) چرا که هر وقت میدیدیش میتونستی تشخیصش بدی :) ولی Incompleteness باعث شد که ما بیایم یه دایرهای بکشیم و ببینیم چه مسائلی داخل این دایره میافتن و نمیشه محاسبهشون کرد. برای اینکه بتونن اون دایره رو بکشن نیاز داشتن که مسائل محاسبه ناپذیر رو فرمال تعریف کنن. و همین شد که ۳ تا اتوبوس با هم رسیدن به ایستگاه :) فیلم کامل سخنرانیش توی این لینک هست.
آقای وادلر یکی از خدایگان Functional Programming هستند و تو حوزهی Concurrency Theory هم خیلی کارا کردن. یکی از چیزایی که برام از شخصیت آقای وادلر جالب بود این بودش که روی Java هم کار کردن و مفهوم Java Generics رو ایشون بودند که توی JDK 1.5 اضافه کردند :) یعنی یک فانکشنال کار پیداش شده که از Java خوشش اومده و روش کار کرده. اون وقت طرف هنوز فرق Object و Type رو نمیدونه میاد توی این گروهها مینویسه که Java چه آشغالیه تو دانشگاها درس میدن :)
یکی دیگه از کارای آقای وادلر که من خیلی دوستش دارم فرمال کردن RPC یا همون Remote Procedure Call هستش. میتونید توی این پیپیر بیشتر در موردش بخونید. ما یکی از کارایی که میخوایم با JMC انجام بدیم Verification برنامههای Distributed ای هست که با Java و gRPC مینویسن.
جدی ولی الگوم آقا وادلر چقدر لات و خوبه :)