گربه شرودینگر: زنده یا مرده؟

فرض کنید یک گربه داخل یک جعبه است، همراه با یک مکانیزم خطرناک که به شکل تصادفی عمل می‌کند، مثلا یک اتم رادیواکتیو:

اگر اتم واپاشی کند → مکانیزم فعال می‌شود → گربه کشته می‌شود.
اگر اتم واپاشی نکند → گربه زنده می‌ماند.

طبق قوانین مکانیک کوانتومی، تا وقتی جعبه را باز نکنیم و نگاه نکنیم، گربه نه زنده است نه مرده، بلکه در یک حالت ترکیبی از زنده و مرده (ابرپوزیشن) قرار دارد:

این آزمایش فکری نشان می‌دهد که قوانین عجیب مکانیک کوانتومی، وقتی روی اشیای بزرگ اعمال شوند، نتایج غیرمنتظره و فلسفی می‌دهند.

پیام شرودینگر: هدفش اثبات نبود، بلکه نشان دادن پارادوکس ابرپوزیشن و نقش مشاهده‌گر بود.
دنیای ذرات کوچک و بزرگ متفاوت عمل می‌کند، و ما هرگز گربه‌ای همزمان زنده و مرده نمی‌بینیم، چون با محیط تعامل دارد و حالت ابرپوزیشن سریع «می‌ریزد» (decoherence).

https://youtu.be/UjaAxUO6-Uw?si=insQYBA4dRBOMHD6
https://youtu.be/uVKMY-WTrVo?si=GmZC3ApbkB5DbMHK

زبانی که Jonathan ساخته (Jai) میگه که همه چی complied time هست و runtime polymorphism نداریم =)

https://youtu.be/i6KVMGT5kRE?si=XFjkw-4_59Sjn73Y

درکل خود شخص جاناتان دیدگاه جالبی داره. دیدن ویدیو هاشو پیشنهاد میکنم.

About SOA & AOS [Memory Layout]

https://youtu.be/YGTZr6bmNmk?si=Y9wKpc3IW3BvfmO5

https://youtu.be/ghawCl8YW6E?si=ELa0Ah_k7h_sxFZ0

پ.ن: اوضاع به شدت خیطه🦖

C++ بد بود و با استاندارد 26 بدتر هم شده

https://isocpp.org/files/papers/P2996R4.html#emulating-typeful-reflection

template <class... Tags>
consteval auto make_named_tuple(std::meta::info type, Tags... tags) {
    std::vector<std::meta::info> nsdms;
    auto f = [&]<class Tag>(Tag tag){
        nsdms.push_back(data_member_spec(
            dealias(^typename Tag::type),
            {.name=Tag::name()}));

    };
    (f(tags), ...);
    return define_class(type, nsdms);
}

کلا طرز فکر ++c گرایش خاصی به ساختن پیچیدگی داره |: صد رحمت به Rust و Zig. حداقل ترید آف ش منطقی تره

Interrupt Handlers

https://linux-kernel-labs.github.io/refs/heads/master/lectures/interrupts.html

https://developer.arm.com/documentation/dui0203/g/Handling-Processor-Exceptions/Interrupt-handlers/Simple-interrupt-handlers-in-C

مرجیده شد بلاخره

https://github.com/TheDan64/inkwell/pull/620#pullrequestreview-3445839684

SuperCompilers

https://github.com/hirrolot/mazeppa
https://stanleymiracle.github.io/blogs/org/docs/supercompiler.pdf

پ.ن: اوضاع خیلی خیلی خیطه

Polyhedral Model

Part 1:
https://www.youtube.com/watch?v=_TFrPGV_A-s

Part 2:
https://www.youtube.com/watch?v=irqg3L5Xpqk

Part 3:
https://www.youtube.com/watch?v=6WkIzH8LyGY

پارت های دیگه هم داره اگر علاقه مند بودید میتونید ببینید|:
فعلا نظرم اینه که اوضاع 1000x-خیلی خیطه!

PCNF & PDNF

https://youtu.be/2cgHa02s_SA?si=bbZyOu1E-XrD30MI

Defensive Coding In Rust

https://corrode.dev/blog/defensive-programming/

این زبان یک دنیای دیگری ست اصن. همه چیز ظرافت و دقت خاص خودشو داره.

Thomas' Calculus | 14th Edition.🤐💀

Discrete Mathematics and Its Applications |Kenneth H. Rosen.

چون یکمی ازشو خوندم میگم. خیلی خیلی کتاب خوبی ست. مثال های بامزه ای هم میزنه :>

فاندر این پروژه نه تنها آدم متخصص و فهمیده ای ست بلکه آداب و احترام رو هم حفظ کرده با مشارکت کنندگان. رفتارش خیلی گرم و صمیمانه بوده تا اینجا (یعنی بعد از مرج شدن یک PR و یک issue کلوز شده).

این رو به این علت خواستم یادآوری کنم که الگو و درس عبرتی باشد برای یک عده پروژه اوپن سورس که به یوزر احترام نمیزارن هیچ... به مشارکت کننده توهین و تحقیرش هم میکنند =)

https://github.com/TheDan64/inkwell/issues/624#issuecomment-3550429064

برگه چیت شیت حد و پیوستگی

https://www.iranmodares.com/user/modares/new-jozwe/6350.pdf

کورس کوچیک برای یادگیری حد و پیوستگی

https://faradars.org/courses/limits-and-continuity-fvtgs4531?

پولی‌هیدرال لایبرری llvm پس هایی جالبی داره

https://github.com/llvm/Polygeist/tree/main/lib/polygeist/Passes

https://github.com/llvm/Polygeist/blob/main/lib/polygeist/Passes/ParallelLoopUnroll.cpp

مائم خبر داشتیم ++c خیلی اوضاعش خرابه منتها جوری که ایشون اشتباهات طراحی این زبان رو نشون میده لذت دیگه ای داره😂 چیز های زیادی هم میشه ازین ویدیو یاد گرفت.

فقط دست به دست کنید برسه دست stroustrup :))

https://www.youtube.com/watch?v=7fGB-hjc2Gc&t=2770s

پ.ن: این یکی رو از دست ندید که خیلی جالبه!

در حال مشاهده یکی از پر چالش ترین فیچر هایی هستیم که کامپایلر یک زبان برنامه نویسی میتونه داشته باشه ینی Generics که با عنوان تخصصی تر Monomorphization شناخته بشوه.

شیوه کارش اینه که موقع کال شدن فانکشن یا حتی تایپ های دیگه مث استراکت یا اینام چک میکنه که ایا این تایپ به این صورت توی رجیستری سابمیت شده هرگز یا خیر... که البته بخش آغازینش ینی GenericMappingCtx (همون T که اونجا نوشته شده بید...) حدودا ۲ هفته ای طول کشیده تا ساخته بشه و واقعا پیچیده شده مکانیزم ش :))

https://github.com/cyrus-lang/Cyrus

سرگذشت دنیس ریچی

https://www.youtube.com/watch?v=RaotHMNZPaI