forum.opennet.ru - "IBM открыл CodeNet для систем машинного обучения, транслирующих и проверяющих код" (70)

"IBM открыл CodeNet для систем машинного обучения, транслирующих и проверяющих код"

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

"IBM открыл CodeNet для систем машинного обучения, транслирующих и проверяющих код"	+/–
Сообщение от opennews (ok), 11-Май-21, 22:25
Компания IBM представила инициативу CodeNet, нацеленную на предоставление исследователям набора данных, позволяющих экспериментировать с применением методов машинного обучения для создания трансляторов из одного языка программирования в другой, а также генераторов и анализаторов кода. CodeNet включает коллекцию из 14 миллионов примеров кода, решающих 4053 типовых проблем программирования. В сумме коллекция насчитывает около 500 млн строк кода и охватывает 55 языков программирования, как современные языки, такие как C++, Java, Python и Go, так и устаревшие, включая COBOL, Pascal и FORTRAN. Наработки проекта распространяются под лицензией Apache 2.0, а наборы данных планируется распространять в форме общественного достояния... Подробнее: https://www.opennet.ru/opennews/art.shtml?num=55131
Ответить \| Правка \| Cообщить модератору

Оглавление

Ура паскаль, Рейка Сметанова (ok), 22:25 , 11-Май-21, (1) –2

Ага, ObjectPascal - C , Аноним (44), 11:49 , 12-Май-21, (44)
А поддерживать кто будет Я так понимаю после трансляции мешанина получится нежи, Аноним (62), 19:13 , 12-Май-21, (62)

Кстати, из интересного про IBM https habr com ru company selectel blog 555940 , Аноним (4), 22:48 , 11-Май-21, (4) +7

Мечты, мечты А вот реальность с TMSC 11 мая Здравствуйте, Сергей Ранее вы интер, n00by (ok), 09:53 , 12-Май-21, (38) +1

TSMC, Аноним (44), 11:55 , 12-Май-21, (45)
Я тоже хотел купить этот процессор, но мне тоже заявили, что он исчез из продажи, Ыр2.0 (?), 15:32 , 20-Май-21, (94)

Мне через полгода ответ пришёл Но я сразу уловил тенденцию и особо не рассчитыв, n00by (ok), 16:14 , 20-Май-21, (95)

Вместо Компания IBM создала первый в мире 2 нм процессор и изготовила тестовые , Урри (ok), 09:52 , 13-Май-21, (82) +2

осталось ии научить клепать формы и можно макак-формошлепов гнать на мороз, Аноним (5), 22:49 , 11-Май-21, (5) +5

согласен Вместе с модерами, иПони (?), 23:15 , 11-Май-21, (9) +2
ты первый на мороз и пойдешь, Аноним (-), 00:50 , 12-Май-21, (19)
все они давно перебрались на фронт, Аноним (28), 07:00 , 12-Май-21, (28)
хихи Помню, развлекался 20 лет назад берешь английскую фразу, потом переводч, лютый жабби__ (?), 08:26 , 12-Май-21, (31) +3

Это же классика, когда из фразы дух силён, но плоть слаба получилось вино при, n00by (ok), 09:45 , 12-Май-21, (37) +2

Сильно подозреваю, что корявые описания товаров на Али сознательно сохраняются к, YetAnotherOnanym (ok), 17:49 , 12-Май-21, (58) –1

окуенная фишка а ещё всплывающие при КАЖДОМ переходе баннеры про купоны тоже кр, лютый жабби__ (?), 20:02 , 12-Май-21, (69)

Опять-таки подозреваю, что сайт кодят одни люди, а перевод готовят другие Ну, и, YetAnotherOnanym (ok), 20:52 , 12-Май-21, (71)

Пертурабо, ты , Аноним (72), 21:26 , 12-Май-21, (72)
гугл корректно переводит эту фразу туда и обратно , Урри (ok), 09:54 , 13-Май-21, (83)

Дык ещё бы, это же классика При этом good knowledge переводит как хорошие зн, n00by (ok), 10:28 , 13-Май-21, (87)

Немного отстали от жизни Сейчас Google Translate переводит вполне себе адекватн, random1st (?), 11:44 , 12-Май-21, (43) +1

Во-во, себе что-то переводит, а нам не показывает , n00by (ok), 12:55 , 12-Май-21, (47) –2
видимо ты надмозг непритязательный Я переводил пару лет назад обычную статью на, лютый жабби__ (?), 17:22 , 12-Май-21, (55) –2

Тут есть один нюанс Языки программирования строго формализированы, в отличии от, Анонас (?), 15:17 , 12-Май-21, (50) +1

При преобразовании из одного языка программирования в другой контекст не менее , n00by (ok), 17:19 , 12-Май-21, (54) –1

Отсутствие контекста мешает вывести алгоритм перевода Но если такой алгоритм на, Анонас (?), 17:43 , 12-Май-21, (57)

Вот только вывод после транспайлера нечитаем человеком , n00by (ok), 07:28 , 13-Май-21, (79)

А при чем тут это Тезис был в точной эквивалентности программ, а не в том разбе, Анонус (?), 15:33 , 14-Май-21, (90)

