Hoare

💡 The bill also had support from two Conservative backbenchers, Sir Roger Gale and Simon Hoare.

این لایحه همچنین از حمایت دو عضو محافظه‌کار مجلس، سر راجر گیل و سایمون هور، برخوردار بود.

💡 A profile of Hoare emphasized clarity and simplicity, virtues in software and prose worth copying shamelessly.

شرح حالی از هور بر شفافیت و سادگی، فضایل نرم‌افزار و نثری که ارزش کپی کردن بی‌شرمانه را دارد، تأکید داشت.

💡 Old Barn Garden Centre's head of security, Chris Hoare, believes proofs of purchase should be a requirement for people selling goods through online marketplaces.

کریس هور، رئیس بخش امنیت مرکز باغبانی اولد بارن، معتقد است که ارائه مدرک خرید باید برای افرادی که از طریق بازارهای آنلاین کالا می‌فروشند، الزامی باشد.

💡 Computer scientists cite Hoare for quicksort and axiomatic semantics, ideas that still shape how we reason about programs and their correctness.

دانشمندان کامپیوتر از هور به خاطر مرتب‌سازی سریع و معناشناسی اصل موضوعی یاد می‌کنند، ایده‌هایی که هنوز هم نحوه استدلال ما در مورد برنامه‌ها و صحت آنها را شکل می‌دهند.

💡 Students implemented Hoare logic proofs, discovering that formal reasoning can feel surprisingly satisfying once syntax stops scaring them.

دانش‌آموزان اثبات‌های منطقی هور را پیاده‌سازی کردند و کشف کردند که استدلال صوری می‌تواند به طرز شگفت‌آوری رضایت‌بخش باشد، به محض اینکه دیگر از نحو نترسد.

💡 The inquest at Exeter Coroner's Court heard from eye-witness Daniel Hoare who said he saw the men being swept off rocks at Oddicombe Beach in Torquay on 27 May 2023.

تحقیقات در دادگاه پزشکی قانونی اکستر از زبان شاهد عینی، دنیل هور، شنیده شد که گفته بود در ۲۷ مه ۲۰۲۳ شاهد بوده که این مردان در ساحل اودیکامب در تورکی از روی صخره‌ها به پایین کشیده می‌شوند.