r
За кадром: велосипедист жонглирует ножами.
Size: a a a
2020 September 09
M
рот ебал редактор телеги
p
первая ссылка недоступна
M
Безумный квадроцикл Wazuma V8F.
Главная особенность квадроцикла - дизайн, детали которого изготовлены вручную. Невообразимо шумный двигатель от Ferrari и коробка передач BMW M3. Имеется опция дистанционного управления двигателем с компьютера. Квадроцикл развивает скорость до 322 км/час и весит 650кг.
Цена: $200 000
Источник: Lazareth Auto-Moto
Главная особенность квадроцикла - дизайн, детали которого изготовлены вручную. Невообразимо шумный двигатель от Ferrari и коробка передач BMW M3. Имеется опция дистанционного управления двигателем с компьютера. Квадроцикл развивает скорость до 322 км/час и весит 650кг.
Цена: $200 000
Источник: Lazareth Auto-Moto
M
Первая ссылка
M
Точней изображение там
T1
да вообще любые абстракции лол
Не теряешь
H
хорошо
p
Не теряешь
Если компилятор верифицирован то не теряешь
M
Если компилятор верифицирован то не теряешь
Довольно смелые утверждения
M
Я бы сказал вообше имеюшие мало отношение к правде
p
M
Что значит не теряешь?
M
Хотя не, все же мне влом играть с тобой в эту игру
p
Что значит не теряешь?
Значит что можешь быть уверен что верифицируемы свойства работают
M
Оптимальность как скорость исполнения комманд определить даже с достаточной точностью почти невозможно при компиляции
M
Отсюда компилятор ориентируется на плоский профиль и оптимистичные алгоритмы
M
Вопервых у тебя есть состояние среды исполнение, во вторых у тебя состояние самой программы
С
Если компилятор верифицирован то не теряешь
Нет таких
M
Ты говоришь о каких то вымышленных свойствах которые невозможно верифицировать