У меня это не воспроизводится. То есть все компилируется нормально без каких-либо фиксов исходника (когда модуль заканчивается на «End Init.»), что логично, так как грамматика Оборона требует именно этого. А вот с фиксом, когда удаляем Init., выскакивает именно обозначенная выше ошибка.
Было бы здорово увидеть в каком случае (браузер и проч) это воспроизводится. И иметь steps to reproduce.
У меня успешная компиляция проходит так: идем на вот эту страничку visual.sfu-kras.ru/model/241 тыкаем Compile. Работает Safari, FF, Chrome
Выглядит странно, так как первый вариант суть верный. И у меня отлично компилируется. А такая ошибка компиляции появляется именно после удаления «Init.»
Я очень рад, что наше c Владом начинание кому-то пригодилось :-) Реально демки очень интересные и наглядные. Мне больше всего вот эта понравилась: visual.sfu-kras.ru/ready/241 Аж подзалип немного.
посмотрел внимательней — возможность отправить фотки перед завершением аренды в Яндекс.Драйве есть. Это обозначено как «отправить фотографии повреждений» и, естественно, это опционально.
Ну и, откровенно говоря, это звучит так, что отправлять эти фотки будто бы надо если в ходе эксплуатации ты повредил автомобиль.
В яндекс.драйве я вообще возможности сфотографировать автомобиль после аренды не помню. Хотя, возможно, там тоже это сделано незаметной кнопкой.
А еще: в каршеринговых машинах, по крайней мере каршеринговых машинах яндекс.драйва, никогда, или почти никогда, нет аптечки, огнетушителя и знака аварийной остановки. А без этих вещей эксплуатировать авто ЗАПРЕЩЕНО законом. Плюс их недостачу могут списать с тебя. В договоре так и сказано.
Но ладно что это запрещено законом — там штраф всего 500 рублей. Но что будешь делать, когда эти вещи реально понадобятся в случае ДТП например? Когда первую помощь оказать не сможешь, или тебе не смогут оказать.
Таким образом алгоритм, кажется, нужно либо ходить со своим набором автомобилиста (аптечка, огнетушитель, знак аварийной остановки), впрочем при этом сохраняется вероятность штрафа от каршеринга, либо не пользоваться каршерингом вообще, так как найти машину годную для эксплуатации на дорогах общего пользования — не реально.
Cейчас готовится очередной ISO стандарт для Ады — Ada 202x, сейчас действующий стандарт это Ada 2012. А Ada/SPARK недавно нвидия начала использовать для своего железоориентированного программирования. Но основной драйвер тут конечно SPARK (не путать с Apache Spark), ибо позволяет много чего доказать формально, что ценно когда надежность софта имеет значение.
Сейчас уже не модно, завтра снова будет модно — история циклична :-)
Помимо C++ и Rust, LLVM используется в компиляторах (как статических, так и динамических) для таких разных языков как D, Fortran, Haskell, Julia, Kotlin, Lua, PHP, Python.
А какой сейчас уровень зарплат джунов-разработчиков в Москве? А у стажеров? Я же правильно понимаю, что у них от стека технологий ставка практически не зависит?
История не терпит сослагательного наклонения. Никто не знает что бы было. Например проект earlyvideo (ныне flussonic) начинался также как и nginx с той же бизнес моделью, опенсорс ядро, платные дополнения. Но потом (с точки зрения бизнеса) оказалось выгоднее дропнуть опенсорс и оставить только проприентарщину.
Кроме того, если даже open source тут сыграл положительную роль в СТОИМОСТИ компании (а не в распространенности решения), то в любом случае это не единственный фактор. Стал бы nginx более популярным и успешным если бы был опенсорсным но написанным на pascal? А если бы он был на с# и только под windows?
Очень странная логики — выбрать один из аспектов, которые, возможно, сыграли положительную роль в выгодной продаже компании, и ходить с лозунгом, что действия Рамблера это нападки именно на этот аспект ОДИН аспект (на опенсорс).
Если Рамблер против опенсорса в этом деле, значит, следуя той же логике, Рамблер против языка Си, рамблер против протокола http и далее по списку.
Каким образом история с nginx имеет отношение к open source? Если бы nginx не был open source, Сысоев был бы виновен?
С тем же успехом можно привязать историю с nginx к тому на каком ЯП написан nginx. И дальше раздувать мысль, что язык Си и возможности его применения суть краеугольный камень и бла-бла-бла.
У меня это не воспроизводится. То есть все компилируется нормально без каких-либо фиксов исходника (когда модуль заканчивается на «End Init.»), что логично, так как грамматика Оборона требует именно этого. А вот с фиксом, когда удаляем Init., выскакивает именно обозначенная выше ошибка.
Было бы здорово увидеть в каком случае (браузер и проч) это воспроизводится. И иметь steps to reproduce.
У меня успешная компиляция проходит так: идем на вот эту страничку visual.sfu-kras.ru/model/241 тыкаем Compile. Работает Safari, FF, Chrome
Ну и, откровенно говоря, это звучит так, что отправлять эти фотки будто бы надо если в ходе эксплуатации ты повредил автомобиль.
А еще: в каршеринговых машинах, по крайней мере каршеринговых машинах яндекс.драйва, никогда, или почти никогда, нет аптечки, огнетушителя и знака аварийной остановки. А без этих вещей эксплуатировать авто ЗАПРЕЩЕНО законом. Плюс их недостачу могут списать с тебя. В договоре так и сказано.
Но ладно что это запрещено законом — там штраф всего 500 рублей. Но что будешь делать, когда эти вещи реально понадобятся в случае ДТП например? Когда первую помощь оказать не сможешь, или тебе не смогут оказать.
Таким образом алгоритм, кажется, нужно либо ходить со своим набором автомобилиста (аптечка, огнетушитель, знак аварийной остановки), впрочем при этом сохраняется вероятность штрафа от каршеринга, либо не пользоваться каршерингом вообще, так как найти машину годную для эксплуатации на дорогах общего пользования — не реально.
Cейчас готовится очередной ISO стандарт для Ады — Ada 202x, сейчас действующий стандарт это Ada 2012. А Ada/SPARK недавно нвидия начала использовать для своего железоориентированного программирования. Но основной драйвер тут конечно SPARK (не путать с Apache Spark), ибо позволяет много чего доказать формально, что ценно когда надежность софта имеет значение.
Сейчас уже не модно, завтра снова будет модно — история циклична :-)
С недавних пор (точнее с осени прошлого года) еще и Ada:
github.com/AdaCore/gnat-llvm
blog.adacore.com/combining-gnat-with-llvm
Кроме всего прочего, это делается для того, чтобы заюзать например KLEE
Кроме того, если даже open source тут сыграл положительную роль в СТОИМОСТИ компании (а не в распространенности решения), то в любом случае это не единственный фактор. Стал бы nginx более популярным и успешным если бы был опенсорсным но написанным на pascal? А если бы он был на с# и только под windows?
Очень странная логики — выбрать один из аспектов, которые, возможно, сыграли положительную роль в выгодной продаже компании, и ходить с лозунгом, что действия Рамблера это нападки именно на этот аспект ОДИН аспект (на опенсорс).
Если Рамблер против опенсорса в этом деле, значит, следуя той же логике, Рамблер против языка Си, рамблер против протокола http и далее по списку.
С тем же успехом можно привязать историю с nginx к тому на каком ЯП написан nginx. И дальше раздувать мысль, что язык Си и возможности его применения суть краеугольный камень и бла-бла-бла.