Forwarded from محتوای آزاد سهراب (Sohrab)
خب این دوستمون بالاخره موفق شد روی پستمارکت با qemu بیاد و IOS14 نصب کنه :)))))))
https://social.project-insanity.org/@pi_crew/115161439381552015
@SohrabContents
https://social.project-insanity.org/@pi_crew/115161439381552015
@SohrabContents
Forwarded from Agora (Alireza)
I’ve spent a good deal of my professional life arguing against using protobuffers. They’re clearly written by amateurs, unbelievably ad-hoc, mired in gotchas, tricky to compile, and solve a problem that nobody but Google really has. If these problems of protobuffers remained quarantined in serialization abstractions, my complaints would end there. But unfortunately, the bad design of protobuffers is so persuasive that these problems manage to leak their way into your code as well.
Forwarded from Syntax | سینتکس (Sovren)
فایل آپلود شده رو فقط با پسوندش چک میکنی؟ بیخیال!
تاحالا شده کاربر فایلی رو آپلود کنه و شما فقط پسوندش ( jpg یا pdf) رو چک کنید و با خوشحالی بگید کار تمومه؟ اگه اینطوره، باید بگم که یه جای کار حسابی میلنگه!
کاربر به راحتی میتونه یک فایل مخرب (مثلاً یه اسکریپت) رو به virus.png تغییر نام بده و سیستم شما رو دور بزنه.
راه حل چیه؟ کتابخونه python-magic
این پکیج یک رابط (Wrapper) برای کتابخونه قدرتمند libmagic در زبان C هست. کار اصلیش اینه که بیخیال اسم و پسوند فایل بشه و بره سراغ اصل مطلب محتوای خود فایل.
مجیک چند بایت اول یک فایل (که بهش هدر یا Magic Numbers میگن) رو میخونه و از روی اون امضای دیجیتالی، نوع واقعی فایل رو تشخیص میده.
مثال:
#libmagic #python_magic
@Syntax_fa
تاحالا شده کاربر فایلی رو آپلود کنه و شما فقط پسوندش ( jpg یا pdf) رو چک کنید و با خوشحالی بگید کار تمومه؟ اگه اینطوره، باید بگم که یه جای کار حسابی میلنگه!
کاربر به راحتی میتونه یک فایل مخرب (مثلاً یه اسکریپت) رو به virus.png تغییر نام بده و سیستم شما رو دور بزنه.
راه حل چیه؟ کتابخونه python-magic
این پکیج یک رابط (Wrapper) برای کتابخونه قدرتمند libmagic در زبان C هست. کار اصلیش اینه که بیخیال اسم و پسوند فایل بشه و بره سراغ اصل مطلب محتوای خود فایل.
مجیک چند بایت اول یک فایل (که بهش هدر یا Magic Numbers میگن) رو میخونه و از روی اون امضای دیجیتالی، نوع واقعی فایل رو تشخیص میده.
مثال:
import magic
from django.core.files.uploadedfile import InMemoryUploadedFile
def get_mime_type_from_content(file: InMemoryUploadedFile) -> str:
"""Reads the initial bytes of a file to determine its actual MIME type."""
try:
initial_bytes = file.read(2048)
file.seek(0)
return magic.from_buffer(initial_bytes, mime=True)
except Exception as err:
raise Exception(f"Failed to detect MIME type: {err}")
def check_file_is_image(file: InMemoryUploadedFile) -> bool:
"""Check if the uploaded file is an image based on its MIME type."""
try:
mime_type = get_mime_type_from_content(file)
return mime_type.startswith("image/")
except Exception as err:
print(f"[ERROR] check_file_is_image: {err}")
return False
#libmagic #python_magic
@Syntax_fa
Forwarded from محتوای آزاد سهراب (Sohrab)
اینترنت داغون بود گفتم جای اینکه بیام یک ویدئو بگیرم روی پارچ داکری که امیرحسین ساخته بود، بعد روش سرویس نصب کنیم و این مدل چیزها. بجاش اومدم توزیع xebian رو تست کنم، متاسفانه اون هم موقع نصب میرفت گراب رو از اینترنت میگرفت😂
من موندم و چهل دقیقه فوتیج و گیج بودن که چرا این انقدر طول میکشه.
@SohrabContents
من موندم و چهل دقیقه فوتیج و گیج بودن که چرا این انقدر طول میکشه.
@SohrabContents
Forwarded from Abolfazl Devs (ixAbolfazl)
استرایکو یه سایت کاربردیه که ابزار های مختلف هوش مصنوعی رو یکجا در اختیارتون میزاره👌
بیشتر از 50 مدل مختلف رو ارائه میده و همینطور ابزارهای های مختلفی برای تولید محتوا، اتوماسیون کردن، تحلیل اسناد و.. داره که میتونه برا برنامه نویسیا، مارکتر ها و تولید کننده های محتوا مفید باشه
آدرسش:
https://straico.com/
📌 ixAbolfazl | @abolfazl_devs
بیشتر از 50 مدل مختلف رو ارائه میده و همینطور ابزارهای های مختلفی برای تولید محتوا، اتوماسیون کردن، تحلیل اسناد و.. داره که میتونه برا برنامه نویسیا، مارکتر ها و تولید کننده های محتوا مفید باشه
آدرسش:
https://straico.com/
📌 ixAbolfazl | @abolfazl_devs
Forwarded from Abolfazl Devs (ixAbolfazl)
اگه شما هم موقع فیلم دیدن تو یوتیوب دسکتاپ، زیر نویسی که روی فیلم هست رو مختونه این یوزر اسکریپت نجات دهندس!
زیر نویس رو میاره پایین فریم فیلم و دیگه مزاحم نیست👌
برا استفاده ازش باید اکستنشن tampermonkey رو نصب داشته باشید
لینکش👇
https://greasyfork.org/en/scripts/433440-youtube-subtitles-under-video-frame
📌 ixAbolfazl | @abolfazl_devs
زیر نویس رو میاره پایین فریم فیلم و دیگه مزاحم نیست👌
برا استفاده ازش باید اکستنشن tampermonkey رو نصب داشته باشید
لینکش👇
https://greasyfork.org/en/scripts/433440-youtube-subtitles-under-video-frame
📌 ixAbolfazl | @abolfazl_devs
Forwarded from Unlocking Software Verification
Starting from 2023, STACS consists of two tracks, A and B, and I was not aware of it until now! But the good news is that STACS 2027 will be held in Göttingen. :)
https://www.stacs-conf.org/
https://www.stacs-conf.org/
www.stacs-conf.org
Website of the STACS Conferences
Informations about STACS
Forwarded from Gopher Academy
🔵 عنوان مقاله
The Deeper Love of Go.
🟢 خلاصه مقاله:
این یادداشت در Golang Weekly توضیح میدهد چرا علاقه به Go با گذشت زمان عمیقتر میشود: سادگی زبانی، کتابخانه استاندارد کارآمد، ابزارهای یکپارچه و مدل همزمانی عملی که طراحی شفاف را تشویق میکند. نتیجه این ترکیب، ساخت و استقرار قابل پیشبینی، کد خوانا و تیمهایی است که سریعتر و مطمئنتر کار میکنند. در عین پذیرش محدودیتها—مثل رسیدگی صریح به خطا و پرهیز آگاهانه از ویژگیهای پیچیده—مقاله نشان میدهد همین قیود به نگهداشتپذیری و پایداری بلندمدت کمک میکنند. در نهایت، با وجود بهبودهای سنجیده در بخشهایی مانند جنریکها و ابزارها، ارزشهای اصلی Go یعنی سادگی، وضوح و قابلیت اتکا محور باقی میمانند.
🟣لینک مقاله:
https://golangweekly.com/link/173647/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
The Deeper Love of Go.
🟢 خلاصه مقاله:
این یادداشت در Golang Weekly توضیح میدهد چرا علاقه به Go با گذشت زمان عمیقتر میشود: سادگی زبانی، کتابخانه استاندارد کارآمد، ابزارهای یکپارچه و مدل همزمانی عملی که طراحی شفاف را تشویق میکند. نتیجه این ترکیب، ساخت و استقرار قابل پیشبینی، کد خوانا و تیمهایی است که سریعتر و مطمئنتر کار میکنند. در عین پذیرش محدودیتها—مثل رسیدگی صریح به خطا و پرهیز آگاهانه از ویژگیهای پیچیده—مقاله نشان میدهد همین قیود به نگهداشتپذیری و پایداری بلندمدت کمک میکنند. در نهایت، با وجود بهبودهای سنجیده در بخشهایی مانند جنریکها و ابزارها، ارزشهای اصلی Go یعنی سادگی، وضوح و قابلیت اتکا محور باقی میمانند.
🟣لینک مقاله:
https://golangweekly.com/link/173647/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
Bitfield Consulting
The Deeper Love of Go — Bitfield Consulting
Introduces the Go programming language for complete beginners, as well as those with experience programming in other languages.
Forwarded from DevTwitter | توییت برنامه نویسی
https://youtu.be/7xTGNNLPyMI?si=eecurZsy84kG6fS5
یه قسمت از این ویدئو نشون میده که اگه LLM اول جواب رو بده و بعد توضیحات، شاید جواب غلطی بده و تلاش کنه اونو توجیح کنه ولی اگه اول توضیحات رو بیاره، احتمال اینکه به جواب درست برسه بیشتره. یجورایی LLM خودش به توکنهای تولید شده به عنوان توضیح، برای رسیدن به جواب نهایی نیاز داره. حداقل این برداشت من بود.
ولی این ایده تو دیباگ کردن با کمک AI Agentها خیلی کمککننده هست. اگه بهش توضیح بدید چیکار کردید، چه اروری گرفتید و چه حدسهایی برای رفع مشکل میزنید، یجورایی مسیر فهمیدن مشکل رو براش مشخص کنید، نتیجه خیلی بهتری میگیرید.
@DevTwitter | <Serajoddin Aliabadi/>
یه قسمت از این ویدئو نشون میده که اگه LLM اول جواب رو بده و بعد توضیحات، شاید جواب غلطی بده و تلاش کنه اونو توجیح کنه ولی اگه اول توضیحات رو بیاره، احتمال اینکه به جواب درست برسه بیشتره. یجورایی LLM خودش به توکنهای تولید شده به عنوان توضیح، برای رسیدن به جواب نهایی نیاز داره. حداقل این برداشت من بود.
ولی این ایده تو دیباگ کردن با کمک AI Agentها خیلی کمککننده هست. اگه بهش توضیح بدید چیکار کردید، چه اروری گرفتید و چه حدسهایی برای رفع مشکل میزنید، یجورایی مسیر فهمیدن مشکل رو براش مشخص کنید، نتیجه خیلی بهتری میگیرید.
@DevTwitter | <Serajoddin Aliabadi/>