То есть тезис к решаемой проблеме некому поддерживать Кобол, зато есть программ, n00by (ok), 09:03 , 15-Май-21, (91)

Ухита Все ЯП в конечном итоге приводятся к машинным кодам , Аноним (72), 21:29 , 12-Май-21, (73)

Возвращайтесь, когда наберётесь опыта в переводе машкода в понятную Сишечку Ну , n00by (ok), 07:21 , 13-Май-21, (78) –1

Компиляторы умеют в контекст Ого Может они еще в войну и мир умеют , Урри (ok), 09:56 , 13-Май-21, (84)

Так о том и речь, что не умеют, потому транспиляция из одного ЯВУ COBOL в друг, n00by (ok), 10:23 , 13-Май-21, (86)

Ты явно не программизд у меня отдельчик, все жабисты один упарывается по , лютый жабби__ (?), 18:39 , 12-Май-21, (60) –2

А ты походу программист от сохи и математика для тебя кончилась на квадратном тр, Анонас (?), 19:59 , 12-Май-21, (68) +2

Какая связь у современного программирования и математики НИКАКОЙ Я помню в ун, лютый жабби__ (?), 20:12 , 12-Май-21, (70) –3

Прямая Она под капотом Но кнопкодавы как тот 3 14дор из анекдота ага, а потом , Аноним (72), 21:31 , 12-Май-21, (74) +2

IBM лет десять назад запустил искусственный интеллект, который соответствовал ра, Аноним (52), 15:49 , 12-Май-21, (52)

поржал с трёхлетки можно только лулзы ловить , лютый жабби__ (?), 17:24 , 12-Май-21, (56)

Я так понимаю, основная цель cobol-java И пусть бесплатные энтузиасты сделают бо, Аноним (24), 02:26 , 12-Май-21, (24) +5

Жду не дождусь времени когда моим счетом в банке будет управлять программа, авто, Anon2 (?), 08:08 , 12-Май-21, (29)

Это, а в ассемблеры всяких архитектур оно смогёт D, ryoken (ok), 08:26 , 12-Май-21, (30) –2

Это называется компилятор , Аноним (34), 09:04 , 12-Май-21, (34) +3

перевести ядро на java сможет Надеюсь нет, а то гугл тим точно заинтересуеться , макпыф (ok), 08:40 , 12-Май-21, (32) –2
Круто, а есть ссылка на список , Аноним (34), 09:03 , 12-Май-21, (33) –1

Вот и выросло поколение, не заставшее справочник Дьяконова , Аноним (64), 19:38 , 12-Май-21, (64) –1

Классно было бы узнать про подробности реализации Если аннотации оформлены в он, GrandProgrammer (ok), 09:11 , 12-Май-21, (35) –1

А есть какая-то готовая онтология, в терминах которой можно выражать свойства ко, Анонас (?), 15:12 , 12-Май-21, (49)

Т е из чего-то протестированного и сделанного кем-то умным, получить неведомо ка, Lex (??), 09:35 , 12-Май-21, (36) +1
А сколько новых ошибок при этом в новом коде появиться У этих всяких ИИ же норм, AlexVRud (ok), 09:56 , 12-Май-21, (39) –2

Ну, учитывая, что некоторые так и не научились на родном языке писать тся и т, random1st (?), 11:43 , 12-Май-21, (42) +9

Т е они нашли 500 млн строк кода с лицензией в форме общественного достояния, AlexVRud (ok), 10:00 , 12-Май-21, (40) –2

А на GitHub лицензии автоматически детектируются , Аноним (41), 10:09 , 12-Май-21, (41)
Первый пример из Mini-набораМетаданные submission_id,problem_id,user_id,date,lan, Аноним84701 (ok), 22:31 , 12-Май-21, (75) +1

Это мелочи Написано же ИИ -- значит надо акции покупать , n00by (ok), 10:41 , 13-Май-21, (88)
Они жеж прямо сказали, что код понадёргали из решений олимпиадных задач Такого , Ordu (ok), 11:59 , 13-Май-21, (89)

А могут и не улавливать Гарантий нет Как повезёт К тому же, если там нейронки, Аноним (46), 12:27 , 12-Май-21, (46) +2
Ура Вот что перепишет Линукс на Раст , Аноним (48), 15:01 , 12-Май-21, (48) –1

Не, если его ещё подтренировать, то оно перепишет Linux в Hurd , Аноним (44), 15:22 , 12-Май-21, (51)

Сами вы устаревшие , Анто769ним (?), 18:36 , 12-Май-21, (59) +2

С тех пор, как CERN решил таки переходить с Фортрана на С , будущее Фортрана ту, lockywolf (ok), 06:01 , 13-Май-21, (77) +1

Я лично участвую в проекте по переписыванию с Си на Фортран частей коммерческой , Анто769ним (?), 07:45 , 13-Май-21, (80)

А в чём радость allocatable Так он куций довольно Утечки памяти В наличии О, lockywolf (ok), 08:04 , 13-Май-21, (81) +1

Скорее всего у них нету специалистов в С, но есть специалисты в фортране , Урри (ok), 10:02 , 13-Май-21, (85)

Это чё, у них там свой стаковерфлоу с форумом и роботицами , Аноним (64), 19:48 , 12-Май-21, (65) +1
Ээ, Скайнет , user90 (?), 23:25 , 12-Май-21, (76) –1

мб, мб , Леголас (ok), 05:47 , 22-Май-21, (96)

За то время и деньги которые на это все потрачены, уже бы десять раз переписали , Аноним (92), 22:52 , 15-Май-21, (92)
Насколько я понял, это задачи с вариантами решений с двух сайтов для японских шк, Аноним (93), 04:01 , 17-Май-21, (93)

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

1. Сообщение от Рейка Сметанова (ok), 11-Май-21, 22:25 –2 +/–

Ура паскаль

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #44, #62

4. Сообщение от Аноним (4), 11-Май-21, 22:48 +7 +/–

Кстати, из интересного про IBM:
https://habr.com/ru/company/selectel/blog/555940/
Вдруг кто-то ещё не видел.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #38, #82

5. Сообщение от Аноним (5), 11-Май-21, 22:49 +5 +/–

осталось ии научить клепать формы и можно макак-формошлепов гнать на мороз

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #9, #19, #28, #31

9. Сообщение от иПони (?), 11-Май-21, 23:15 +2 +/–

согласен! Вместе с модерами

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

19. Сообщение от Аноним (-), 12-Май-21, 00:50 +/–

ты первый на мороз и пойдешь

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

24. Сообщение от Аноним (24), 12-Май-21, 02:26 +5 +/–

Я так понимаю, основная цель cobol-java.
И пусть бесплатные энтузиасты сделают большой кусок работы.
Очень жадные банкиры.

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

28. Сообщение от Аноним (28), 12-Май-21, 07:00 +/–

все они давно перебрались на фронт

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

29. Сообщение от Anon2 (?), 12-Май-21, 08:08 +/–

Жду не дождусь времени когда моим счетом в банке будет управлять программа, автоматически транслированная из cobol на java и меня посадят за спонсирование терроризма через мой счет.
Навеяно https://habr.com/ru/company/itsoft/blog/554404/
Fujitsu, IBM ведь уважаемые компании, да?

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

30. Сообщение от ryoken (ok), 12-Май-21, 08:26 –2 +/–

Это, а в ассемблеры всяких архитектур оно смогёт? :D

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

31. Сообщение от лютый жабби__ (?), 12-Май-21, 08:26 +3 +/–

>осталось ии научить клепать формы и можно макак-формошлепов гнать на мороз
хихи... Помню, развлекался 20 лет назад: берешь английскую фразу, потом переводчиком на русский, потом ещё раз в английский... и плачешь, плачешь.... Прошло 20 лет, Искустенный Идиотизм недалеко ушёл от своего предка.
ну ждите, ждите ии-кодера...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #37, #43, #50, #52

32. Сообщение от макпыф (ok), 12-Май-21, 08:40 –2 +/–

перевести ядро на java сможет?
Надеюсь нет, а то гугл тим точно заинтересуеться и настанет андроиду полный пипец

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

33. Сообщение от Аноним (34), 12-Май-21, 09:03 –1 +/–

> решающих 4053 типовых проблем программирования
Круто, а есть ссылка на список?

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

34. Сообщение от Аноним (34), 12-Май-21, 09:04 +3 +/–

Это называется "компилятор".

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

35. Сообщение от GrandProgrammer (ok), 12-Май-21, 09:11 –1 +/–

Классно было бы узнать про подробности реализации. Если аннотации оформлены в онтологическом виде Linked Data, то это просто пушка.

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

36. Сообщение от Lex (??), 12-Май-21, 09:35 +1 +/–

Т.е из чего-то протестированного и сделанного кем-то умным, получить неведомо как работающий «кусок» ?
То ли это шутка, то ли - МДМ всерьёз решила уничтожить банки, использующие кобол посредством преобразования того, что хоть как-то работает в то, что работает вообще черти как.. и написано так же

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

37. Сообщение от n00by (ok), 12-Май-21, 09:45 +2 +/–

>>осталось ии научить клепать формы и можно макак-формошлепов гнать на мороз
> хихи... Помню, развлекался 20 лет назад: берешь английскую фразу, потом переводчиком на
> русский, потом ещё раз в английский... и плачешь, плачешь....
Это же классика, когда из фразы "дух силён, но плоть слаба" получилось "вино прилично, но мясо протухло".
Ныне можно просто почитать описания товаров на Али.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #31 Ответы: #58, #72, #83

38. Сообщение от n00by (ok), 12-Май-21, 09:53 +1 +/–

> Кстати, из интересного про IBM:
> https://habr.com/ru/company/selectel/blog/555940/
> Вдруг кто-то ещё не видел.
Мечты, мечты. А вот реальность с TMSC:
11 мая
Здравствуйте, Сергей!
Ранее вы интересовались товаром Процессор AMD Ryzen 5 PRO 4650G OEM
К сожалению, продажи данного товара прекращены. Товар больше не будет представлен в сети ***.
Зато в продаже появились 2200G, а блоггеры во всю тестируют 5xxxG ;)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4 Ответы: #45, #94

39. Сообщение от AlexVRud (ok), 12-Май-21, 09:56 –2 +/–

> для систем машинного обучения, транслирующих ... код
А сколько новых ошибок при этом в новом коде появиться? У этих всяких ИИ же нормально делать правильный ответ только в 70-90% случаев. А на генерируемых картинках артефакты всё одно заметны.
Хотя если они достигли качества на уровне обезьян делающих туже работу, то может и взлететь ;)

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

40. Сообщение от AlexVRud (ok), 12-Май-21, 10:00 –2 +/–

> коллекция насчитывает около 500 млн строк кода ... а наборы данных планируется распространять в форме общественного достояния.
Т.е. они нашли "500 млн строк кода" с лицензией "в форме общественного достояния"?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #41, #75

41. Сообщение от Аноним (41), 12-Май-21, 10:09 +/–

А на GitHub лицензии автоматически детектируются.

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

42. Сообщение от random1st (?), 12-Май-21, 11:43 +9 +/–

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

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

43. Сообщение от random1st (?), 12-Май-21, 11:44 +1 +/–

Немного отстали от жизни. Сейчас Google Translate переводит вполне себе адекватно.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #31 Ответы: #47, #55

44. Сообщение от Аноним (44), 12-Май-21, 11:49 +/–

Ага, ObjectPascal -> C++

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

45. Сообщение от Аноним (44), 12-Май-21, 11:55 +/–

TSMC

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

46. Сообщение от Аноним (46), 12-Май-21, 12:27 +2 +/–

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

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

47. Сообщение от n00by (ok), 12-Май-21, 12:55 –2 +/–

> Немного отстали от жизни. Сейчас Google Translate переводит вполне
> себе адекватно.
Во-во, себе что-то переводит, а нам не показывает.

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

48. Сообщение от Аноним (48), 12-Май-21, 15:01 –1 +/–

Ура! Вот что перепишет Линукс на Раст!

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

49. Сообщение от Анонас (?), 12-Май-21, 15:12 +/–

А есть какая-то готовая онтология, в терминах которой можно выражать свойства кода?

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

50. Сообщение от Анонас (?), 12-Май-21, 15:17 +1 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #31 Ответы: #54, #60

51. Сообщение от Аноним (44), 12-Май-21, 15:22 +/–

Не, если его ещё подтренировать, то оно перепишет Linux в Hurd.

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

52. Сообщение от Аноним (52), 12-Май-21, 15:49 +/–

IBM лет десять назад запустил искусственный интеллект, который соответствовал развитию 3-летнего человека!
Сегодня, наверно все ПО в IBM уже пишет повзрослевший "Ватсон".

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #31 Ответы: #56

54. Сообщение от n00by (ok), 12-Май-21, 17:19 –1 +/–

> Тут есть один нюанс:
"При преобразовании из одного языка программирования в другой контекст не менее важен, чем при переводе из одного человеческого языка на другой. Именно отсутствие учёта контекста мешает преобразованию кода с устаревших языков, таких как COBOL."

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #50 Ответы: #57, #73, #84

55. Сообщение от лютый жабби__ (?), 12-Май-21, 17:22 –2 +/–

>Немного отстали от жизни. Сейчас Google Translate переводит вполне себе адекватно.
видимо ты надмозг непритязательный. Я переводил пару лет назад обычную статью на 50 страниц (не техническую, без спец терминов, без идиом, метафор, гипербол, аллюзий и всей остальной ботвы, которую ИИ НИКАК не ест). ну да, чуть быстрее оказалось скормить гуглотранслэйту, а потом править результат. Но править пришлось примерно треть тредложений ЖЕСТКО, треть косметически и только треть похожа на человеческую речь.
А чуть более сложные примеры подсовываешь и идиотизм ИИ во всей красе виден, собсно ты почитай как GPT3 сделано... просто подставляет статистически более вероятные слова.

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

56. Сообщение от лютый жабби__ (?), 12-Май-21, 17:24 +/–

>искусственный интеллект, который соответствовал развитию 3-летнего человека!
поржал... с трёхлетки можно только лулзы ловить.

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

57. Сообщение от Анонас (?), 12-Май-21, 17:43 +/–

>> Тут есть один нюанс:
> "При преобразовании из одного языка программирования в другой контекст не менее важен,
> чем при переводе из одного человеческого языка на другой. Именно отсутствие
> учёта контекста мешает преобразованию кода с устаревших языков, таких как COBOL."
Отсутствие контекста мешает вывести алгоритм перевода. Но если такой алгоритм найти, то для каждой пары языков он будет давать точное семантическое соответствие 1-в-1. Собственно, любой компилятор (или транспайлер) уже это делает.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #54 Ответы: #79

58. Сообщение от YetAnotherOnanym (ok), 12-Май-21, 17:49 –1 +/–

> описания товаров на Али
Сильно подозреваю, что корявые описания товаров на Али сознательно сохраняются как своеобразная фишка сайта.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #69

59. Сообщение от Анто769ним (?), 12-Май-21, 18:36 +2 +/–

> устаревшие... Fortran
Сами вы устаревшие.

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

60. Сообщение от лютый жабби__ (?), 12-Май-21, 18:39 –2 +/–

>Языки программирования строго формализированы
Ты явно не программизд... у меня отдельчик, все жабисты.... один упарывается по SOLID - фабрики-интерфейсов-енумов-интерфейсов, другой по функциональщине - всё на стримах, третий на "куяк-куяк и в прод", я по KISS.... разница настолько колоссальная, я бы сказал что в стихах Есенина, Маяковского и Успенского разницы меньше ) теперь расскажи что там по твоему формализовано )

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #50 Ответы: #68

62. Сообщение от Аноним (62), 12-Май-21, 19:13 +/–

А поддерживать кто будет? Я так понимаю после трансляции мешанина получится неживая-нечитаемая

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

64. Сообщение от Аноним (64), 12-Май-21, 19:38 –1 +/–

Вот и выросло поколение, не заставшее справочник Дьяконова...

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

65. Сообщение от Аноним (64), 12-Май-21, 19:48 +1 +/–

> CodeNet включает коллекцию из 14 миллионов примеров кода, решающих 4053 типовых проблем программирования. В сумме коллекция насчитывает около 500 млн строк кода и охватывает 55 языков программирования
Это чё, у них там свой стаковерфлоу с форумом и роботицами?

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

68. Сообщение от Анонас (?), 12-Май-21, 19:59 +2 +/–

>>Языки программирования строго формализированы
> Ты явно не программизд...
А ты походу программист от сохи и математика для тебя кончилась на квадратном трехчлене? Поинтересуйся, что такое:
https://ru.wikipedia.org/wiki/Формальный_язык
https://ru.wikipedia.org/wiki/Формальная_грамматика
https://ru.wikipedia.org/wiki/Формальная_семантика

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #60 Ответы: #70

69. Сообщение от лютый жабби__ (?), 12-Май-21, 20:02 +/–

>Сильно подозреваю, что корявые описания товаров на Али сознательно
окуенная фишка. а ещё всплывающие при КАЖДОМ переходе баннеры про купоны тоже крутая фишка?
и что авторизация молча не работает без 3dparty cookies и в целом глючат даже менюшки в последней версии chromium. может это какой-то китайский прикол, я его не понял и алипомойкой принципиально не пользуюсь, хотя там обычно намного дешевле, чем на ебеепомойке )

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #58 Ответы: #71

70. Сообщение от лютый жабби__ (?), 12-Май-21, 20:12 –3 +/–

>А ты походу программист от сохи и математика для тебя кончилась на квадратном трехчлене
Какая связь у современного программирования и математики? НИКАКОЙ ) Я помню в универе вумных дедушек, прогающих на паскале прожки на пару страничек. Ты видимо из них...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #68 Ответы: #74

71. Сообщение от YetAnotherOnanym (ok), 12-Май-21, 20:52 +/–

Опять-таки подозреваю, что сайт кодят одни люди, а перевод готовят другие. Ну, и у меня баннер про купон только на первой странице. М.б. у тебя куки зарезаны и оно не запоминает, что ты этот баннер на прошлой странице закрыл.

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

72. Сообщение от Аноним (72), 12-Май-21, 21:26 +/–

> дух силён, но плоть слаба
Пертурабо, ты?!

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

73. Сообщение от Аноним (72), 12-Май-21, 21:29 +/–

Ухита. Все ЯП в конечном итоге приводятся к машинным кодам.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #54 Ответы: #78

74. Сообщение от Аноним (72), 12-Май-21, 21:31 +2 +/–

Прямая. Она под капотом.
Но кнопкодавы как тот 3.14дор из анекдота "ага, а потом и мопедик починим".

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

75. Сообщение от Аноним84701 (ok), 12-Май-21, 22:31 +1 +/–

>> коллекция насчитывает около 500 млн строк кода ... а наборы данных планируется распространять в форме общественного достояния.
> Т.е. они нашли "500 млн строк кода" с лицензией "в форме общественного достояния"?
Первый пример из Mini-набора
Метаданные:
submission_id,problem_id,user_id,date,language,original_language,filename_ext,status,cpu_
time,memory,code_size,accuracy
s000239334,p02407,u857791651,1555058824,C,C,c,Accepted,0,2148,340,4/4
-
id,name,dataset,time_limit,memory_limit,rating,tags,complexity
p02407,Reversing Numbers,AIZU,1000,131072,,,

#include<stdio.h>
int main(void){
    int i,n;
    int a[100],b[100];
    scanf("%d",&n);
    for(i=0;i<n;i++){
        scanf("%d",&a[i]);
        b[n-1-i]=a[i];
    }
    for(i=n-1;i>=0;i--){
        printf("%d",b[n-1-i]);
        if(i!=0){
            printf(" ");
        }else{
            printf("\n");
        }
    }
    return 0;
}
$ gcc -Wall -O2 rev.c && seq 120 129|./a.out
1 0 11936768 8 35997136 8 6294672 0 37571744 8 8 37571744 0
...
-225447180 32767 -13211744 8 11932080 0 109760260 0 129 128 127 126 125 124 123 122 121
zsh: done                seq 120 129 |
zsh: segmentation fault  ./a.out
Или я не так прочитал и понял метаданные, или ... а это точно "достояние"?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #40 Ответы: #88, #89

76. Сообщение от user90 (?), 12-Май-21, 23:25 –1 +/–

Ээ, Скайнет?

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

77. Сообщение от lockywolf (ok), 13-Май-21, 06:01 +1 +/–

С тех пор, как CERN решил таки переходить с Фортрана на С++, будущее Фортрана туманно.
Вроде как, на Фермилабе его ещё используют, но уход главного контрибутора -- это почти приговор.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #59 Ответы: #80

78. Сообщение от n00by (ok), 13-Май-21, 07:21 –1 +/–

> Все ЯП в конечном итоге приводятся к машинным кодам.
Возвращайтесь, когда наберётесь опыта в переводе машкода в понятную Сишечку. Ну или хотя бы гляньте выхлоп Glasgow Haskell Compiler или MLton.

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

79. Сообщение от n00by (ok), 13-Май-21, 07:28 +/–

>>> Тут есть один нюанс:
>> "При преобразовании из одного языка программирования в другой контекст не менее важен,
>> чем при переводе из одного человеческого языка на другой. Именно отсутствие
>> учёта контекста мешает преобразованию кода с устаревших языков, таких как COBOL."
> Отсутствие контекста мешает вывести алгоритм перевода. Но если такой алгоритм найти, то
> для каждой пары языков он будет давать точное семантическое соответствие 1-в-1.
> Собственно, любой компилятор (или транспайлер) уже это делает.
Вот только вывод после транспайлера нечитаем человеком.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #57 Ответы: #90

80. Сообщение от Анто769ним (?), 13-Май-21, 07:45 +/–

Я лично участвую в проекте по переписыванию с Си на Фортран частей коммерческой софтины.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #77 Ответы: #81

81. Сообщение от lockywolf (ok), 13-Май-21, 08:04 +1 +/–

> Я лично участвую в проекте по переписыванию с Си на Фортран частей
> коммерческой софтины.
А в чём радость? allocatable? Так он куций довольно. Утечки памяти? В наличии. Объектная система? Ну, кажется, не лучше gobject. Параллелизм? Ну, он примерно такой же, как в openmp.
Указателей на указатели нет. (Хотя можно завернуть указатель в объект.)
Вы хотя бы, кого таргетите? Intel или Nag?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #80 Ответы: #85

82. Сообщение от Урри (ok), 13-Май-21, 09:52 +2 +/–

Вместо "Компания IBM создала первый в мире 2 нм процессор и изготовила тестовые образцы."
следует читать
"Компания IBM доработала технологию производства процессоров, и маркетологи назвали это 2 нм".
Чайникам, которые хотят почитать о реальных нанометрах и больше не позориться, выставляя чушь маркетологов на всеобщее обозрение: https://habr.com/ru/company/droider/blog/510796/
tldr;
Производители начали называть всё подряд 10, 7 и вообще 5 нанометрами, а кто-то уже говорит и о 3 нанометрах! Можно всё это ставить в кавычки, как простое обозначение поколения процессоров.
На картинке реальные размеры транзисторов и их маркетинговое обозначение:
https://habrastorage.org/getpro/habr/post_images/f8a/658/780...

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

83. Сообщение от Урри (ok), 13-Май-21, 09:54 +/–

гугл корректно переводит эту фразу туда и обратно.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #87

84. Сообщение от Урри (ok), 13-Май-21, 09:56 +/–

Компиляторы умеют в контекст? Ого.
Может они еще в войну и мир умеют?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #54 Ответы: #86

85. Сообщение от Урри (ok), 13-Май-21, 10:02 +/–

Скорее всего у них нету специалистов в С, но есть специалисты в фортране.

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

86. Сообщение от n00by (ok), 13-Май-21, 10:23 +/–

Так о том и речь, что не умеют, потому транспиляция из одного ЯВУ (COBOL) в другой (Java) не получается. Новость о том, что хотят обучить сетку на массе готовых фрагментов и посмотреть, что же из этого получится. Но кто-то увидел в ней доказательство "теоремы" Чёрча-Тьюринга.

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

87. Сообщение от n00by (ok), 13-Май-21, 10:28 +/–

Дык ещё бы, это же классика. При этом "good knowledge" переводит как "хорошие знания", а по-русски так не говорят.

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

88. Сообщение от n00by (ok), 13-Май-21, 10:41 +/–

> zsh: segmentation fault  ./a.out
Это мелочи. Написано же "ИИ" -- значит надо акции покупать!

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

89. Сообщение от Ordu (ok), 13-Май-21, 11:59 +/–

> Или я не так прочитал и понял метаданные, или ... а это точно "достояние"?
Они жеж прямо сказали, что код понадёргали из решений олимпиадных задач. Такого рода задачки, как правило, чётко дают условие, что входные данные будут корректно сформированы. В этой задачке, я предположу, было сказано, что на входе будет:
N A_1 A_2 A_3 ... A_N
и что N<=100.
Вполне норм условия для олимпиадной задачи. Просто если делать олимпиадные задачи более реалистичными, то победа в олимпиаде будет требовать не столько умения составлять алгоритмы, сколько умения парсить и валидировать данные. В том смысле, что самый тупой и неэффективный алгоритм победит не потому, что он быстрее, а потому что быстрые сойдут с дистанции, выдав сегфолт на невалидных данных или выкинув ошибку на вполне валидных данных. И тогда в олимпиадах начнут побеждать скучные профессиональные программисты, а не блестящие подростки с iq 150+. Но так же нельзя, у нас же культ интеллекта, а не умения тупо работать, так?

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

90. Сообщение от Анонус (?), 14-Май-21, 15:33 +/–

> Вот только вывод после транспайлера нечитаем человеком.
А при чем тут это? Тезис был в точной эквивалентности программ, а не в том разберет ли очередная мартышка код.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #79 Ответы: #91

91. Сообщение от n00by (ok), 15-Май-21, 09:03 +/–

>> Вот только вывод после транспайлера нечитаем человеком.
> А при чем тут это? Тезис был в точной эквивалентности программ, а
> не в том разберет ли очередная мартышка код.
То есть тезис к решаемой проблеме (некому поддерживать Кобол, зато есть программисты на Джава) не имеет отношения.

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

92. Сообщение от Аноним (92), 15-Май-21, 22:52 +/–

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

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

93. Сообщение от Аноним (93), 17-Май-21, 04:01 +/–

Насколько я понял, это задачи с вариантами решений с двух сайтов для японских школьников.
Никакой полезной обработки не видно.
Использовать это для определения языка не вижу смысла. Почему нельзя надергать кода с гитхаба. Расширение файла говорит об языке. Бери достаточно большие участки кода из файла как пример и все дела.
Есть стэковерфлоу, где можно по тексту и примерам определять какой язык указан в тэгах.
Для автоперевода тоже странный набор данных. Логичнее брать хорошо документированные библиотеки. Там и код нормального качества и связь с тестами и описанием хорошая.
Вот если бы они собрали такие базы было бы интересно.
А школьная база может дать только ответ на вопрос типа: какие темы вызывают наибольшее затруднения у школьников и требуют более подробного объяснения.

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

94. Сообщение от Ыр2.0 (?), 20-Май-21, 15:32 +/–

Я тоже хотел купить этот процессор, но мне тоже заявили, что он исчез из продажи и неизвестно когда появится. ='( Ссылались на коронобесие.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #38 Ответы: #95

95. Сообщение от n00by (ok), 20-Май-21, 16:14 +/–

Мне через полгода ответ пришёл. Но я сразу уловил тенденцию и особо не рассчитывал, что появятся в продаже, а не только в прайсах. Дело не только в том, что по сути 1 фабрика на весь мир и выгоднее производить что подороже, но и в охлаждении. Для ноутов такие процессоры пригодны, поскольку расположение тепловых трубок подгоняют инженеры, а для "сборки дома" далеко не каждый охладитель даже из дорогих подойдёт (кристалл маленький и сбоку, важно направление и расположение трубок, если прямой контакт).

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

96. Сообщение от Леголас (ok), 22-Май-21, 05:47 +/–

мб, мб...

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

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

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

Партнёры:

Хостинг:

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

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

1. Сообщение от Рейка Сметанова (ok), 11-Май-21, 22:25	–2 +/–
Ура паскаль
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #44, #62

4. Сообщение от Аноним (4), 11-Май-21, 22:48	+7 +/–
Кстати, из интересного про IBM: https://habr.com/ru/company/selectel/blog/555940/ Вдруг кто-то ещё не видел.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #38, #82

5. Сообщение от Аноним (5), 11-Май-21, 22:49	+5 +/–
осталось ии научить клепать формы и можно макак-формошлепов гнать на мороз
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #9, #19, #28, #31

9. Сообщение от иПони (?), 11-Май-21, 23:15	+2 +/–
согласен! Вместе с модерами
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #5

19. Сообщение от Аноним (-), 12-Май-21, 00:50	+/–
ты первый на мороз и пойдешь
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #5

24. Сообщение от Аноним (24), 12-Май-21, 02:26	+5 +/–
Я так понимаю, основная цель cobol-java. И пусть бесплатные энтузиасты сделают большой кусок работы. Очень жадные банкиры.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #29

28. Сообщение от Аноним (28), 12-Май-21, 07:00	+/–
все они давно перебрались на фронт
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #5

29. Сообщение от Anon2 (?), 12-Май-21, 08:08	+/–
Жду не дождусь времени когда моим счетом в банке будет управлять программа, автоматически транслированная из cobol на java и меня посадят за спонсирование терроризма через мой счет. Навеяно https://habr.com/ru/company/itsoft/blog/554404/ Fujitsu, IBM ведь уважаемые компании, да?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #24

30. Сообщение от ryoken (ok), 12-Май-21, 08:26	–2 +/–
Это, а в ассемблеры всяких архитектур оно смогёт? :D
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #34

31. Сообщение от лютый жабби__ (?), 12-Май-21, 08:26	+3 +/–
>осталось ии научить клепать формы и можно макак-формошлепов гнать на мороз хихи... Помню, развлекался 20 лет назад: берешь английскую фразу, потом переводчиком на русский, потом ещё раз в английский... и плачешь, плачешь.... Прошло 20 лет, Искустенный Идиотизм недалеко ушёл от своего предка. ну ждите, ждите ии-кодера...
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #5 Ответы: #37, #43, #50, #52

32. Сообщение от макпыф (ok), 12-Май-21, 08:40	–2 +/–
перевести ядро на java сможет? Надеюсь нет, а то гугл тим точно заинтересуеться и настанет андроиду полный пипец
Ответить \| Правка \| Наверх \| Cообщить модератору

33. Сообщение от Аноним (34), 12-Май-21, 09:03	–1 +/–
> решающих 4053 типовых проблем программирования Круто, а есть ссылка на список?
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #64

34. Сообщение от Аноним (34), 12-Май-21, 09:04	+3 +/–
Это называется "компилятор".
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #30

35. Сообщение от GrandProgrammer (ok), 12-Май-21, 09:11	–1 +/–
Классно было бы узнать про подробности реализации. Если аннотации оформлены в онтологическом виде Linked Data, то это просто пушка.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #49

36. Сообщение от Lex (??), 12-Май-21, 09:35	+1 +/–
Т.е из чего-то протестированного и сделанного кем-то умным, получить неведомо как работающий «кусок» ? То ли это шутка, то ли - МДМ всерьёз решила уничтожить банки, использующие кобол посредством преобразования того, что хоть как-то работает в то, что работает вообще черти как.. и написано так же
Ответить \| Правка \| Наверх \| Cообщить модератору

37. Сообщение от n00by (ok), 12-Май-21, 09:45	+2 +/–
>>осталось ии научить клепать формы и можно макак-формошлепов гнать на мороз > хихи... Помню, развлекался 20 лет назад: берешь английскую фразу, потом переводчиком на > русский, потом ещё раз в английский... и плачешь, плачешь.... Это же классика, когда из фразы "дух силён, но плоть слаба" получилось "вино прилично, но мясо протухло". Ныне можно просто почитать описания товаров на Али.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #31 Ответы: #58, #72, #83

38. Сообщение от n00by (ok), 12-Май-21, 09:53	+1 +/–
> Кстати, из интересного про IBM: > https://habr.com/ru/company/selectel/blog/555940/ > Вдруг кто-то ещё не видел. Мечты, мечты. А вот реальность с TMSC: 11 мая Здравствуйте, Сергей! Ранее вы интересовались товаром Процессор AMD Ryzen 5 PRO 4650G OEM К сожалению, продажи данного товара прекращены. Товар больше не будет представлен в сети ***. Зато в продаже появились 2200G, а блоггеры во всю тестируют 5xxxG ;)
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #4 Ответы: #45, #94

39. Сообщение от AlexVRud (ok), 12-Май-21, 09:56	–2 +/–
> для систем машинного обучения, транслирующих ... код А сколько новых ошибок при этом в новом коде появиться? У этих всяких ИИ же нормально делать правильный ответ только в 70-90% случаев. А на генерируемых картинках артефакты всё одно заметны. Хотя если они достигли качества на уровне обезьян делающих туже работу, то может и взлететь ;)
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #42

40. Сообщение от AlexVRud (ok), 12-Май-21, 10:00	–2 +/–
> коллекция насчитывает около 500 млн строк кода ... а наборы данных планируется распространять в форме общественного достояния. Т.е. они нашли "500 млн строк кода" с лицензией "в форме общественного достояния"?
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #41, #75

41. Сообщение от Аноним (41), 12-Май-21, 10:09	+/–
А на GitHub лицензии автоматически детектируются.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #40

42. Сообщение от random1st (?), 12-Май-21, 11:43	+9 +/–
Ну, учитывая, что некоторые так и не научились на родном языке писать "тся" и "ться" - на ИИ наговаривать не стоит.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #39

43. Сообщение от random1st (?), 12-Май-21, 11:44	+1 +/–
Немного отстали от жизни. Сейчас Google Translate переводит вполне себе адекватно.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #31 Ответы: #47, #55

44. Сообщение от Аноним (44), 12-Май-21, 11:49	+/–
Ага, ObjectPascal -> C++
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #1

45. Сообщение от Аноним (44), 12-Май-21, 11:55	+/–
TSMC
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #38

46. Сообщение от Аноним (46), 12-Май-21, 12:27	+2 +/–
>>системы машинного обучения могут улавливать и учитывать контекст использования кода А могут и не улавливать. Гарантий нет. Как повезёт. К тому же, если там нейронки, то последние вообще плохо справляются с анализом и категоризацией текстов. Это не изображения.
Ответить \| Правка \| Наверх \| Cообщить модератору

47. Сообщение от n00by (ok), 12-Май-21, 12:55	–2 +/–
> Немного отстали от жизни. Сейчас Google Translate переводит вполне > себе адекватно. Во-во, себе что-то переводит, а нам не показывает.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #43

48. Сообщение от Аноним (48), 12-Май-21, 15:01	–1 +/–
Ура! Вот что перепишет Линукс на Раст!
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #51

49. Сообщение от Анонас (?), 12-Май-21, 15:12	+/–
А есть какая-то готовая онтология, в терминах которой можно выражать свойства кода?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #35

50. Сообщение от Анонас (?), 12-Май-21, 15:17	+1 +/–
Тут есть один нюанс. Языки программирования строго формализированы, в отличии от английского с русским. И по идее перевод с Кобола на Джаву должен быть таким же строгим, как преобразование формулы в математике.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #31 Ответы: #54, #60

51. Сообщение от Аноним (44), 12-Май-21, 15:22	+/–
Не, если его ещё подтренировать, то оно перепишет Linux в Hurd.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #48