لطفا ۶ دقیقه وقت بگذارید و این پست بهداد رو بخونید:
https://medium.com/@behdadesfahbod/if-you-read-one-thing-from-me-please-be-this-2262ec7b8af2
https://medium.com/@behdadesfahbod/if-you-read-one-thing-from-me-please-be-this-2262ec7b8af2
Medium
If you read one thing from me, please be this
On January 3 US forces assassinated Gen. Qasem Soleimani in an unprecedented and illegal act of aggression initiated by Trump without…
مقدمه لیسپ و نوشتن ویراستار فارسی به همراه هادی علی‌اکبر
https://youtu.be/W5Ac4uBbStM
خوشحال میشم اگه ببینید و نظر بدید
https://youtu.be/W5Ac4uBbStM
خوشحال میشم اگه ببینید و نظر بدید
YouTube
مقدمه‌ای بر لیسپ - نوشتن ویراستار فارسی
در این ویدیو به همراه هادی علی‌اکیر (https://twitter.com/hadi_aliakbar) با لیسپ آشنا میشیم و یک ویراستار ساده می‌نویسیم!
تو این ویدیو یکی از الگوریتم‌های هوش مصنوعی (انتخاب طبیعی) رو به همراه شبکه عصبی پیاده سازی کردیم تا یک شبیه سازی از زندگی سلولی بهمون بده!
https://youtu.be/LnLyP4QKxbo
خوشحال میشم نگاه کنید و قدم‌های بعدی رو پیشنهاد بدید.
https://youtu.be/LnLyP4QKxbo
خوشحال میشم نگاه کنید و قدم‌های بعدی رو پیشنهاد بدید.
YouTube
ALIFE - هوش مصنوعی و انتخاب طبیعی + شبکه عصبی!
در این ویدیو به شبیه سازی ALIFE نگاه می‌کنیم که با استفاده از شبکه عصبی و انتخاب طبیعی، یک زندگی خیلی ساده سلولی رو شبیه سازی می‌کنه.
نویسه جدید:
عددی که وجود نداره
https://heydaris.com/fa/blog/nonexisting_number
خلاصه:
...تعداد کلمه‌هایی که برای اعداد داریم محدودن، بنابراین ما اعدادی داریم که با یک کلمه نوشته میشن، مثل یک، یازده یا صد، اعدادی داریم که با دو کلمه نوشته میشن، مثل پنج هزار، اعدادی داریم که با سه کلمه نوشته میشن، مثل بیست و یک، و همینطور اعدادی که با کلمات بزرگتر نوشته میشن...
...می‌دونیم که کوچک‌ترین عضو هر مجموعه متناهی و شمارا از اعداد - مثلا مجموعه همه اعدادی که با سه کلمه نوشته میشن - تعریف پذیره. مثلا می‌دونیم کوچک‌ترین عددی که با کمتر از سه کلمه نوشته نمیشه عدد بیست و یک هست...
...با این وجود من مدعی میشم که در فارسی، «کوچک‌ترین عددی که با کمتر از یازده کلمه نوشته نمیشه» وجود خارجی نداره. چون خود عبارت «کوچک‌ترین عددی که با کمتر از یازده کلمه نوشته نمیشه» در واقع اسم دیگری از اون عدد هست، برای همین تونستیم به این عدد با ده کلمه اشاره کنیم...
...اما این تناقض از کجا میاد؟
https://heydaris.com/fa/blog/nonexisting_number
عددی که وجود نداره
https://heydaris.com/fa/blog/nonexisting_number
خلاصه:
...تعداد کلمه‌هایی که برای اعداد داریم محدودن، بنابراین ما اعدادی داریم که با یک کلمه نوشته میشن، مثل یک، یازده یا صد، اعدادی داریم که با دو کلمه نوشته میشن، مثل پنج هزار، اعدادی داریم که با سه کلمه نوشته میشن، مثل بیست و یک، و همینطور اعدادی که با کلمات بزرگتر نوشته میشن...
...می‌دونیم که کوچک‌ترین عضو هر مجموعه متناهی و شمارا از اعداد - مثلا مجموعه همه اعدادی که با سه کلمه نوشته میشن - تعریف پذیره. مثلا می‌دونیم کوچک‌ترین عددی که با کمتر از سه کلمه نوشته نمیشه عدد بیست و یک هست...
...با این وجود من مدعی میشم که در فارسی، «کوچک‌ترین عددی که با کمتر از یازده کلمه نوشته نمیشه» وجود خارجی نداره. چون خود عبارت «کوچک‌ترین عددی که با کمتر از یازده کلمه نوشته نمیشه» در واقع اسم دیگری از اون عدد هست، برای همین تونستیم به این عدد با ده کلمه اشاره کنیم...
...اما این تناقض از کجا میاد؟
https://heydaris.com/fa/blog/nonexisting_number
نویسه جدید: ساخت دستیار هوشمند که با توجه به آب و هوا لباس بهتون پیشنهاد بده!
https://dev.to/mcsh/building-an-assistant-to-suggest-dress-code-based-on-the-weather-30ln
https://dev.to/mcsh/building-an-assistant-to-suggest-dress-code-based-on-the-weather-30ln
DEV Community
Building an assistant to suggest dress code based on the weather
Introduction One of the enjoyments of living in the 21st century is having access to a lot...
نویسه جدید:
How ButcherBox Made E-Commerce 600% Faster with Jamstack
https://resources.fabric.inc/blog/jamstack-ecommerce-story
How ButcherBox Made E-Commerce 600% Faster with Jamstack
https://resources.fabric.inc/blog/jamstack-ecommerce-story
resources.fabric.inc
How ButcherBox Made E-Commerce 600% Faster with Jamstack
In this post we break down how and why the meat subscription service Butcherbox migrated from a monolithic code base to Jamstack.
نویسه جدید
How Event Driven Systems Work in Commerce
https://resources.fabric.inc/event-driven-systems-commerce
How Event Driven Systems Work in Commerce
https://resources.fabric.inc/event-driven-systems-commerce
resources.fabric.inc
How Event Driven Systems Work in Commerce
In this post, we will define what event driven systems are and how retailers can leverage them to create a commerce solution that is more efficient.
الآن دیدم که Cracking the Cryptic سودوکوی چند وقت پیشم رو حل کرده! لینک ویدیو:
https://youtu.be/rvZzAVXpQXQ
لینک پازل توی logic masters:
https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=00045Z
https://youtu.be/rvZzAVXpQXQ
لینک پازل توی logic masters:
https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=00045Z
YouTube
The Power of Sudoku
▶ KICKSTARTER LAUNCH LINK ◀
https://www.kickstarter.com/projects/peterchayward/cracking-the-cryptics-greatest-hits?ref=docedl
***************************************
Try Sajjad Heydari's Powers of 2 Sudoku here: https://app.crackingthecryptic.com/webapp/b8BtQTBqdd…
https://www.kickstarter.com/projects/peterchayward/cracking-the-cryptics-greatest-hits?ref=docedl
***************************************
Try Sajjad Heydari's Powers of 2 Sudoku here: https://app.crackingthecryptic.com/webapp/b8BtQTBqdd…
امروز روز جهانی مردان هست و می‌خوام از این فرصت استفاده کنم بگم که هیچ ایراد و اشکالی نداره اگه یه «مرد» از بقیه کمک بخواد، اگه احساساتی بشه و اگه حالش خوب نباشه.
فارغ از نگاهتون به جایگاه «مردان» توی جامعه، تعداد زیادیشون با مشکلات زیادی دست و پنجه نرم می‌کنن، از چیزهایی مثل انزوای اجتماعی، مشکلات سلامتی، احتمال خودکشی بیشتر و فشار جامعه برای نگهداشتن یک تصویر غلط از مردی که هیچ اتفاق بدی روش اثر نمی‌ذاره و با احساساتش قهره.
این روز یادتون باشه، و به «مردای» اطرافتان یادآوری کنید که، قرار نیست «مرد» امروزی به خاطر چند صد سال سابقه رقابت و خشونت بین مردان همون رفتارها رو نگهداره، میشه بدون خشونت «مرد» بود، میشه بدون رقابت افراطی «مردونه» زندگی کرد و قرار نیست تنهایی از پس همه مشکلات بر بیاید.
درک کردن و کنار اومدن با احساسات درونی به شما کمک می‌کنه اطرافیان رو بهتر درک کنید، کمک گرفتن بهتون یاد میده چطور به بقیه کمک کنید و کنار گذاشتن تفکرات غلط به ساخت جامعه بهتر منتهی میشه.
روز همه «مردها» مبارک!
فارغ از نگاهتون به جایگاه «مردان» توی جامعه، تعداد زیادیشون با مشکلات زیادی دست و پنجه نرم می‌کنن، از چیزهایی مثل انزوای اجتماعی، مشکلات سلامتی، احتمال خودکشی بیشتر و فشار جامعه برای نگهداشتن یک تصویر غلط از مردی که هیچ اتفاق بدی روش اثر نمی‌ذاره و با احساساتش قهره.
این روز یادتون باشه، و به «مردای» اطرافتان یادآوری کنید که، قرار نیست «مرد» امروزی به خاطر چند صد سال سابقه رقابت و خشونت بین مردان همون رفتارها رو نگهداره، میشه بدون خشونت «مرد» بود، میشه بدون رقابت افراطی «مردونه» زندگی کرد و قرار نیست تنهایی از پس همه مشکلات بر بیاید.
درک کردن و کنار اومدن با احساسات درونی به شما کمک می‌کنه اطرافیان رو بهتر درک کنید، کمک گرفتن بهتون یاد میده چطور به بقیه کمک کنید و کنار گذاشتن تفکرات غلط به ساخت جامعه بهتر منتهی میشه.
روز همه «مردها» مبارک!
قسمت جدید Open Computers Challenge رو اینجا گذاشتم!
https://youtu.be/laZoUzn7KDs
خوشحال میشم ببینید و اگر دوست داشتید سابسکرایب کنید
https://youtu.be/laZoUzn7KDs
خوشحال میشم ببینید و اگر دوست داشتید سابسکرایب کنید
YouTube
MCSH OpenComputers Challenge 2 - Episode 6 # Lean To Count!
In this video series, we are going to play Minecraft using only the OpenComputers robots. Programming them to do our day to day tasks.
پنجشنبه ساعت ۱۰ شب قراره تو ویس چت این گروه با هم جمع شیم و صحبت کنیم، یه میتینگ مجازی.
حتما بیاید!
https://t.iss.one/joinchat/UEPIUiKrWNtmCq6B
حتما بیاید!
https://t.iss.one/joinchat/UEPIUiKrWNtmCq6B
در جلسه اول:
- گفتگو با معرفی خودمون شروع شد.
- در مورد ویژگی جدید تلگرام که گپ زدن صوتی گروهی باشه صحبت کردیم. بعد در مورد امنیتش صحبت کردیم. بعد زدیمش تو سر واتس‌اپ.
- در مورد برداشته شدن تحریم های گیت‌هاب و مدیوم گپ زدیم و اینکه چرا تحریم‌هاشون رو برداشتن. گریزی زدیم به سیاست‌های شرکت‌های فناوری.
- سایت دانشگاه امام صادق هک شده و در موردش گپ زدیم.
- در مورد یه سری از سیاست های چین در مورد هوش مصنوعی و جک ما صحبت کردیم. بحث به سمت هوش مصنوعی رفت و در مورد هوش مصنوعی صحبت کردیم.
- در مورد اینکه چطوری کار ریموت پیدا کردیم حرف زدیم.
- نهایتا یه گفتگو ریز در مورد ساعات جلسات داشتیم.
#گپ_صوتی #جلسه_۱ #جلسه_1
- گفتگو با معرفی خودمون شروع شد.
- در مورد ویژگی جدید تلگرام که گپ زدن صوتی گروهی باشه صحبت کردیم. بعد در مورد امنیتش صحبت کردیم. بعد زدیمش تو سر واتس‌اپ.
- در مورد برداشته شدن تحریم های گیت‌هاب و مدیوم گپ زدیم و اینکه چرا تحریم‌هاشون رو برداشتن. گریزی زدیم به سیاست‌های شرکت‌های فناوری.
- سایت دانشگاه امام صادق هک شده و در موردش گپ زدیم.
- در مورد یه سری از سیاست های چین در مورد هوش مصنوعی و جک ما صحبت کردیم. بحث به سمت هوش مصنوعی رفت و در مورد هوش مصنوعی صحبت کردیم.
- در مورد اینکه چطوری کار ریموت پیدا کردیم حرف زدیم.
- نهایتا یه گفتگو ریز در مورد ساعات جلسات داشتیم.
#گپ_صوتی #جلسه_۱ #جلسه_1
جلسه دوم چهارشنبه ساعت ۱۰ شب توی گروه زیر خواهد بود:
https://t.iss.one/joinchat/UEPIUiKrWNtmCq6B
برای شرکت کافیه تو گروه عضو بشید! موارد زیر رو هم در نظر بگیرید:
۱- تست کنید کلاینتتون ویس چت رو پشتیبانی کنه، برای تست ویس چت گروه فعاله، می‌تونید امتحان کنید
۲- آماده باشید حرف بزنیم با هم، همه هدف اینه که با هم صحبت کنیم. هر موضوعی می‌تونه باشه، از اخبار بگیم، سوال بپرسیم یا در مورد پروژه‌هامون حرف بزنیم.
۳- با هم دوست باشیم! به هم توهین نکنیم و ادب رو رعایت کنیم و به همه فرصت حرف زدن بدیم! اگه تعداد زیاد بشه شاید من نوبت دهی کنم برای صحبت کردن
۴- اگر کسی دوست داره ما رو با یه موضوعی آشنا کنه و می‌خواد ارائه بده به من پیام بده، هر موضوعی می‌تونه باشه ولی خب من ترجیح میدم چیزایی باشه که اینجا (یا توییتر) زیاد در موردش بحث کردیم. مثلا بحث در مورد آزادی یا حقوقی که افراد دارن، یا در مورد لایسنس‌های نرم‌افزاری و چیزهایی از این قبیل
مورد آخر و مهم ترین مورد، اخبار این مدت رو آماده کنید برای شروع در موردشون حرف بزنیم!
چهارشنبه ساعت ۱۰ شب می‌بینمتون!
https://t.iss.one/joinchat/UEPIUiKrWNtmCq6B
برای شرکت کافیه تو گروه عضو بشید! موارد زیر رو هم در نظر بگیرید:
۱- تست کنید کلاینتتون ویس چت رو پشتیبانی کنه، برای تست ویس چت گروه فعاله، می‌تونید امتحان کنید
۲- آماده باشید حرف بزنیم با هم، همه هدف اینه که با هم صحبت کنیم. هر موضوعی می‌تونه باشه، از اخبار بگیم، سوال بپرسیم یا در مورد پروژه‌هامون حرف بزنیم.
۳- با هم دوست باشیم! به هم توهین نکنیم و ادب رو رعایت کنیم و به همه فرصت حرف زدن بدیم! اگه تعداد زیاد بشه شاید من نوبت دهی کنم برای صحبت کردن
۴- اگر کسی دوست داره ما رو با یه موضوعی آشنا کنه و می‌خواد ارائه بده به من پیام بده، هر موضوعی می‌تونه باشه ولی خب من ترجیح میدم چیزایی باشه که اینجا (یا توییتر) زیاد در موردش بحث کردیم. مثلا بحث در مورد آزادی یا حقوقی که افراد دارن، یا در مورد لایسنس‌های نرم‌افزاری و چیزهایی از این قبیل
مورد آخر و مهم ترین مورد، اخبار این مدت رو آماده کنید برای شروع در موردشون حرف بزنیم!
چهارشنبه ساعت ۱۰ شب می‌بینمتون!
در جلسه سوم:
- در ابتدای جلسه و قبل از اومدن سایر دوستان جلسه پیرامون صحبت درباره سوال یکی از بچه‌ها پی گرفته شد. سوال در رابطه با این موضوع بود که چطور بین موضوعات و حوزه‌های مختلف کاری تصمیم به انتخاب بگیریم و در ادامه هم در رابطه با انتخاب شرکت‌های داخلی یا خارجی برای همکار ادامه پیدا کرد.
- بعد که دوستان بیشتری بهمون اضافه شدن با خبر پروژه «ابر ایران» بحث رو شروع کردیم و در مورد نظرات و دعواهای توییتری مرتبط حرف زدیم.
مثل رشته توییت‌های حامد و پاسخ‌های ایلیا وکیلی.
به صحبت در مورد ngoها و رفتار‌های دولت با قوی شدن این انجمن‌ها هم پرداختیم.
- خبر بعدی جلوگیری سایر مرورگرهای chromium-based از Sync service بود که با بحث بیشتر در ارتباط با رفتارها و موتورهای مرورگر ها پیش رفت.
در رابطه با تبعات به دست گوگل افتادن سهم مارکت و تلاش زیادش برای بیشتر کردن سهمی که در حال حاضر هم بسیار زیاده صحبت شد.
- در پایان هم رأی‌گیری برای جلسه بعدی انجام شد که تصمیم بر برگزاری جلسه دو هفته بعد (یعنی ۱۶ بهمن، ساعت ۱۰ شب) شد.
#گپ_صوتی #جلسه_۳ #جلسه_3
- در ابتدای جلسه و قبل از اومدن سایر دوستان جلسه پیرامون صحبت درباره سوال یکی از بچه‌ها پی گرفته شد. سوال در رابطه با این موضوع بود که چطور بین موضوعات و حوزه‌های مختلف کاری تصمیم به انتخاب بگیریم و در ادامه هم در رابطه با انتخاب شرکت‌های داخلی یا خارجی برای همکار ادامه پیدا کرد.
- بعد که دوستان بیشتری بهمون اضافه شدن با خبر پروژه «ابر ایران» بحث رو شروع کردیم و در مورد نظرات و دعواهای توییتری مرتبط حرف زدیم.
مثل رشته توییت‌های حامد و پاسخ‌های ایلیا وکیلی.
به صحبت در مورد ngoها و رفتار‌های دولت با قوی شدن این انجمن‌ها هم پرداختیم.
- خبر بعدی جلوگیری سایر مرورگرهای chromium-based از Sync service بود که با بحث بیشتر در ارتباط با رفتارها و موتورهای مرورگر ها پیش رفت.
در رابطه با تبعات به دست گوگل افتادن سهم مارکت و تلاش زیادش برای بیشتر کردن سهمی که در حال حاضر هم بسیار زیاده صحبت شد.
- در پایان هم رأی‌گیری برای جلسه بعدی انجام شد که تصمیم بر برگزاری جلسه دو هفته بعد (یعنی ۱۶ بهمن، ساعت ۱۰ شب) شد.
#گپ_صوتی #جلسه_۳ #جلسه_3
نویسه جدید: چگونه یک اکتیویست نباشیم
https://heydaris.com/fa/blog/activist
در این پست به طور مختصر در مورد ایجاد تغییر برای چیزهایی که برامون مهمه صحبت می‌کنیم و به طور خلاصه به مواردی نگاه می‌کنیم که اثر منفی روی فعالیت‌های ما داره.
https://heydaris.com/fa/blog/activist
در این پست به طور مختصر در مورد ایجاد تغییر برای چیزهایی که برامون مهمه صحبت می‌کنیم و به طور خلاصه به مواردی نگاه می‌کنیم که اثر منفی روی فعالیت‌های ما داره.
نویسه جدید: تایپ و کایند
https://heydaris.com/fa/blog/types101
تو این پست می‌خوام در مورد ماهیت تایپ‌ها بنویسم و ببینیم چی هستن. اگه برنامه‌نویسی می‌کنید توصیه می‌کنم نیم‌نگاهی داشته باشید!
https://heydaris.com/fa/blog/types101
تو این پست می‌خوام در مورد ماهیت تایپ‌ها بنویسم و ببینیم چی هستن. اگه برنامه‌نویسی می‌کنید توصیه می‌کنم نیم‌نگاهی داشته باشید!
ویدیو جدید: برنامه‌نویسی فانکشنال به صورت تعاملی در Agda - اعداد طبیعی پئانو
https://youtu.be/vIa_mGpn9v0
ممنون میشم اگر به اشتراک بگذارید
https://youtu.be/vIa_mGpn9v0
ممنون میشم اگر به اشتراک بگذارید
YouTube
ساختار پئانو - برنامه‌نویسی فانکشنال به صورت تعاملی Agda
توی این ویدیو با Agda ساختارهای ساده رو تعریف می‌کنیم و می‌بینیم چطور میشه از محیط تعاملیش استفاده کرد!