اینم کتاب

#️⃣ #math #book #programming

➖➖➖➖➖➖➖➖➖➖ 

🥷🏻 CHANNEL | GROUP

📘 کتاب: How to Prove It – نوشته‌ی Daniel J. Velleman

این کتاب یکی از بهترین منابع برای یادگیری منطق ریاضی و روش‌های اثباته. برخلاف بیشتر کتاب‌های دانشگاهی، How to Prove It از پایه شروع می‌کنه و قدم‌به‌قدم یاد می‌ده چطور از یک گزاره ساده به یک استدلال کامل برسی.

مطالبش شامل منطق گزاره‌ای، کوانتورها، مجموعه‌ها، توابع، روابط و روش‌های مختلف اثبات مثل اثبات مستقیم، خلف و استقراست.
نویسنده با مثال‌های زیاد نشون می‌ده چطور باید “فکر کردن ریاضیاتی” رو تمرین کنی مهارتی که توی برنامه‌نویسی، طراحی الگوریتم و تحلیل مسائل پیچیده واقعاً حیاتی‌ه.

📖 این کتاب برای هرکسی مناسبه که می‌خواد منطق پشت ریاضیات و اثبات‌ها رو عمیق‌تر درک کنه، مخصوصاً دانشجوهای ریاضی و علوم کامپیوتر و برنامه‌نویس‌هایی که دنبال تفکر دقیق‌تر و تحلیلی‌ترن.

پی دی اف کتاب

#️⃣ #math #book #programming

➖➖➖➖➖➖➖➖➖➖ 

🥷🏻 CHANNEL | GROUP

اینکه مغز انسان تونسته یه هوش مصنوعی بسازه برای مغز تحسین بر انگیزه نه برای چیزی که ساخته.

فکر کنید یه جسمی (مغز) چقدر باید از بین مسیر های ممکن مسیری رو بره که بتونه یه چیزی بسازه که شبیه به خودش کار می‌کنه.

مغز ما یه meta-learning فوق پیشرفتس؛ یعنی اینکه می‌تونه یاد بگیره که چطوری یاد بگیره نه اینکه فقط یه کار مشخص رو یاد بگیره‌.

@Linuxor

💥یه نکته مهم و حرفه‌ای از پرامپت انجینیرینگ:

🔹 به‌جای گفتن "چی می‌خوای"، بگو "چطور می‌خوای"

یعنی به مدل فقط هدف نده، بلکه نقشه‌ی رسیدن به هدف رو هم بده.

مثلاً به‌جای اینکه بگی:

«یه توضیح فنی دربارهٔ شبکه بنویس»

بگو:

«یه توضیح فنی کوتاه، با لحن رسمی و ساختار مرحله‌به‌مرحله بنویس که مناسب ارائه در مستندات مهندسی باشه.»


این کار باعث می‌شه خروجی دقیق‌تر، قابل‌پیش‌بینی‌تر و نزدیک‌تر به نیتت باشه.


@code2_ir
کانال کد۲

مثال واقعی که میتونید شما هم امتحان کنید:

- یه جوک بگو

یه مرد میره دکتر میگه:
«دکتر هر وقت چای می‌خورم چشمم درد می‌گیره!»
دکتر می‌گه:
«قاشقو از لیوان دربیار بعد بخور!» 😎

- یه جوک خنده دار مناسب مطرح کردن توی کلاس برای دانش آموزانی دبیرستان و راجع به محتوای علمی درس شیمی بگو.

یه جوک علمی برای کلاس شیمی:

😄
معلم شیمی می‌گه:
«بچه‌ها، اگه کسی یه راه پیدا کنه که واکنش‌ها بدون گرما انجام بشن، نوبل می‌گیره!»
یکی از بچه‌ها می‌گه:
«استاد، من دیشب با بابام راجع به کارنامه ام بحثم شد، واکنش پدرم به نتایج کارنامه کاملاً گرمازا بود! 🔥»

(طنز شیمیایی و قابل فهم برای دبیرستان، مرتبط با مفاهیم واکنش گرمازا و درون‌زا)



@code2_ir
کانال کد۲

و GraphQL یه زبان پرس‌وجو و محیط اجرایی مدرن برای APIهاست
به‌جای کلی endpoint مثل REST، فقط یه دونه داری و با کوئری دقیق داده‌ها رو می‌گیری
ساخته‌ی Facebook و اوپن‌سورس از ۲۰۱۵

https://github.com/chentsulin/awesome-graphql

@DevTwitter | <Nimo/>

میخوام یکم درمورد Data analysis و کلا Data science حرف بزنم نظرتون چیه؟

🔶 تعرفه بدون هدف، فقط مالیات پنهان از جیب مردم است.

هیچ کشوری با گران کردن واردات قوی نمی‌شود، بلکه با رقابت ‌پذیری تولید قوی می‌شود.

#ایران
#آمریکا

#منهای_برنامه_نویسی

@TheRaymondDev

نکته #لینوکس_پیشرفته 3
⭐️ یک ابزار کلیدی برای عیب‌یابی و یافتن علت قطع شبکه در لینوکس

🔹 راه اول دستور Dig
وقتی Ping جواب می‌دهد اما سایت باز نمی‌شود، و گاهی ارتباط اینترنت برقرار است ولی مرورگر سایت را باز نمی‌کند.
مشکل در این حالت معمولاً از سیستم نام دامنه (DNS) است. این دستور فقط از DNS سرور تنظیم‌شده در سیستم شما (در فایل /etc/resolv.conf) سؤال می‌پرسد.

dig example.com

این دستور آدرس IP مربوط به دامنه را از سرور DNS می‌پرسد.
اگر خروجی دارد یعنی DNS درست کار می‌کند و IP دامنه برمی‌گردد؛ مشکل از جای دیگری است (مثل وب‌سرور یا فایروال).
اگر خروجی ندارد یا خطا می‌دهد، یعنی سرور DNS پاسخ نداده یا دامنه در دسترس نیست؛ در این حالت باید DNS سیستم یا سرور را بررسی کنید.
(مثلاً با dig @8.8.8.8 example.com).

🔹 راه دوم: برای رد کردن کش و دیدن مسیر کامل از ریشه DNS:
این دستور کل زنجیره پرس‌وجوی DNS از سرورهای ریشه تا سرور اصلی دامنه (authoritative) را مرحله‌به‌مرحله دنبال می‌کند.

dig +trace +short example.com

اگر خروجی دارد یعنی زنجیره‌ی DNS سالم است و رکوردهای دامنه درست پیکربندی شده‌اند.
اگر خروجی ندارد یعنی مسیر در یکی از مراحل (مثلاً سرورهای TLD یا authoritative) قطع شده و باید رکوردها یا سرور DNS را بررسی کنید.

نویسنده: حسین سیلانی. آموزش بیشتر در:
https://learninghive.ir

برای اینکه فهم دقیق‌تری از عملکرد شبکه‌های عصبی داشته باشم، تصمیم گرفتم همه چیز رو برای این پروژه فقط با زبان اسمبلی x86 64بیتی پیاده‌سازی کنم روی سیستم‌عامل سبک Debian Slim
پروژه‌ راجع به تشخیص اعداد دست‌نویس از دیتاست MNIST هست
خوشحال میشم نگاه کنید

https://github.com/mohammad-ghaderi/mnist-asm-nn

@DevTwitter | <Mohammad Ghaderi/>

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۸۲۸

من بی خبرم خدای خود میداند
کاندر دل من مرا چه میخنداند
باری دل من شاخ گلی را ماند
کش باد صبا بلطف می افشاند

#مولانا | گنجور
📍@iipoem

🔶 کدیاد رو کنار گذاشت چون نتونست کامل خالی کنه 😂

رفت سراغ next1code که خالی کنه

@TheRaymondDev

باحال ترین چیزی که توی این هفته یادگرفتید چی بوده؟

من یک پروژه اوپن‌سورس ساختم به اسم Dockerized MetaTrader5 with Python DataBridge.
کارش اینه که MetaTrader 5 رو داخل داکر با اطلاعات حساب معاملاتی که شما معرفی میکنید زمان ساخت کانتینر اجرا می‌کنه و با REST API + WebSocket امکان دسترسی از راه دور به داده‌ها و عملکردهای MT5 رو فراهم می‌کنه.
+ امکان استریم کردن دیتای اطلاعات حساب معاملاتی از طریق WebSocket
+ امکان ارتباط با متاتریدر درون کانتینر با استفاده از کتابخانه استاندارد MT5 Python

توضیحات کامل و داکیومنت خوب داره، نصب و راه‌اندازی‌ش هم شرح دادم

خیلی خوب میشه اگر شما این پروژه رو تو کانالتون معرفی کنید تا کاربران بیشتری ببینندش.
اینم لینک گیت‌هاب پروژه:
https://github.com/im-mahdi-74/Dockerized-MetaTrader5-with-Python-DataBridge

@DevTwitter | <Mahdi/>

ترکیبی از مودال و منوی کشویی با Credenza 🐝

پکیج Credenza یک کامپوننت آماده به ما میده که ترکیبی از dialog و drawer هست، یعنی در سایز دسکتاپ، به صورت مودال معمولی باز میشه و در سایز موبایل، به شکل drawer (منو کشویی) نمایش داده میشه.

🔗 Document

#credenza
@CodeModule @CodeModuleGap

خب mirrorman رو یک سری اصلاحات روش انجام دادم (دیگه به pacman.conf گند نمیزنه) و الان می‌خوام پیشنهادات رو بهش اضافه کنم.

یک بخش جدید بهش اضافه کردم برای مخازن شخص‌ثالث که اینجا هم قابل مدیریت باشه بعد از اینکه quickstart بسته شد و همچنین مشکلاتی که ممکن بود در اثر ssl پیش‌بیاد برای برخی مخازن هم برطرف کردم.


آوید گفت اون بغل رو شبیه nautilus دربیار که اونم انجام شد.

@SohrabContents