forum.opennet.ru

"Intel открыл код системы машинного обучения ControlFlag для выявления ошибок в коде "

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

Исходное сообщение

[ Отслеживать ]

Подсказка: Ссылки "<<" и ">>" открывают первые и последние 10 сообщений.

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

Оглавление

Intel открыл код системы машинного обучения ControlFlag для выявления ошибок в коде , opennews, 24-Окт-21, 19:22 [смотреть все]

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

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру