forum.opennet.ru - "Intel открыл код системы машинного обучения ControlFlag для выявления ошибок в коде " (83)

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

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

"Intel открыл код системы машинного обучения ControlFlag для выявления ошибок в коде "	+/–
Сообщение от opennews (ok), 24-Окт-21, 19:22
Компания Intel открыла наработки, связанные с исследовательским проектом ControlFlag, нацеленным на создание системы машинного обучения для повышения качества кода. Подготовленный проектом инструментарий позволяет на основе модели, обученной на большом объёме существующего кода, выявлять различные ошибки и аномалии в исходных текстах, написанных на высокоуровневых языках, таких как C/C++. Система подходит для определения в коде различных видов проблем, от определения опечаток и неверного сочетания типов, до выявления пропущенных проверок значения NULL в указателях и проблем при работе с памятью. Код ControlFlag написан на языке С++ и открыт под лицензией MIT... Подробнее: https://www.opennet.me/opennews/art.shtml?num=56018
Ответить \| Правка \| Cообщить модератору

Оглавление

Скрыто модератором, 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)

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

1. Скрыто модератором –23 +/–

Сообщение от QwertyReg (ok), 24-Окт-21, 19:22

> написанных на высокоуровневых языках, таких как C/C++
> высокоуровневых
> C

Ответить | Правка | Наверх | Cообщить модератору

5. Скрыто модератором +7 +/–

Сообщение от макпыф (ok), 24-Окт-21, 19:38

Не поверишь - это так
Из википедии:
> Язык Си уникален с той точки зрения, что именно он стал первым языком высокого уровня, всерьёз потеснившим ассемблер в разработке системного программного обеспечения.

Ответить | Правка | Наверх | Cообщить модератору

7. Скрыто модератором –18 +/–

Сообщение от QwertyReg (ok), 24-Окт-21, 19:49

Уж в 2k-то 21-ом бы на Википедию ссылаться. И да, вот оттуда же:
> К тому же, несмотря на свою низкоуровневую природу, язык ориентирован на переносимость

Ответить | Правка | Наверх | Cообщить модератору

16. Скрыто модератором –4 +/–

Сообщение от Анонимкарастуимка (?), 24-Окт-21, 20:41

вот если бы ты писал на рустеЁ!

Ответить | Правка | Наверх | Cообщить модератору

17. Скрыто модератором +/–

Сообщение от Анонимкарастуимка (?), 24-Окт-21, 20:42

у тех, кто пишет на русте такого не говорит. смекаешь?!

Ответить | Правка | Наверх | Cообщить модератору

37. Скрыто модератором +/–

Сообщение от Аноним (37), 25-Окт-21, 01:27

Чтоб вы знали. Уровень языка программирования чем ниже, тем ближе к машинному, а значит лучше.

Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

13. Скрыто модератором +/–

Сообщение от Аноним (13), 24-Окт-21, 20:10

> выявления пропущенных проверок значения NULL в указателях
Хм...

Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

22. Скрыто модератором +/–

Сообщение от Аноним (22), 24-Окт-21, 22:11

>стал первым языком высокого уровня, всерьёз потеснившим ассемблер
А как же фортран?

Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

23. Скрыто модератором +/–

Сообщение от Anonymous XE (?), 24-Окт-21, 22:38

>потеснившим ассемблер в разработке системного программного обеспечения
ОС на Фортране не пишут.

Ответить | Правка | Наверх | Cообщить модератору

42. Скрыто модератором +/–

Сообщение от Ordu (ok), 25-Окт-21, 05:53

Это устаревшая классификация языков. Когда-то и мнемоники для машинных команд считались высокоуровневыми. Когда-то и колесо считалось вершиной научно-технического прогресса.

Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

36. Скрыто модератором +/–

Сообщение от Аноним (37), 25-Окт-21, 01:24

Садись, два!

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

2. "Intel открыл код системы машинного обучения ControlFlag для ..." –24 +/–

Сообщение от QwertyReg (ok), 24-Окт-21, 19:31

Ну а по теме - очередная подпорка к Сишке и двигание кроватей. Понятно, что на Си написано полно легаси, которое надо как-то обмазывать анализаторами, чтобы постоянно не вываливались overflow и use-after-free, но настанет день, когда люди перейдут к инструменту с изначально нормальной архитектурой и и чем скорее этот день настанет, тем лучше для IT.

Ответить | Правка | Наверх | Cообщить модератору

4. "Intel открыл код системы машинного обучения ControlFlag для ..." +1 +/–

Сообщение от Аноним (4), 24-Окт-21, 19:35

А есть какие-то предпосылки? :think

Ответить | Правка | Наверх | Cообщить модератору

8. "Intel открыл код системы машинного обучения ControlFlag для ..." +6 +/–

Сообщение от Аноним1212 (?), 24-Окт-21, 19:52

Так перепишите на свой раст, покажи этим Интелам как надо!

Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

9. "Intel открыл код системы машинного обучения ControlFlag для ..." –13 +/–

Сообщение от QwertyReg (ok), 24-Окт-21, 19:54

> Так перепишите на свой раст, покажи этим Интелам как надо!
Вы там из криокамеры выходите, в 2k21 уже ОС написали на Rust.

Ответить | Правка | Наверх | Cообщить модератору

11. "Intel открыл код системы машинного обучения ControlFlag для ..." –1 +/–

Сообщение от Аноним (11), 24-Окт-21, 20:02

> написали
У тролля, как всегда, проблемы со временем. Правильно: "пытаются написать, затыкая дыры утечки памяти".

Ответить | Правка | Наверх | Cообщить модератору

20. "Intel открыл код системы машинного обучения ControlFlag для ..." +2 +/–

Сообщение от Аноним (20), 24-Окт-21, 21:26

> У тролля, как всегда, проблемы со временем. Правильно: "пытаются написать, затыкая дыры
> утечки памяти".
Молодец, приплел раст и опустил ссылку - ведь опеннетным джЫнтельменам принято верить на слово ...

Ответить | Правка | Наверх | Cообщить модератору

48. "Intel открыл код системы машинного обучения ControlFlag для ..." –3 +/–

Сообщение от Совершенно другой аноним (?), 25-Окт-21, 09:26

Вот новость: https://www.opennet.me/opennews/art.shtml?num=54316, а вот в новости про утечки:
;----------------------X8
Из новшеств, добавленных в выпуске Redox 0.6, можно отметить:
* Полностью переписана система управления памятью ядра (rmm, kernel memory manager). В новой реализации удалось избавиться от утечек памяти, которые создавали проблемы при использовании старого менеджера памяти. Кроме того, повышена стабильность поддержки многоядерных систем.
;----------------------X8
Теперь верите?

Ответить | Правка | Наверх | Cообщить модератору

66. "Intel открыл код системы машинного обучения ControlFlag для ..." –2 +/–

Сообщение от Аноним (-), 25-Окт-21, 15:40

> Вот новость: https://www.opennet.me/opennews/art.shtml?num=54316, а вот в новости про
> утечки:
> ;----------------------X8
> Из новшеств, добавленных в выпуске Redox 0.6, можно отметить:
> * Полностью переписана система управления памятью ядра (rmm, kernel memory manager). В
> новой реализации удалось избавиться от утечек памяти, которые создавали проблемы при
> использовании старого менеджера памяти. Кроме того, повышена стабильность поддержки многоядерных
> систем.
> ;----------------------X8
> Теперь верите?
https://gitlab.redox-os.org/redox-os/redox/-/issues/855
> The Redox kernel does not have the structures in place to allow freeing memory.
> (что и переписали)
Умению читать опой? Да, верю.
А ссылки на "пытаются написать, затыкая дыры утечки памяти", будут? Или как обычно?

Ответить | Правка | Наверх | Cообщить модератору

69. "Intel открыл код системы машинного обучения ControlFlag для ..." –2 +/–

Сообщение от Совершенно другой аноним (?), 25-Окт-21, 16:52

> https://gitlab.redox-os.org/redox-os/redox/-/issues/855
>> The Redox kernel does not have the structures in place to allow freeing memory.
>> (что и переписали)
> Умению читать опой? Да, верю.
> А ссылки на "пытаются написать, затыкая дыры утечки памяти", будут? Или как
> обычно?
Написали то, что было написано и по-английски (https://www.redox-os.org/news/release-0.6.0/):
;----------------------X8
* rmm, a complete rewrite of the kernel memory manager. This has eliminated kernel memory leaks, which became quite an issue with the previous memory manager. Additionally, multi-core support is far more stable.
;----------------------X8
Пойдите, расскажите теперь уже авторам, что у них ОС не текла.

Ответить | Правка | Наверх | Cообщить модератору

71. "Intel открыл код системы машинного обучения ControlFlag для ..." –1 +/–

Сообщение от Аноним (-), 25-Окт-21, 17:24

>> https://gitlab.redox-os.org/redox-os/redox/-/issues/855
>>> The Redox kernel does not have the structures in place to allow freeing memory.
>>> (что и переписали)
>> Умению читать опой? Да, верю.
>> А ссылки на "пытаются написать, затыкая дыры утечки памяти", будут? Или как
>> обычно?
> Написали то, что было написано и по-английски (https://www.redox-os.org/news/release-0.6.0/):
Ну это было понятно, что чтецы опой не могут в английский и попытаются спрыгнуть. А ссылки-то на _дыры_ где? Или "чтецы" и в компонентах ОС - ни бумбум, раз им "does not have the structures in place to allow freeing memory" ничего не говорит?

Ответить | Правка | Наверх | Cообщить модератору

72. "Intel открыл код системы машинного обучения ControlFlag для ..." –1 +/–

Сообщение от Совершенно другой аноним (?), 25-Окт-21, 17:54

>> Написали то, что было написано и по-английски (https://www.redox-os.org/news/release-0.6.0/):
> Ну это было понятно, что чтецы опой не могут в английский и
> попытаются спрыгнуть. А ссылки-то на _дыры_ где? Или "чтецы" и в
> компонентах ОС - ни бумбум, раз им "does not have the
> structures in place to allow freeing memory" ничего не говорит?
я не понимаю, почему Вы тычите мне это issue, когда сами разработчики говорят про что-то другое. Если Вы плохо понимаете по английски, то могу выдать Вам перевод от google из release notes для Redox 0.6.0 :
;--------------------X8
Это устранило утечки памяти ядра, которые стали серьезной проблемой с предыдущим менеджером памяти.
;--------------------X8
Я так надеялся, что разработчики лучше знают, что они там правили. Впрочем, может Вы Jeremy Soller и посетили наш форум, пусть даже и инкогниото, и даже снизошли до общения с анонимами, то, конечно, Вам лучше знать. Просто непонятно тогда, зачем Вы возводите на ваше творение такой мерзкий поклёп, приписывая ей то, чего у неё не было.

Ответить | Правка | Наверх | Cообщить модератору

75. "Intel открыл код системы машинного обучения ControlFlag для ..." –1 +/–

Сообщение от Аноним (-), 25-Окт-21, 19:06

>> Created 4 years ago by Jeremy Soller
>> ... does not have the structures in place to allow freeing memory
> я не понимаю, почему Вы тычите мне это issue,
когда сами разработчики
> "- rmm, a complete rewrite of the kernel memory manager."  [ссылка на https://gitlab.redox-os.org/redox-os/rmm/ -> Jeremy Soller ... ой]
> говорят про что-то другое.
Яснопонятно. Кроме обыкновенного балабольства - ничего не будет.
>> чтецы опой не могут в английский
> Если Вы плохо понимаете по английски, то могу выдать Вам перевод от google
И опять я угадал.

> Я так надеялся, что разработчики лучше знают, что они там правили.
Да-да, Jeremy Soller знает лучше, чем Jeremy Soller, что правил там Jeremy Soller. Анонимные "знатоки" совсем не палятся ...

Ответить | Правка | Наверх | Cообщить модератору

81. "Intel открыл код системы машинного обучения ControlFlag для ..." –2 +/–

Сообщение от Совершенно другой аноним (?), 26-Окт-21, 08:30

>>> чтецы опой не могут в английский
>> Если Вы плохо понимаете по английски, то могу выдать Вам перевод от google
> И опять я угадал.
Не знаю, что Вы там угадали, но пока складывается такое ощущение, что Вы просто бредите, извините.

>> Я так надеялся, что разработчики лучше знают, что они там правили.
> Да-да, Jeremy Soller знает лучше, чем Jeremy Soller, что правил там Jeremy
> Soller. Анонимные "знатоки" совсем не палятся ...
Вот теперь уже всё с Вами понятно.
PS. то issue, на которое Вы ссылались, оно как-бы всё так-же не закрыто. Я надеюсь это Вам не помешает использовать redox в критически важных системах, только будет просьба, Вы заранее предупредите, пожалуйста, где Вы его будете внедрять, ну чтобы если это что-то важное, чтобы постараться оказаться где-то на другой стороне глобуса.
На этом, думаю, разговор можно закончить. Удачи Вам.

Ответить | Правка | Наверх | Cообщить модератору

38. "Intel открыл код системы машинного обучения ControlFlag для ..." –2 +/–

Сообщение от Аноним (38), 25-Окт-21, 01:36

ОС означает прежде всего управление железом, то есть наличие драйверов. Сколько там драйверов на расте пишут производители железа?

Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

76. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (-), 25-Окт-21, 19:08

> ОС означает прежде всего управление железом, то есть наличие драйверов. Сколько там
> драйверов на расте пишут производители железа?
Ты хочешь сказать, что Линукс до середины двухтысячных почти совсем не являлся ОС? Или вантузятники опять совсем-совсем не палятся?

Ответить | Правка | Наверх | Cообщить модератору

80. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (38), 26-Окт-21, 01:33

А как использовать ОС если она не поддерживает современного железа?(привет FreeBSD)

Ответить | Правка | Наверх | Cообщить модератору

85. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (-), 26-Окт-21, 11:50

> А как использовать ОС если она не поддерживает современного железа?(привет FreeBSD)
А можно просто ответ на вопрос, без вот этого вот вечного юлежа?
> (привет FreeBSD)
Привет, вендузятники
https://pic4a.ru/110/5We.png

Ответить | Правка | Наверх | Cообщить модератору

88. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (38), 27-Окт-21, 09:38

Железо какое? 4х летней давности? Как там wi-fi работает? :D
И напоследок: https://www.top500.org/statistics/details/osfam/1/ где тут хотя бы 1 кластер с многострадальной FreeBSD? :D

Ответить | Правка | Наверх | Cообщить модератору

89. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (-), 27-Окт-21, 21:01

> Железо какое? 4х летней давности? Как там wi-fi работает? :D
И че? Нормально работает. Ты можешь хоть каждый год менять и радовать маркетолухов, кто ж тебе запретит.
> И напоследок: https://www.top500.org/statistics/details/osfam/1/ где тут хотя бы 1 кластер
> с многострадальной FreeBSD? :D
Э-э ... и какой из них ты пользуешься? И где именно она у тебя стоит - под кроватью или за диваном?
И что хотел сказать? Что венда не поддерживает современное железо, а макось с соларисом не являются ОС, ведь их нет в том списке?
Ну и расскажи заодно, где тут:
https://www.techradar.com/news/best-consoles
https://en.wikipedia.org/wiki/List_of_best-selling_game_cons...
твой линукс-то. Что, не поддерживает современное (и не очень) железо?

Ответить | Правка | Наверх | Cообщить модератору

91. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (38), 28-Окт-21, 01:57

Пройдусь по пунктам.
1. Насчет линков по поводу консолей: у линукса своя ниша.
Они доминирует на рынке серверов а также в значительной степени влияют на большую часть мобильного рынка. И этого достаточно для того чтобы достигнуть успеха.
FreeBSD ведь серверная ОС? Но их в списке top500 нет. Почему? Потому что не поддерживают современное железо и соотвественно на рынке серверов их практически никто не использует.
2. Насчет коммента про маркетологов то они тут совершенно не причем. Новое железо гораздо производительней и соотвественно цена за ресурсы выходит гораздо ниже.
3. По поводу того что я использую. На серверах стоит линукс везде конечно же. На рабочей машине стоит fedora. Есть еще машина для игр на которй стоит винда.
4. Если ОС не подерживает(любая) современное железо(в данном случае серверное) и есть нужда его "подбирать" под эту ОС то мало кто этим будет пользоваться. В случае же с ОС "написанной" на расте то там вообще никакое железо не поддерживается. То есть пока это находится на стадии "hello world". И пока не будет достаточного колличества писателей драйверов говорить об этой ОС смешно.

Ответить | Правка | Наверх | Cообщить модератору

93. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Анонимм (??), 28-Окт-21, 14:29

> Пройдусь по пунктам.
> 1. Насчет линков по поводу консолей: у линукса своя ниша.
> Они доминирует на рынке серверов а также в значительной степени влияют на
> большую часть мобильного рынка. И этого достаточно для того чтобы достигнуть успеха.
Угу, угу. На самых популярных консолях, т.е. PS 3,4,5, Nintendo Switch - фря, а не линукс, но "это другое!".
> FreeBSD ведь серверная ОС? Но их в списке top500 нет.
1. Каким боком top500 к серверам?
2. FreeBSD, как видно выше - вполне универсальная ОС.
> Почему? Потому что не поддерживают современное железо и соотвественно на рынке серверов их  практически никто не использует.
Относительно топ500, для которых дрова пишутся отнюдь не в мейнлайне - сильно смахивает на аналитику уровня "Ветер дует потому что деревья качаются!". Это помимо натягивания серверо-совы на top500-глобус и откровенного передергивания:
https://news.ycombinator.com/item?id=28584738 "Serving Netflix Video at 400Gb/s on FreeBSD [pdf] (freebsd.org)"

> 2. Насчет коммента про маркетологов то они тут совершенно не причем. Новое железо гораздо производительней и соотвественно цена за ресурсы выходит гораздо ниже.
Угу, угу, стандартные лозунги - но маркетолухи конечно же не причем.
Ну раз дешевле, то привести реальный подсчет стоимости ресурсов и замены железа до истечения амортизационного срока не проблема? Можно даже "на пальцах". Особенно интересно оно будет для "домашне-рабочей" машины. А то в нашей реальности прирост производительности серверов составляет около 15% в год и до полной амортизации или EOL железа, почему-то никто не спешит с заменой.

Ответить | Правка | Наверх | Cообщить модератору

24. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Anonymous XE (?), 24-Окт-21, 22:40

А откуда уверенность, судя по твоим другим постам, что этим инструментом станет именно Rust?

Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

30. "Intel открыл код системы машинного обучения ControlFlag для ..." –1 +/–

Сообщение от QwertyReg (ok), 24-Окт-21, 22:51

> А откуда уверенность, судя по твоим другим постам, что этим инструментом станет
> именно Rust?
Найдите, пожалуйста, место в моём посте, где я упоминал Rust.

Ответить | Правка | Наверх | Cообщить модератору

61. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Anonymous XE (?), 25-Окт-21, 12:46

"Вы там из криокамеры выходите, в 2k21 уже ОС написали на Rust.", например. Ну ещё можно посмотреть в обсуждении новости о Rust.

Ответить | Правка | Наверх | Cообщить модератору

40. "Intel открыл код системы машинного обучения ControlFlag для ..." +2 +/–

Сообщение от Аноним (40), 25-Окт-21, 03:13

Все приведённые в примере ошибки являются логическими, язык тут вообще не при чём.

Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

79. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от anonymous (??), 25-Окт-21, 23:49

Уже давно все энтерпрайзы перешли на Java, где пофиксены почти все опасные места C++. Остались только игроделы и финансисты с наносекундами.

Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

3. "Intel открыл код системы машинного обучения ControlFlag для ..." +5 +/–

Сообщение от Нанобот (ok), 24-Окт-21, 19:33

> (s1 == NULL) ∧ (s2 == NULL)
И теперь програмисты должны переписать код просто потому, что глупая машина его не понимает?

Ответить | Правка | Наверх | Cообщить модератору

12. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (11), 24-Окт-21, 20:03

А если надо именно такую проверку сделать?!

Ответить | Правка | Наверх | Cообщить модератору

26. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Anonymous XE (?), 24-Окт-21, 22:43

Дообучить

Ответить | Правка | Наверх | Cообщить модератору

27. "Intel открыл код системы машинного обучения ControlFlag для ..." –2 +/–

Сообщение от torvn77 (ok), 24-Окт-21, 22:47

Ну если надо то человек ответственный за код знает что надо и так сделано не случайно.

Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

33. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (33), 24-Окт-21, 23:42

Ну конкретно в этом случае можно не выпендриваться и заменить ^ на !=

Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

41. "Intel открыл код системы машинного обучения ControlFlag для ..." +1 +/–

Сообщение от Аноним (41), 25-Окт-21, 05:36

Как и в случае "(s1 == NULL) | (s2 == NULL)" заменить конечно можно, но ценой производительности. OpenSSL пишут фанатики производительности, иначе бы давно уже выкинули бы весь Ассемблер. Причём в OpenSSL Ассемблер используется не для специфических инструкций, а ради нескольких процентов производительности, недостижимых для нынешних компиляторов.

Ответить | Правка | Наверх | Cообщить модератору

43. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Ordu (ok), 25-Окт-21, 06:17

> ценой производительности
Вовсе нет. Возьми компилятор и проверь. Этот случай -- либо ошибка программиста, либо откровенный тупняк и понимание компилятора на уровне первой половины 90-х.

Ответить | Правка | Наверх | Cообщить модератору

50. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Нанобот (ok), 25-Окт-21, 09:50

подозреваю, что у сабжа при проверке такого кода тоже истерика случится

Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

6. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от ыы (?), 24-Окт-21, 19:47

Сперва подумал что в кои-то веки написали правду:
... открыл код системы .... для выявления ошибок в коде
Потом прочитал новость.... оказывается открыли для блага человечества...

Ответить | Правка | Наверх | Cообщить модератору

10. "Intel открыл код системы машинного обучения ControlFlag для ..." +2 +/–

Сообщение от InuYasha (??), 24-Окт-21, 20:00

Мало. Нужен ещё код анализатора для выявления ошибок систем машинного обучения. А потом зациклить их и получить что-нибудь идеальное.

Ответить | Правка | Наверх | Cообщить модератору

15. "Intel открыл код системы машинного обучения ControlFlag для ..." +1 +/–

Сообщение от Аноним (15), 24-Окт-21, 20:18

для идеальности нужна мат модель и анализатор логики. Иначе как ни украшай статистику, она ей и останется. Тоесть реальные ошибки не видит, зато ругается на нестандартный синтаксис. Короче аттракцион.

Ответить | Правка | Наверх | Cообщить модератору

19. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (19), 24-Окт-21, 21:11

анализатор логики анонима по яп, не глядя в код находит, на таких-то идеальных примитивах и надо обучать, а не норвиках и скоробогатовых.

Ответить | Правка | Наверх | Cообщить модератору

46. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Ordu (ok), 25-Окт-21, 07:01

> для идеальности нужна мат модель и анализатор логики.
О какой матмодели ты сейчас говоришь? О матмодели программы? То есть о спецификации программы, написанной на формальном языке? Это может помочь, но во-первых, есть ограничения такого подхода, во-вторых это переход с C/C++ на язык описания спецификаций.
Программист-человек может качественнее проводить аудит кода потому, что он может по коду угадать намерения того, кто писал код. Но, самое что забавное, угадать эти намерения возможно только одним путём: взять модель психики программиста и дальше разглядывать код и статистическим путём пытаться угадать состояние психики, которое с максимальной вероятностью породит именно такой код.
То есть, тут нужна формальная модель психики программиста. И этим и обусловлен вопрос выше: может ты об этой модели?
Человеку удаётся справиться с этим, потому что он сам себе модель программиста, писавшего код. А статистику всю нейросетки в его голове считают.
ИИ сейчас подошёл вплотную к тому, чтобы реализовать нужную статистику. А это автоматически означает, что какая-никакая модель программиста у ИИ уже есть. Остался один шаг -- сделать эту модель каузальной, а не корреляционной. Но это, я полагаю, произойдёт после того, как хайп на deep-learning спадёт: все самым натуральным образом сначала тянутся за низковисящими фруктами и лишь когда они кончатся, начинают чесать репу: как достать остальные?
Но я к тому, что с этой перспективы, статистический поиск багов -- это шаг в нужном направлении. Либо мы движемся в направлении выдачи компилятору всё большего количества информации о задумке программиста (а это всякие расты, или даже формальные языки спецификаций программ), либо мы учим ИИ угадывать эту задумку по тому, что есть. И вот это второе, естественно напрашивается делать так, как это делает человек, то есть статистически.

Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

44. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Ordu (ok), 25-Окт-21, 06:23

Нет, не надо. Это как с вероятностью вероятности. Когда это понятие приходит в голову впервые, первая реакция тренированной психики включает в себя мысль о необходимости бесконечной рекурсии: вероятность вероятности вероятности ... вероятности. Но если присмотреться, то хоть вероятность вероятности и полезное понятие, но уже третий уровень бесполезен. На третьем уровне уже нет никакой неопределённости, потому что вся неопределённость была описана на первых двух этажах.

Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

14. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Онаним (?), 24-Окт-21, 20:10

А, так вот откуда meltdown взялся.

Ответить | Правка | Наверх | Cообщить модератору

18. "Intel открыл код системы машинного обучения ControlFlag для ..." +3 +/–

Сообщение от YetAnotherOnanym (ok), 24-Окт-21, 20:47

> имеющегося массива кода
Фраза "все так пишут" заиграла новыми красками.
Кстати, а ответы со stackoverflow эта штука умеет использовать? А если при "формировании эталонного дерева принятия решений" возникнет неоднозначность, она сможет сама спрашивать там совета?

Ответить | Правка | Наверх | Cообщить модератору

28. "Intel открыл код системы машинного обучения ControlFlag для ..." –2 +/–

Сообщение от torvn77 (ok), 24-Окт-21, 22:49

>Фраза "все так пишут" заиграла новыми красками
Это да, было бы хорошо прикрепить к тем или иным вариантам или веткам то, как код такого типа оценивает эксперт.

Ответить | Правка | Наверх | Cообщить модератору

21. "Intel открыл код системы машинного обучения ControlFlag для ..." –1 +/–

Сообщение от Аноним (21), 24-Окт-21, 21:42

Да давайте уже пилите квантовый компьютер. Чтобы подавал на вход суперпозицию из всех возможных наборов входных данных. И смотрел, что будет.

Ответить | Правка | Наверх | Cообщить модератору

29. "Intel открыл код системы машинного обучения ControlFlag для ..." +5 +/–

Сообщение от torvn77 (ok), 24-Окт-21, 22:51

А на выходе бы получал суперпозицию всех возможных результатов и потом бы гадал какой же из них правильный?

Ответить | Правка | Наверх | Cообщить модератору

31. "Intel открыл код системы машинного обучения ControlFlag для ..." +1 +/–

Сообщение от Антифрактал (?), 24-Окт-21, 23:11

улыбнул

Ответить | Правка | Наверх | Cообщить модератору

34. "Intel открыл код системы машинного обучения ControlFlag для ..." +2 +/–

Сообщение от Аноним (34), 25-Окт-21, 00:03

Ребята из Intel ME похоже не знали и не узнают что такая штука появилась в соседнем отделе...

Ответить | Правка | Наверх | Cообщить модератору

35. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от ты клоун (?), 25-Окт-21, 00:39

Ребята из Интел и знают и умеют всяко больше тебя.

Ответить | Правка | Наверх | Cообщить модератору

45. "Intel открыл код системы машинного обучения ControlFlag для ..." –1 +/–

Сообщение от john_erohin (?), 25-Окт-21, 06:56

такое вполне возможно.
но: почему у них периодически всплывает всякая гадость ?

Ответить | Правка | Наверх | Cообщить модератору

90. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от ты клоун (?), 27-Окт-21, 23:38

Наверное потому что их процы одни из самых распространённых и популярных(как бы это не бесило амд-фантёлок) в мире и в их коде не роются только самые ленивые. Вот и всё. Всякие например эльбрусы в мире нафик никому не упали, соответственно ничё не всплывает, потому-что не ищут. Неужели так трудно простейшую логическую цепочку создать?

Ответить | Правка | Наверх | Cообщить модератору

92. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от john_erohin (?), 28-Окт-21, 06:44

поправка: их код закрыт. гадость ищут посторонние люди практически наощупь.
представьте, насколько легче и быстрее искать, имея на руках спецификации ?
а еще - насколько легче их устранить заранее ?

Ответить | Правка | Наверх | Cообщить модератору

39. "Intel открыл код системы машинного обучения ControlFlag для ..." +2 +/–

Сообщение от vitalif (ok), 25-Окт-21, 02:49

> неконкретизированном проприетарном ПО
не надо интелу стесняться говорить "в нашем собственном говнокоде")

Ответить | Правка | Наверх | Cообщить модератору

47. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от животнае (?), 25-Окт-21, 08:15

производители статических анализаторов у себя внутри - "давай глянем как оно в сравнении с нашим и дополним своим модулем от интола если что".

Ответить | Правка | Наверх | Cообщить модератору

55. "Intel открыл код системы машинного обучения ControlFlag для ..." +1 +/–

Сообщение от Аноним (-), 25-Окт-21, 11:15

Лысый из ПиВаСа тебя одобряет.

Ответить | Правка | Наверх | Cообщить модератору

68. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от животнае (?), 25-Окт-21, 16:38

так у него на сайте в его профиле написано - "Лучше 10 раз пересобрать, чем один раз подумать."

Ответить | Правка | Наверх | Cообщить модератору

51. "Intel открыл код системы машинного обучения ControlFlag для ..." –1 +/–

Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 10:27

>была выявлена незамеченная статическими анализаторами ошибка при использовании элемента структуры "s->keepon", который имел числовой тип, но сравнивался с булевым значением TRUE.
А в чем проблема если язык это позволяет?

Ответить | Правка | Наверх | Cообщить модератору

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ообщить модератору

54. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (-), 25-Окт-21, 10:56

Статистический анализатор - это хорошо. Это не модное нынче непереобучаемое свёрточное дерьмо.

Ответить | Правка | Наверх | Cообщить модератору

86. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Sw00p aka Jerom (?), 26-Окт-21, 11:52

>нынче непереобучаемое свёрточное дерьмо.
так это пол беды, когда можно еще экспертами переобучить, куда хуже, когда принятия решение основано на парламентском большинстве, все так пишут - и ты так пиши:)

Ответить | Правка | Наверх | Cообщить модератору

58. "Intel открыл код системы машинного обучения ControlFlag для ..." –1 +/–

Сообщение от Аноним (58), 25-Окт-21, 11:57

Да просто акции интел упали более чем на 10,5% за день. Надо что-то делать.

Ответить | Правка | Наверх | Cообщить модератору

83. "Intel открыл код системы машинного обучения ControlFlag для ..." +/–

Сообщение от Аноним (83), 26-Окт-21, 10:08

..
[-l source_language_number]                (default: 1 (C), supported: 1 (C), 2 (Verilog)
..
и где там c++ ? п#зд#ны из штеуда...

Ответить | Правка | Наверх | Cообщить модератору

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

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

Партнёры:

Хостинг:

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

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

1. Скрыто модератором	–23 +/–
Сообщение от QwertyReg (ok), 24-Окт-21, 19:22
> написанных на высокоуровневых языках, таких как C/C++ > высокоуровневых > C
Ответить \| Правка \| Наверх \| Cообщить модератору


	5. Скрыто модератором	+7 +/–
	Сообщение от макпыф (ok), 24-Окт-21, 19:38
	Не поверишь - это так Из википедии: > Язык Си уникален с той точки зрения, что именно он стал первым языком высокого уровня, всерьёз потеснившим ассемблер в разработке системного программного обеспечения.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	7. Скрыто модератором	–18 +/–
	Сообщение от QwertyReg (ok), 24-Окт-21, 19:49
	Уж в 2k-то 21-ом бы на Википедию ссылаться. И да, вот оттуда же: > К тому же, несмотря на свою низкоуровневую природу, язык ориентирован на переносимость
	Ответить \| Правка \| Наверх \| Cообщить модератору


	16. Скрыто модератором	–4 +/–
	Сообщение от Анонимкарастуимка (?), 24-Окт-21, 20:41
	вот если бы ты писал на рустеЁ!
	Ответить \| Правка \| Наверх \| Cообщить модератору


	17. Скрыто модератором	+/–
	Сообщение от Анонимкарастуимка (?), 24-Окт-21, 20:42
	у тех, кто пишет на русте такого не говорит. смекаешь?!
	Ответить \| Правка \| Наверх \| Cообщить модератору


	37. Скрыто модератором	+/–
	Сообщение от Аноним (37), 25-Окт-21, 01:27
	Чтоб вы знали. Уровень языка программирования чем ниже, тем ближе к машинному, а значит лучше.
	Ответить \| Правка \| К родителю #7 \| Наверх \| Cообщить модератору


	13. Скрыто модератором	+/–
	Сообщение от Аноним (13), 24-Окт-21, 20:10
	> выявления пропущенных проверок значения NULL в указателях Хм...
	Ответить \| Правка \| К родителю #5 \| Наверх \| Cообщить модератору


	22. Скрыто модератором	+/–
	Сообщение от Аноним (22), 24-Окт-21, 22:11
	>стал первым языком высокого уровня, всерьёз потеснившим ассемблер А как же фортран?
	Ответить \| Правка \| К родителю #5 \| Наверх \| Cообщить модератору


	23. Скрыто модератором	+/–
	Сообщение от Anonymous XE (?), 24-Окт-21, 22:38
	>потеснившим ассемблер в разработке системного программного обеспечения ОС на Фортране не пишут.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	42. Скрыто модератором	+/–
	Сообщение от Ordu (ok), 25-Окт-21, 05:53
	Это устаревшая классификация языков. Когда-то и мнемоники для машинных команд считались высокоуровневыми. Когда-то и колесо считалось вершиной научно-технического прогресса.
	Ответить \| Правка \| К родителю #5 \| Наверх \| Cообщить модератору


	36. Скрыто модератором	+/–
	Сообщение от Аноним (37), 25-Окт-21, 01:24
	Садись, два!
	Ответить \| Правка \| К родителю #1 \| Наверх \| Cообщить модератору

2. "Intel открыл код системы машинного обучения ControlFlag для ..."	–24 +/–
Сообщение от QwertyReg (ok), 24-Окт-21, 19:31
Ну а по теме - очередная подпорка к Сишке и двигание кроватей. Понятно, что на Си написано полно легаси, которое надо как-то обмазывать анализаторами, чтобы постоянно не вываливались overflow и use-after-free, но настанет день, когда люди перейдут к инструменту с изначально нормальной архитектурой и и чем скорее этот день настанет, тем лучше для IT.
Ответить \| Правка \| Наверх \| Cообщить модератору


	4. "Intel открыл код системы машинного обучения ControlFlag для ..."	+1 +/–
	Сообщение от Аноним (4), 24-Окт-21, 19:35
	А есть какие-то предпосылки? :think
	Ответить \| Правка \| Наверх \| Cообщить модератору


	8. "Intel открыл код системы машинного обучения ControlFlag для ..."	+6 +/–
	Сообщение от Аноним1212 (?), 24-Окт-21, 19:52
	Так перепишите на свой раст, покажи этим Интелам как надо!
	Ответить \| Правка \| К родителю #2 \| Наверх \| Cообщить модератору


	9. "Intel открыл код системы машинного обучения ControlFlag для ..."	–13 +/–
	Сообщение от QwertyReg (ok), 24-Окт-21, 19:54
	> Так перепишите на свой раст, покажи этим Интелам как надо! Вы там из криокамеры выходите, в 2k21 уже ОС написали на Rust.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	11. "Intel открыл код системы машинного обучения ControlFlag для ..."	–1 +/–
	Сообщение от Аноним (11), 24-Окт-21, 20:02
	> написали У тролля, как всегда, проблемы со временем. Правильно: "пытаются написать, затыкая дыры утечки памяти".
	Ответить \| Правка \| Наверх \| Cообщить модератору


	20. "Intel открыл код системы машинного обучения ControlFlag для ..."	+2 +/–
	Сообщение от Аноним (20), 24-Окт-21, 21:26
	> У тролля, как всегда, проблемы со временем. Правильно: "пытаются написать, затыкая дыры > утечки памяти". Молодец, приплел раст и опустил ссылку - ведь опеннетным джЫнтельменам принято верить на слово ...
	Ответить \| Правка \| Наверх \| Cообщить модератору


	48. "Intel открыл код системы машинного обучения ControlFlag для ..."	–3 +/–
	Сообщение от Совершенно другой аноним (?), 25-Окт-21, 09:26
	Вот новость: https://www.opennet.me/opennews/art.shtml?num=54316, а вот в новости про утечки: ;----------------------X8 Из новшеств, добавленных в выпуске Redox 0.6, можно отметить: * Полностью переписана система управления памятью ядра (rmm, kernel memory manager). В новой реализации удалось избавиться от утечек памяти, которые создавали проблемы при использовании старого менеджера памяти. Кроме того, повышена стабильность поддержки многоядерных систем. ;----------------------X8 Теперь верите?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	66. "Intel открыл код системы машинного обучения ControlFlag для ..."	–2 +/–
	Сообщение от Аноним (-), 25-Окт-21, 15:40
	> Вот новость: https://www.opennet.me/opennews/art.shtml?num=54316, а вот в новости про > утечки: > ;----------------------X8 > Из новшеств, добавленных в выпуске Redox 0.6, можно отметить: > * Полностью переписана система управления памятью ядра (rmm, kernel memory manager). В > новой реализации удалось избавиться от утечек памяти, которые создавали проблемы при > использовании старого менеджера памяти. Кроме того, повышена стабильность поддержки многоядерных > систем. > ;----------------------X8 > Теперь верите? https://gitlab.redox-os.org/redox-os/redox/-/issues/855 > The Redox kernel does not have the structures in place to allow freeing memory. > (что и переписали) Умению читать опой? Да, верю. А ссылки на "пытаются написать, затыкая дыры утечки памяти", будут? Или как обычно?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	69. "Intel открыл код системы машинного обучения ControlFlag для ..."	–2 +/–
	Сообщение от Совершенно другой аноним (?), 25-Окт-21, 16:52
	> https://gitlab.redox-os.org/redox-os/redox/-/issues/855 >> The Redox kernel does not have the structures in place to allow freeing memory. >> (что и переписали) > Умению читать опой? Да, верю. > А ссылки на "пытаются написать, затыкая дыры утечки памяти", будут? Или как > обычно? Написали то, что было написано и по-английски (https://www.redox-os.org/news/release-0.6.0/): ;----------------------X8 * rmm, a complete rewrite of the kernel memory manager. This has eliminated kernel memory leaks, which became quite an issue with the previous memory manager. Additionally, multi-core support is far more stable. ;----------------------X8 Пойдите, расскажите теперь уже авторам, что у них ОС не текла.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	71. "Intel открыл код системы машинного обучения ControlFlag для ..."	–1 +/–
	Сообщение от Аноним (-), 25-Окт-21, 17:24
	>> https://gitlab.redox-os.org/redox-os/redox/-/issues/855 >>> The Redox kernel does not have the structures in place to allow freeing memory. >>> (что и переписали) >> Умению читать опой? Да, верю. >> А ссылки на "пытаются написать, затыкая дыры утечки памяти", будут? Или как >> обычно? > Написали то, что было написано и по-английски (https://www.redox-os.org/news/release-0.6.0/): Ну это было понятно, что чтецы опой не могут в английский и попытаются спрыгнуть. А ссылки-то на _дыры_ где? Или "чтецы" и в компонентах ОС - ни бумбум, раз им "does not have the structures in place to allow freeing memory" ничего не говорит?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	72. "Intel открыл код системы машинного обучения ControlFlag для ..."	–1 +/–
	Сообщение от Совершенно другой аноним (?), 25-Окт-21, 17:54
	>> Написали то, что было написано и по-английски (https://www.redox-os.org/news/release-0.6.0/): > Ну это было понятно, что чтецы опой не могут в английский и > попытаются спрыгнуть. А ссылки-то на _дыры_ где? Или "чтецы" и в > компонентах ОС - ни бумбум, раз им "does not have the > structures in place to allow freeing memory" ничего не говорит? я не понимаю, почему Вы тычите мне это issue, когда сами разработчики говорят про что-то другое. Если Вы плохо понимаете по английски, то могу выдать Вам перевод от google из release notes для Redox 0.6.0 : ;--------------------X8 Это устранило утечки памяти ядра, которые стали серьезной проблемой с предыдущим менеджером памяти. ;--------------------X8 Я так надеялся, что разработчики лучше знают, что они там правили. Впрочем, может Вы Jeremy Soller и посетили наш форум, пусть даже и инкогниото, и даже снизошли до общения с анонимами, то, конечно, Вам лучше знать. Просто непонятно тогда, зачем Вы возводите на ваше творение такой мерзкий поклёп, приписывая ей то, чего у неё не было.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	75. "Intel открыл код системы машинного обучения ControlFlag для ..."	–1 +/–
	Сообщение от Аноним (-), 25-Окт-21, 19:06
	>> Created 4 years ago by Jeremy Soller >> ... does not have the structures in place to allow freeing memory > я не понимаю, почему Вы тычите мне это issue, когда сами разработчики > "- rmm, a complete rewrite of the kernel memory manager." [ссылка на https://gitlab.redox-os.org/redox-os/rmm/ -> Jeremy Soller ... ой] > говорят про что-то другое. Яснопонятно. Кроме обыкновенного балабольства - ничего не будет. >> чтецы опой не могут в английский > Если Вы плохо понимаете по английски, то могу выдать Вам перевод от google И опять я угадал. > Я так надеялся, что разработчики лучше знают, что они там правили. Да-да, Jeremy Soller знает лучше, чем Jeremy Soller, что правил там Jeremy Soller. Анонимные "знатоки" совсем не палятся ...
	Ответить \| Правка \| Наверх \| Cообщить модератору


	81. "Intel открыл код системы машинного обучения ControlFlag для ..."	–2 +/–
	Сообщение от Совершенно другой аноним (?), 26-Окт-21, 08:30
	>>> чтецы опой не могут в английский >> Если Вы плохо понимаете по английски, то могу выдать Вам перевод от google > И опять я угадал. Не знаю, что Вы там угадали, но пока складывается такое ощущение, что Вы просто бредите, извините. >> Я так надеялся, что разработчики лучше знают, что они там правили. > Да-да, Jeremy Soller знает лучше, чем Jeremy Soller, что правил там Jeremy > Soller. Анонимные "знатоки" совсем не палятся ... Вот теперь уже всё с Вами понятно. PS. то issue, на которое Вы ссылались, оно как-бы всё так-же не закрыто. Я надеюсь это Вам не помешает использовать redox в критически важных системах, только будет просьба, Вы заранее предупредите, пожалуйста, где Вы его будете внедрять, ну чтобы если это что-то важное, чтобы постараться оказаться где-то на другой стороне глобуса. На этом, думаю, разговор можно закончить. Удачи Вам.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	38. "Intel открыл код системы машинного обучения ControlFlag для ..."	–2 +/–
	Сообщение от Аноним (38), 25-Окт-21, 01:36
	ОС означает прежде всего управление железом, то есть наличие драйверов. Сколько там драйверов на расте пишут производители железа?
	Ответить \| Правка \| К родителю #9 \| Наверх \| Cообщить модератору


	76. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Аноним (-), 25-Окт-21, 19:08
	> ОС означает прежде всего управление железом, то есть наличие драйверов. Сколько там > драйверов на расте пишут производители железа? Ты хочешь сказать, что Линукс до середины двухтысячных почти совсем не являлся ОС? Или вантузятники опять совсем-совсем не палятся?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	80. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Аноним (38), 26-Окт-21, 01:33
	А как использовать ОС если она не поддерживает современного железа?(привет FreeBSD)
	Ответить \| Правка \| Наверх \| Cообщить модератору


	85. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Аноним (-), 26-Окт-21, 11:50
	> А как использовать ОС если она не поддерживает современного железа?(привет FreeBSD) А можно просто ответ на вопрос, без вот этого вот вечного юлежа? > (привет FreeBSD) Привет, вендузятники https://pic4a.ru/110/5We.png
	Ответить \| Правка \| Наверх \| Cообщить модератору


	88. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Аноним (38), 27-Окт-21, 09:38
	Железо какое? 4х летней давности? Как там wi-fi работает? :D И напоследок: https://www.top500.org/statistics/details/osfam/1/ где тут хотя бы 1 кластер с многострадальной FreeBSD? :D
	Ответить \| Правка \| Наверх \| Cообщить модератору


	89. "Intel открыл код системы машинного обучения ControlFlag для ..."	+/–
	Сообщение от Аноним (-), 27-Окт-21, 21:01
	> Железо какое? 4х летней давности? Как там wi-fi работает? :D И че? Нормально работает. Ты можешь хоть каждый год менять и радовать маркетолухов, кто ж тебе запретит. > И напоследок: https://www.top500.org/statistics/details/osfam/1/ где тут хотя бы 1 кластер > с многострадальной FreeBSD? :D Э-э ... и какой из них ты пользуешься? И где именно она у тебя стоит - под кроватью или за диваном? И что хотел сказать? Что венда не поддерживает современное железо, а макось с соларисом не являются ОС, ведь их нет в том списке? Ну и расскажи заодно, где тут: https://www.techradar.com/news/best-consoles https://en.wikipedia.org/wiki/List_of_best-selling_game_cons... твой линукс-то. Что, не поддерживает современное (и не очень) железо?
	Ответить \| Правка \| Наверх \| Cообщить модератору