Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Intel открыл код системы машинного обучения ControlFlag для выявления ошибок в коде , opennews (ok), 24-Окт-21, (0) [смотреть все] Скрыто модератором, QwertyReg (ok), 19:22 , 24-Окт-21, (1) –23 // Скрыто модератором, макпыф (ok), 19:38 , 24-Окт-21, (5) +7 // Скрыто модератором, QwertyReg (ok), 19:49 , 24-Окт-21, (7) –18 // Скрыто модератором, Анонимкарастуимка (?), 20:41 , 24-Окт-21, (16) –4 Скрыто модератором, Анонимкарастуимка (?), 20:42 , 24-Окт-21, (17) Скрыто модератором, Аноним (37), 01:27 , 25-Окт-21, (37) Скрыто модератором, Аноним (13), 20:10 , 24-Окт-21, (13) Скрыто модератором, Аноним (22), 22:11 , 24-Окт-21, (22) // Скрыто модератором, Anonymous XE (?), 22:38 , 24-Окт-21, (23) Скрыто модератором, Ordu (ok), 05:53 , 25-Окт-21, (42) Скрыто модератором, Аноним (37), 01:24 , 25-Окт-21, (36) Ну а по теме - очередная подпорка к Сишке и двигание кроватей Понятно, что на С, QwertyReg (ok), 19:31 , 24-Окт-21, (2) –24 // А есть какие-то предпосылки think, Аноним (4), 19:35 , 24-Окт-21, (4) +1 Так перепишите на свой раст, покажи этим Интелам как надо , Аноним1212 (?), 19:52 , 24-Окт-21, (8) +6 // Вы там из криокамеры выходите, в 2k21 уже ОС написали на Rust , QwertyReg (ok), 19:54 , 24-Окт-21, (9) –13 // У тролля, как всегда, проблемы со временем Правильно пытаются написать, затык, Аноним (11), 20:02 , 24-Окт-21, (11) –1 Молодец, приплел раст и опустил ссылку - ведь опеннетным джЫнтельменам принято в, Аноним (20), 21:26 , 24-Окт-21, (20) +2 Вот новость https www opennet ru opennews art shtml num 54316, а вот в новост, Совершенно другой аноним (?), 09:26 , 25-Окт-21, (48) –3 https gitlab redox-os org redox-os redox - issues 855Умению читать опой Да, в, Аноним (-), 15:40 , 25-Окт-21, (66) –2 Написали то, что было написано и по-английски https www redox-os org news rel, Совершенно другой аноним (?), 16:52 , 25-Окт-21, (69) –2 Ну это было понятно, что чтецы опой не могут в английский и попытаются спрыгнуть, Аноним (-), 17:24 , 25-Окт-21, (71) –1 я не понимаю, почему Вы тычите мне это issue, когда сами разработчики говорят пр, Совершенно другой аноним (?), 17:54 , 25-Окт-21, (72) –1 когда сами разработчики Яснопонятно Кроме обыкновенного балабольства - ничего н, Аноним (-), 19:06 , 25-Окт-21, (75) –1 Не знаю, что Вы там угадали, но пока складывается такое ощущение, что Вы просто , Совершенно другой аноним (?), 08:30 , 26-Окт-21, (81) –2 ОС означает прежде всего управление железом, то есть наличие драйверов Сколько , Аноним (38), 01:36 , 25-Окт-21, (38) –2 Ты хочешь сказать, что Линукс до середины двухтысячных почти совсем не являлся О, Аноним (-), 19:08 , 25-Окт-21, (76) А как использовать ОС если она не поддерживает современного железа привет FreeB, Аноним (38), 01:33 , 26-Окт-21, (80) А можно просто ответ на вопрос, без вот этого вот вечного юлежа Привет, вендузят, Аноним (-), 11:50 , 26-Окт-21, (85) Железо какое 4х летней давности Как там wi-fi работает DИ напоследок https , Аноним (38), 09:38 , 27-Окт-21, (88) И че Нормально работает Ты можешь хоть каждый год менять и радовать маркетолух, Аноним (-), 21:01 , 27-Окт-21, (89) Пройдусь по пунктам 1 Насчет линков по поводу консолей у линукса своя ниша Он, Аноним (38), 01:57 , 28-Окт-21, (91) Угу, угу На самых популярных консолях, т е PS 3,4,5, Nintendo Switch - фря, а , Анонимм (??), 14:29 , 28-Окт-21, (93) А откуда уверенность, судя по твоим другим постам, что этим инструментом станет , Anonymous XE (?), 22:40 , 24-Окт-21, (24) // Найдите, пожалуйста, место в моём посте, где я упоминал Rust , QwertyReg (ok), 22:51 , 24-Окт-21, (30) –1 // Вы там из криокамеры выходите, в 2k21 уже ОС написали на Rust , например Ну е, Anonymous XE (?), 12:46 , 25-Окт-21, (61) Все приведённые в примере ошибки являются логическими, язык тут вообще не при чё, Аноним (40), 03:13 , 25-Окт-21, (40) +2 Уже давно все энтерпрайзы перешли на Java, где пофиксены почти все опасные места, anonymous (??), 23:49 , 25-Окт-21, (79) И теперь програмисты должны переписать код просто потому, что глупая машина его , Нанобот (ok), 19:33 , 24-Окт-21, (3) +5 // А если надо именно такую проверку сделать , Аноним (11), 20:03 , 24-Окт-21, (12) // Дообучить, Anonymous XE (?), 22:43 , 24-Окт-21, (26) Ну если надо то человек ответственный за код знает что надо и так сделано не слу, torvn77 (ok), 22:47 , 24-Окт-21, (27) –2 Ну конкретно в этом случае можно не выпендриваться и заменить на , Аноним (33), 23:42 , 24-Окт-21, (33) // Как и в случае s1 NULL 124 s2 NULL заменить конечно можно, но цен, Аноним (41), 05:36 , 25-Окт-21, (41) +1 Вовсе нет Возьми компилятор и проверь Этот случай -- либо ошибка программиста,, Ordu (ok), 06:17 , 25-Окт-21, (43) подозреваю, что у сабжа при проверке такого кода тоже истерика случится, Нанобот (ok), 09:50 , 25-Окт-21, (50) Сперва подумал что в кои-то веки написали правду открыл код системы для, ыы (?), 19:47 , 24-Окт-21, (6) Мало Нужен ещё код анализатора для выявления ошибок систем машинного обучения , InuYasha (??), 20:00 , 24-Окт-21, (10) +2 // для идеальности нужна мат модель и анализатор логики Иначе как ни украшай стати, Аноним (15), 20:18 , 24-Окт-21, (15) +1 // анализатор логики анонима по яп, не глядя в код находит, на таких-то идеальных п, Аноним (19), 21:11 , 24-Окт-21, (19) О какой матмодели ты сейчас говоришь О матмодели программы То есть о специфика, Ordu (ok), 07:01 , 25-Окт-21, (46) Нет, не надо Это как с вероятностью вероятности Когда это понятие приходит в г, Ordu (ok), 06:23 , 25-Окт-21, (44) А, так вот откуда meltdown взялся , Онаним (?), 20:10 , 24-Окт-21, (14) Фраза все так пишут заиграла новыми красками Кстати, а ответы со stackoverflow, YetAnotherOnanym (ok), 20:47 , 24-Окт-21, (18) +3 // Это да, было бы хорошо прикрепить к тем или иным вариантам или веткам то, как ко, torvn77 (ok), 22:49 , 24-Окт-21, (28) –2 Да давайте уже пилите квантовый компьютер Чтобы подавал на вход суперпозицию из, Аноним (21), 21:42 , 24-Окт-21, (21) –1 // А на выходе бы получал суперпозицию всех возможных результатов и потом бы гадал , torvn77 (ok), 22:51 , 24-Окт-21, (29) +5 // улыбнул, Антифрактал (?), 23:11 , 24-Окт-21, (31) +1 Ребята из Intel ME похоже не знали и не узнают что такая штука появилась в сосед, Аноним (34), 00:03 , 25-Окт-21, (34) +2 // Ребята из Интел и знают и умеют всяко больше тебя , ты клоун (?), 00:39 , 25-Окт-21, (35) // такое вполне возможно но почему у них периодически всплывает всякая гадость , john_erohin (?), 06:56 , 25-Окт-21, (45) –1 // Наверное потому что их процы одни из самых распространённых и популярных как бы , ты клоун (?), 23:38 , 27-Окт-21, (90) поправка их код закрыт гадость ищут посторонние люди практически наощупь предс, john_erohin (?), 06:44 , 28-Окт-21, (92) не надо интелу стесняться говорить в нашем собственном говнокоде , vitalif (ok), 02:49 , 25-Окт-21, (39) +2 производители статических анализаторов у себя внутри - давай глянем как оно в с, животнае (?), 08:15 , 25-Окт-21, (47) // Лысый из ПиВаСа тебя одобряет , Аноним (-), 11:15 , 25-Окт-21, (55) +1 // так у него на сайте в его профиле написано - Лучше 10 раз пересобрать, чем один, животнае (?), 16:38 , 25-Окт-21, (68) А в чем проблема если язык это позволяет , Sw00p aka Jerom (?), 10:27 , 25-Окт-21, (51) –1 // Ну, как-бы, если числовое, то там может быть, например, не только 0 и 1, а напри, Совершенно другой аноним (?), 10:34 , 25-Окт-21, (52)   // ну и как быть на что заменить если там сравнение двух чисел, пихнет 2 или 3 ре, Sw00p aka Jerom (?), 12:03 , 25-Окт-21, (59) –1   // Например заменить на 0 , уже, как минимум, будет нечто похожее тому посылу, , Совершенно другой аноним (?), 12:32 , 25-Окт-21, (60)   так TRUE и есть 1, то есть число, типа булеан как такогого в сях нет Типы, толь, Sw00p aka Jerom (?), 13:27 , 25-Окт-21, (63) –1   к сожалению, или к счастью, тип _Bool уже есть, причём, если не путаю, ещё со вр, Совершенно другой аноним (?), 13:39 , 25-Окт-21, (64)   Это макрос разворачивающийся в 0 и 1 целочисленную тут без разницы, от 0 отталки, Sw00p aka Jerom (?), 16:05 , 25-Окт-21, (67)   не совсем, это тип В который может разворачиваться bool, если включить через st, Совершенно другой аноним (?), 16:56 , 25-Окт-21, (70)   Дело не во многозначности TRUE, а в неявном приведении int к bool который и раз, Sw00p aka Jerom (?), 18:36 , 25-Окт-21, (73)   суть в том, что почему анализатор считает ошибкой то, что для компилятора норма , Sw00p aka Jerom (?), 18:41 , 25-Окт-21, (74)   Тут, как-бы не совсем статический анализатор, а эдакая себе система, которая мож, Совершенно другой аноним (?), 08:37 , 26-Окт-21, (82)   если это подобие ИИ, еще нужно пройтись в обратном порядке по пути принятия реше, Sw00p aka Jerom (?), 11:48 , 26-Окт-21, (84)   Там у них для обучения предлагается три Dataset-а, 100M, 450M и 9G Возможно в D, Совершенно другой аноним (?), 12:30 , 26-Окт-21, (87)   Статистический анализатор - это хорошо Это не модное нынче непереобучаемое свёр, Аноним (-), 10:56 , 25-Окт-21, (54) // так это пол беды, когда можно еще экспертами переобучить, куда хуже, когда приня, Sw00p aka Jerom (?), 11:52 , 26-Окт-21, (86) Да просто акции интел упали более чем на 10,5 за день Надо что-то делать , Аноним (58), 11:57 , 25-Окт-21, (58) –1 -l source_language_number default 1 C , supported 1 C , , Аноним (83), 10:08 , 26-Окт-21, (83) 2,3,6,10,14,18,21,34,39,47,51,54,58,83

