شما از یک فرد بی‌سواد و بدون دانش درباره اینترنت هم این جمله را نمی‌شنوید، ولی وزیر ارتباطات ایران با مدرک دکترای هوش مصنوعی! گفته: "شرایط موجود این روزها باعث افزایش حجم محتواهای تولیدی شده، که منجر به بروز اختلالات شبکه اینترنت در سراسر دنیا شده است" 🤯

© Parham 21aban

🔍 ircf.space
@ircfspace‏⁧

نسخه پرو Loco Translate

اگر از این افزونه قبلا استفاده کردید نسخه پرو این افزونه قابلیت ترجمه خودکار رو بهتون میده

دقت کنید برای نصب باید پکیج رو از زیپ در بیارید و تک تک نصب کنید

@poinair پوینا

@poinair پوینا

#رویداد #وبینار

وبینار رایگان «توسعه زیرساخت در هوش مصنوعی» تاریخ پنجشنبه ۲۶ مهر ۱۴۰۳ از ساعت ۵ تا ۷ بعد از ظهر برگزار میشه.
در این وبینار قراره از چالش‌های زیرساخت در هوش مصنوعی و همچنین این که چی شد که «زحل» شکل گرفت بگم.

ثبت‌نام: https://evnd.co/00MhS

@haghiri75_blog

علی تولائی قراره توی همایش لینوکس و پایتون درباره PGMQ صحبت کنه. توی این ویدیو سازنده‌اش این پروژه رو معرفی می‌کنه.

چیزی که زمان یادگیری Git کمبودش رو به شدت حس می‌کردم ابزاری بود که بتونه دستورات Git رو تصویرسازی کنه.

یادگیری Git تنها با مطالعه داکیومنت‌ و مقاله‌های مختلف می‌تونه چالش‌برانگیز باشه. چیزی که می‌تونه روند یادگیری این ابزار رو سریع‌تر و البته لذت‌بخش‌تر کنه تصویرسازی و انیمیشنه؛ چه بهتر که این تصویرسازی‌ها زنده و در لحظه باشن.

دو تا ابزاری که خودم برای فهم بهتر دستورات Git ازشون استفاده کردم LearnGitBranching و Visualizing Git هستن.
با استفاده از این دو ابزار می‌تونید خیلی از دستورات گیت رو امتحان کنید و تاثیرشون رو در لحظه ببینید. فکر می‌کنم حتی اگر روزانه از git استفاده می‌کنید و با دستوراتش آشنایی کامل دارید، باز هم استفاده از این دو ابزار می‌تونه درکتون از git رو بیش‌تر و بهتر کنه.
شما از چه ابزارها و منابعی برای یادگیری git استفاده می‌کنین؟

LearnGitBranching:
https://learngitbranching.js.org/

Visualizing Git:
https://git-school.github.io/visualizing-git/

@DevTwitter | <Fateme Fouladkar/>

سایت استعلام سلامت و روان انگار خودش سلامت و روان کافی نداره :))))

@SohrabContents

موضوعات خواندنی

1-System design (Architecture)
2-Operating System
3-Data structure & Algorithm
4-Database
5-Network
6-Distributed Systems

#میم_شبانگاهی

کاربرهای vim :)

@DevTwitter | <Javad/>

⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️⚠️
میخواهی یه جوری برنامه‌نویسی و طراحی سایت رو یاد بگیری که
سریعا بعدش وارد بازار کار بشی ❗️❗️⁉️‼️

⭕️ تخفیف ویژه با ارائه کارت دانشجویی ⭕️
⭐️ مجتمع فنی تهران نمایندگی اکباتان ⭐️

در تمامی دوره‌های دپارتمان IT :
-ICDL (مهارت های هفتگانه کامپیوتر )

-WEB DESIGN PACK (طراحی سایت)

-PYTHON PACK (آموزش صفر تا ۱۰۰ پایتون )

-JAVA (برنامه نویسی با جاوا )

-C#(برنامه نویسی با C#)

-WORDPRESS &SEO
(طراحی سایت بدون کد نویسی کلی میشه ازش پول در بیاری که ما تازه seo رو هم آموزش میدیم )

⚡️اگر میخوای خیلی حرفه‌ای وارد بازار کار بشی

⚡️اگر میخوای داخل ایران فریلنسر کار کنی

⚡️اگر میخوای پروژه‌های خارجی بگیری

⚡️ حتما دوره‌های تخصصی ما که توسط بهترین
⚡️اساتید ما دارای پروژه های ملی  هستند
و
⚡️ ویژه بازار کار هستش رو از دست ندید

⭕️جهت بهره مندی از تخفیفات حتما با شماره
⭕️های زیر تماس حاصل نمایید :

۰۲۱-۴۴۶۸۵۰۰۹
۰۹۳۷۶۶۰۴۹۳۱
ویا آیدی واتساپ :
https://wa.me/message/KAXUGNTX2QB7E1

کانال ما در تلگرام :
https://t.iss.one/mftekbatan

امروز پس از یک سال زندگی در آزمایشگاه فهمیدم که میز هامون مهتابی داره و میتونی روشن کنی :)))

عامو تازه داشتم خوشحال میشدما.. هعی..

"Dov Gabbay Prize for Logic and Foundations 2024"
————————————————

سر آقای Dov Gabbay سلامت باشه. دو سال پیش به مناسبت تولد ۷۷ سالگی شون، یک جایزه‌ای رو شروع کردن به اهدای سالانه به نام Dov Gabbay Prize که به افرادی که در حوزه‌ی منطق کار میکنن داده میشه. امسال دومین سالی هست که این جایزه رو اهدا میکنن و برندگان جایزه به خاطر حل یک open problem صد ساله این جایزه رو دریافت کردند. در ادامه جزئیات این خبر رو به همراه مقاله‌ای که منجر به حل این مسئله شد رو براتون قرار میدم.

The Jury is pleased to announce that the prize shall be awarded jointly to David Asperó (University of East Anglia, UK) and Ralf Schindler (University of Münster, Germany) for their work in the foundations of set theory, and in particular for their work connecting determinacy principles and so-called strong forcing axioms, both impinging on the nature of the continuum hypothesis (the continuum having size $\aleph_2$ as a consequence from examples of hypotheses in both directions here). Principally the award is given for their solution to the decades old problem in the area by showing that there is a concrete bridge between these two rather different approaches to the foundations of set theory. This work appeared in their paper (Martin’s Maximum^{++} implies Woodin’s Axiom) in the Annals of Mathematics 2021.

David Asperó is well known for his work in set theory, in particular for his contributions to forcing and forcing axioms.

Ralf Schindler has made significant contributions to the theory of inner models of set theory under strong theoretical axioms of infinity and hypotheses of the determinacy of infinite games.

The Dov Gabbay Prize for Logic and Foundations is an international research prize launched on the occasion of Professor Dov Gabbay's 77th birthday. This initiative honours the extraordinary and multi-faceted scientific and editorial work of Dov Gabbay, known in particular for editing an extensive collection of specialized Logic Handbooks.

Good Night 🌑✨

@CodeModule

🔥 دیگه کار و واکشی اطلاغات Database از این راحت تر؟

✅ در آماده‌سازی داده (Data wrangling ) جای ابزار sq را خیلی احساس میکردم
واقعا خودم از کار باهاش لذت بردم مخصوصا با پایپ jq 😍

ابزار sq یک syntax به سبک jq-style برای query، join، migrate و export data از منابع مختلف داده
مثل Postgres، SQLite، SQL Server، MySQL، Excel یا CSV است

فوق العاده ساده است و خروجی کاربردی و روان میده

برای نصب

/bin/sh -c "$(curl -fsSL https://sq.io/install.sh)"

با دستور sq driver ls میتوانید لیست درایور ها را ببینید

$ sq driver ls

مستندات سایت را حتما بخونید
گیت هاب

دوستان خوش‌حال میشم تا قبل از انتشار سری بعدی مجموعه پست‌های "هزار و یک باگ"، اگر تلاشی برای حل مسائلی که توی سری‌های قبلیش مطرح کردم انجام دادید رو باهام به اشتراک بذارید. اگر هم تا به حال این سری پست‌ها رو توی کانال نخوندید می‌تونید به این پست و این پست مراجعه کنید.

خلاصه که این جایزه مبارک هر دو عزیز باشه

🔵 عنوان مقاله
Streamline Your Product Delivery with monday dev

🟢 خلاصه مقاله:
مقاله‌ی مورد بحث به بررسی ابزار «monday dev» پرداخته که طراحی شده تا فرآیند توسعه محصولات را از ایده‌پردازی تا راه‌اندازی، تسریع بخشیده و ساده‌سازی کند. این ابزار همه جزئیات و مراحل لازم برای تحویل محصول را در یک محیط یکپارچه ارائه می‌دهد، به طوری که تیم‌های توسعه قادر خواهند بود به شکل مؤثرتری همکاری کنند و بر روی پیشبرد پروژه‌های خود تمرکز کنند. این سیستم با ارائه ابزارهای مدیریتی یکپارچه و امکان سفارشی‌سازی فرآیندها متناسب با نیاز تیم‌ها، به شرکت‌ها کمک می‌کند تا با سرعت و کیفیت بیشتری به نتایج مطلوب دست یابند؛ در نتیجه، موجب افزایش کارایی کلی در فرآیند توسعه محصول می‌شود.

🟣لینک مقاله:
https://golangweekly.com/link/159869/web

➖➖➖➖➖➖➖➖
👑 @gopher_academy

این ریپو یک ابزار هست که میتونید به صورت لوکال صفحه مانیتورتون و صدا را ۲۴ ساعته ضبط کنید و بعد راجع به هرچیزی که گفتید و شنیدید و دیدید سوال بپرسید. یک جور ورژن اپن سورس rewind .ai هست.
https://github.com/mediar-ai/screenpipe

@DevTwitter | <Mehdi Allahyari/>