ما اینجا نشستیم داریم فرمال مون رو میخونیم ولی این برف نمیذاره لعنتی. شرمنده دوربین گوشی هم کیفیتش پایینه :)

بچه ها اگر کسی توی نقشه OSM و توسعه اون همکاری می کنه بیاد اینجا اعلام بکنه.
کار پسندیده ای هستش
به زودی آموزش همکاری هم می‌فرستیم.

یکی از کار های تکراری هکر ها اسکن کردن پورت های سرور شماست برای اینکه بفهمن چه پورت بازی دارین و متناسب با سرویس روی اون حمله رو انجام بدن.

ابزار Portspoof همه پورت‌ هاتون رو به عنوان پورت‌های باز نشون می‌ده و جواب پکت هارو فیک میده. در نتیجه مهاجم موقع اسکن کردن گمراه می‌شه و نمی‌تونه متوجه شه کدوم پورت واقعاً بازه و کدوم بسته.

https://github.com/drk1wi/portspoof


@Linuxor

پیامی یک‌طرفه از فردی ناشناس با پیوست تصویری منتسب به #سگارو به دستم رسید، اما متاسفانه نه راهی برای ارتباط‌گرفتن گذاشته، نه برای بازنشر از اصالتش مطمئنم. سعی میکنم با چندنفر چک کنم و اگر کمی مطمئن‌شدم، اطلاع‌رسانی بشه.

🔍 ircf.space
@ircfspace

"باگ نه تنها در سافتور، بلکه در ریاضیات"
پیرو کشف یک باگ در اثبات یکی از قضایای مهم ریاضی بعد از ۶۰ سال
——————————————

با پیدایش روش‌ها فرمال برای اثبات correctness برنامه‌ها و پیدا کردن باگ و توسعه‌ی فریمورک‌ها و ابزارها، به مرور زمان کاربردهای دیگری هم برای این روش‌ها پیدا شد و یکی از اون‌ها توصیف فرمال قضایای ریاضی با این روش‌ها و اثبات درستی‌شون بود. درسته که برای هر قضیه یک اثبات وجود داره، منتهی اکثر این اثبات‌ها Machine-readable نیست و درستی‌شون توسط آدم‌هایی که اون‌ها رو خوندن تایید شده. ولی خب آدم هم اشتباه می‌کنه و شاید نتونه اگر اثبات مشکلی داره اونو پیدا کنه. آقای Kevin Buzzard از دانشگاه امپریال کالج با همکاراشون یک پروژه‌ی جاه‌طلبانه پیرامون فرمال کردن اثبات قضیه‌ی آخر فرما رو شروع کردند. اثبات این قضیه شامل برنچ‌های نوینی از ریاضیات میشه که بخش قابل توجهی ازش رو کسی Machine-readable یا فرمال نکرده. یکی از این بخش‌ها مربوط به هندسه میشه که بهش میگن crystalline cohomology. زمانی که داشتن این مفهوم رو به یک زبان فرمال machine-readable ترجمه می‌کردند، آقای Antoine Chambert-Loir از دانشگاه Paris Cité به یک اروری بر میخورن. این ارور مربوط میشد به بخشی از یک اثبات قدیمی که پایه‌های crystalline cohomology رو شکل میداد. این اثبات توسط یک ریاضی‌دان فرانسوی به نام Norbert Roby در سال ۱۹۶۵ در یک مقاله انجام شده بود و مشخص شده که اشکال داره. وقتی دقیق شدن به اثبات دریافتن که آقای Roby یادشون رفته بود یک سیمبلی رو بین دو خط قرار بدن و باعث invalid شدن اثبات شده بود. از اونجایی که برای crystalline cohomology اثبات‌هایی با استراتژی‌های مختلفی داده بودن مشکل بزرگی پیش نیومد ولی اگر تنها اثبات موجود همین اثبات آقای Roby بود اون وقت تمام کارای جدیدی که روی crystalline cohomology انجام شده بود هم زیر سوال میرفت.

بعد از اینکه آقای Buzzard این ارور رو با آقای Brian Conrad که استاد دانشگاه Stanford هستند در میون گذاشت، یک اثبات جدای درست دیگه پیدا کرد برای اون چیزی که آقای Roby قصد داشت اثبات کنه و خب این نشون داد که باگ پیدا شده به قولی Fatal Error نیست.

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

جا داره بگم که تلاش‌ها برای فرمال کردن اثبات قضیه‌ی آخر فرما داره با استفاده از Theorem Prover Lean انجام میشه که علاوه بر ریاضیات میشه باهاش باگ‌های سافتوری هم پیدا کرد.

چگونه در محیط توسعه لاراول تمام کوئری‌ها را مشاهده کنیم؟
اگر در حال استفاده از محیط توسعه هستید (مثل .env با APP_ENV=local)، می‌توانید به سادگی کوئری‌ها را مشاهده کنید. برای این کار، باید در فایل .env خط زیر را اضافه کنید:
DB_DEBUG=true

کاربرد : در محیط توسعه، می‌توانید به راحتی تمام کوئری‌ها را مشاهده کنید تا روند اجرای آن‌ها را بررسی کنید.


@DevTwitter | <mahdi kavousi/>

یکی از اولین نسخه‌های ویم برای آمیگا

کار از آتاری شروع شد. پیشرو ویم، استیوی (ویرایشگر اس تی برای علاقه‌مندان به وی آی)، توسط تیم تامپسون برای آتاری اس تی در سال ۱۹۸۷ ایجاد شد و توسط تونی اندروز و جی.آر. (فرد) والتر توسعه یافت.

بر اساس نسخه‌ی موجود استیوی، برام مولنار در سال ۱۹۸۸ کار بر روی ویم برای کامپیوتر آمیگا را آغاز کرد، و اولین انتشار عمومی (ویم نسخه ۱.۱۴) در سال ۱۹۹۱ انجام شد.

#ویم

مشکل استفاده از زبان ++C این است که شما را مجبور می‌کند قبل از انجام هر کاری همه چیز را بدانید.


@Linuxor ~ Perl Creator

2025 سال ایجنت های هوش مصنوعی است!

اکنون پلتفرم Runner H از محصول جدید خود پرده برداشت؛
بدون هیچ بهانه ای با ایجنت این AI، ایدهای خود را تبدیل به واقعیت کنید!
اکنون این ایجنت در حالت "لیست انتظار" است می‌توانید از لینکی که در ادامه آمده به اولین کاربران دارای دسترسی تبدیل شوید:
https://www.runnerh.com/

@DevTwitter | <Gratomic AI Bot/>

🔶 وال‌استریت ژورنال گزارش می‌دهد استارتاپ هوش مصنوعی آنتروپیک احتمالاً در قراردادی جدید، دو میلیارد دلار دیگر سرمایه جذب می‌کند تا ارزش بازارش به ۶۰ میلیارد دلار برسد. این اتفاق چند ماه پس از جذب ۴ میلیارد دلار سرمایه از آمازون رخ می‌دهد.

#خبر

@TheRaymondDev

رضا پدرمون بود، محمدرضا دانش پور.

مادرم همیشه پدر رو رضا صدا می زد. پدرم عاشق یادگیری بود، سال های آخر عمرش به خاطر مشکلات بینایی که داشت، برای یادگیری از پادکست استفاده می کرد. اون الهام بخش ما بود برای یادگیری و رشد.
#بورسیه_رضا، بورسیه ای هست که ما هر سال در روز سالگرد پدرم (19 دی ماه) ثبت نامش رو شروع خواهیم کرد. توی این بورسیه، ما 1 سال کامل دو نفر رو برای تبدیل شدن به یک مهندس نرم افزار خبره که بتونه یک خانواده رو پشتیانی کنه آموزش می دیم. هرچه که در این مسیر یادگرفته ایم رو بدون منت در اختیار 2 نفر منتخب قرار خواهیم داد.

تمرکز #بورسیه_رضا بر روی نوجوان های مستعدی هست که دسترسی آنها به آموزش و رشد به دلایلی مثل : هزینه، سخت افزار، دوری از مراکز آموزشی، نبود امکانات و ... غیر ممکن است، طراحی شده است.

ممنون میشم فقط افرادی که به بورسیه تحصیلی نیاز دارند رو به این دوره معرفی کنید تا هزینه های بررسی و انتخاب برای ما کاهش پیدا کنه.



برای ثبت نام این دوره می تونید از این بخش اقدام کنید :

https://B2n.ir/rezbrs1403
برای اطلاعات بیشتر و پرسش های بیشتر هم می تونید این بخش رو ببینید :
https://B2n.ir/rezbrs

🔸chatgpt-rtl-toggle

فارسی نوشتن chatgpt بصورت دایرکشن ltr هستش
یه افزونه براش زده بودن ولی خب برای کروم بود الان با Violentmonkey راحت میتونید توی هر مرورگری استفاده کنید
یه گزینه اضافه میکنه (قرمز کشیدم) میتونید rtl بکنید و تا حد زیادی خوانا بشه

https://gist.github.com/maanimis/e73c308711bad4dc30105d4d25fe98b7

@TheRaymondDev

با استفاده از Fallback Routes در لاراول میتونیم مسیرهایی که وجود ندارن (مثل آدرس‌های اشتباه) رو به خوبی مدیریت کنیم.
یعنی بجای نمایش صفحه‌ خطای دیفالته لاراول، یک صفحه‌ی 404 کاستومایز شده و زیبا به کاربران نشون بدیم.
#Laravel
@GoldenCodeir
(به‌منبع و مثالش دقت کنید 👇🏾)
https://x.com/thelarrybarker/status/1873216756585578777?t=XRUrSUzmCADikGkArfGXVA&s=35

دوستان میخوام علممو راجب Network بیشتر کنم و چیزایی که یاد میگیرم رو اینجا شیر کنم
میخوام بایه ترتیب خاص تایه مدت درمورد Network پست بزارم و فکرنم ۸ ۹ تایی میشن شایدم بیشتر (هرچی بیشتر یادبگیرم بیشتر میزارم)
نظرتون چیه؟

بستگی به پیچیدگی و تیم پروژتون باید تصمیم بگیرید از چه استراتژی برنچینگ Git استفاده کنید

این مقاله اومده 6 نوع استراتژی برنچینگ Git برای DevOps همراه با جوانب مثبت و منفی اونهارو نوشته

https://dev.to/juniourrau/6-types-of-git-branching-strategy-g54

@Linuxor