payamvha/North_RAG huggingface dataset:
سوی خانه‌های بزرگان و اعیان شهر جریان می‌یافتند. انحطاط و نابودی. شهر زرنگ در سال ۷۵۸ هجری درنتیجه حملات امیر تیمور گورکانی تخریب و رو به نابودی رفت و سپس در سال ۸۱۱ هجری در نتیجه حملات شاهرخ تیموری به کلی ویران و نابود شد.
لین (Lean) یک دستیار اثبات و یک زبان برنامه‌نویسی تابعی است. این زبان مبتنی بر حساب سازه‌ها با نوع‌های القایی است. Lean یک پروژه متن‌باز است که بر روی گیت‌هاب میزبانی می‌شود. این زبان به طور اولیه توسط لئوناردو د مورا در حین اشتغال در مایکروسافت ریسرچ توسعه داده شد و اکنون در آمازون وب سرویسز ادامه دارد. توسعه این زبان در حال حاضر توسط سازمان Lean سازمان تحقیقات متمرکز (FRO) پشتیبانی می‌شود. تاریخچه. لین توسط لئوناردو د مورا در مایکروسافت ریسرچ در سال ۲۰۱۳ راه‌اندازی شد. نسخه‌های اولیه این زبان، که بعدها به
شد. نسخه‌های اولیه این زبان، که بعدها به نام Lean 1 و 2 شناخته شدند، آزمایشی بودند و ویژگی‌هایی مانند پشتیبانی از نظریه نوع هموتوپی داشتند که بعدها حذف شدند. Lean 3 (برای اولین بار در ۲۰ ژانویه ۲۰۱۷ منتشر شد) اولین نسخه نسبتاً پایدار Lean بود. این نسخه عمدتاً با زبان C++ پیاده‌سازی شده بود و برخی از ویژگی‌ها نیز با خود زبان Lean نوشته شده بودند. پس از نسخه 3.4.2، Lean 3 به طور رسمی پایان عمر خود را اعلام کرد در حالی که توسعه Lean 4 آغاز شد. در این دوره بینابینی، اعضای جامعه Lean نسخه‌های غیررسمی تا 3.51.1
اعضای جامعه Lean نسخه‌های غیررسمی تا 3.51.1 را توسعه داده و منتشر کردند. در سال ۲۰۲۱، Lean 4 منتشر شد که بازسازی اثبات‌گر Lean بود که قادر به تولید کد C است که سپس کامپایل می‌شود و امکان توسعه خودکارسازی حوزه‌های خاص را فراهم می‌کند. Lean 4 همچنین سیستم ماکرو و بهبودهای سنتز کلاس نوع و روش‌های مدیریت حافظه را نسبت به نسخه قبلی داراست. یکی دیگر از مزایای آن نسبت به Lean 3، امکان اجتناب از لمس کد C++ برای تغییر رابط کاربری و دیگر قسمت‌های اصلی سیستم است، زیرا همه آنها اکنون در Lean پیاده‌سازی شده و در دسترس
همه آنها اکنون در Lean پیاده‌سازی شده و در دسترس کاربر نهایی برای جایگزینی در صورت نیاز هستند. Lean 4 با Lean 3 سازگاری معکوس ندارد. در سال ۲۰۲۳، Lean FRO تشکیل شد، با اهداف بهبود مقیاس‌پذیری و قابلیت استفاده از زبان و اجرای اتوماسیون اثبات. مرور کلی. کتابخانه‌ها. بسته رسمی لین شامل یک کتابخانه استاندارد "std4" است که ساختارهای داده‌ای مشترک را که می‌تواند برای هر دو تحقیق ریاضی و توسعه نرم‌افزار متعارف استفاده شود، پیاده‌سازی می‌کند. در سال ۲۰۱۷، یک پروژه نگهداری شده توسط جامعه برای توسعه یک کتابخانه Lean
شده توسط جامعه برای توسعه یک کتابخانه Lean "mathlib" آغاز شد، با هدف دیجیتالی کردن هر چه بیشتر ریاضیات ریاضیات محض در یک کتابخانه بزرگ یکپارچه، تا سطح تحقیقاتی ریاضی. تا نوامبر ۲۰۲۳، mathlib بیش از ۱۲۷,۰۰۰ قضیه و ۷۰,۰۰۰ تعریف را در Lean رسمی کرده بود. یکپارچه‌سازی ویرایشگرها. لین با: ارتباط‌گیری از طریق یک سرور پروتکل زبان و یک افزونه کلاینت انجام می‌شود. این زبان دارای پشتیبانی بومی از نمادهای یونیکد است که می‌توان با استفاده از توالی‌های شبیه به LaTeX، مانند "\times" برای "×" تایپ کرد. Lean همچنین
مانند "\times" برای "×" تایپ کرد. Lean همچنین می‌تواند به جاوااسکریپت کامپایل شود و در یک مرورگر وب دسترسی داشته باشد و از پشتیبانی گسترده‌ای برای فرا-برنامه‌نویسی برخوردار است. نمونه‌ها (Lean 4). اعداد طبیعی می‌توانند به عنوان یک نوع القایی تعریف شوند. این تعریف بر اساس اصل پیانو است و بیان می‌کند که هر عدد طبیعی یا صفر است یا جانشین عدد طبیعی دیگری است. inductive Nat : Type جمع اعداد طبیعی می‌تواند به صورت تعریف بازگشتی تعریف شود، با استفاده از تطبیق الگو. def Nat.add : Nat → Nat → Nat با استفاده از این
def Nat.add : Nat → Nat → Nat با استفاده از این تعریف‌ها، ما می‌توانیم یک اثبات تعریف بازگشتی برای یک قضیه ساده بنویسیم. theorem zero_add (a : Nat) : Nat.add zero a = a := match a with | zero =&gt; rfl | succ a' =&gt; congrArg succ (zero_add a')
آی‌چیچک خاتون (زاده ؟ – درگذشته ۱۲۲۱)؛ اولین همسر سلطان محمد خوارزمشاه و مادر بزرگترین پسرش، سلطان جلال‌الدین خوارزمشاه بود. او دختر یکی از خان‌های ترکمن بود. وی در ابتدا همسر صیغه‌ای سلطان محمد بود، اما بعدها به‌عنوان ملکه‌همسر سلطان منصوب شد. سلطان جلال‌الدین نیز به این دلیل که مادرش ترکمنی بود، همواره با ترکمن‌ها بوده و سپاهیان خود را از آن‌ها انتخاب می‌کرد که در بی‌باکی، سوارکاری و تیراندازی شهرت داشتند. زندگی‌نامه. آی‌چیچک خاتون (که نامش به‌معنای "گل آفتاب‌گردان" است) دختر یکی از خان‌های ترکمن بود. از
است) دختر یکی از خان‌های ترکمن بود. از اوایل زندگی و نسب وی چیزی مشخص نیست، برخی منابع او را ترک‌تبار و برخی دیگر هندی می‌نامند. آی‌چیچک پس از ورودش به حرم‌سرای سلطان محمد، پسر ارشد سلطان، جلال‌الدین را به دنیا آورد. در منابع تاریخی آمده است که ترکان خاتون، مادر سلطان محمد، رابطهٔ خوبی با عروسش آی‌چیچک نداشت، به طوری‌که بعدها مانع ولیعهدی پسرش، جلال‌الدین شد. گفته می‌شود علت تنفر شدید ترکان خاتون نسبت به آی‌چیچک، احتمالاً طبقه‌ای اجتماعی پایین وی بود. در جریال حملهٔ مغول در سال ۱۲۲۰، یکی از افراد به ترکان
حملهٔ مغول در سال ۱۲۲۰، یکی از افراد به ترکان خاتون پیشنهاد داد که برای فرار از چنگ مغول های متجاوز، به جلال‌الدین اعتماد کند و او را به‌عنوان وارث تاج و تخت و رهبر سپاه قبول کند، اما ترکان خاتون در جوابش گفت: سرانجام در سال ۱۲۲۱، جنگ‌جویان مغولی، به رهبری چنگیزخان توانستند جلال‌الدین و سپاهش را مغلوب کنند. هنگامی‌که آی‌چیچک مطلع شد که پسرش در جنگ شکست خورده، ترسید که مبادا او و عروسانش و باقی اهل حرم‌سرا به چنگ سربازان مغلولی گرفتار شوند و حرمتشان شکسته شود. برای همین فوراً دست به کار شد و نامه‌ای خطاب به
برای همین فوراً دست به کار شد و نامه‌ای خطاب به پسرش، جلال‌الدین نوشت. متن درون نامه از این قرار بود: هنگامی که جلال‌الدین نامهٔ مادرش را خواند، دستور صادر کرد که داد تمامی اهل حرم‌ باید خودشان را، تا قبل از رسیدن دشمن، هلاک کنند. آی‌چیچک نیز همراه با عروسان، نوه‌هایش و باقی اهل حرم‌سرا خودشان را در رود سند غرق کردند و همگی از دنیا رفتند. تنها پسر هفت سالهٔ جلال‌الدین که دستور کشتنش با تأخیر صادر شده بود سالم ماند، اما به چنگ چنگیزخان افتاد و اسیر شد.
شیم هه وون (؛ زادهٔ ۲۰ مارس ۲۰۰۴) که بیشتر با نام هنری بل (؛ ) شناخته می‌شود، خواننده و ترانه‌پرداز آمریکایی است. او یکی از اعضای گروه دخترانهٔ اهل کره جنوبی کیس آو لایف است.
هرچند جزئیات دقیق آن مشخص نیست، اما مسیحیت پیش از پذیرش رسمی آن به عنوان دین رسمی در اوایل قرن چهارم میلادی در ارمنستان گسترش یافت. در این زمان، ارمنستان بزرگ، مسیحیت را به عنوان دین رسمی خود پذیرفت و اولین کشوری بود که این کار را انجام داد. پادشاه وقت ارمنستان، تیرداد سوم از دودمان اشکانی، توسط گریگور روشنگر به مسیحیت گروید. گریگور روشنگر بعدها اولین رهبر کلیسای حواری ارمنی شد. تاریخ سنتی پذیرش مسیحیت در ارمنستان سال ۳۰۱ میلادی است، اما محققان، تاریخ‌های دیگری را نیز پیشنهاد کرده‌اند. با وجود اینکه ساختار
را نیز پیشنهاد کرده‌اند. با وجود اینکه ساختار کلیسای ارمنستان در این زمان بنیان نهاده شد، مسیحیت به تدریج در کشور ریشه دوانید. پیشرفت چشمگیر در این زمینه پس از ابداع الفبای ارمنی توسط مسروب ماشتوتس و ترجمه کتاب مقدس و متون مذهبی به زبان ارمنی در قرن پنجم میلادی رخ داد. مسیحی شدن ارمنستان یکی از مهم‌ترین رویدادهای تاریخ این کشور است که هویت مردم ارمنستان را شکل داد و این کشور را از پیوندهای چند صد ساله با ایران بزرگ جدا کرد. علاوه بر این، کلیسای ارمنی در زمانی که ارمنستان فاقد استقلال سیاسی بود، به حفظ هویت
که ارمنستان فاقد استقلال سیاسی بود، به حفظ هویت ارمنی کمک کرد. پیشینه. پیش از مسیحیت، مردم ارمنستان عمدتاً پیرو آیین زرتشت بودند (احتمالاً در زمان هخامنشیان پذیرفته شده بود) که با باورهای بومی ارمنی و سایر ادیان ترکیب شده بود. ارمنستان بزرگ از قرن اول میلادی توسط شاهزادگان اشکانی اداره می‌شد. ارمنستان توانست استقلال خود را بین دو همسایه قدرتمند خود، یعنی امپراتوری‌های اشکانی و روم، حفظ کند. در قرن اول میلادی، توافقی بین این دو امپراتوری صورت گرفت که بر اساس آن ارمنستان توسط یک شاهزاده اشکانی که مورد تأیید
آن ارمنستان توسط یک شاهزاده اشکانی که مورد تأیید روم بود، اداره می‌شد. اما با سقوط اشکانیان در ایران و روی کار آمدن ساسانیان در قرن سوم میلادی، اوضاع سیاسی تغییر کرد. درگیری بین روم و ایران شدت گرفت و اشکانیان ارمنی برای انتقام از ساسانیان به خاطر سرنگونی خویشاوندان اشکانی خود وارد جنگ شدند. در نتیجه، ارمنستان به روم نزدیک‌تر شد و گاهی مورد حمله و اشغال ساسانیان قرار گرفت. دوره اشغال ساسانیان با بازگشت تیرداد سوم، پادشاه اشکانی ارمنستان (که بعدها به مسیحیت گروید) به تاج و تخت در زمان سلطنت دیوکلتیان
گروید) به تاج و تخت در زمان سلطنت دیوکلتیان (۲۸۴–۳۰۵ میلادی) پایان یافت. این اتفاق احتمالاً در سال‌های ۲۹۸ یا ۲۹۹ میلادی، همزمان با پیمان نصیبین پس از پیروزی روم بر ساسانیان رخ داد. البته تاریخ‌های دیگری نیز برای بازگشت تیرداد سوم پیشنهاد شده است. گسترش اولیه مسیحیت. مسیحیت قبل از اینکه به عنوان دین رسمی در ارمنستان پذیرفته شود، در اوایل قرن چهارم میلادی در این سرزمین گسترش یافت. این دین از خاستگاه خود در فلسطین و از طریق سوریه و میان‌رودان به ارمنستان رسید. برخی روایت‌ها حاکی از تبلیغ مسیحیت توسط تادئوس و
برخی روایت‌ها حاکی از تبلیغ مسیحیت توسط تادئوس و بارتولومیو، دو تن از حواریون مسیح، در ارمنستان هستند. گفته می‌شود تادئوس برای تبلیغ مسیحیت به ارمنستان آمد و در آنجا جان باخت. بعدها، داستان زندگی او با داستان گریگور روشنگر پیوند خورد. با این حال، این روایت‌ها که به دنبال اثبات قدمت کلیسای ارمنی هستند، ساختگی به نظر می‌رسند. با این وجود، شواهد نشان می‌دهد که مسیحیت در اوایل در ارمنستان حضور داشته است. در قرن دوم میلادی، ترتولیان، از بزرگان کلیسا، از ارمنی‌ها به عنوان مردمی که مسیحیت را پذیرفته بودند، یاد
به عنوان مردمی که مسیحیت را پذیرفته بودند، یاد می‌کند. در اواسط قرن سوم، اسقف اسکندریه به اسقفی ارمنی به نام مروزانس نامه نوشت که نشان می‌دهد در آن زمان جامعه مسیحی قابل توجهی در ارمنستان وجود داشته است. اگرچه محل دقیق زندگی مروزانس مشخص نیست، اما برخی محققان معتقدند که او در جنوب ارمنستان می‌زیسته است. مناطق جنوبی ارمنستان توسط حکومت‌های خودمختار اداره می‌شدند که پس از پیمان صلح با روم در سال ۲۹۹ میلادی، تحت نفوذ روم قرار گرفتند. برخی پژوهشگران معتقدند که مسیحی شدن ارمنستان در واقع به گرویدن اولیه این
که مسیحی شدن ارمنستان در واقع به گرویدن اولیه این مناطق جنوبی برمی‌گردد؛ بنابراین، مسیحیت در دو موج پیاپی به ارمنستان وارد شد: موج اول از طریق سوریه و میان‌رودان به مناطق جنوبی ارمنستان رسید و موج دوم از طریق آسیای کوچک و در اوایل قرن چهارم میلادی به پادشاهی اشکانی ارمنستان وارد شد. گرویدن پادشاهی ارمنستان. روایت سنتی. روایت سنتی مسیحی شدن ارمنستان در کتاب تاریخ ارمنستان نوشته آگاتانگلوس آمده است که ترکیبی از واقعیت و افسانه است. بر اساس این روایت، در قرن سوم میلادی، پادشاه ارمنستان، خسرو دوم، با سلسله
سوم میلادی، پادشاه ارمنستان، خسرو دوم، با سلسله ساسانی در ایران وارد جنگ شد. ساسانیان قصد داشتند اشکانیان ارمنی را که آخرین بازماندگان سلسله اشکانی بودند، نابود کنند. آن‌ها آناک، یک نجیب‌زاده اشکانی، را برای جلب اعتماد پادشاه ارمنستان و کشتن او فرستادند. آناک موفق شد خسرو و بیشتر اعضای خانواده سلطنتی را به قتل برساند، اما او و خانواده‌اش توسط اشراف ارمنی کشته شدند. پس از این واقعه، پسر خسرو، تیرداد، به روم برده شد و پسر آناک در شهر قیصریه در کاپادوکیه توسط مسیحیان بزرگ شد و نام گریگوری را به او دادند.
مسیحیان بزرگ شد و نام گریگوری را به او دادند. بعدها، تیرداد با کمک رومیان تاج و تخت ارمنستان را پس گرفت. گریگوری برای خدمت به تیرداد به ارمنستان رفت، اما تیرداد تحت تأثیر امپراتور روم، دیوکلتیان، مسیحیان را آزار می‌داد. گریگوری از پرستش الهه آناهید، الهه باروری و عشق در اساطیر ارمنی، خودداری کرد و به همین دلیل توسط پادشاه زندانی و شکنجه شد. وقتی تیرداد فهمید که گریگوری پسر قاتل پدرش است، او را به چاهی عمیق به نام خور ویراپ در نزدیکی آرتاشات انداخت. گریگوری سیزده سال در این چاه زندانی بود. در این مدت، گروهی
سال در این چاه زندانی بود. در این مدت، گروهی از راهبه‌های مسیحی که از امپراتوری روم گریخته بودند، به دستور تیرداد کشته شدند. در روایت آگاتانگلوس، گریگوری به طرز معجزه‌آسایی نجات می‌یابد و پس از اینکه خواهر تیرداد، خسروی‌دوخت، رؤیایی می‌بیند، از چاه بیرون آورده می‌شود. گریگوری سپس پادشاه را که به خاطر رفتار گناه‌آلودش به یک گراز وحشی تبدیل شده بود، شفا می‌دهد. تیرداد و دربار او مسیحیت را می‌پذیرند و ارمنستان اولین کشوری می‌شود که مسیحیت را به عنوان دین رسمی خود می‌پذیرد. پس از آزادی، گریگوری شروع به تبلیغ
خود می‌پذیرد. پس از آزادی، گریگوری شروع به تبلیغ مسیحیت در ارمنستان کرد و در مکان‌هایی که در رؤیا به او نشان داده شده بود، برای راهبه‌های شهید کلیساهایی ساخت. یکی از این کلیساها در شهر واغارشاپات ساخته شد که بعدها به مرکز مهم مسیحیت ارمنی تبدیل شد و در قرون وسطی به «اجمیادزین» تغییر نام داد. گریگوری با همراهی پادشاه تیرداد، نیایشگاه‌های قدیمی را در سراسر ارمنستان تخریب کرد و بر مقاومت روحانیون غیرمسیحی غلبه کرد. سپس او به شهر قیصریه رفت و به عنوان اسقف ارمنستان منصوب شد. تا اواخر قرن چهارم میلادی، جانشینان
منصوب شد. تا اواخر قرن چهارم میلادی، جانشینان گریگوری برای تأیید مقام اسقفی خود به قیصریه می‌رفتند و ارمنستان تحت نظارت اسقف‌های قیصریه باقی ماند. گریگوری با همراهی دستیاران مسیحی خود از قیصریه به ارمنستان بازگشت و به جای نیایشگاه‌های قدیمی تخریب شده، کلیساهایی ساخت. او همچنین اموال و ثروت این معابد را تصاحب کرد و به کلیسای ارمنی بخشید. در محل یکی از معابد، گریگوری کلیسایی ساخت که تا سال ۳۸۷ میلادی مرکز اصلی کلیسای ارمنی بود. او همچنین پادشاه، سپاه و مردم ارمنستان را در رود فرات غسل تعمید داد. در روایتی
ارمنستان را در رود فرات غسل تعمید داد. در روایتی دیگر، گریگوری پادشاهان کشورهای همسایه را نیز غسل تعمید داده است. او مدارسی برای آموزش مسیحیت به کودکان تأسیس کرد و برخی از فرزندان موبدان را به عنوان اسقف منصوب کرد. اگرچه بسیاری از عناصر روایت آگاتانگلوس افسانه‌ای هستند، اما برخی از جزئیات آن توسط منابع دیگر تأیید شده‌اند. به عنوان مثال، رهبری گریگوری و نوادگانش بر کلیسای اولیه ارمنی و همچنین انتصاب او به عنوان اسقف در سال ۳۱۴ میلادی در شورای کلیسای قیصریه توسط منابع دیگر تأیید شده است. با این حال، روایت
توسط منابع دیگر تأیید شده است. با این حال، روایت آگاتانگلوس، گسترش مسیحیت در ارمنستان را به سرعت و در طول عمر گریگوری نشان می‌دهد، در حالی که در واقع این فرایند به تدریج و با مقاومت‌هایی همراه بوده است. تاریخ و دلایل. تاریخ سنتی گرویدن ارمنستان به مسیحیت سال ۳۰۱ میلادی است، اما تاریخ‌های دیگری مانند ۲۸۴ تا ۳۱۴ میلادی نیز پیشنهاد شده‌اند. بسیاری از پژوهشگران امروزی، سال ۳۱۴ میلادی را محتمل‌تر می‌دانند. برخی معتقدند که پادشاه ارمنستان، تیرداد سوم، از اتحاد با روم ناامید شده و برای تقویت کشور و جدایی بیشتر از
روم ناامید شده و برای تقویت کشور و جدایی بیشتر از روم و ایران، مسیحیت را پذیرفته است. اما برخی دیگر می‌گویند که تیرداد به عنوان متحد روم، نمی‌توانسته در زمانی که روم با مسیحیان مخالف بود، مسیحیت را دین رسمی کشور اعلام کند؛ بنابراین، آن‌ها گرویدن ارمنستان به مسیحیت را به بعد از صدور فرمان میلان در سال ۳۱۳ میلادی نسبت می‌دهند. یک دیدگاه دیگر این است که تیرداد و دربار او در سال ۳۰۱ میلادی مخفیانه مسیحی شده بودند، اما پس از فرمان میلان آن را آشکار کردند. دیدگاه دیگری نیز وجود دارد که می‌گوید امپراتوری روم، با
دیگری نیز وجود دارد که می‌گوید امپراتوری روم، با وجود مخالفت با مسیحیت، گرویدن ارمنستان به این دین را تحمل کرد، زیرا این اقدام علیه ایران ساسانی بود. جرج بورنوتیان، مورخ ارمنی، فشارهای خارجی، به ویژه از سوی ایران زرتشتی و سلسله ساسانی را عامل اصلی تصمیم تیرداد برای پذیرش مسیحیت می‌داند. مری بویس، پژوهشگر انگلیسی، نیز معتقد است که ارمنستان مسیحیت را در مخالفت با ساسانیان پذیرفت. رابرت تامسون، مورخ آمریکایی، تصمیم تیرداد را یک اقدام سیاسی می‌داند، اما انگیزه شخصی او را نامشخص می‌داند. مسیحیت و کلیسا از طریق
شخصی او را نامشخص می‌داند. مسیحیت و کلیسا از طریق ساختارهای اجتماعی و سیاسی موجود در ارمنستان گسترش یافتند. کلیسا اموال زیادی را از نیایشگاه‌های پیشین تصاحب کرد و کلیساهای اولیه ارمنی بر روی خرابه‌های آن‌ها ساخته شدند. اموال کلیسا در اختیار پاتریارک بود و مانند خاندان‌های اشرافی به ارث می‌رسید. مقام پاتریارک نیز مانند مناصب دولتی در ارمنستان به صورت موروثی در اختیار نوادگان گریگور روشنگر بود، اگرچه این موضوع با قوانین مسیحیت در تضاد بود. این عوامل باعث شد که کلیسا نقش سیاسی مستقلی داشته باشد و گاهی با
شد که کلیسا نقش سیاسی مستقلی داشته باشد و گاهی با پادشاهان اشکانی درگیر شود. گسترش مسیحیت در میان مردم ارمنستان و از بین بردن باورها و رسوم پیش از مسیحیت، روندی تدریجی و ناهموار بود. هم مردم عادی و هم اشراف در برابر مسیحیت مقاومت می‌کردند. اشراف ارمنی که با سیاست‌های طرفدار روم پادشاهی مخالف بودند، به جای مسیحیت، به آیین زرتشتی روی آوردند. ورتانس، پسر گریگوری، که پس از برادرش آریستاس به عنوان پاتریارک جانشین او شد، در آشتیشات تقریباً توسط بت‌پرستان کشته شد. در سال ۳۶۵ میلادی، نرسس اول، شورای آشتیشات را
شد. در سال ۳۶۵ میلادی، نرسس اول، شورای آشتیشات را تشکیل داد و در آن رسوم پیش از مسیحیت مانند ازدواج‌های فامیلی، مراسم سوگواری به سبک بت‌پرستان و چندهمسری را ممنوع کرد. رابرت دابلیو تامسون، محقق آمریکایی، معتقد است که در ابتدا، تلاش برای گسترش مسیحیت در میان مردم ارمنستان عمدتاً توسط مردان مقدس و زاهدان محلی صورت می‌گرفت، نه توسط نهادهای کلیسا. بیشتر این افراد از سوریه یا مناطق اطراف آن بودند. یکی از دلایل کندی گسترش مسیحیت در ابتدا این بود که مراسم مذهبی به زبان یونانی یا سُریانی برگزار می‌شد و برای اکثر
زبان یونانی یا سُریانی برگزار می‌شد و برای اکثر مردم ارمنستان قابل فهم نبود. با ابداع الفبای ارمنی در حدود سال ۴۰۵ میلادی توسط مسروب ماشتوتس که خود یک واعظ زاهد بود، مسیحی شدن مردم با سرعت بیشتری پیشرفت کرد. کتاب مقدس، متون مذهبی، آثار پدران کلیسا و دیگر متون مسیحی برای اولین بار به زبان ارمنی ترجمه شدند. در این کار، ماشتوتس از پادشاه بهرام شاپور و اسحاق پاتریارک کمک گرفت. در اواسط قرن پنجم میلادی، یزدگرد دوم، پادشاه ساسانی، تلاش کرد تا آیین زرتشتی اصلاح‌شده را در ارمنستان رواج دهد، اما با مقاومت ارمنی‌ها
را در ارمنستان رواج دهد، اما با مقاومت ارمنی‌ها در نبرد آوارایر مواجه شد. اگرچه گروهی از اشراف ارمنی از پادشاه ساسانی حمایت کردند و از مسیحیت دست کشیدند، اما تلاش‌های ساسانیان برای از بین بردن مسیحیت ارمنی در نهایت شکست خورد. با این حال، بسیاری از عناصر دین پیش از مسیحیت به مسیحیت ارمنی راه یافتند و گروه کوچکی از ارمنی‌ها به نام آرئووردی هرگز به مسیحیت نگرویدند و ظاهراً تا به امروز نیز باقی مانده‌اند.
میمیمی گیمز یک سازنده بازی‌های ویدیویی آلمانی مستقر در مونیخ بود که در ساخت بازی‌های استراتژی و تاکتیکی تخصص داشت. این شرکت در ژانویه ۲۰۱۱ توسط دومینیک آبه و یوهانس راث تأسیس شد. بازی‌های قابل توجهی که توسط این استودیو ساخته شده عبارتند از آخرین تینکر: شهر رنگ‌ها (۲۰۱۴) , "تیغه‌های شوگان" (۲۰۱۶)، "دسپرادوس ۳" (۲۰۲۰) و در نهایت "شدو گمبیت: خدمه نفرین شده (۲۰۲۳)". تا نوامبر ۲۰۲۱، شرکت ۳۸ کارمند داشت. در ۲۹ اوت ۲۰۲۳، استودیو اعلام کرد که تعطیل خواهد شد.
در فناوری های پایگاه داده ، یک عقبگرد یک عملیات است که پایگاه داده را به یک حالت قبلی برمی گرداند. عقبگرد ها برای یکپارچگی پایگاه داده اهمیت دارند ، زیرا این معنا را می دهند که پایگاه داده حتی بعد از انجام شدن عملیات های اشتباه می تواند به یک نسخه سالم بازگردانده شود. ، عقبگردها برای بهبودی از خرابی های سرور حیاتی هستند. با بازگشت به عقب هر تراکنش که دز زمان خرابی سرور فعال بود، پایگاه داده به یک حالت منسجم بازیابی می شود. ویژگی عقبگرد معمولا با یک ثبت وقایع تراکنش پیاده سازی می شود، اما همچنین می تواند از
تراکنش پیاده سازی می شود، اما همچنین می تواند از طریق کنترل همروندی چندنسخه‌ای پیاده سازی شود. عقبگرد پی در پی. یک عقبگرد پی در پی در سیستم های پایگاه داده وقتی اتفاق می افتد که یک تراکنش (T1) باعث یک شکست می شود و یک عقبگرد باید اجرا شود. باقی تراکنش هایی که به اعمال T1 وابسته هستند هم به دلیل شکست T1 باید عقب گردانده بشوند، در نتیجه یک تاثیر پی در پی ایجاد می کند. این در واقع شکست یک تراکنش است که باعث می شود تعداد زیادی شکست بخورند. روش های عملی بازیابی پایگاه داده عقبگرد های غیر پی در پی را تضمین می
پایگاه داده عقبگرد های غیر پی در پی را تضمین می کنند، در نتیجه یک عقبگرد پی در پی یک نتیجه دلخواه نیست. عقبگرد پی در پی توسط یک مدیر دیتا بیس برنامه ریزی می شود. SQL. SQL به معنای زبان ساخت یافته ی پرس و جو است که برای دسترسی، به روزرسانی و دستکاری کردن اطلاعات است. در اس‌کیوال ، codice_1 دستوری است که باعث میشود همه ی تغییرات اطلاعات از آخرین codice_2 یا codice_3توسط سیستم مدیریت دیتابیس رابطه ای لغو بشود. که حالت داده به حالت قبل ار اعمال آن تغییرات عقبگردانده شود. یک عبارت codice_1 همچنین هر نقطه ذخیره
شود. یک عبارت codice_1 همچنین هر نقطه ذخیره سازی موجود را رها می کند. در اکثر نسخه های مختلف SQL ، دستورها codice_1 مختص به ارتباط هستند. این به این معناست که اگر دو ارتباط به یک پایگاه داده برقرار باشند، یک codice_1 در که در یک ارتباط ایجاد شده است بر ارتباط های دیگر تاثیر نمی گذارد. این برای همزمانی مناسب حیاتی است. استفاده خارج از پایگاه های داده. عقبگرد ها منحصر به ساختمان های داده نیستند. هر سیستم توزیع شده حالتی ای می تواند از عملیات های عقبگرد برای نگهداری انسجام استفاده کند. نمونه هایی از سیستم های
انسجام استفاده کند. نمونه هایی از سیستم های توزیع شده ای که می توانند از عقبگرد ها پشتیبانی کنند شامل صف پیغام ها و سیستم های مدیریت گردش‌کار می شود. به طور عمومی تر، هر عملیاتی که سیستم را قبل از یک عملیات دیگر یا مجموعه ای از عملیات ها به حالت قبلی اش بر می گرداند می تواند به عنوان یک عقبگرد شناخته شود.
بوکیت تینگی یک شهرک کوچک در منطقه بوتونگ، ایالت پاهانگ، مالزی است. این شهرک کوچک که در امتداد بزرگراه کوالالامپور-کاراک قرار دارد برای افرادی که به منطقه تفریحی ارتفاعات جنتینگ تردد می‌کنند برای دیدار از آن جذاب است. مکان شاخص شهرک، یک دهکده کوچک با بن‌مایه فرانسوی به نام کولمار تروپیکال است. پیرامون شهرک. حرکت کردن از کوالا لامپور تا رسیدن به بوکیت تینگی، ۵۵ دقیقه (۵۴٬۳ کیلومتر) زمان می‌برد و شهرک در ارتفاع ۸۰۰ متر بالاتر از سطح دریا قرار دارد. دمای شهرک بین ۲۲ تا ۲۶ درجه سانتی گراد است. در سال ۱۹۸۷،
بین ۲۲ تا ۲۶ درجه سانتی گراد است. در سال ۱۹۸۷، طرح‌هایی برای توسعه شهرک در جهت کاهش تراکم جمعیتی در کوالالامپور در نظر گرفته شده بود.
بمب‌گذاری کافه مومنت یک بمب‌گذاری انتحاری فلسطینی در یک کافی‌شاپ در مرکز شهر اورشلیم بود که در آن ۱۱ غیرنظامی اسرائیلی کشته و ۶۵ نفر دیگر زخمی شدند. این بمب‌گذاری در ۹ مارس ۲۰۰۲ به عنوان بخشی انتفاضه دوم انجام شد. حمله. در ۹ مارس ۲۰۰۲، اندکی قبل از ساعت ۲۲:۳۰، یک بمب‌گذار انتحاری فلسطینی وارد کافه مومنت در محله ریحاویه اورشلیم در تقاطع خیابان غزه و خیابان بن میمون، واقع در حدود ۱۰۰ متری اقامتگاه نخست‌وزیر شد. در آن زمان، این کافه یکی از محبوب‌ترین مراکز تفریحی اورشلیم بود. بمب‌گذار انتحاری بلافاصله پس از
اورشلیم بود. بمب‌گذار انتحاری بلافاصله پس از ورود به ساختمان، بمب قدرتمندی را که در زیر لباسش پنهان شده بود، منفجر کرد. نیروی انفجار به‌طور کامل مغازه را ویران کرد، بلافاصله ۱۱ غیرنظامی اسرائیلی کشته و ۶۵ نفر زخمی شدند که ۱۰ نفر از آن‌ها به طرز وخیمی مجروح شدند. عاملان. حماس مسئولیت این حمله را بر عهده گرفت. تحقیق و بررسی. در ۱۷ اوت ۲۰۰۲، نیروهای امنیتی اسرائیل اعضایی از حماس را که این حمله را انجام داده بودند، دستگیر کردند. ستیزه‌جویان ساکن اورشلیم شرقی بودند. آن‌ها به دلیل اقامت دائم در اسرائیل، کارت‌های
آن‌ها به دلیل اقامت دائم در اسرائیل، کارت‌های هویت آبی اسرائیلی را حمل می‌کردند که به آنها اجازه می‌داد در اسرائیل کار کنند و به راحتی در اسرائیل سفر کنند. در حالی که نیروهای امنیتی اسرائیل در حال بررسی این حادثه بودند متوجه شدند این افراد که در رسانه‌ها از آن‌ها به عنوان «سلول سیلوان» یاد می‌شود، مسئول یک سری حملات علیه غیرنظامیان اسرائیلی از جمله حمله به کافه مومنت بوده‌اند که در در مجموع ۳۵ غیرنظامی اسرائیلی کشته و ۲۰۰ نفر دیگر زخمی شدند. به گفته نیروهای امنیتی اسرائیل، این افراد بر اساس دستوراتی که از
امنیتی اسرائیل، این افراد بر اساس دستوراتی که از مقر حماس در رام‌الله دریافت کرده بودند، عمل می‌کردند. حماس به آن‌ها دستور داده بود تا یک فضای عمومی شلوغ را برای انجام یک حمله انتحاری با تلفات گسترده پیدا کنند. در اکتبر ۲۰۱۱، اعضای گروه سیلوان همگی به عنوان بخشی از تبادل زندانیان گیلاد شلیت از زندان آزاد شدند. طرح دعوی در دادگاه. شکایتی علیه بانک عرب به دلیل تأمین مالی این حمله ثبت شد. پیامد. این حمله در ماه مارس ۲۰۰۲ رخ داد که در آن اسرائیل بیشترین میزان تلفات انتفاضه دوم را متحمل شد - ۱۱۱ سرباز و
میزان تلفات انتفاضه دوم را متحمل شد - ۱۱۱ سرباز و غیرنظامی اسرائیلی در طول آن ماه در بیش از ۱۲ حمله توسط شبه‌نظامیان در سراسر کشور کشته شدند. این حملات در ۲۷ مارس ۲۰۰۲ با کشتار عید پسح به اوج خود رسید که منجر به تصمیم دولت اسرائیل برای راه‌اندازی یک عملیات نظامی بزرگ علیه زیرساخت‌های شبه نظامیان فلسطینی در کرانه باختری شد
کوییک یک پروتکل لایهٔ انتقال است که در سال ۲۰۱۲ توسط جیم روسکایند در گوگل پیاده‌سازی و در سال ۲۰۱۳ منتشر شد. این پروتکل، برای بیش از نیمی از اتصالات گوگل کروم به سرورهای گوگل استفاده می‌شود. علاوه بر این مرورگرهای ماکروسافت اج، فایرفاکس و سافاری نیز از این پروتکل پشتیبانی می‌کنند. کوییک، عملکرد پروتکل پیشین خود، یعنی پروتکل هدایت انتقال را بهبود می‌بخشد. این کار، با استفاده از پروتکل داده‌نگار کاربر به عنوان پایه‌ای برای برقراری ارتباط بین دو نقطهٔ پایانی در لایهٔ انتقال انجام می‌شود. علاوه بر این، کوییک به
لایهٔ انتقال انجام می‌شود. علاوه بر این، کوییک به کاهش تاخیر و جلوگیری از ازدحام در شبکه کمک می‌کند. در سال ۲۰۲۱، کارگروه مهندسی اینترنت پروتکل کوییک را استانداردسازی کرد. ویژگی‌ها. در خصوص پشتیبانی از پروتکل امن انتقال ابرمتن (HTTPS)، کوییک همانند پروتکل هدایت انتقال (TCP) عمل می‌کند، ولی تاخیر کمتری ارائه می‌دهد و به شکلی بهینه‌تر بسته‌های گم شده را بازیابی می‌کند. این بهبودها به سبب دو تفاوت عمده بین این کوییک و TCP به وجود آمده‌اند. اولین تفاوت، کاهش زمان لازم برای اتصال اولیه در کوییک است. با توجه به
لازم برای اتصال اولیه در کوییک است. با توجه به این که بیشتر اتصالات HTTPS نیازمند پروتکل امنیتی لایهٔ انتقال (TLS) هستند، کوییک بخشی از اطلاعات لازم برای این پروتکل را در دست‌دهی اولیه منتقل می‌کند. تا پیش از این، لازم بود تا در ابتدا یک اتصال TCP برقرار شود، سپس اطلاعات لازم برای پروتکل‌های امنیتی رد و بدل شوند. دومین تفاوت، استفاده از پروتکل داده‌نگار کاربر (UDP) به عنوان پایهٔ انتقال اطلاعات است. برای جبران خدماتی که UDP ارائه نمی‌دهد (مانند بازیابی بسته‌ها)، کوییک خود در جریانی متفاوت از UDP این خدمات