یه چیز جالب متوجه شدم 😁
کوپایلت (Github Copilot) پیشنهاد هایی که توش واژه های gender یا sex باشه رو سانسور می کنه و نمایش نمیده 🙂
اینجا مثلا aurgument parser مربوط به متغیر آخر من که اسمش char_gender بود رو پیشنهاد نمیده، در حالی که سه تای دیگه رو پیشنهاد داد (اگه اسم همون متغیر رو هم عوض کنی پيشنهاد میده). تو حالت های مختلف هم امتحان کردم و نتیجه هر دفعه همینه.
@SingularThinker
کوپایلت (Github Copilot) پیشنهاد هایی که توش واژه های gender یا sex باشه رو سانسور می کنه و نمایش نمیده 🙂
اینجا مثلا aurgument parser مربوط به متغیر آخر من که اسمش char_gender بود رو پیشنهاد نمیده، در حالی که سه تای دیگه رو پیشنهاد داد (اگه اسم همون متغیر رو هم عوض کنی پيشنهاد میده). تو حالت های مختلف هم امتحان کردم و نتیجه هر دفعه همینه.
@SingularThinker
👍2
خدایی اگه اینا رو جنریت کردن، ما رو چیکار کردن؟
چه کپشن بدی شد، ولش کن.
مدل Midjourney 5.1 هستن که سه روز پیش منتشر شدن.
@SingularThinker
چه کپشن بدی شد، ولش کن.
مدل Midjourney 5.1 هستن که سه روز پیش منتشر شدن.
@SingularThinker
Forwarded from a pessimistic researcher (Kc)
کلی ایونت امروز برگزار میشه که لینکش تو این توییت هست
https://twitter.com/LondMathSoc/status/1656932313450545155?t=_OPM1iF6mKCk910ZW8QJsQ&s=19
https://twitter.com/LondMathSoc/status/1656932313450545155?t=_OPM1iF6mKCk910ZW8QJsQ&s=19
X (formerly Twitter)
London Mathematical Society (@LondMathSoc) on X
Today is #May12, a worldwide celebration of women in mathematics, marking the birthday of Maryam Mirzakhani, who passed away at the age of 40.
Dozens of events are taking place all across the world ➡️ https://t.co/WcCFTcXeCi
#WomenInMaths #May12 #May12WIM
Dozens of events are taking place all across the world ➡️ https://t.co/WcCFTcXeCi
#WomenInMaths #May12 #May12WIM
👍3
Singular Thinker
اگه علاقهمند به حوزههای تئوری ماشین لرنینگ و یا نظریهی اطلاعات هستید توصیه میکنم به این سمینار موسسه Simons حتما نگاه کنید و اگر دوست داشتید ثبت نام کنید. 🔗 لینک #Webinar #learning_theory @SingularThinker
تاریخ و ساعت سخنرانیهای این ورکشاپ اعلام شده و سخنرانیهای بسیار جالبی داره.
پ.ن: زمانها به ساعت Pacific time(PT) هستش ولی اگه گزینه add calender رو بزنید و ساعت تقویمتون درست باشه خودش تبدیل میکنه واستون.
🔗لینک
#Workshop
#Webinar
@SingularThinker
پ.ن: زمانها به ساعت Pacific time(PT) هستش ولی اگه گزینه add calender رو بزنید و ساعت تقویمتون درست باشه خودش تبدیل میکنه واستون.
🔗لینک
#Workshop
#Webinar
@SingularThinker
shab az shabhaie paeezist, Shahram Nazeri
شب از شبهای پاییزیست.
از آن همدرد و با من مهربان شبهای شکآور،
ملول و خستهدل، گریان و طولانی.
شبی که در گمانم من که آیا بر شبم گرید، چنین همدرد،
و یا بر بامدادم گرید، از من نیز پنهانی.
و اینک (خیره در من مهربان) بینم
که دست سرد و خیسش را
چو بالشتی سیه زیر سرم ـ بالین سوداها ـ گذارد شب
من این میگویم و دنباله دارد شب.
خموش و مهربان با من
بهکردار پرستاری سیه پوشیده پیشاپیش، دل برکنده از بیمار،
نشسته در کنارم، اشک بارد شب.
من این میگویم و دنباله دارد شب.
- مهدی اخوان ثالث
@SingularThinker
از آن همدرد و با من مهربان شبهای شکآور،
ملول و خستهدل، گریان و طولانی.
شبی که در گمانم من که آیا بر شبم گرید، چنین همدرد،
و یا بر بامدادم گرید، از من نیز پنهانی.
و اینک (خیره در من مهربان) بینم
که دست سرد و خیسش را
چو بالشتی سیه زیر سرم ـ بالین سوداها ـ گذارد شب
من این میگویم و دنباله دارد شب.
خموش و مهربان با من
بهکردار پرستاری سیه پوشیده پیشاپیش، دل برکنده از بیمار،
نشسته در کنارم، اشک بارد شب.
من این میگویم و دنباله دارد شب.
- مهدی اخوان ثالث
@SingularThinker
👍5
آرشام غواصیه تو کانالش داره یه سری ویدیو با عنوان "درسهای کوتاهی بر علم شبکه" میذاره که به نظرم خیلی جالبه، دوست داشتید شما هم نگاه کنید.
🔗 لینک: قسمت اول
#video
@SingularThinker
🔗 لینک: قسمت اول
#video
@SingularThinker
👍2
Forwarded from a pessimistic researcher (Kc)
من بارها توی کانال در مورد اهمیت اثبات درستی برنامههایی که مینویسیم توضیح دادم. اما بیاید یه بار دیگه با یه مثال دیگه بهتون نشون بدم داستان رو.
در نظر بگیرید که نماد
[ (0,inf)
همون انتگرال صفر تا بینهایت باشه. شما اگر بخواید انتگرال زیر رو محاسبه بکنید به جوابی میرسید که جلوش نوشتم :
[ (0,inf) sin(t)/t . dt = pi/2
انتگرال زیر رو هم همینطور
[ (0,inf) sin(t)/t . sin(t/101)/(t/101) . dt = pi/2
و ایضا این انتگرال
[ (0,inf) sin(t)/t . sin(t/101)/(t/101) . sin(t/201)/(t/201) . dt = pi/2
از روی همین پترن یه حدسی که میشه زد اینه که به ازای هر عدد طبیعی مثل n رابطه زیر برقراره:
[ (0,inf) {Pi(0,n) sin(t/100*i+1)/(t/100*i+1)} . dt = pi/2
باورتون میشه که اگر از ۱ شروع کنید و همینطور بیاید جلو، اولین عددی که این حدس رو نقض میکنه عدد زیره :))
15341178777673149429167740440969249338310889
و این یعنی این که شما به هیچ عنوان نمیتونید به Test کردن برنامهای که نوشتید اکتفا کنید. و اینجا میشه جای خالی اثبات رو به طور خیلی محسوسی احساس کرد.
در نظر بگیرید که نماد
[ (0,inf)
همون انتگرال صفر تا بینهایت باشه. شما اگر بخواید انتگرال زیر رو محاسبه بکنید به جوابی میرسید که جلوش نوشتم :
[ (0,inf) sin(t)/t . dt = pi/2
انتگرال زیر رو هم همینطور
[ (0,inf) sin(t)/t . sin(t/101)/(t/101) . dt = pi/2
و ایضا این انتگرال
[ (0,inf) sin(t)/t . sin(t/101)/(t/101) . sin(t/201)/(t/201) . dt = pi/2
از روی همین پترن یه حدسی که میشه زد اینه که به ازای هر عدد طبیعی مثل n رابطه زیر برقراره:
[ (0,inf) {Pi(0,n) sin(t/100*i+1)/(t/100*i+1)} . dt = pi/2
باورتون میشه که اگر از ۱ شروع کنید و همینطور بیاید جلو، اولین عددی که این حدس رو نقض میکنه عدد زیره :))
15341178777673149429167740440969249338310889
و این یعنی این که شما به هیچ عنوان نمیتونید به Test کردن برنامهای که نوشتید اکتفا کنید. و اینجا میشه جای خالی اثبات رو به طور خیلی محسوسی احساس کرد.
👍7
How do you classify your learning style?
Anonymous Poll
29%
Visual learner
7%
Auditory learner
7%
Verbal learner
24%
Hands-on learner
32%
None/All
چرا خورشید میتابه؟ چرا میچرخه زمین؟
به خاطر قانون دوم ترمودینامیک:
https://youtu.be/DxL2HoqLbyA
#video #Thermodynamics
@SingularThinker
به خاطر قانون دوم ترمودینامیک:
https://youtu.be/DxL2HoqLbyA
#video #Thermodynamics
@SingularThinker
YouTube
The Most Misunderstood Concept in Physics
One of the most important, yet least understood, concepts in all of physics. Head to https://brilliant.org/veritasium to start your free 30-day trial, and the first 200 people get 20% off an annual premium subnoscription.
If you're looking for a molecular…
If you're looking for a molecular…
👍5🔥4👎1
Forwarded from Sharif Today
«ماجرا فراتر است»
✴️ مهاجرت از توییتر، بهخاطر سیاستهای عجیبوغریبی که ایلان ماسک در حال تحمیل آنها به کاربران است، بحث داغ این روزهای شبکههای اجتماعیست. آنها که بیشتر دستبهکد هستند و درگیر دنیای فناوری، از مدتها قبل حرف از Mastodon میزدند (مخصوصا آنهاشان که علقهای به جنبش متنباز داشتند و انحصار شرکتهای فناوری بدجور اذیتشان میکند)، اما حتی کاربران عادی هم این روزها فکر و ذکرشان مهاجرت به رقیب دیگر توییتر، Bluesky است و دربهدر دنبال دعوتنامههای منقضینشدهای که اجازه پرواز پرندههای سفیدشان در آسمان آبی را بدهد (فعلا کاری به اوجگیری امروز دستپخت جدید زاکربرگ و متا با نام Thread نداریم).
🔹 اما ماجرا کمی فراتر از رفتن از یک شبکه اجتماعی به یک شبکه اجتماعی دیگر و ساختن دوباره از صفر است؛ اولا شاید این آخرین باری باشد که مهاجرت به یک شبکه اجتماعی جدید، به معنای رها کردن همه داشتهها در شبکه اجتماعی قبلیست و ثانیا این مهاجرت چیزی شبیه قید ویندوز و MacOs را زدن و لینوکسباز شدن است، علیه انحصار و سلام بر یک دنیای مشترک و همگانی و باز.
🔹 مهمترین تفاوت ماستادون و بلواسکای با توییتر در «غیرمتمرکز» (decentralized) و «متنباز» (Open-Source) بودن آنهاست. در واقع این شبکههای اجتماعی در کنترل و مدیریت انحصاری یک شرکت نیست که هم دادهها و اطلاعات کاربران را منحصرا در اختیار داشته باشد و هم با سیاستها و قوانین و الگوریتمهایش، تعیین کند که هر کاربر در فیدش چه محتوایی را ببیند. در بلواسکای و ماستادون هیچکس نمیتواند قوانینی را برای همه کاربران و جوامع وضع کند و برای آنها تصمیم بگیرد. وعده ماستادون و بلواسکای، کنترل بیشتر کاربر روی تجربه آنلاین و محتواییاست که حواسش به آنها مشغول میشود، چون خودش بهتر صلاح خودش را میفهمد و تبلیغات و الگوریتمها نباید این وسط وقتش را هدر دهند.
🔹 کار اصلی بلواسکای و ماستادون، معرفی یک شبکه اجتماعی جدید نیست، بلکه توسعه پروتکلی استاندارد است که ارتباط بین پلتفرمهای شبکههای اجتماعی مختلف و انتقال اطلاعات بین آنها را ممکن میسازد. بلواسکای پروتکل ATM (مخفف Authenticated Transfer Protocol) را توسعه داده و ماستادون هم پروتکلش ActivityPub نام دارد. این پروتکلها رویکرد جدیدی برای ذخیره و بازیابی اطلاعات کاربران در شبکههای اجتماعی است که به کاربران اجازه میدهد از یک شبکه اجتماعی با کاربری در شبکه اجتماعی دیگر ارتباط برقرار کنند و اگر هم دلشان خواست، بساطشان را در شبکه اجتماعی جدید پهن کنند، آن هم با امکان انتقال تمام اسباب و اثاثیهشان از شبکه اجتماعی قبلی به شبکه اجتماعی جدید.
🔹 سیستم ایمیل را به یاد بیاورید، شما میتوانید با ایمیلی که یکی از سرویسدهندههای ایمیل در اختیارتان گذاشته، به هر ایمیل دیگری (مستقل از سرویسدهندهاش) ایمیل بزنید، اما یک حساب کاربری در اینستاگرام امکان ارتباط با یک حساب کاربری در توییتر را ندارد. خود بلواسکای در وبلاگش شبکههای اجتماعی غیرمتمرکز را به شهرهای بزرگی تشبیه کرده که در انزوا به سر میبرند و ارتباطی با یکدیگر ندارد، در حالی که شبکههای اجتماعی غیرمتمرکز مجموعهای از شهرهای احتمالا کوچکترند که شهروندان آنها میتوانند با یکدیگر در ارتباط باشند و حتی بین شهرها سفر کنند.
📝 متن کامل را در تلگراف یا ویرگول میتوانید بخوانید.
@SharifToday
✴️ مهاجرت از توییتر، بهخاطر سیاستهای عجیبوغریبی که ایلان ماسک در حال تحمیل آنها به کاربران است، بحث داغ این روزهای شبکههای اجتماعیست. آنها که بیشتر دستبهکد هستند و درگیر دنیای فناوری، از مدتها قبل حرف از Mastodon میزدند (مخصوصا آنهاشان که علقهای به جنبش متنباز داشتند و انحصار شرکتهای فناوری بدجور اذیتشان میکند)، اما حتی کاربران عادی هم این روزها فکر و ذکرشان مهاجرت به رقیب دیگر توییتر، Bluesky است و دربهدر دنبال دعوتنامههای منقضینشدهای که اجازه پرواز پرندههای سفیدشان در آسمان آبی را بدهد (فعلا کاری به اوجگیری امروز دستپخت جدید زاکربرگ و متا با نام Thread نداریم).
🔹 اما ماجرا کمی فراتر از رفتن از یک شبکه اجتماعی به یک شبکه اجتماعی دیگر و ساختن دوباره از صفر است؛ اولا شاید این آخرین باری باشد که مهاجرت به یک شبکه اجتماعی جدید، به معنای رها کردن همه داشتهها در شبکه اجتماعی قبلیست و ثانیا این مهاجرت چیزی شبیه قید ویندوز و MacOs را زدن و لینوکسباز شدن است، علیه انحصار و سلام بر یک دنیای مشترک و همگانی و باز.
🔹 مهمترین تفاوت ماستادون و بلواسکای با توییتر در «غیرمتمرکز» (decentralized) و «متنباز» (Open-Source) بودن آنهاست. در واقع این شبکههای اجتماعی در کنترل و مدیریت انحصاری یک شرکت نیست که هم دادهها و اطلاعات کاربران را منحصرا در اختیار داشته باشد و هم با سیاستها و قوانین و الگوریتمهایش، تعیین کند که هر کاربر در فیدش چه محتوایی را ببیند. در بلواسکای و ماستادون هیچکس نمیتواند قوانینی را برای همه کاربران و جوامع وضع کند و برای آنها تصمیم بگیرد. وعده ماستادون و بلواسکای، کنترل بیشتر کاربر روی تجربه آنلاین و محتواییاست که حواسش به آنها مشغول میشود، چون خودش بهتر صلاح خودش را میفهمد و تبلیغات و الگوریتمها نباید این وسط وقتش را هدر دهند.
🔹 کار اصلی بلواسکای و ماستادون، معرفی یک شبکه اجتماعی جدید نیست، بلکه توسعه پروتکلی استاندارد است که ارتباط بین پلتفرمهای شبکههای اجتماعی مختلف و انتقال اطلاعات بین آنها را ممکن میسازد. بلواسکای پروتکل ATM (مخفف Authenticated Transfer Protocol) را توسعه داده و ماستادون هم پروتکلش ActivityPub نام دارد. این پروتکلها رویکرد جدیدی برای ذخیره و بازیابی اطلاعات کاربران در شبکههای اجتماعی است که به کاربران اجازه میدهد از یک شبکه اجتماعی با کاربری در شبکه اجتماعی دیگر ارتباط برقرار کنند و اگر هم دلشان خواست، بساطشان را در شبکه اجتماعی جدید پهن کنند، آن هم با امکان انتقال تمام اسباب و اثاثیهشان از شبکه اجتماعی قبلی به شبکه اجتماعی جدید.
🔹 سیستم ایمیل را به یاد بیاورید، شما میتوانید با ایمیلی که یکی از سرویسدهندههای ایمیل در اختیارتان گذاشته، به هر ایمیل دیگری (مستقل از سرویسدهندهاش) ایمیل بزنید، اما یک حساب کاربری در اینستاگرام امکان ارتباط با یک حساب کاربری در توییتر را ندارد. خود بلواسکای در وبلاگش شبکههای اجتماعی غیرمتمرکز را به شهرهای بزرگی تشبیه کرده که در انزوا به سر میبرند و ارتباطی با یکدیگر ندارد، در حالی که شبکههای اجتماعی غیرمتمرکز مجموعهای از شهرهای احتمالا کوچکترند که شهروندان آنها میتوانند با یکدیگر در ارتباط باشند و حتی بین شهرها سفر کنند.
@SharifToday
Please open Telegram to view this post
VIEW IN TELEGRAM
Telegraph
ماجرا فراتر است
ایلان ماسک، در آخرین روزهای اکتبر سال میلادی قبل، توییتر را در یک معامله ۴۴ میلیارد دلاری خرید تا مالک این شبکه اجتماعی محبوب شود. از همان زمان بود که میشد زمزمههای مهاجرت از توییتر رو بین کاربران آن شنید و کجسلیقگیهای بعدی ماسک هم شدت این زمزمهها را…
🔥2
فان_فکت امروز:
پاول اردوش ریاضیدان نامدار مجارستانی قرن ۲۰ام دائما روی آمفتامین بوده و کلا نمیخوابیده و دائما مشغول پژوهش روی حوزه های مختلف ریاضیات بوده. تا حدی این بزرگوار پر کار بوده که شاخصی به نام erdős number برای پژوهشگران حوزه ریاضی استفاده میشه که ببینن با چند واسطه با اون کار میکردن.
سایت هایی هستن که میتونن فاصله افراد رو با هم حساب کنن و در زمینه ایشون خود American society of Mathematics این کار رو انجام میده.
منبع: توییت و کتاب موجود در تصویر
#math #tweet
@SingularThinker
پاول اردوش ریاضیدان نامدار مجارستانی قرن ۲۰ام دائما روی آمفتامین بوده و کلا نمیخوابیده و دائما مشغول پژوهش روی حوزه های مختلف ریاضیات بوده. تا حدی این بزرگوار پر کار بوده که شاخصی به نام erdős number برای پژوهشگران حوزه ریاضی استفاده میشه که ببینن با چند واسطه با اون کار میکردن.
سایت هایی هستن که میتونن فاصله افراد رو با هم حساب کنن و در زمینه ایشون خود American society of Mathematics این کار رو انجام میده.
منبع: توییت و کتاب موجود در تصویر
#math #tweet
@SingularThinker
🔥8