این تصویر دو بند از نامه‌ی Dijkstra به اعضای Budget Council دپارتمانش تو دانشگاه TU Austin بوده (بخاطر تصمیم دانشکده در شیفت از زبان فانکشنال به imperative برای درس مبانی برنامه‌نویسی شون)

از همین نامه که ایشون لفظ discourages operational reasoning رو به کار برده میشه فهمید که چقدر با model checking مشکل داشته :))
متن کامل این نامه

توییتر روم نشد بگم ولی Learning Linux


@Linuxor

تو زندگیم ۲-۳ بار برای پروتوتایپ ایده‌ رفتم سمت Electron و قسم می‌خورم حتی ۲ مورد که سرمایه‌گذار داشته رو بعد از ۲ هفته ازش زدم بیرون چون بنظرم احمقانه بود و بعد از اون هیچوقت فکر نمی‌کردم بخوام برم سراغ اینکار

چندروزی هست دارم روی کار با Tauri وقت میذارم؛ شرکتی که باهاش کار می‌کنم چند وقت یکبار مسابقه ۱-۲ روزه میذاره سر اپتیمایز کردن برنامه‌ها و پروژه‌های موفق و جایزه درخوری هم میده (شرکت کننده‌ها هم براشون ساعت کاری رد میشه) دیگه گفتم ی جایزه‌ای بگیریم سیستم رو جایگزین کنم.

توی همین راستا رسیدم به یک مصاحبه خوب؛ توی این مسابقه طراحی سیستم؛ چرایی انتخاب‌ها و بعد پیاده‌سازی دمو اولیه خیلی مهمه منم از الان شروع کردم روش کار کردن (چون برای اینکه جایزه جواب آپگرید رو بده مجبورم یا تنها پیش برم یا نهایتا تیم رو دونفره ببندم)

Youtube Link

شما جایگزین بهتری می‌شناسید ؟

اگر نیاز داشتین که تو محیط لینوکس ویدیو فشرده کنین بدون اینکه فرمتش عوض بشه
میتونین از این اسکرپیت استفاده کنین

https://gist.github.com/ArmanTaheriGhaleTaki/e2cf84743df55cab3a441af4836ef914

@DevTwitter | <armondy/>

با این ابزار می‌تونین یه وبسایت رو به صورت یه تک فایل HTML در بیارین، در واقع کل عکس ها و کد های CSS و JS رو embed می‌کنه


https://github.com/Y2Z/monolith


@Linuxor

#کوته_نیوز

تا چیزمان رفتیم تو گل

@DevTwitter

توی لینوکس فایل‌ها به‌صورت ذاتی نیازی به پسوند ندارن. این برخلاف سیستم‌عامل‌هایی مثل ویندوزه که از پسوند فایل برای تشخیص نوع اون استفاده می‌کنه. توی لینوکس، نوع فایل‌ها بر اساس محتوای داخلی اونها تعیین می‌شه.

مثلا شما یه آهنگ داشته باشین نیازی نیست که حتما اسمش یا mp3. تموم شده باشه لینوکس از متادیتای اون تشخیص میده که آهنگه.

@Linuxor

حذف فایل در حالت غیر قابل بازیابی!

حتماً میدونین که به زبان ساده بعد از دیلیت کردن یک فایل در واقع محتوای اون نیست که پاک میشه. بلکه نام و آدرس اون فایل در جدول تخصیص فایل یا FAT پاک میشه و برای همین شما دیگه اونو روی دیسک نمی بینید. ولی معلومه که محتوای اون هنوز سرجاشه و برنامه های ریکاوری میرم پیداش می کنن.
خوب برای همینه که
میگن برای ریکاوری دیگه چیزی روی اون دیسک کپی نکنید تا محتوا خراب نشه.
اما اگه بخواهیم هارد رو بفروشیم چی؟ میریم با حالت زیرو فورمت به صورت Wipe خونه به خونه‌ی دیسک رو خونده و پاک می کنیم! یه کار کلی و طولانی.
اما اگه فقط یه فایل رو بخواهیم جوری پاک کنیم که قابل بازیابی نباشه چی؟ اینجاست که به کمک دستور جدید SDelete یا سکیور دیلیت میریم توی کارش! البته باید سرچ و دانلودش کنید.
در راهنمای این دستور سوئیچ هایی هم ساخته شدن که چند بار جای فایل مورد نظر شما رو میشه بازنویسی کرد. مثلاً میشه بهش گفت پنج بار اونجا بنویس که دیگه فلک هم نتونه بازیابیش کنه!

https://learn.microsoft.com/en-us/sysinternals/downloads/sdelete

این کتابم برای یادگیریش پیشنهاد میدم

#کتاب #go

🔆 CHANNEL | GROUP

خب یک اکانت ماستادون بیکار داشتم، کانال رو وصل کردم بهش.

این پیام هم صرفاً برای اینه که ببینم پست‌هارو میفرسته یا نه :)))


#موقت

این حسابم توی ماستادون بیکار بود، وصلش کردم به تلگرام

tilde.zone/@sohrabbehdani


اگر دوست داشتید میتونید از ماستادون دنبال کنید و محتوای کانال رو داشته باشید :)

@SohrabContents

خب.... داشتم با خودم فکر می‌کردم و به این نتیجه رسیدم که بهتره تنبلی رو کنار بذارم و یک سری بلاگ جدید شروع کنم.
از اونجایی که فری‌سایبورگ دم دستم بود، توش یک بلاگ جدید تحت عنوان «ماجرا‌های من و پارچ» ساختم.


قسمت اولش رو از اینجا می‌تونید بخونید.


مشتاقم نظرتون رو درموردش بدونم.


@SohrabContents

🔶 یه کتابی به نام مدیریت خانواده و سبک زندگی (ویژه دختران و پسران) برای مدرسه متوسطه منتشر کردند که دانش آموزان از آن منتفر هستند!

داستانش که شما می دونید دیگه ...

@TheRaymondDev

این یکی از جوک‌های بامزه سایت گنو هستش:

There are 10 kinds of people in the world — those who understand binary and those who don't.

There are 10 kinds of people in the world — those who understand trinary, those who don't understand trinary and those who mistake it for binary.

ترجمه:

دو نوع آدم تو دنیا وجود دارند: کسانی که دودویی را می‌فهمند و کسانی که نمی‌فهمند.

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

توضیح:
عدد ۱۰ در باینری (دودویی) برابر با ۲ و در تری‌نری(سه‌گانه) برابر با ۳ است.

بزارید بازش کنم:
جفت این جوک‌ها از بازی با اعداد و سیستم‌های عددی استفاده می‌کنن، و بخش بامزه‌اش در تفسیر اشتباه یا غیرمنتظره اعداد در سیستم‌های مختلفه:

۱. جوک دودویی (Binary):
در سیستم عددی دودویی (که فقط از ارقام ۰ و ۱ استفاده میشه)، عدد "۱۰" معادل عدد "۲" در سیستم ده‌دهی هستش. بنابراین وقتی میگه که «دو نوع آدم وجود دارند»، خودش با ظاهر تناقض‌آمیز جمله (۱۰ = دو) باعث خنده میشه، چون کسی که دودویی را نمیفهمه، منطقاً این جمله رو هم اشتباه متوجه میشه.


۲. جوک سه‌گانه (Trinary):
در اینجا از سیستم سه‌گانه (تری‌نری) استفاده می‌شود که ارقام آن ۰، ۱ و ۲ هستند. عدد "۱۰" در تری‌نری معادل "سه" در سیستم ده‌دهی هستش. این بار شوخی در اینه که علاوه بر افرادی که تری‌نری را می‌فهمند یا نمی‌فهمند، گروه سومی هم اضافه شدن که تری‌نری را با دودویی اشتباه می‌گیرن و دوباره گیج میشن :))))






#fun
@SohrabContents

از موقعی که اولین بار تو کانال راجع‌به io_uring‍ صحبت کردم و بهونه‌ای شد که بیشتر راجع‌بهش بخونم، هرجا که یه چیزی راجع‌به سیستم‌ها میخونم میبینم که پاش وسطه. این پست کوتاه هم باز راجع‌به همین ماجراست و اگر علاقه‌مندین میتونه براتون جالب باشه:

https://lewiscampbell.tech/blog/250104.html

سورس‌کد مثل یک جوک است؛ اگه مجبور به توضیح آن شدید، بدانید که اصلاً خوب نوشته نشده است.

@Linuxor ~ Cory House

بازخوانی ترانه‌ی بالا

کامند های df و du رو اشتباهی هی بجای هم استفاده می‌کنی اینطوری یادش بگیر

من الان می‌خوام حجم این file رو ببینم و file چون f داره پس باید du بزنم.

@Linuxor

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

An Inspired Engineer