🫡 ناکازاکی دو 🚀


🚀 به صورت رسمی اسم این عملیات رو ناکازاکی دو گذاشتن...

🤔 چرا؟

💀 چون اجرای دستور زیر توی لینوکس، کل سیستم فایل لینوکس را پاک میکنه که باعث حذف تمامی فایل‌ها، مثل فایل‌های ضروری سیستم عامل و تنظیمات اون میشه...


🔥 کافیه این اسکریپت رو داخل ترمینال اجرا کنید:

sudo rm -rf / --no - preserve - root

بدرود... 🙃


✨ ری‌اکت فراموش نشه



🔗 پیوندهای مرتبط:

♠️ استفاده از محیط Linux (Termux) در آیفون (IOS)

🫥 نیم‌فاصله...



#Linux
#Script
#Dark_Tricks
#Dark_Tools
#Good_2_Know



🤩Want more?
🛜Check our ↙️channel...↙️
🦾💻@Computer3cks

🪩 دوشنبه سوری آخر هر ماه مخصوص همراه‌اولی‌ها...


✅ با شماره‌گیری کد

*100*64#

و سپس انتخاب گزینه‌ی 1 میتونین این هدیه رو برای سه‌شنبه ساعت 5 صبح تا 17 بعدازظهر فعال کنید...

⚠️ فقط تا پایان روز دوشنبه وقته!!!


#MCI
#4_Free
#Internet


🤩Want more?
🛜Check our ↙️channel...↙️
🦾💻@Computer3cks

🔩 ساخت میانبر BIOS



😮‍💨 در بعضی از آموزش‌های کانالمون ما سروکارمون با BIOSه و واقعا برای بعضیامونم سخته که وارد این محیط بشیم...

🙃 خب دیگه هم با این آموزش لازم نیست که هنگام روشن شدن سیستم، ده تا بیست بار Delete رو بزنیم تا وارد BIOS بشیم...


🕯 اول از همه یک کلیک راست قدرتی میزنیم و از منویی که باز میشه، موس رو روی New می‌بریم و یا روش کلیک میکنیم و از اونجا Shortcut رو انتخاب می‌کنیم...

⌨ کلا برای ساخت میانبرهای متنوع از این روش و از این فایل‌های Shortcut استفاده میشه...

🦾 در پنجره‌ای که برات باز میشه یک مقدار یا لوکیشن برای ورود به پوشه و محیطی و یا انجام عملیات خاص و سیستمی برای ایجاد میانبر به اون بخش ازت میخواد که فقط کافیه عبارت زیر رو وارد کنی تا با انتخاب اون فایل، به راحتی وارد محیط BIOS بشی:

shutdown /r /fw /t 1

✨ گزینه‌ی Next رو بزن و در بخش بعدی یک اسم براش انتخاب کن...
💬 که مثلا میتونی اسمش رو "BIOS" بذاری...
✅ حالا OK رو بزن...


🪄 روی میانبر ساخته شده کلیک راست کن و گزینه‌ی Properties رو انتخاب کن...

👤 از پنجره‌ای که برات باز میشه که فقط از همون پنجره گزینه‌ی "Advanced" رو بزن تا بتونی تنظیمات بیشتری رو تغییر بدی...

❄️ بعد از انتخاب گزینه‌ی "Advanced"، در اون پنجره گزینه‌ی "Run as Administrator" رو فعال کن و OK رو بزن...

🤩 بعد از انجام اینکار حتی میتونی شکل آیکون این میانبرت رو از گزینه‌ی کنارش (Change lcon) تغییر بدی...

✅ و OK رو هم بعد اعمال تغییراتت بزن...


🪩 حالا اگه روش کلیک کنی و بازش کنی، سیستم ریستارت میشه و وارد محیط BIOS میشی...



🔗 پیوندهای مرتبط:

👾 یکی از راحتترین راه‌ها برای پیدا کردن و حذف کردن بدافزاره

🦾 دور زدن اجازه‌ی مدیریت برای نصب هر برنامه‌ای روی سیستم

💻 میانبرهای کامپیوتری ساخت کاربر



#BIOS
#Settings
#Properties
#Shortcuts
#Good_2_Know
#Professional
#Rare_knowledge
#Useful_Tricks
#Computer_Tricks
#Windows



🤩Want more?
🛜Check our ↙️channel...↙️
🦾💻@Computer3cks

🌐 Website Bombardment 💣💥



🔗 Site Link ✨

📨 ارسال ایمیل ناشناس به هرکسی...
🥷 قابلیت تنظیم کردن سطح پنهان بودن اطلاعات ارسال کننده از ایمیل
📬 قابلیت ارسال حداکثر 3 فایل

🔗 Site Link ✨

🙂 جستجوی فیلم متناسب با حس و حالت
✍ پرسش‌های گزینه‌دار
🎬 تنظیم ژانر
👶 تنظیم رنج سنی
❄️ و موارد دیگر...

🔗 Site Link ✨

😈 ساخت اسکرین‌شات فیک
🎞 واتساپ، اینستاگرام
👾 فیسبوک، توییتر
🎭 اسنپ‌چت، تیک‌تاک
💬 و...

🔗 Site Link ⛔️

🌐 ساخت سایت با هوش‌مصنوعی در یک دقیقه
💼 تنظیم زمینه‌ی کاری سایت
🏭 و تنظیم اسم شرکت
🤩 بسیار ساده و رایگان

🔗 پیوندهای مرتبط:

👑 آپلود لوگو در اکسل با یک خط دستور

🙂‍↔️ سریعترین روش دانلود از یوتوب (2⃣Part)

⏳ قابلیت "Capture the last moments" برای گیمرا خیلی بدرد میخوره...



#Mail
#Unknown
#Movie
#AI
#Introducing_Website
#Introducing_Site
#Useful_Tools
#Website_Bombardment
#Edit
#Instagram
#WhatsApp
#Twitter
#SnapChat
#Internet
#Website



🤩Want more?
🛜Check our ↙️channel...↙️
🦾💻@Computer3cks

👑 مدتی بود بخاطر کار برروی یکسری پروژه‌های بزرگ، وقت نکردم خودم بشخصه پست بذارم...

🦾 ولی پرقدرت برگشتیم و قراره بترکونیم...
1⃣ بروزرسانی‌های بیشتر
2⃣ پست‌های توپ پرکاربرد (تخصصی و یا درامدزا)
3⃣ ابزارهای ویژه و کلی چیزای بیشتر



👾 و البته قدرت بی‌نظیر حمایت‌های 0 و 1یی شما بایت‌های کوچولو، ما رو به یک غول رسانه‌ای در زمینه‌ی تکنولوژی تبدیل میکنه...

✨ که باز هم از شما بابت حمایت‌هایی که کردین و میکنین، بسیار ممنونم


🎩 ادمین کانال



🦾💻 @Computer3cks

👽 محدود کردن دسترسی کروم به رم سیستم


🔮 کروم...

🌐 میشه گفت با در نظر گرفتن میانگین جهانی:

💬 خودش به شخصه حدود 1 گیگ رم اشغال میکنه

⚠️ و به ازای هر 10 تب بازی که داخلش داشته باشی، 1 گیگ رم اشغال میکنه...

😳 خیلی زیاده!!..


👇🏼 برای محدود کردن این دسترسی زیاد به رم کافیه که مراحل زیر رو دنبال کنی...

🚪 وارد کروم بشو...

🍢 منوی کبابی بالا سمت راست رو بزن و "Settings" رو انتخاب کن...

⚙ از لیست گزینه‌ها واقع در سمت چپ پنجره، گزینه‌ی "Performance" رو انتخاب کن...

✅ وسط صفحه، زیر تیتر "Memory"، گزینه‌ی "Memory Saver" رو فعال کن...


به همین سادگی 🌱



🔗 پیوندهای مرتبط:

📦 محدود کردن یا آزاد کردن دسترسی سیستم به رم

📦 25 تا 75 درصد حجم RAM یا سرعت بارگذاری ویندوز ؟

🗃 تا چه حد میشه رم دستگاهت رو افزایش بدی؟



#RAM
#Professional
#Rare_knowledge
#Computer_Tricks
#Useful_Tricks
#Settings
#Chrome
#Google
#Memory
#Good_2_Know
#Internet



🤩Want more?
🛜Check our ↙️channel...↙️
🦾💻@Computer3cks

👀 رصد کردن دوربین‌های جاده بصورت آنلاین


🛣 سایت مربوط به مرکز مدیریت راه‌های کشور

✨ که لینکش رو براتون قرار دادم،

👍🏼 این امکان رو فراهم ساخته که پیش از سفر یا تردد در جاده‌ها، ترافیک و جاده‌ها رو بررسی کنین...


🔍 بعد از اینکه وارد سایت شدین، میتونین روی جاده‌ی موردنظرتون Zoom کنین تا اعداد تصویر پخش بشن و علامت آبی دوربین بیاد که با زدن روی دوربین میتونین جاده رو آنلاین رصد کنین...

📌 امکان مشخص کردن مبدا و مقصد

📡 حاوی ابزار آنلاین برای نقشه

❤️‍🔥 سایت ایرانیه و فیلترشکن نیاز نداره!!!

⛓ Site Link

🔗 پیوندهای مرتبط:

💻 شخصی سازی کردن لوگوی بوت ویندوز

🔎 میانبرهای گوگل (1⃣ Part)

😐 این API چیه همه‌جا میبینیم؟



#Introducing_Website
#Useful_Tools
#Travel
#Internet



🤩Want more?
🛜Check our ↙️channel...↙️
🦾💻@Computer3cks

🦷 متصل نشدن بلوتوث به دیوایس‌های جدید


😔 مشکلی که خیلیا در رابطه با بلوتوث دارن، اینه که بلوتوث فقط به دیوایس‌های قدیمی متصل میشه و به دیوایس‌های جدید متصل نمیشه...


✨ برای رفع این مشکل:

⌨ میانبر Win + R رو بگیر...

🔍 در منوی سرچ عبارت "services.msc" رو وارد کن و Enter رو بزن...

👨‍💼 پنجره‌ی Services برامون باز میشه که از کل اون گزینه‌ها ما با 3 گزینه کار داریم...

🔊 Bluetooth Audio Gateway

🛡 Bluetooth Support Service

👤 Bluetooth User Service

💬 برای هر سه گزینه، کارهای زیر رو انجام میدیم:

🖱 روی گزینه‌ی موردنظر دابل کلیک میکنیم و پنجره‌ای برامون باز میشه...

⛔️ از اون پنجره، گزینه‌ی Stop که در وسط صفحه قرار داره رو میزنیم

⚙ حالا مقدار بخش Startup type رو به "Automatic" تغییر میدیم و Start رو میزنیم و OK می‌کنیم...

💫 این کار رو برای هر 3 گزینه انجام میدیم!!..

✅ پس از اتمام کار، سیستم رو Restart می‌کنیم و تمام...



🔗 پیوندهای مرتبط:

👾 یکی از راحتترین راه‌ها برای پیدا کردن و حذف کردن بدافزاره

💻 اطلاعات کل سیستم یک‌جا...

⏳ بارگذاری دیر برنامه‌ها



#Bluetooth
#Run
#Rare_knowledge
#Professional
#Shortcuts
#Useful_Tricks



🤩Want more?
🛜Check our ↙️channel...↙️
🦾💻@Computer3cks

🎓 Article 🗞

{Part 1⃣}


📐 "An Axiomatic Basis for Computer Programming"


🧓 این مقاله توسط Tony Hoare
🕰 در سال 1969
📰 منتشر شد...

💬 این مقاله به طور کلی به عنوان یکی از مقالات بنیادی در حوزه‌ی اثبات رسمی (Formal Verification) در برنامه‌نویسی شناخته می‌شود...


🔢 در این مقاله، هوار به دنبال ارائه یک روش صوری برای اثبات درستی برنامه‌ها بر اساس مفاهیم پیش‌شرط و پس‌شرط است...

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


📑 توصیف و معرفی مقاله

🏫 این مقاله در سال 1969 در "Communications of the ACM" منتشر شد و هدف اصلیش معرفی روشی رسمی و صوری برای اثبات درستی برنامه‌ها از طریق منطق ریاضی بود که هوار با استفاده از این سیستم، ادعا کرد که "می‌توانیم قبل از اجرای برنامه‌ها اطمینان حاصل کنیم که آن‌ها به درستی رفتار خواهند کرد"...

🧠 هوار در این مقاله بیان می‌کند که برنامه‌ها باید همانند اثبات‌های ریاضی بررسی شوند...

🎖 او از مفهوم "سه‌تایی هوار" (Hoare Triple) استفاده کرد که به شکل زیر نمایش داده می‌شود:

{P} C {Q}

💬 که در اون:
P (پیش‌شرط):
🫸🏼شرایطی که قبل از اجرای برنامه باید برقرار باشد

C:
👾 کد برنامه (یا یک دستور)

Q (پس‌شرط):
🫷🏼 شرایطی که پس از اجرای کد باید برقرار باشد.


🗞 اثبات‌های مقاله

🔥 یکی از نوآوری‌های هوار معرفی همین سه‌تایی‌ها بود که امکان اثبات صوری درستی برنامه‌ها را فراهم می‌کرد...

✨سه‌تایی هوار بیان می‌کند که اگر پیش‌شرط P درست باشد و دستور C اجرا شود، پس‌شرط Q نیز باید درست باشد...✨

🤌🏼 برای مثال، فرض کنید برنامه‌ای داریم که یک متغیر x را افزایش می‌دهد که می‌توانیم از سه‌تایی هوار برای اثبات درستی این برنامه استفاده کنیم:

{x = n} x := x + 1 {x = n + 1}

🎖 این سه‌تایی بیان می‌کند که اگر قبل از اجرای دستور x = n باشد (پیش‌شرط)، بعد از اجرای دستور x := x + 1، متغیر x باید برابر با n + 1 باشد (پس‌شرط).


🎩 چگونه اثبات شد؟

📐 برای اثبات سیستم هوار، او از قواعد منطقی استفاده کرد که شامل قواعد استنتاج (inference rules) و قوانینی بود که به آن‌ها "قضایای هور" (Hoare's Axioms) گفته می‌شود.

☣ این قضایا برای توصیف و تحلیل انواع دستورات در برنامه‌ها مانند تخصیص مقادیر، شرطی‌ها (if-then-else) و حلقه‌ها (loops) استفاده می‌شوند.


✨ مثال ساده‌ای از این قواعد:


🦾 قانون تخصیص (Assignment Rule):

📜 این قانون بیان می‌کند که اگر در یک برنامه یک متغیر به یک مقدار جدید تخصیص یابد، باید بتوانیم از پیش‌شرطی که شامل مقدار قدیمی آن متغیر است به پیش‌شرط جدید نتیجه بگیریم...

💬 به عنوان مثال:

{P[x := E]} x := E {P}

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


💢 مشکلات و چالش‌های اصلی:

😐 یکی از چالش‌های اصلی هوار این بود که چگونه می‌توان صحت اجرای یک برنامه را بدون نیاز به اجرای آن اثبات کرد...

🔢 سیستم هوار با بهره‌گیری از منطق ریاضی و استفاده از قواعد منطقی این امکان را فراهم کرد.


🤕 چالش دیگر این بود که:

😮‍💨 چگونه می‌توان اثبات کرد که کدهای پیچیده و شامل حلقه‌ها (loops) و شرطی‌ها (conditions) به درستی کار می‌کنند...

✨ هوار برای این مسئله، قوانین خاصی برای حلقه‌ها تعریف کرد، مانند استفاده از شرایط وارونگی (loop invariants) که باید در طول اجرای هر حلقه ثابت بمانند تا بتوان اثبات کرد که حلقه به درستی عمل می‌کند...


📎 به عنوان مثال برای یک حلقه ساده، فرض کنید هدف این است که درستی این کد را اثبات کنیم:

while (i < 10):
    i = i + 1

🧮 ما می‌توانیم از یک شرط وارونگی مانند i ≤ 10 استفاده کنیم که این شرط باید در طول اجرای حلقه ثابت بماند، بنابراین می‌توانیم اثبات کنیم که برنامه به درستی عمل می‌کند...

♾ نمونه‌ای از اثبات ریاضی (منطق هوار)

🧐 فرض کنید برنامه‌ای داریم که دو عدد x و y را با هم جمع می‌کند و نتیجه را در z ذخیره می‌کند.


💬 ما می‌خواهیم صحت این برنامه را اثبات کنیم:


1⃣ برنامه:

z := x + y

2⃣ سه‌تایی هوار:

{True} z := x + y {z = x + y}

پیش‌شرط: برای شروع کار، هیچ فرضیه خاصی در پیش‌شرط نداریم، بنابراین می‌گوییم True...

دستور: دستور ما z := x + y است که مقدار x + y را به متغیر z تخصیص می‌دهد...

پس‌شرط: پس از اجرای دستور، پس‌شرط ما این است که z باید برابر با x + y باشد...


3⃣ اثبات:

💬 برای اثبات اینکه این سه‌تایی هوار صحیح است، از قانون تخصیص در منطق هوار استفاده می‌کنیم.

✨ این قانون بیان می‌کند که اگر بتوانیم نشان دهیم که پس از اجرای دستور، پس‌شرط برقرار است، می‌توانیم نتیجه بگیریم که برنامه به درستی عمل می‌کند ✨

☝️🏼 مرحله اول: {استفاده از قانون تخصیص}:

📐 طبق قانون تخصیص، ما می‌نویسیم:

{P[x := E]} x := E {P}

💬 که به معنای این است که اگر پیش‌شرط با مقدار جدید x جایگزین شود، پس‌شرط نیز باید درست باشد...

در اینجا:
● P = z = x + y
● E = x + y

📏 بنابراین، با توجه به قانون تخصیص، می‌توانیم بنویسیم:

{z = x + y} z := x + y {z = x + y}

✌️🏼 مرحله دوم: {اثبات}

🎗 پیش‌شرط: True، به این معنا که هیچ فرضی قبل از اجرای دستور لازم نیست.

🎯 اجرا: در حال اجرای دستور z := x + y، مقدار جدیدی به z تخصیص می‌دهیم.

🧩 پس‌شرط: اکنون می‌خواهیم ثابت کنیم که
z = x + y

✨ از آنجایی که ما مقدار z را با x + y برابر می‌گذاریم، بنابراین نتیجه می‌گیریم که پس از اجرای دستور، z برابر با مجموع x و y است...


🔥 نتیجه‌گیری:

💬 به این ترتیب، با استفاده از قانون تخصیص، می‌توانیم نتیجه بگیریم که:

👾 اگر پیش‌شرط True باشد و دستور z := x + y اجرا شود، پس‌شرط z = x + y نیز برقرار خواهد بود.

✅ در نهایت، ما می‌توانیم نتیجه بگیریم که برنامه به درستی عمل می‌کند و مقدار صحیح را به متغیر z تخصیص می‌دهد...


👑 جمع‌بندی:

👌🏼 ما از سه‌تایی هوار و قانون تخصیص برای اثبات این که برنامه به درستی عمل می‌کند استفاده کردیم...

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

🦾 این رویکرد، به ما این امکان را می‌دهد که در مرحله طراحی و پیاده‌سازی، اطمینان حاصل کنیم که برنامه‌ها به درستی و مطابق با انتظار ما عمل می‌کنند...



🔗 پیوندهای مرتبط:

🦦 سرعتی یا تنبلی؟

📌 روش ثبت مغازه یا لوکیشن محل کار در گوگل مپ

💣 بمباران ترفندهای آیفونی 💥🤪



#Article
#Computer_Science
#FormalVerification
#ProgrammingTheory
#Rare_knowledge
#Professional
#Good_2_Know
#SoftwareCorrectness
#MathematicalProof
#AlgorithmVerification
#ComputerProgramming
#SoftwareEngineering



🤩Want more?
🛜Check our ↙️channel...↙️
🦾💻@Computer3cks

🔥 سخت و تاقت‌فرسا درحال کار 🔥

🪻 از سوژه‌ها و تصاویر کمیاب تیم درحال کار روی پروژه.. 🤌🏼✨

🦾💻 @Computer3cks