[00:49:26] <ada_ru> (Oleg)  отвечает (I_vlxy_I) на <у микрофона нет же м…>
Смотря у какого, традиционный конденсаторный - есть. MEMS - тоже есть но оооочень мааааленькая прямо на кремнии
[01:18:48] <ada_ru> (nitrocerber) в полуторакиловатный перф какой ни ставь - растрясёт его к бобрам)
[01:29:41] <ada_ru> (Oleg) :-) да, я люблю SDS MAX и что нибудь подолбить
[12:23:06] <ada_ru> (Sergei)  отвечает (Oleg) на <Смотря у какого, тра…>
Погодите. Конденсаторный - совсем не традиционный, к нему фантомное питание надо. В моём представлении микрофон - это мембрана с приклеенной обмоткой из очень тонкой проволоки. Или уже не так делают?
[12:23:33] <ada_ru> (Sergei) Угольные не в счёт.
[12:34:35] <ada_ru> (Sergei)  отвечает на <(OCTAGRAM) в процесс…>
Никто не мешает запрогаммировать тот же operator"+" на inline asm. Он, кстати, очень хорошо обрабатывается C++ оптимизатором.
Но, не думаю, что условие с проверкой до будет работать сколько-нибудь медленне. Можно проверить.
А по поводу реализации безопасного типа на C++ - посмотрите мой
https://github.com/lodyagin/types/blob/master/safe.h#L163
[12:37:00] <ada_ru> (Sergei) Тем более у меня переполнение аккумулируется во флаге, не конфузя конвейер
[12:39:58] <ada_ru> (Sergei) И исключение кидается при преобразовании к int
[13:05:50] <ada_ru> (Sergei)  отвечает (coopht) на <Ну или может подсказ…>
Я делал простой апостиль у одной из многочисленных контор, которая делает переводы документов.
[13:09:41] <ada_ru> (Sergei)  отвечает на <(OCTAGRAM) "abc" + '…>
С чем бы сравнивали.
loop null; end loop;
И привет.
[14:32:41] <ada_ru> (Sergei) Это наивно думать, что программисту на C++ больше нечего делать, кроме как смешивать строки и указатели в выражении. Это всё равно, что беспокоиться, чтобы шофёр-дальнобойщик не перепутал газ и тормоз. А чо, они же рядом.

Вот актуальное сравнение надо проводить, да. Но  требуя сколько-нибуль профессионального уровня владения.
[14:37:08] <ada_ru> (Sergei) Есть реально опасные вещи. Например, запихивание std::string в класс-исключение.
[14:37:34] <ada_ru> (Sergei) В Аде предусмотрено, чтобы так нельзя было сделать.
[14:37:49] <ada_ru> (I_vlxy_I) еще можно throw 42;
[14:38:20] <ada_ru> (Sergei) исключение в деструкторе
[14:38:31] <ada_ru> (Sergei) Исключение в классе исключения
[14:38:54] <ada_ru> (Sergei) недоконструированные, мувнутые объекты
[14:39:33] <ada_ru> (Sergei) а то, что обычно приводят при сравнении с Адой - это часто совсем не актуально на практике
[14:41:39] <ada_ru> (I_vlxy_I) просто эти места в плюсах настолько плюсовоспецифические, что не понятно как и с чем тут сравнивать.

разве что язык будет сконструирован специально, чтобы излечить эту плюсовую боль. самое сильное приближение к такому языку — раст.
[14:42:21] <ada_ru> (I_vlxy_I) но при этом надежность то программы существует вне зависимости от бирюлек внутри языка. надежность — штука объективная и, в теории, может быть измерена эмпирически.
[14:42:26] <ada_ru> (Sergei) Но тут мы натыкаемся на отличия generic и template. И вроде бы, template не безопасен, но в то же время, более выразим. А значит, лаконичнее. А значит меньше внимания надо. Противоречивая неоднозначная вещь.
Частичная специализация. Позволяет унифицировать программирование и отлаживать две части независимо. Хотя, с другой стороны, опасна. Но, быстрее отлаживается, чем две отдельные реализации.
[14:46:55] <ada_ru> (Максим) Разве есть связь "лаконичнее" => "безопаснее"?
[14:47:29] <ada_ru> (Sergei)  отвечает (Максим) на <Разве есть связь "ла…>
Безусловно. То, что нельзя объять умом не есть безопасно.
[14:48:50] <ada_ru> (Sergei) Ассемблер считается опасным не потому, что в нём не работает защита памяти, она там работает как везде, а потому что больший объём кода
[14:54:46] <ada_ru> (Максим) IMHO сложное нельзя сделать понятнее просто сократив длинну текста
[14:55:29] <ada_ru> (I_vlxy_I) иногда - можно. но не панацея.
[14:56:04] <ada_ru> (I_vlxy_I) если код умещается на одном экране, работать с ним часто проще чем если приходится туда-сюда бегать. это как процессору - проще работать с тем что в регистрах, сложнее, но всё равно можно, с тем, что в кеше.
[14:56:12] <ada_ru> (I_vlxy_I) а вот то что в ОЗУ, то очень и очень медленно.
[14:58:36] <ada_ru> (I_vlxy_I) но если данные сжаты так, что их потом долго и трудно расжима, то радости с этого не будет. потому APL is gone.
[15:06:00] <ada_ru> (Sergei) Концепция надёжности, лёгшая в основу Ады держится на принципе структурного программиста Дейкстры. Проблема в том, что Дейкстру мало кто читал, а с этого следует начинать. "Дисциплина программирования". Ещё хорош его "смиренный программист". Всегда актуален.
Потому как часто сравнивают конструкции одного языка и другого, в стиле книги "сравнение языков С, Паскаль и Ада" 80-х годов. А надо смотреть, как воплощаются идеи структурного программирования.
В C++ они, кстати, неплохо воплощены в STL и в системе template, если уметь пользоваться.
[15:06:50] <ada_ru> (I_vlxy_I) но часто программист - это таки обезъяна с гранатой
[15:09:30] <ada_ru> (Sergei) Ну да. Потому что идея структурного программирования - соответствие декларативного и процедурного смысла программ. Если я пишу SortArray , то читающий программу как декларацию, воспринимает данный блок как SortArray. А если SortArray программировал обезьян с гранатой, то мне придётся брать и по шагам проходить - это уже не структурное программирование.
[15:10:20] <ada_ru> (Sergei) И этот обезъян в большой программе на Аде так же много наделает шуму гранатой, как в маленькой на ассемблере
[15:17:43] <ada_ru> (I_vlxy_I) ну, в спарке ему будет сложнее наворотить
[15:18:17] <ada_ru> (Sergei) К сожалению, есть два больших заблуждения, которые прививаются каким-то непостижимым образом при обучении многих программистов.
1. Объектное программирование - это инкапсуляция, полиморфизм, наследование
2. Структурное программирование - это программирование с помощью управляющих структур if, while, case и т.д.
Это грубочайшее невежество очень многих программистов теперь должно неустанно искореняться
[15:19:10] <ada_ru> (I_vlxy_I) в любом случае, IMHO, надежность нужно как-то хотя бы иногда измерять, а не только экспертными мнениями обмазываться.
[15:20:01] <ada_ru> (Sergei) Надёжность - это соответствие ожидаемого действительному. В терминах структурного программирования - того, как программа понимается при чтении и что она делает на самом деле.
Можно измерять только косвенно.
[15:20:41] <ada_ru> (Sergei) Если конструкторы называть Finalize_It а деструкторы Init_It то это никак не измеришь
[15:24:59] <ada_ru> (I_vlxy_I) измеришь то, как часто это будет приводить к дефактам приложения.
[15:25:07] <ada_ru> (I_vlxy_I) багам-глюкам-падениям
[15:25:13] <ada_ru> (I_vlxy_I) срывам сроков
[15:27:11] <ada_ru> (Sergei) Ну, проанализируем мы 80% случаев, и останутся наши любимые 20%, которые никакая статистика не берёт - они уникальны. Как случай бага в компиляторе.
А срывы сроков из-за прорастинации, самоуверенности и болтливости, а не из-за языка.
[15:30:08] <ada_ru> (I_vlxy_I) ну, заодно выявим и то, как ЯП влияет на эти характеристики работника 😊
[15:30:50] <ada_ru> (Sergei) Ада способствует
[15:31:42] <ada_ru> (Sergei) С++ ещё больше
[15:32:40] <ada_ru> (Sergei) Вообще, любой язык с развитой структурой типов способствует задержкам. В Фортране не было проблем ЛАПАК написать, а больше никто не взялся, срубились на типах данных.
[15:36:06] <ada_ru> (I_vlxy_I) а уж на расте да хаскеле скорее всего вообще никто даже hello world не осилит?
[15:39:26] <ada_ru> (Sergei) На Прологе очень быстро писать до определённого размера, после которого начинаются сложности "второго порядка". Но с откладыванием реализации там нет проблем.
[15:40:12] <ada_ru> (Sergei) Потому как не надо задавать Integer1 is new Integer range Integer1_From ... Integer1_To пол дня.
[15:41:08] <ada_ru> (Sergei) Или искать последнюю версию types/safe.h и компилить на последнем gcc, ставя либы и погугливая
[15:49:35] <ada_ru> (Sergei) Кстати, @I_vlxy_I, посмотри, какой симпатичный вебсайт для пролога сделали: https://swish.swi-prolog.org/
[16:03:09] <ada_ru> (Sergei) Опять таки косвенный показатель: пока в Аде собираются, в Прологе - уже сделают.
[16:11:18] <ada_ru> (I_vlxy_I) пролог, видимо, сильно проще в плане компиляции 😊
[16:11:23] <ada_ru> (I_vlxy_I) кстати, а что в Аде собираются?
[16:11:34] <ada_ru> (I_vlxy_I) так то и для Оберона такая штука есть. или подобная.
[16:15:51] <ada_ru> (Sergei)  отвечает (I_vlxy_I) на <кстати, а что в Аде …>
ну, должны собираться, когда у всех есть Ада тоже подтягивается, обычно
[16:18:07] <ada_ru> (Sergei) Почему бы и нет. Ведь Питон позволяет сайты делать.
[16:25:44] <ada_ru> (Sergei)  отвечает (I_vlxy_I) на <пролог, видимо, силь…>
Формально он должен работать на виртуальной машине, практически оно немного близко к этому, но без фанатизма.
[16:26:42] <ada_ru> (Sergei) Но http сервер там тоже прологовский стоит
[16:27:22] <ada_ru> (Sergei) и, вроде, есть свой конвертор в JS чтобы JS не мараться
[16:33:04] <ada_ru> (coopht)  отвечает (Sergei) на <Я делал простой апос…>
И этого было достаточно?
[16:34:35] <ada_ru> (Sergei)  отвечает (coopht) на <И этого было достато…>
Гаагская конвенция 1961 года (полное название: «Гаагская конвенция, отменяющая требование легализации иностранных официальных документов, от 5 октября 1961 года» (рус.),  международная Конвенция, отменяющая требование легализации иностранных официальных документов для стран-участниц Конвенции.

https://ru.wikipedia.org/wiki/%D0%90%D0%BF%D0%BE%D1%81%D1%82%D0%B8%D0%BB%D1%8C
[16:34:49] <ada_ru> (coopht) У меня жена училась в Измальском Университете. Мы попытались там сделать европейский вкладыш, но нам сказали, пишите заявление, что потеряли диплом, давайте объявление в газету, и мы дадим дубликат
[16:35:22] <ada_ru> (Sergei) См. выше.
[16:35:28] <ada_ru> (coopht) и я хотел узнать это везде такая практика, или же они просто фигней страдают
[16:35:35] <ada_ru> (coopht) я знаю про апостиль )
[16:35:59] <ada_ru> (Sergei) СССР присоединился к Конвенции 17 апреля 1991 года.[2]

Конвенция вступила в силу для Российской Федерации как продолжательницы[3] СССР 31 мая 1992 года.
[16:36:04] <ada_ru> (coopht) Многие конторы/гос. органы хотят апостиль именно на европейском вкладыше, которые делает университет
[16:36:14] <ada_ru> (coopht) там все переведено на английский
[16:36:58] <ada_ru> (Sergei) Апостиль - это просто перевод документа, вкладыша и штамп определённой формы, содержащий поля, предусмотренный конвенкцией. Он прошыт по правилам документоведения.
[16:37:57] <ada_ru> (Sergei) Ищется контора (например, через гугл, "сделать апостиль") На вход - диплом, на выходе - то, что вам нужно.
[16:38:15] <ada_ru> (Sergei) Не обязательно диплом, любой другой документ тоже подходит.
[16:38:39] <ada_ru> (Sergei) Проблемы могут быть, если институт так ставит наименования предметов на вкладыше (кодирует) , что переводчик не знает, как переводить.
[16:38:40] <ada_ru> (coopht) Я знаю что такое апостиль))
[16:38:48] <ada_ru> (coopht) Вопрос был про европейскйи вкладыш
[16:39:26] <ada_ru> (Sergei) Ну тогда не понимаю вопроса.
Что такое "европейский вкладыш"? Апостиль - упрощённая форма. Перевод и штамп.
[16:39:52] <ada_ru> (Sergei) Он принимается теми странами, которые присоеденены к конвенкции. ЭТО ЗНАЧИТ ОНИ НЕ ТРЕБУЮТ НИЧЕГО БОЛЬШЕ
[16:40:37] <ada_ru> (coopht) http://v4.udsu.ru/inter/diploma_supplement
[16:40:41] <ada_ru> (coopht) Это вот такая штука
[16:43:11] <ada_ru> (Sergei) Хорошо. Отвечаю. Я не знаю, что такое европейский вкладыш, кому и зачем он может быть нужен. Я делал апостиль, потому что чёрным по белому написано - упрощённая форма, которая должно принимаеться. Вероятно "вкладыш" - не упрощённая, которая тоже принимается на равне с "упрощённой".
[16:43:56] <ada_ru> (Sergei) При устройстве на работу этого было достаточно.
[16:46:23] <ada_ru> (coopht) понятно
[16:49:40] <ada_ru> (Sergei) @Alex, для вас погуглил:

Я планирую в этом году поступать в магистратуру Венского Уни после Бакалаврата в украинском вузе и меня очень интересует, необходимо ли при поступлении приложение к диплому европейского образца, или же возможно обойтись тем обычным, что дается в университете вместе с дипломом?

Ответить
Александр
Александр 12.07.2013 at 13:55
Можно обойтись обычным, главное правильно его оформить. Но почему бы не взять европейского образца, если есть такая возможность?

http://germanblog.ru/obrazovanie/v-avstrii/podgotovka-dokumentov-i-postuplenie-v-tu-wien/comment-page-1
[16:52:21] <ada_ru> (Sergei) Европейский мир устроен, в основном, очень просто. Если говориться: "отменяющая требование легализации иностранных официальных документов" то это значит именно то, что написано
[16:53:28] <ada_ru> (Sergei) Кстати, учтите, в некоторых странах устное сообщение будет иметь такой же юридический статус, что документ с печатью. Это для информации.
[16:53:53] <ada_ru> (Sergei) Англия, Нидерланды.
[16:54:26] <ada_ru> (I_vlxy_I) сказаному верить, лишнего не болтать/
[16:54:45] <ada_ru> (Sergei) Именно так :)
[16:55:49] <ada_ru> (Sergei) К этому тоже надо привыкнуть. Например, при снятии жилья. Сказали "беру" - назад дороги нет :)
[16:57:22] <ada_ru> (I_vlxy_I) жуть!
[16:58:26] <ada_ru> (I_vlxy_I) так значит в том анекдоте, где "мы, джентельмены, верим на слово" всё чистая правда? 😊
[16:59:39] <ada_ru> (Sergei) Да нет. Всё просто. Все говорят то, что в документах и в документах написано, то что говорят.
Ну, если попадётесь на лжи, с вами, скорее всего, не захотят иметь больше дело. Потому при устройстве на работу вам могут просто поверить, что вы расскажите о себе, но если вдруг ... мало не покажется
[17:04:07] <ada_ru> (Sergei) Отсюда, кстати, и практика пересылки сканов документов, контрактов тех же
[17:04:24] <ada_ru> (Sergei) Без "мокрых печатей"
[17:06:27] <ada_ru> (Sergei) Ну, понятно, в случае водительских прав это не работает. Хотя один знакомый знакомого взял машину на прокат по какому-то документу на непонятном никому здесь языке, где просто было написано его имя. Ну, это на его совести. Если бы попался полиции - не прокатило бы :)
[17:08:33] <ada_ru> (Sergei) Вот реальный случай был. В контракте не был прописан ежегодный бонус в кол-ве N процентов, но всем устно при приёме на работе сказали. Фирма поменяла владельца, новый захотел ввести аттестацию при выдаче бонуса. Собрался профсоюз, поговорил с владельцем, аттестацию отменили , бонус оставили. Ведь обещали же.
[17:08:54] <ada_ru> (Максим) https://www.adacore.com/customers/clarreo-pathfinder-mission
[17:10:13] <ada_ru> (I_vlxy_I) FPGA!
[17:10:27] <ada_ru> (I_vlxy_I) видимо что-то кастомное там до кучи реализовано
[18:23:45] <ada_ru> (Максим) Кто-то перехренячил GNAT Ravenscar поверх FreeRTOS - https://github.com/simonjwright/cortex-gnat-rts
[18:28:01] <ada_ru> (coopht)  отвечает (Sergei) на <@coopht , для вас по…>
Большое спасибо. Но я спрашивал именно про европейский вкладыш для диплома. 😉
[18:51:51] <ada_ru> (I_vlxy_I) о, и микробит там поддерживается!
[19:57:26] <ada_ru> (I_vlxy_I) а вот кому книжечку по асму для начинающих?
https://beginners.re/RE4B-RU.pdf
[19:57:45] <ada_ru> (coopht) Ассемблер не нужен)
[19:58:28] <ada_ru> (I_vlxy_I) писать на нем - не нужно (или почти не нужно, или вредно — зависит от). понимать его - нужно.
[20:00:17] <ada_ru> (coopht) согласен
[20:00:45] <ada_ru> (coopht) Самый "нормальный"   ассемблер у ARM архитектуры
[20:00:50] <ada_ru> (coopht) самый понятный я бы сказал
[20:08:46] <ada_ru> (I_vlxy_I) MPS430!
[20:08:58] <ada_ru> (I_vlxy_I) во
[20:09:10] <ada_ru> (I_vlxy_I) MSP рулит!