W
Не получится, у фортрана рантайм жирный.
+
Формальная верификация на Ada/SPARK в разы удобнее, чем frama-c.
Size: a a a
2021 August 23
pl
Всем шалом, я поступил в магистратуру в другом городе, и, соответственно, переезжаю. Доебутся ли в аэропорту, если увидят, что у меня в чемодане паяльник, мультиметр, программатор и т.д?
DR
Не должны
PB
В багаж сунь, точно не докопаются. Там ничего такого нет
MZ
ну даже если попросят пройти в комнату досмотра - ничего страшного там не произойдёт - посмотрят и отпустят
MZ
pl
Ну я так и делаю
DR
Я перевозил туда-обратно кучу всякого самопального железа, суммарно через 2 страны и 5 аэропортов - всё ок. Это в багаже, конечно же.
DR
У меня только 1 раз охранник просил пояснить за аниме-фигурки :D
pl
Лол
PB
У меня в ручной клади случайно скальпель завалялся. Провез через Намибию и Франкфурт и обратно :D
LZ
Поддерживаю. Опыт командировок подтверждает
MZ
у нас во франкфурте немецкая овчарка обнюхивала детскую куклу в комнате досмотра
LZ
Распиздяи сер. Странно что не тригернулись
PB
6 раз в 3 аэропортах не триггернулись
MZ
так что докапаться могут до чего угодно, "положить в багаж" - уменьшает вероятность докапывания просто
PB
МСК же еще. Забыл совсем
DB
Я так осцилл в багаже перевозил)
LF
Господа! Посоветуйте пожалуйста хороший usb uart (лучше ссылку на али), чтобы точно не подделка и не ерунда и чтобы работало на вин10 или на линуксе