История изменений
Исправление sanyo1234, (текущая версия) :
А точно, он же ещё что-то писал даже про желаемые компенсации мульонов денег, если у него там пойдёт что-то не по плану.
Интересно, кто бы ещё мог достоверно установить, что явилось виной его производственной трагедии, ошибка программиста, или какая-нибудь гадость злого ганстолкера.
Если даже успешные продукты, на которые жалоб по их качеству относительно немного, распространяют по лицензии «as is», т.е. как есть, претензии не принимаются, но для тиражного продукта обычно предоставляется money-back в течение месяца.
То сколько может стоить заказная НЕТИРАЖНАЯ кастом разработка с гарантиями? С математической верификацией кода вроде около $200 за каждую строку кода. И то это оказалось возможно лишь для ядра seL4 образно в вакууме.
Но в его случае, если возьмёт обычный дистрибутив Linux, то верификация невозможна даже за в триллионы раз дороже?
Исправление sanyo1234, :
А точно, он же ещё что-то писал даже про желаемые компенсации мульонов денег, если у него там пойдёт что-то не по плану.
Интересно, кто бы ещё мог достоверно установить, что явилось виной его производственной трагедии, ошибка программиста, или какая-нибудь гадость злого ганстолкера.
Если даже успешные продукты, на которые жалоб по их качеству относительно немного, распространяют по лицензии «as is», т.е. как есть, претензии не принимаются, но для тиражного продукта обычно предоставляется money-back в течение месяца.
То сколько может стоит заказная НЕТИРАЖНАЯ кастом разработка с гарантиями? С математической верификацией кода вроде около $200 за каждую строку кода. И то это оказалось возможно лишь для ядра seL4 образно в вакууме.
Но в его случае, если возьмёт обычный дистрибутив Linux, то верификация невозможна даже за в триллионы раз дороже?
Исправление sanyo1234, :
А точно, он же ещё что-то писал даже про желаемые компенсации мульонов денег, если у него там пойдёт что-то не по плану.
Интересно, кто бы ещё мог достоверно установить, что явилось виной его производственной трагедии, ошибка программиста, или какая-нибудь гадость злого ганстолкера.
Если даже успешные продукты, на которые жалоб по их качеству относительно немного, распространяют по лицензии «as is», т.е. как есть, претензии не принимаются, но для тиражного продукта обычно предоставляется money-back в течение месяца.
То сколько может стоит разработка с гарантиями? С математической верификацией кода вроде около $200 за каждую строку кода. И то это оказалось возможно лишь для ядра seL4 образно в вакууме.
Но в его случае, если возьмёт обычный дистрибутив Linux, то верификация невозможна даже за в триллионы раз дороже?
Исходная версия sanyo1234, :
А точно, он же ещё что-то писал даже про желаемые компенсации мульонов денег, если у него там пойдёт что-то не по плану.
Интересно, кто бы ещё мог достоверность установить, что явилось виной его производственной трагедии, ошибка программиста, или какая-нибудь гадость злого ганстолкера.
Если даже успешные продукты, на которые жалоб по их качеству относительно немного, распространяют по лицензии «as is», т.е. как есть, претензии не принимаются, но для тиражного продукта обычно предоставляется money-back в течение месяца.
То сколько может стоит разработка с гарантиями? С математической верификацией кода вроде около $200 за каждую строку кода. И то это оказалось возможно лишь для ядра seL4 образно в вакууме.
Но в его случае, если возьмёт обычный дистрибутив Linux, то верификация невозможна даже за в триллионы раз дороже?