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

"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/>

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

🌟 با افتخار اعلام می‌کنیم که مجموعه کانال‌های لابدون رسماً افتتاح شد!


🧐 حالا لابدون چیه؟
در زبان گیلکی به "تار عنکبوت" در شرق گیلان لابدون و در غرب گیلان لابدآن می‌گن.

🍾و حالا ما با این نام، مجموعه‌ای از بهترین منابع آموزشی و خبری رو برای شما آماده کردیم!

👇 لیست کانال‌های مجموعه Labdon با به‌روزترین اخبار، آموزش‌ها و ترفندها در حوزه‌های مختلف:

➖➖➖➖➖➖➖➖
🔵 گولنگ - همه چیز از اخبار تا نکات کلیدی
🔴 @gopher_academy
➖➖➖➖➖➖➖➖
🔵 موقعیت شغلی های گولنگ چه ایرانی و چه خارجی
🔴 @gopher_job

➖➖➖➖➖➖➖➖
🔵 انواع دیتابیس ها ردیس مانگو پستگرس و سایر دیتابیس ها
🔴 @database_academy
🟢 حوزه های تحت پوشش (redis , mysql , postgresl , mongo ,etc)
➖➖➖➖➖➖➖➖
🔵 دنیای بلاکچین و ارز های دیجیتال
🔴 @Blockchain_labdon
🟢 حوزه های تحت پوشش (Bitcoin, Ethereum, Altcoins, Blockchain, Policy & Regulations, AI, NFTs, DeFi)

➖➖➖➖➖➖➖➖
🔵 مهندسی نرم افزار
🔴 @software_labdon
🟢 حوزه های تحت پوشش (Engineering, Architecture, Design, Testing, Security , QA)

➖➖➖➖➖➖➖➖
🔵 لینوکس- از توزیع‌ها تا ترفندهای امنیتی
🔴 @linux_labdon
🟢 حوزه های تحت پوشش (Linux Distributions, Open Source Software, Security Tips ,New Releases & Features)

➖➖➖➖➖➖➖➖
🔵 دوآپـس - ابزارها و روندهای جدید
🔴 @devops_labdon
🟢 حوزه های تحت پوشش (CI/CD Pipelines, Cloud Infrastructure, Containerization & Orchestration, Monitoring & Performance, Infrastructure as Code, Security in DevOps)

➖➖➖➖➖➖➖➖
🕸 @labdon_academy

خب خب .. من دو سه هفته ای سفر بودم. نصف تفریح نصف کار. سعی می کنم ازش براتون بگم و ازش دو سه تا ویدئو هم ضبط کردم (قوانین هکرها) ولی علی الحساب دیدم حالا که برگشته ام ویدئوی قدیمی تری که منتشر نشده رو منتشر کنم تا ببینیم کی به کیه و رادیو چی می گه (:

توی این مساله مرسوم، یکسری استرینگ داریم که می خوایم طولانی ترین عبارتی که اول همه شون مشترک است رو پیدا کنیم.

https://youtu.be/hvdWYPzhnEk

فرانت کاری توی چنل هست که بتونه این ui رو در بیاره؟😏

وقتی اندپوینت OpenAI استتوس کد 200 میده:

https://youtube.com/playlist?list=PLve39GJ2D71wSwRQLp_h8B60pKgS85StC&si=GfEyLfC1dVWawvjv

این پلی لیست خوبیه برای concurrency در go

زیادی کد خفن با فکر خودتون ننویسید

هفته پیش میخواستم یه وب آپ کوچولو درست کنم گفتم بزار از کد های وب اپ تلگرام نگاه کنم با این ایده که اونا بلدن؛ داشتم کد های جاوااسکریپتش رو نگاه میکردم که دیدم یه سری جاها خودشون به مشکل خوردن رفتن کد رو مستقیم از stackoverflow کپی کردن و لینک stackoverflow رو بالاش کامنت کردن.

اولش تصورم این بود که یه تیم خفن اون پشته و برای همه مسائل میشینن فکر میکنن و حلش میکنن،اینو دیدم کل تصوراتم بهم ریخت😂😂😂


🐧 @Linuxor

🔰دستورات کمتر دیده شده در لینوکس : سری هفدهم:
🔰به منظور حفظ حریم خصوصی privacy in linux و محافظت سیستم در برابر روش جمع‌آوری و تحلیل داده‌ها ا telemetry data collection میتوانید دو مورد زیر را انجام بدهید:
ابتدا بررسی و پیدا کردن اسم ماژول وب کم و میکروفن:

sudo lsmod | grep uvc

sudo lsmod | grep snd

🔸غیرفعال کردن وب‌کم:
این دستور ماژول مربوط به وب‌کم را از کرنل حذف می‌کند و وب‌کم غیرفعال می‌شود.

sudo modprobe -r uvcvideo

🔸برای فعال‌سازی وب کم

sudo modprobe uvcvideo

🔸غیرفعال کردن میکروفون:
این دستور ماژول مربوط به میکروفن را از کرنل حذف می‌کند و میکروفن غیرفعال می‌شود.

mixer set Capture nocap
lsmod | grep snd_hda_intel

🔸برای فعال‌سازی مجدد میکروفون:

amixer set Capture cap
sudo modprobe  snd_hda_intel

——————————————-
نویسنده: حسین سیلانی
منبع : کانال لینوکسی: لینوکس تی ان تی
@linuxtnt

حمایت از کانال-donate
https://zarinp.al/learninghive.ir

رندرینگ در Next.js

در دنیای توسعه وب، یکی از دلایل محبوبیت Next.js نحوه مدیریت فرآیندهای رندرینگ است. این
فریمورک انعطاف‌پذیری زیادی در ارائه انواع مختلف رندرینگ برای بهینه‌سازی عملکرد و تجربه کاربری فراهم می‌کند. در ادامه به انواع رندرینگ در Next.js می‌پردازیم:

رندرینگ سمت سرور (SSR) - Server Side Rendering:

در این روش، صفحه وب در سمت سرور رندر شده و به صورت HTML کامل به مرورگر کاربر ارسال می‌شود. این نوع رندرینگ برای سئو (SEO) و دسترسی سریع به محتوای اولیه بسیار موثر است.

رندرینگ سمت کاربر - کلاینت (CSR) - Client Side Rendering:

در CSR، صفحه ابتدا به صورت یک فایل HTML خالی ارسال می‌شود و جاوا اسکریپت در مرورگر بارگذاری شده و محتوای پویا را ایجاد می‌کند. این نوع رندرینگ برای اپلیکیشن‌های تک‌صفحه‌ای (SPA) که تعاملات زیادی دارند، مناسب است.

رندرینگ استاتیک (SSG) - Static Site Generation:

در این روش، صفحات به صورت استاتیک و در زمان ساخت (build time) تولید می‌شوند و به کاربران ارائه می‌گردند. این نوع رندرینگ بسیار سریع و مناسب برای محتوای ثابت است.

رندرینگ هیبریدی (ISR) - Incremental Static Regeneration:

ترکیبی از رندرینگ استاتیک و دینامیک است که به شما اجازه می‌دهد صفحاتی را به صورت استاتیک ایجاد کنید و بعداً بدون نیاز به بازسازی کل سایت، آن‌ها را به‌روزرسانی کنید. این روش برای بهبود عملکرد در سایت‌های پویا مفید است.
Next.js با پشتیبانی از این انواع مختلف رندرینگ، انعطاف و سرعت بالایی برای ایجاد اپلیکیشن‌های وب پیشرفته فراهم می‌کند.

@DevTwitter | <Mohsen Abbasi/>

🔶 جذب سرمایه ۶٫۶ میلیارد دلاری پردردسر OpenAI

شرکت OpenAI با چالش بزرگی دست‌وپنجه نرم می‌کند، زیرا این شرکت باید طی دو سال آینده به سوددهی برسد؛ وگرنه امکان دارد مجبور به بازگرداندن سرمایه به سرمایه‌گذاران شود. در چنین سناریویی احتمال درگیری‌های حقوقی وجود دارد.

#خبر
@TheRaymondDev

کیوت ۶.۸ که LTS یا Long time support هست منتشر شد

🔹 مهم‌ترین تغییرات این نسخه پشتیبانی arm روی همه پلتفرم‌ها هست. با کامل شدن این امکان کیوت ۶.۸ میتونه علاوه بر مک و لینوکس که قبلا پشتیبانی میشد، روی ویندوز arm هم کامپایل بشه.

🔹 علاوه بر اون پشتیبانی از Apple Vision Pro و Meta Quest 3 و یک سری دستگاه دیگه هم بهش اضافه شده که میتونید برنامه‌هاتونو به این دستگاه‌ها هم پورت کنید.

🔹 همینطور برای نسخه‌های آخر اندروید، مک و آی‌او‌اس بهینه شده تا بهتر روی این سیستم‌عامل‌ها کار کنه و با آخرین امکاناتشون هماهنگ باشه.

🔹 از طرفی در این نسخه امکاناتی اضافه شده که شما میتونید فریم‌ورک رو موقع کامپایل طوری کامپایل کنید که حجم کمتری بگیره و استفاده از منابعش کمتر بشه (احتمالا با حذف قابلیت‌هایی که نیاز ندارید)

🔹 ماژول QtGraph هم تغییراتی داشته تا پشتیبانی از داده‌های سه‌بعدی رو بصورت کامل پشتیبانی کنه.

🔹 ماژول Multimedia تغییراتی برای بهبود عملکرد و همینطور API داشته و از طرفی روی لینوکس پشتیبانی از Wayland به کلاس‌هایی مثل QScreenCapture اضافه شده.

🔹 به ماژول Qt Quick افکت‌ها و امکانات بیشتری برای برای کار با SVG ها اضافه شده.
از طرفی روی Qt Quick Controls بهینه‌سازی‌ها و تغییراتی اعمال شده که با کامپیوترهای دسکتاپ هماهنگی بیشتری داشته باشه.
ناگفته نمونه که از مشکلات بزرگ Qt Quick همیشه این بوده که برای کار با دستگاه‌های تاچ بخصوص اندروید و آی‌او‌اس طراحی شده و روی دسکتاپ‌ها مثل Widget ها هیچوقت نتونست به اون عملکرد ایده‌آلش برسه. برای همین تو هر نسخه‌ی جدید که منتشر میشه Qt تغییرات و بهینه‌سازی‌های زیادی برای Qt Quick در جهت بهبود عملکرد روی دسکتاپ‌ها اعمال میکنه.

🔹 ماژول جدیدی به Qt اضافه شده تحت نام XR Module. من باهاش کار نکردم و خیلی در موردش نخوندم، ولی بصورت کلی برای کار و پشتیبانی از دیوایس‌های VR و XR هست و بنظر میاد کیوت هم تصمیم گرفته به سمت این دیوایس‌ها بره و پشتیبانی از این دیوایس‌هارو به فریم‌ورکش اضافه کنه. احتمالا باید ماژول جذابی باشه.

🔹 بهینه‌سازی‌های نمایشی در Qt Quick 3D جهت بهبود نمایش سایه‌ها و متریال‌ها انجام شده.

🔹 به ماژول Network قابلیتی اضافه شده که دیگه میتونه روی local socket (منظور localhost نیست) ریکوئست‌های http ارسال کنه که باید امکان جالبی باشه.
از طرفی قابلیت send DNS over TLS به این ماژول اضافه شده و ابزارهای Qt GRPC و Qt Protobuf هم که قبلا پشتیبانی میشدن، پشتیبانیشون کامل شده و تمامی امکاناتشون تو این نسخه پشتیبانی میشه.
به علاوه یک سری بهینه‌سازی‌های عملکردی.

🔹 در ماژول Core هم تغییراتی اعمال شده مثل اضافه شدن کلاس QChronoTimer که از std::chrono بخ عنوان بک‌اندش اضافه میکنه.
همچنین کلاس‌های QString و QByteArray و QList و QHash بهینه‌سازی‌هایی داشتند.
همینطور برای اون‌ها که روی اندروید کدهاشونو میخوان اجرا کنن سری کلاس‌هایی تحت عنوان QtJniTypes اضافه شده که بهشون کمک میکنه راحت‌تر از داده‌های جاوایی و اندرویدی توی کدهاشون استفاده کنن.

🔹 ماژول‌های دیگه مثل Qt Gui و Qt SQL و Qt WebEngine و ... بهینه‌سازی‌ها و تغییرات جزیی‌تر داشتند که بصورت کامل میتونید توی release note نسخه بخونید:
https://code.qt.io/cgit/qt/qtreleasenotes.git/about/qt/6.8.0/release-note.md

لینک خبر انتشار:
https://www.qt.io/blog/qt-6.8-released

@Bardiaism

بالاخره می‌تونیم بگیم که یک برنده‌ی جایزه‌ی تورینگ داریم که یک نوبل واقعی هم تو زندگیش برده :) اونم تو فیزیک :)

🔵 عنوان مقاله
Cryptography in Go: AES Encryption

🟢 خلاصه مقاله:
مقاله‌ای که مورد بررسی قرار گرفته، بخش نهایی از سه بخشی از کتاب جان در مورد زبان برنامه‌نویسی Go و رمزنگاری است. در این بخش، خوانندگان با چالش‌هایی در خصوص رمزگذاری و رمزگشایی با استفاده از الگوریتم AES در Go روبرو می‌شوند. جان در ادامه پاسخ‌ها و توضیحات مفصلی در رابطه با این مسائل ارائه داده است. این مقاله نه تنها برای فراگیران جدید که می‌خواهند نحوه استفاده از AES در Go را یاد بگیرند مفید است بلکه به کاربران مجرب نیز کمک می‌کند تا درک عمیق‌تری از مفاهیم پیشرفته در رمزنگاری داشته باشند. ارائه مثال‌های کد و توضیحات جان به شکلی عملی و کاربردی به بهبود مهارت‌های برنامه‌نویسی خوانندگان کمک می‌کند.

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

➖➖➖➖➖➖➖➖
👑 @gopher_academy