Теорема, протилежна оберненій

Оскільки я вже згадав у попередньому дописові про третє видання книжки Кормена і компанії «Вступ до алгоритмів» (так звану CLRS), то напишу і тут про ненароком помічену помилку в російському перекладі книжки.

Працюючи з текстом задачі 8-7 («Лема сортування 0-1 і сортування стовпцями», сторінка 208 оригіналу) вирішив зазирнути в російський переклад, як там цю лему назвали, і тут же око вихопило дуже некоректний текст.

У перекладі російською (сторінка 238) є такі слова: «докажем 0-1-лемму сортировки путём доказательства обратной к ней». Але так не буває. Ніколи-ніколи-ніколи доведення оберненого твердження не доводить пряме. Якщо істинне як пряме твердження, так і обернене, то частини тверджень еквівалентні, тобто (А⇒Б ∧ Б⇒А) ⇒ (А⇔Б). Але шляхом доведення Б⇒А неможливо довести А⇒Б.

І в оригіналі було: «prove the 0-1 sorting lemma by proving its contrapositive»

Контрапозитивне твердження (протиставлення) це протилежне оберненому (або обернене протилежному, що те ж саме), тобто (А⇒Б) ⇔ (¬Б⇒¬А) і саме ¬Б⇒¬А можна довести для доведення А⇒Б (що і зроблено далі по тексту).

Цікаво, скільки ще таких неточностей у цьому перекладі з англійської на російську? І зрозуміло, чому я проти таких подвійних перекладів навіть у «технічних» текстах.

Raspberry Pi як елемент суперкомп’ютера

Фото та оригінальний текст взято зі статті
Researcher builds supercomputer with Raspberry Pi boards (Nick Flaherty, 14 листопада 2017),
розміщеної на сайті eeDesignNewsEurope, © 2017 European Business Press SA.

Оскільки на столі хоча б просто лежить Raspberry Pi, пов’язані із цією системою новини привертають увагу. Даю трохи скорочений переклад однієї із таких цікавинок, яка привернула мою увагу ще й іншою стороною — масовим паралелізмом :-).

Дослідник Лос-Аламоської національної лабораторії в США розробив доступний, масштабований суперкомп’ютер, використовуючи тисячі недорогих модулів Raspberry Pi.

Система надає потужний високопродуктивний обчислювальний випробувальний стенд для розробників системного програмного забезпечення та дослідників, одночасно зменшуючи витрати та енергоспоживання в порівнянні з іншими системами HPC, використовуючи плати від Raspberry Pi Foundation в Кембриджі.

Gary Grider, керівник відділу високопродуктивних обчислень в Національній лабораторії Лос-Аламосі, де розміщується суперкомп’ютер Trinity, каже: «Модулі Raspberry Pi дозволяють розробникам з’ясувати, як написати програмне забезпечення і досягти його надійної роботи, не маючи спеціального тестового блоку такого ж розміру, який коштуватиме чверть мільярда доларів і споживатиме 25 мегават електроенергії».

Модуль кластера на Raspberry Pi 3

Австралійська компанія BitScope Designs, розробник BitScope Blade, інфраструктурної платформи для Raspberry Pi, побудувала великий кластер Raspberry Pi для дослідницького проекту, задуманого Лос-Аламоською національною лабораторією разом із компанією SICORP у Нью-Мексико. Система складається з п’яти стійкових кластерних модулів, кожен з яких має 150 плат Radpberry Pi3. Всі плати з’єднано мережею. Маючи загалом 750 процесорів і 3000 ядер, система дає розробникам ексклюзивний час на недорогій, але високопаралельній платформі для тестування та перевірки технологій масштабованих програмних систем. Споживана потужність (всього) 2,2 кВт.

Bruce Tulloch, CEO компанії BitScope, вважає, що Raspberry Pi чудово підходять для створення недорогих хмарних і кластерних систем. Модуль кластера на RPi може бути використаним у наукових дослідженнях і освіті, для моделювання великомасштабних сенсорних мереж з підключення реальних сенсорних пристроїв, досліджень мережевої топології HPC і, а також програм, що масштабуються на Інтернет речей (IoT).

Оболонка Arduino українською

Потихеньку завершив переклад оболонки Ардуіно українською мовою. Станом на кінець літа там близько третини (із майже шестисот) рядків у .po-файлі було ще не перекладено. Дещо було перекладене, але не потрапляло в оболонку жодною мовою, довелося шукати проблемне місце, виправляти і робити pull-request.

Дещо з перекладеного раніше також довелося виправити. Напевне ж, ще треба виправляти, як старе, так і зроблене мною. Хоча б тому, що в англійській мові нема відмінків, а я сам не пройшов всю оболонку, не викликав усі можливі повідомлення і не знаю контексту, у якому вони виникають. У дуже підозрілих місцях я просто по java-коду оболонки здогадувався про цей контекст.
От цікаво, де виникає повідомлення «Як сюрреалістично!» (в оригіналі «How very Borges of you»), але в код не ліз, такий квест треба проходити чесно 😉

Зараз з сайту Arduino можна завантажити Arduino IDE «стабільної» версії 1.8.5 від кінця вересня, туди частина перекладу вже увійшла.
У чергову preview-версію 1.8.6 від 30 жовтня (нижче, розділ HOURLY BUILDS) ще не потрапили дві фрази (див. issue), тепер вони є в перекладі. В релізі (чи наступному пре-релізі) 1.8.6 мають бути.

Будь-ласка, хто використовує Arduino, беріть найсвіжішу збірку (зараз ота 30 October 2017) звертайте увагу на меню і всі повідомлення, які трапляються у реальній роботі. Як щось криве побачите — пишіть. Хочу підчистити до релізу. Ну і потім продовжувати підтримувати стан.

Зовнішні відносно Arduino плагіни для роботи з платами/бібліотеками, навіть якщо вони прямо із сайту завантажуються разом з оболонкою, не мають можливості перекладу. Але пишіть про все, а я вже розбиратимуся — то щось нове додали і треба перекласти, чи воно не вміє бути перекладеним.

До речі, довідка в Arduino IDE, на відміну від власне оболонки, існує лише англійською. Так і не зрозумів, чи збираються додавати перемикання. Пізніше питатиму, зараз інша в чомусь близька робота час забрала.

[flagcounter image]