نوشته‌های ترمینالی

اگه دنبال این هستید که تو ترمینال بنچمارک بگیرید، احتمالا شما هم مثل من یه for می‌نویسین و یه time می‌ذارید پشت کامند تا ببینید چقدر طول می‌کشه تا اجرا بشه، این ابزارکه تازه پیدا کردم به اسم hyperfine، که میاد یه دستور رو می‌گیره و یه تعدادی اجراش می‌کنه و زمان اجراها رو می‌گه. همچنین امکانات بیشتری هم داره، مثلا دو تا رو با هم مقایسه کنه، یا تاثیر یک پارامتر رو در زمان اجرا در نظر بگیره یا یه سری اجرای warmup داشته باشه که طول مدت اونا رو در نظر نگیره. لازم به ذکره که با rust نوشته شده و رابط کاربریش خیلی زیباست. https://github.com/sharkdp/hyperfine

how git stores different versions of a project? https://medium.com/geekculture/understanding-merkle-trees-f48732772199

اگه از tlp استفاده می‌کنید نیاز نیست که کانفیگش کنید ولی اگه خواستید با tlpui میتونید تنظیماتش رو دستکاری کنید. نکنه دیگه اینکه powertop هم امکان بهینه سازی تنظیمات رو داره (auto tune) ولی همزمان با فعال بودن tlp ازش استفاده نکنید

TLP is a feature-rich command line utility for Linux, saving laptop battery power without the need to delve deeper into technical details. https://linrunner.de/tlp/index.html

PowerTOP is a software utility designed to measure, explain and minimise a computer's electrical power consumption. https://github.com/fenrus75/powertop

دوستان نمی‌دونم تا چه اندازه با رویداد "عصرانه ریاضی" بچه‌های انجمن علمی ریاضی دانشگاه تهران آشنایید، ولی واقعا یکی از بهترین‌ها هستند. به تازگی قراره یک عصرانه‌ی چهار جلسه‌ای برگزار کنند با عنوان "از منطق و Type Theory تا Formal Verification". توی این پست از کانال‌شون می‌تونید توضیحات این رویداد رو بخونید. توی این چهار جسله از مقدمات تایپ تئوری، لامبدا کلکولس، تئورم پروور و تئوری PL براتون صحبت می‌کنند. فرصت بسیار مناسبیه برای وارد شدن به این دنیای جذاب. از بین ارائه دهندگان من آشا رو می‌شناسم که کارش واقعا درسته. جلسه‌ی اول این رویداد با عنوان "Type Theory and Lambda Calculus" امروز ساعت ۶ عصر به شکل حضوری و مجازی برگزار میشه. توی این پست از کانالشون می‌تونید توضیحات این جلسه رو بخونید. هنوز محل برگزاری این جلسه رو اطلاع ندادند، ولی من خودم قصد دارم که این رویداد رو شرکت کنم. به شما هم بسیار توصیه می‌کنم که شرکت کنید.

برنامه‌ی git سیستم‌‌هاتون رو اپدیت کنید دوستان. چندتا آسیب‌پذیری داشته اخیرا. من در مورد CVE-2024-32002 یه مقدار می‌دونم که موقع clone یه ریپو که recursive هست مشکل ایجاد می‌کنه. البته شایان ذکره که فقط رو سیستم‌‌هایی که میسرهاشون case insensetive هست (بله ویندوز) خطرناکه ولی به هر حال شما آپدیت کنید. اگر هم امکان آپدیت نیست براتون می‌تونید symlinkها رو غیرفعال کنید چون این آسیب‌پذیری از symlink ها استفاده می‌کنه.

 git config --global core.symlinks false

توضیحات بیشتر: https://www.helpnetsecurity.com/2024/05/16/git-cve-2024-32002/

برنامه‌ی git سیستم‌‌هاتون رو اپدیت کنید دوستان. چندتا آسیب‌پذیری داشته اخیرا. من در مورد CVE-2024-32002 یه مقدار می‌دونم که موقع clone یه ریپو که recursive هست مشکل ایجاد می‌کنه. البته شایان ذکره که فقط رو سیستم‌‌هایی که میسرهاشون case insensetive هست (بله ویندوز) خطرناکه ولی به هر حال شما آپدیت کنید. اگر هم امکان آپدیت نیست براتون می‌تونید symlinkها رو غیرفعال کنید چون این آسیب‌پذیری از symlink ها استفاده می‌کنه. ‍‍```bash git config --global core.symlinks false ``` https://www.helpnetsecurity.com/2024/05/16/git-cve-2024-32002/

اگه پیگیر کار و مصاحبه هستید یا صرفا کنجکاو هستین کلی تجربه مصاحبه بخونید بهتون این وبلاگ که معین جان زحمت کشیده و آماده کرده رو بخونید. محتوای بسیار خوب و کامل و به نظرم منصفانه‌ای داره و نکات خیلی خوبی می‌تونید ازش یاد بگیرید. https://mo1ein.github.io/jobname/index.html یادآوری کنم که شما هم اگه تجربه‌ای دارید سعی کنید مکتوبش کنید، چون که تجربیات هرکس ارزشمنده و خوندنش برای بقیه خیلی مفیده.

اگه دوست دارید بدونید زیر کاپوت git چه خبره این مطلب رو از دست ندید. تو این مطلب تا حد خیلی خوبی محتویات پوشه .git شرح داده شده از جمله کامیت هارو برنچها و head و ... به نظرم به درک بهتر از گیت خیلی کمک می‌کنه. https://wizardzines.com/comics/inside-git/