[12:25:15] <geniepro> запоминайте простые правила выживания, скоро они вам понадобятся )) http://matveychev-oleg.livejournal.com/4505008.html
[13:05:06] <geniepro> http://www.opennet.ru/opennews/art.shtml?num=45493
"Отчёт о разработке Linux-версии PVS-Studio и результаты проверки LLVM (реклама)
...
Несмотря на то, что LLVM ранее уже проверялся в PVS-Studio в 2011 и 2012 годах, повторная проверка выявила порцию новых ошибок. В частности, обращается внимание на проблемы с использованием небитовых полей, досрочным завершением циклов, путаницей с указанием операторов "||" и "&&", опечатками в определении условий, возвратом функцией ссылки на временный локальный объект, повторным присваиванием, подозрительным переопределением указателей, путаницей при использовании release() и reset(), разыменованием нулевого указателя и т.п"
http://www.viva64.com/ru/b/0446/
[13:21:08] <valexey> geniepro: я ж говорил, что Rust нельзя в mission critical испоользовать, и что уж лучше Си.
[13:21:35] <geniepro> valexey: о_О это ты к чему сейчас?
[13:21:46] <valexey> Rust без llvm не живёт.
[13:23:30] <geniepro> если так рассуждать, то gcc тоже не канает, надо верифициованный компилятор искать
[13:25:26] <valexey> ну да. я про это и писал.
[13:25:37] <valexey> вот можно GNAT взять ;-)
[13:26:51] <geniepro> вот этот надо брать: http://compcert.inria.fr/doc/ The CompCert verified compiler
[13:28:55] <geniepro> valexey: твой гнат скока стоит? а компцерт бесплатен
[13:29:13] <valexey> если бесплатно, значит они ничего не гарантируют!
[13:29:26] <geniepro> он верифицирован же!!!
[13:29:43] <geniepro> это же институт! в качестве платы они госдотации берут
[13:30:16] <geniepro> а, хм... The AbsInt company sells a version of CompCert that has no such restrictions and can be used for commercial purposes. Contact sales@absint.com for more information.
[13:30:32] <valexey> :-)
[13:30:40] <valexey> деньги деньги дрребеденьги.. ;-)
[13:31:35] <geniepro> ну хорошо, твой гнат для ознакомительного использования скока стоит? а компцерт бесплатен :)))
[13:32:29] <valexey> бесплатно он стоит
[13:32:36] <valexey> только вот все твои проги будут под GPL :-)
[13:33:20] <geniepro> ну ты хоть раз им пользовался? ))
[13:33:58] <valexey> гнатом то? щупал, ога
[13:34:30] <geniepro> сишный компилер? или аду?
[13:35:16] <geniepro> вот если они делают какие-то исправления в gcc, разве они не должны их отправлять в основной проект gcc?
[13:35:54] <valexey> должны и направляют
[13:36:30] <valexey> в своей же сборке они гарантируют, что фронтенд и бекенд четко синхронизированы и нет ошибок в их общении. в обычном gcc нет такой гарантии
[13:37:49] <valexey> ну и у них соглашение с foss на тему того, что они могут выпускать гцц под любой личензией. как-то так. и не все исправления вроде могут в гцц возвращать.
[13:38:07] <valexey> короче, с foss они работают на особых личных условиях, а не на общих основаниях
[13:38:20] <geniepro> вот тебе и гпл
[13:40:18] <valexey> взаимовыгодное сотрудничество
[14:33:14] <valexey> http://i.juick.com/p/2854322.png
[14:37:27] <geniepro> valexey: чо там петруха пишет в жуйке?
[14:37:44] <valexey> вроде ничего
[14:38:08] <geniepro> а ведь как отжигал в начале ))
[14:56:27] <geniepro> https://m.geektimes.ru/post/282976/ Нейросеть Google Translate составила единую базу смыслов человеческих слов
[15:02:33] <valexey> да, гугл своими этими нейросетями выкинул с рынка многие конторы уже
[15:02:40] <valexey> которые специализировались на лингвистике
[15:03:02] <valexey> тот самый момент, когда большая контора мощнее и успешней любых стартапов
[16:35:59] <valexey> Любите мелкософт, и он как следует возлюбит вас! http://www.comss.ru/page.php?id=3517
[17:01:34] <valexey> интересно, как можно жить если в языке нет unsigned-типов?
[19:07:49] <TRUE> ага, даже простое переполнение стека оказывается сделать тяжело.
[19:08:54] <valexey> ы?
[19:08:58] <valexey> почему тяжело то?
[19:33:18] <TRUE> ну, большие беззнаковые неполучится трактовать как маленькие знаковые. Потому что беззнаковых нет
[19:33:52] <TRUE> зачем нужны беззнаковые?
[19:44:02] <valexey> дык адрес памяти например. ну и вообще, диапазон в два раза больше
[19:44:28] <valexey> глупо выкидывать один разряд
[19:44:50] <valexey> а проблема решается тащемто контролем выхода за диапазон, а не отменой беззнаковых типов
[19:49:51] <TRUE> каждую арифметическую операцию проверять на диапазон? Накладненько...
[19:49:57] <TRUE> или нет?
[19:51:01] <TRUE> если речь о шеснадцати битах или о тридцати двух, то диапазон адресов выкидывать не хотелось бы. Но кто сказал, что адреса не могут быть отрицательными?
[19:51:16] <TRUE> правда, под это должны быть заточены операционки...
[19:51:51] <TRUE> диапазон чисел не меняется. Просто он смещён относительно нуля.
[19:52:38] <TRUE> максимальное положительное жалко терять - это да.
[19:52:38] <valexey> погоди, давай еще раз, какую задачу решают знаковые числа?
[19:52:57] <valexey> если у меня маленькое отрицательное число, то отняв от него единичку, я получу огромное положительное
[19:53:05] <valexey> то же самое будет в для беззнакового
[19:53:08] <TRUE> да это просто числа. И ими решают задачи, для которых нужны числа
[19:53:28] <valexey> так что смысла в запрете на беззнаковые целые в языке я не вижу вообще
[19:54:16] <TRUE> но тогда с явным приведением одного в другое
[19:54:42] <valexey> естественно. разве где-то не так? В плюсах например это так.
[19:55:11] <valexey> Ну а в Си приведений типов и не требуется, там int к int* можно приводить неявным образом. и обратно тоже
[19:55:13] <Kemet> TRUE, Процессору пофиг отрицтельное или положительное, знаковое или беззнаковое, отрицательное целое в качестве адркса вполне вызовет краз ибо выйдет за пределы диапазона адресов
[19:55:19] <TRUE> ты можешь байт в инт без приведения. А инт - в лонг. И целые в дробные.
[19:56:00] <TRUE> Kemet: не вызовет, если это допускает операционка.
[19:56:22] <valexey> забудь про операционку. её не существует
[19:56:25] <TRUE> и в железе есть поддержка виртуальной памяти
[19:56:26] <valexey> есть только ты и железо
[19:56:54] <valexey> ну а операции сложения и вычитания для знаковых и беззнаковых таки отличаются на уровне инструкций же, нет разве? дополнительный кот, всё такое.
[19:56:59] <TRUE> тогда тем более отрицательные числа не будут являться проблемой. Ты сам всё интерпретируешь как тебе надо
[19:57:35] <valexey> хм-хм. оок. не проблема значит.
[19:57:59] <TRUE> представление пользователю для чисел отличается, но операции процессора вроде как одни и те же
[19:59:49] <TRUE> а, дополнительный код
[20:00:05] <TRUE> это ты про представление отрицательных чисел...
[20:00:35] <Kemet> valexey, Число всешда хранятся в допошнительном коде и инструкций отдельно доф знаковыз ибеззнаковых нет, просто установливаются знаки результата операций
[20:01:16] <TRUE> разве допонительный код специально не сделан таким образом, чтобы знак операндов никак не влиял на вычитание и сложение?
[20:02:32] <Kemet> И ты можешь анализировать эти флаги чтобы понять что случилось и как интерпретировать результат, а можешь забить на эти йлаги
[20:02:45] <TRUE> даже не знаки операций, а если в регистр загрузить число, то для него установятся флаги. Чётное ли оно, ноль ли оно, установлен ли последний бит в единицу и т.д. Прада, это для интела
[20:03:12] <Kemet> TRUE, Он и не влияет
[20:03:57] <TRUE> ну вот мне так и запомнилось. Правда, я это дело давно уже читал. Почти всё забыл.
[20:04:19] <Kemet> TRUE, Загрузка в ренистр это и есть операциф
[20:05:24] <Kemet> TRUE, А че рез зашла за беззнаковые?
[20:09:05] <TRUE> валексей говорит, что без беззнаковых чисел нет жизни
[20:10:19] <Kemet> без них местами трудно
[20:13:39] <valexey> жизни есть, есть только существование :-)
[21:02:31] <Kemet> И в а2 до сих пор есть проблемы изза знакового адреса в прошлом, в прочем сейчас их можно решить
[21:10:37] <TRUE> и что за проблема?
[21:14:38] <Kemet> TRUE: дык адреса выше 2гб не доступны с 32битным знаковым, почти всё пофиксили, заменив на адрес, но артефакты еще осталиь
[21:15:07] <Kemet> ну там еще разные преобразования, которые не с адресом а с целым
[21:16:53] <TRUE> а, то есть, это только адрес знаковым был. Я думал там именно адресация была знаковой. То есть, было возможно выделять память в отрицательном диапазоне и с этим были какие-то проблемы.
[21:17:14] <Kemet> и проблема начинается с загрузки))) там в настройках устанавливается макимальнвый размер доступной для А2 памяти, и вот засада, там стоит StrToInt, а оно дает только 2 гб максимум
[21:18:22] <Kemet> ну я то себе фикснул, да, надо всеж закоммитить фикс
[22:03:23] <valexey> и чтобы его приняли
[22:13:57] <geniepro> у вас там хоть снег идёт? у нас всю неделю минус, и снова снег пошёл ((( дубак ужас
[22:59:37] <geniepro> https://www.youtube.com/watch?v=086SrB-ut7c "Генная инженерия изменит всё и навсегда"