Сообщения

[Сортировка по времени | RSS]

	52. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Совершенно другой аноним (?), 25-Окт-21, 10:34
	>>была выявлена незамеченная статическими анализаторами ошибка при использовании элемента структуры "s->keepon", который имел числовой тип, но сравнивался с булевым значением TRUE. > А в чем проблема если язык это позволяет? Ну, как-бы, если числовое, то там может быть, например, не только 0 и 1, а например, и 2, 3 и т.д. А сравнение, насколько я понял, происходило, с конкретным TRUE (например 1).
	Ответить | Правка | Наверх | Cообщить модератору

	59. "Intel открыл код системы машинного обучения ControlFlag для ..."	–1 +/–
	Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 12:03
	>Ну, как-бы, если числовое, то там может быть ну и как быть? на что заменить? если там сравнение двух чисел, пихнет 2 или 3 результат сравнения будет ложным, к чему это приведет - проблема программиста.
	Ответить | Правка | Наверх | Cообщить модератору

	60. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Совершенно другой аноним (?), 25-Окт-21, 12:32
	>>Ну, как-бы, если числовое, то там может быть > ну и как быть? на что заменить? если там сравнение двух чисел, > пихнет 2 или 3 результат сравнения будет ложным, к чему это > приведет - проблема программиста. Например заменить на "!= 0", уже, как минимум, будет нечто похожее тому посылу, который был изначально в коде.
	Ответить | Правка | Наверх | Cообщить модератору

	63. "Intel открыл код системы машинного обучения ControlFlag для ..."	–1 +/–
	Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 13:27
	так TRUE и есть 1, то есть число, типа булеан как такогого в сях нет. Типы, только в голове у програсмиста.
	Ответить | Правка | Наверх | Cообщить модератору

	64. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Совершенно другой аноним (?), 25-Окт-21, 13:39
	> так TRUE и есть 1, то есть число, типа булеан как такогого > в сях нет. к сожалению, или к счастью, тип _Bool уже есть, причём, если не путаю, ещё со времён C99. Но тут вопрос в другом, чисто логически если "s->keepon" числовой, то там вряд ли будет интересовать значения "1" и "не 1", а скорее, имхо конечно, будет интересовать значения "0" и "не 0".
	Ответить | Правка | Наверх | Cообщить модератору

	67. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 16:05
	> к сожалению, или к счастью, тип _Bool уже есть, причём, если не > путаю, ещё со времён C99. Это макрос разворачивающийся в 0 и 1 целочисленную. > Но тут вопрос в другом, чисто логически если "s->keepon" числовой, то там > вряд ли будет интересовать значения "1" и "не 1", а скорее, > имхо конечно, будет интересовать значения "0" и "не 0". тут без разницы, от 0 отталкиваемся или от 1. Таким же макаром, можно за TRUE считать любое целое положительное число большее чем 0, а за FALSE меньшее (отрицательное) или равное 0. И если в "s->keepon = 2" то проблем нет, расцениваем как TRUE. И с точки зрения анализатора ворнингов тут не должно быть, если компилятор допустил такое.
	Ответить | Правка | Наверх | Cообщить модератору

	70. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Совершенно другой аноним (?), 25-Окт-21, 16:56
	>> к сожалению, или к счастью, тип _Bool уже есть, причём, если не >> путаю, ещё со времён C99. > Это макрос разворачивающийся в 0 и 1 целочисленную. не совсем, это тип. В который может разворачиваться bool, если включить через stdbool.h >> Но тут вопрос в другом, чисто логически если "s->keepon" числовой, то там >> вряд ли будет интересовать значения "1" и "не 1", а скорее, >> имхо конечно, будет интересовать значения "0" и "не 0". > тут без разницы, от 0 отталкиваемся или от 1. Таким же макаром, > можно за TRUE считать любое целое положительное число большее чем 0, > а за FALSE меньшее (отрицательное) или равное 0. И если в > "s->keepon = 2" то проблем нет, расцениваем как TRUE. И с > точки зрения анализатора ворнингов тут не должно быть, если компилятор допустил > такое. TRUE не может иметь несколько значений (1, 2 и т.д.), потому-как вот он-то как-раз макрос, и разворачивается в одно значение (1), а FALSE тоже макрос, который тоже разворачивается в одно значение, равное (0).
	Ответить | Правка | Наверх | Cообщить модератору

	73. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 18:36
	> TRUE не может иметь несколько значений (1, 2 и т.д.), потому-как вот > он-то как-раз макрос, и разворачивается в одно значение (1), а FALSE > тоже макрос, который тоже разворачивается в одно значение, равное (0). Дело не во многозначности TRUE, а в неявном приведении int к bool (который и разворачивается в int) во время сравнения в Сях. В строгой (сильной) типизации такое сравнение компилятор не пропустил бы.
	Ответить | Правка | Наверх | Cообщить модератору

	74. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 18:41
	суть в том, что почему анализатор считает ошибкой то, что для компилятора норма? Зачем анализатор требует строгости типов от языка не со строгой типизацией?
	Ответить | Правка | К родителю #70 | Наверх | Cообщить модератору

	82. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Совершенно другой аноним (?), 26-Окт-21, 08:37
	> суть в том, что почему анализатор считает ошибкой то, что для компилятора > норма? Зачем анализатор требует строгости типов от языка не со строгой > типизацией? Тут, как-бы не совсем статический анализатор, а эдакая себе система, которая может выйти за рамки и сказать - а чего-то все пишут так, а ты не так - может ты что-то не то делаешь? Конечно она при этом может и не угадать, и написано именно то, что задумал программист. Как по мне - вещь хорошая, если действительно сможет показать проблемные места, по крайней мере на них можно будет ещё раз посмотреть и сказать себе - да, всё так и задумано, а не что за бред тут написан.
	Ответить | Правка | Наверх | Cообщить модератору

	84. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Sw00p aka Jerom (?), 26-Окт-21, 11:48
	>можно будет ещё раз посмотреть и сказать себе - да если это подобие ИИ, еще нужно пройтись в обратном порядке по пути принятия решения, там же не тупо патрн метчинг, а это еще так себе проблема. Глупо ведь, скормить на обучение весь код с гитхаба и принимать решение парламентским большинством, должна быть экспертная (людская) оценка дана сначала, а это в свою очередь порождает вопросы, как породил у меня, в случае требования строгости типов при сравнении в языке где нет строгой типизации и есть неявное их приведение.
	Ответить | Правка | Наверх | Cообщить модератору

	87. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Совершенно другой аноним (?), 26-Окт-21, 12:30
	>>можно будет ещё раз посмотреть и сказать себе - да > Глупо ведь, скормить на обучение весь код с > гитхаба и принимать решение парламентским большинством, должна быть экспертная (людская) > оценка дана сначала, а это в свою очередь порождает вопросы, как > породил у меня, в случае требования строгости типов при сравнении в > языке где нет строгой типизации и есть неявное их приведение. Там у них для обучения предлагается три Dataset-а, 100M, 450M и 9G. Возможно в Dataset-ы отобраны экспертами (по крайней мере людьми из Intel-а) особо качественные проекты, так-что парламентского большинства не будет.
	Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема