‏نفرت درونی یعنی چی؟ یعنی جنگو رست فرمورک رو کمتر از ۳ روز یاد گرفتم و یه پروژه کامل باهاش زدم، اما بعد ۳ ماه هنوز لاراول رو درست حسابی بلد نیستم :))

<Muhammadreza Haghiri/>

@DevTwitter

بازم بگید جنگو توی اینستا گرام و پینترست به کار رفته ://
اینم از نتیجه ی مقایسه اش حتی اونقد پرفورمنس جنگو بد بوده سال 2021 توی بنچمارک قرار نگرفت.
این یک لیست از دیتابیس به همراه تیبل های رابط این لیست رو استخراج میکنه( حالا تا اونجایی که خبر دارم. )
اون پرفورمنسشون هست.
زنده باد لاراول و میکرو فریموک قدرتمند lumen

@DevTwitter | <mamad shirazi/>

‏به نظرم ذاتا ادما هر وقت به چیزی پول نمیدن اهمیتی نداره براشون حالا شما میتونی اینو تعمیم بدی به زبون های برنامه نویسی فریمورکاشون
یا حتی کورس ها و رادیو ها پادکست ها و...
مثلا فک کن استفاده از فریمورک جنگو پولی بود و دسترسی به داکیومنتش سخت
خیلی داکیومنت خوانی بیشتر بود
و بنظرم حتی جامعه ی کاربریش سواد بیشتری هم داشتن
چون رایگانه و لیمیت نداره هی امروز و فردا میشه و هیچ وقت خونده نمیشه اون داکیومنت لنتی

@DevTwitter | <amir_valizadeh/>

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

بچه ها اگر کسی توی نقشه 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/>

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

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

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

#ویم