Forwarded from مشقِ نوشتن (AliReza Fereydouni)
در همین راستا هم نگاه کنید به «قضیه ناتمامیت گودل»¹ در منطق ریاضی.
به بیان ساده میگه اگه یک ساختار منطقی و رسمی معرفی کنید که چهار عمل اصلی + اصل استقرای طبیعی (همون که باهاش تو مدرسه قضیه اثبات میکردیم که پایه استقرا داره و از روی فرض درستی برای حالت n درستی برای حالت n+1 رو اثبات میکنیم) میشه گزارهای رو توی اون دستگاه منطقی ساخت که درسته اما قابل اثبات نیست. (تلاش برای اثبات درستی یا نا درستی اون گزاره هر دو به تناقض میرسه اما از نظر ساختاری اون گزاره کاملا درست هست و به لحاظ معناشناسی هم درستی اون گزاره رو میشه نشون داد)
این قضیه توی ریاضیات هم باعث میشه به این فکر کنم که «کامپیوترها هیچ وقت به انسانها نمیرسند.» :)
¹ قضیه ناتمامیت گودل دو نسخه داره. من دارم این جا از ناتمامیت دوم صحبت میکنم که کلیتر هست.
اطلاعات بیشتر:
۱. https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
۲. https://plato.stanford.edu/Entries/goedel-incompleteness/
به بیان ساده میگه اگه یک ساختار منطقی و رسمی معرفی کنید که چهار عمل اصلی + اصل استقرای طبیعی (همون که باهاش تو مدرسه قضیه اثبات میکردیم که پایه استقرا داره و از روی فرض درستی برای حالت n درستی برای حالت n+1 رو اثبات میکنیم) میشه گزارهای رو توی اون دستگاه منطقی ساخت که درسته اما قابل اثبات نیست. (تلاش برای اثبات درستی یا نا درستی اون گزاره هر دو به تناقض میرسه اما از نظر ساختاری اون گزاره کاملا درست هست و به لحاظ معناشناسی هم درستی اون گزاره رو میشه نشون داد)
این قضیه توی ریاضیات هم باعث میشه به این فکر کنم که «کامپیوترها هیچ وقت به انسانها نمیرسند.» :)
¹ قضیه ناتمامیت گودل دو نسخه داره. من دارم این جا از ناتمامیت دوم صحبت میکنم که کلیتر هست.
اطلاعات بیشتر:
۱. https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
۲. https://plato.stanford.edu/Entries/goedel-incompleteness/
🍓2🙊2
Mahi in Tech
https://devblogs.microsoft.com/dotnet/refactor-your-code-with-collection-expressions/
When initializing a collection with a collection expression, the compiler generates code that is functionally equivalent to using a collection initializer. Sometimes the generated code is much more efficient than using a collection initializer. Consider the following example:
The rules for a collection initializer require that the compiler call the Add method for each element in the initializer. However, if you’re to use the collection expression syntax:
The compiler generates code that instead uses AddRange, that might be faster or better optimized. The compiler is able to make these optimizations because it knows the target type of the collection expression.
List<int> someList = new() { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };The rules for a collection initializer require that the compiler call the Add method for each element in the initializer. However, if you’re to use the collection expression syntax:
List<int> someList = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
The compiler generates code that instead uses AddRange, that might be faster or better optimized. The compiler is able to make these optimizations because it knows the target type of the collection expression.
🙊1
اگر میخواهید در سیستمدیزاین بهتر عمل کنید، این تجربهها رو حتما مطالعه کنید 👍
14) How PayPal Was Able to Support a Billion Transactions per Day With Only 8 Virtual Machines:
https://lnkd.in/eqcb7MpP
13) Microservices Lessons From Netflix:
https://lnkd.in/eZSM3CRB
12) How Stripe Prevents Double Payment Using Idempotent API:
https://lnkd.in/erMkqwq4
11) How YouTube Was Able to Support 2.49 Billion Users With MySQL:
https://lnkd.in/efmJw4Dx
10) Eight Reasons Why WhatsApp Was Able to Support 50 Billion Messages a Day With Only 32 Engineers:
https://lnkd.in/gRqBgXfc
9) How LinkedIn Adopted Protocol Buffers to Reduce Latency by 60%:
https://lnkd.in/egcFxe2t
8) How Disney+ Scaled to 11 Million Users on Launch Day:
https://lnkd.in/eBnkwfY2
7) How Uber Finds Nearby Drivers at 1 Million Requests per Second:
https://lnkd.in/eeqH9Hjh
6) How Cloudflare Supports 55 Million Requests per Second With 15 Postgres Clusters:
https://lnkd.in/eEQP6Apw
5) How Amazon S3 Achieves 99.999999999% Durability:
https://lnkd.in/eutGiK35
4) How to Scale an App to 10 Million Users on AWS:
https://lnkd.in/eU736g9Q
3) How Tinder Scaled to 1.6 Billion Swipes per Day:
https://lnkd.in/en65fv-W
2) How Disney+ Hotstar Scaled to 25 Million Concurrent Users:
https://lnkd.in/gd63MjHV
1) How Uber Computes ETA at Half a Million Requests per Second:
https://lnkd.in/eVKV2ePC
14) How PayPal Was Able to Support a Billion Transactions per Day With Only 8 Virtual Machines:
https://lnkd.in/eqcb7MpP
13) Microservices Lessons From Netflix:
https://lnkd.in/eZSM3CRB
12) How Stripe Prevents Double Payment Using Idempotent API:
https://lnkd.in/erMkqwq4
11) How YouTube Was Able to Support 2.49 Billion Users With MySQL:
https://lnkd.in/efmJw4Dx
10) Eight Reasons Why WhatsApp Was Able to Support 50 Billion Messages a Day With Only 32 Engineers:
https://lnkd.in/gRqBgXfc
9) How LinkedIn Adopted Protocol Buffers to Reduce Latency by 60%:
https://lnkd.in/egcFxe2t
8) How Disney+ Scaled to 11 Million Users on Launch Day:
https://lnkd.in/eBnkwfY2
7) How Uber Finds Nearby Drivers at 1 Million Requests per Second:
https://lnkd.in/eeqH9Hjh
6) How Cloudflare Supports 55 Million Requests per Second With 15 Postgres Clusters:
https://lnkd.in/eEQP6Apw
5) How Amazon S3 Achieves 99.999999999% Durability:
https://lnkd.in/eutGiK35
4) How to Scale an App to 10 Million Users on AWS:
https://lnkd.in/eU736g9Q
3) How Tinder Scaled to 1.6 Billion Swipes per Day:
https://lnkd.in/en65fv-W
2) How Disney+ Hotstar Scaled to 25 Million Concurrent Users:
https://lnkd.in/gd63MjHV
1) How Uber Computes ETA at Half a Million Requests per Second:
https://lnkd.in/eVKV2ePC
Please open Telegram to view this post
VIEW IN TELEGRAM
🍓1🙊1
https://www.bleepingcomputer.com/news/security/malicious-visual-studio-code-extensions-with-millions-of-installs-discovered
اینها متنبازشون هستن تازه😐 وقتشه بریم توی ویم داتنت کد بزنیم :>
اینها متنبازشون هستن تازه
Please open Telegram to view this post
VIEW IN TELEGRAM
BleepingComputer
Malicious VSCode extensions with millions of installs discovered
A group of Israeli researchers explored the security of the Visual Studio Code marketplace and managed to "infect" over 100 organizations by trojanizing a copy of the popular 'Dracula Official theme to include risky code. Further research into the VSCode…
🎉1🙊1
Forwarded from Akbari’s Channel
یه سوشال اپی به نام Cara اومده که فقط محتوایی که توسط انسان ساخته شده اونجا اجازه نشر داره.
این به کنار اصلا کانتکس حرفم این نیست، دولوپرش اومده از این سرویسای اماده vercel استفاده کرده، بعد ۱۱۶ هزار دلار واسش صورتحساب اومده.
شما وقتی دارید از این سرویسای اماده که هلو بپر تو گلو هستن استفاده میکنید اول از هرچیز باید یه مکسیموم هزینه قابل پرداخت براش تنظیم کنی که اینجوری نشه.
حالا این ورسل بیشتر روی توسعه محصولای جی اسی تمرکز کرده و یه سری سرویسا مثل ای دبلیو اس فانکشنز و خدمات استوریج و هوش مصنوعی میده.
حالا اهمیت اینکه خودتون بتونید از سرور خام سرویس بالا بیارید بولد میشه.
هکرنیوز با این همه یوزر اگر اشتباه نگفته باشم ماهی ۲۰۰ دلار خرج دوتا سرور میده.
اینجا بحث خوب مهندسی کردن و خوب نگهداری کردنه.
خلاصه اینو نوشتم که بگم وقتی دارید از چیزای اماده استفاده میکنید حواستون باشه، یا دست کم یه پلنی برای وقتی که این مشکلا پیش اومد داشته باشید.
اکثر این سرویسا هم نمونه های سلف هوست اوپن سورس دارن(شما میتونی رو سرور خودت مشابه رو بیاری بالا) که من طرفدار اینم.
این به کنار اصلا کانتکس حرفم این نیست، دولوپرش اومده از این سرویسای اماده vercel استفاده کرده، بعد ۱۱۶ هزار دلار واسش صورتحساب اومده.
شما وقتی دارید از این سرویسای اماده که هلو بپر تو گلو هستن استفاده میکنید اول از هرچیز باید یه مکسیموم هزینه قابل پرداخت براش تنظیم کنی که اینجوری نشه.
حالا این ورسل بیشتر روی توسعه محصولای جی اسی تمرکز کرده و یه سری سرویسا مثل ای دبلیو اس فانکشنز و خدمات استوریج و هوش مصنوعی میده.
حالا اهمیت اینکه خودتون بتونید از سرور خام سرویس بالا بیارید بولد میشه.
هکرنیوز با این همه یوزر اگر اشتباه نگفته باشم ماهی ۲۰۰ دلار خرج دوتا سرور میده.
اینجا بحث خوب مهندسی کردن و خوب نگهداری کردنه.
خلاصه اینو نوشتم که بگم وقتی دارید از چیزای اماده استفاده میکنید حواستون باشه، یا دست کم یه پلنی برای وقتی که این مشکلا پیش اومد داشته باشید.
اکثر این سرویسا هم نمونه های سلف هوست اوپن سورس دارن(شما میتونی رو سرور خودت مشابه رو بیاری بالا) که من طرفدار اینم.
✍2🙊1
Please open Telegram to view this post
VIEW IN TELEGRAM
🐳3🙊2
یکی از مواردی که بهنظرم خیلی به خوانا و تمیزتر شدن کُد کمک میکنه و همیشه سعی در رعایت کردن اون رو داشتم، این هست که کلا سعی کنیم تا حد امکان از nested شدن کُد جلوگیری کنیم
مثلا اگر همچین چیزی داریم:
بهتره اون رو به شکل زیر بنویسیم:
🔺 @MahdiyarDev
مثلا اگر همچین چیزی داریم:
function test({count, size}) {
if(count < 10)
{
//
//
// code #1
//
//
if (size > 30)
{
//
//
// code #2
//
//
} else
return "error 1";
}
return "error 2";
}بهتره اون رو به شکل زیر بنویسیم:
function test({count, size}) {
if(count >= 10)
return "error 2";
//
//
// code #1
//
//
if (size <= 30)
return "error 1";
//
//
// code #2
//
//
}Please open Telegram to view this post
VIEW IN TELEGRAM
👍2🙊2😁1
DEV Community
Avoiding Beginner Mistakes Hampering You to Scale Backend⚡️
This blog covers how I unlocked performance that allowed me to scale my backend from 50K requests →...
Please open Telegram to view this post
VIEW IN TELEGRAM
🙊1
level up your commits.pdf
105.2 KB
Please open Telegram to view this post
VIEW IN TELEGRAM
🍓1🙊1