The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

форумы
правила/FAQ
поиск
регистрация
вход
слежка
RSS


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

Оглавление

Проект Bend развивает высокоуровневый язык для параллельных вычислений на GPU, opennews (??), 21-Май-24, (0) [смотреть все]

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


23. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от мяя (?), 21-Май-24, 14:53 
> Код проекта написан на языке Rust и распространяется под лицензией Apache 2.0.

https://github.com/HigherOrderCO/hvm
А вот сердце:
> Cuda 42.2%
> C 40.7%
> Rust 17.1%

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

24. "Проект Bend развивает высокоуровневый язык для параллельных ..."  –1 +/–
Сообщение от мяя (?), 21-Май-24, 14:53 
Почему-то у меня не обновились комментарии...
Ответить | Правка | Наверх | Cообщить модератору

28. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +1 +/–
Сообщение от Аноним (28), 21-Май-24, 15:13 
Старый hvm1 был на си, а hvm2 на rust. GitHub показывает общую статистику по всей истории, а не раскладку по текущему коду.
Ответить | Правка | К родителю #23 | Наверх | Cообщить модератору

30. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (11), 21-Май-24, 15:16 
И что даёт руст? Во время конь пиляции так много людей выходит за границы что надо тратить время на новую версию и все равно можно выйти за границы
Ответить | Правка | Наверх | Cообщить модератору

35. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от мяя (?), 21-Май-24, 15:29 
Почему ты врёшь?
https://github.com/HigherOrderCO/HVM/tree/main/src
Ответить | Правка | К родителю #28 | Наверх | Cообщить модератору

42. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (28), 21-Май-24, 15:45 
Гляньте сами внимательно, там код на rust, а на си и cuda результат автоматической генерации. Даже в новости написано, что компилятор на выходе выдает код на c+cuda.
Ответить | Правка | Наверх | Cообщить модератору

44. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +1 +/–
Сообщение от мяя (?), 21-Май-24, 15:58 
Это обвязка-болванки на си и cuda без которых код на расте не работает. Код на расте не полноценный и просто транслирует тексты из одного представления в другое (сишное/кудовское) которое подсовывает в эти обвязки.
https://github.com/HigherOrderCO/HVM/blob/860916b907bb4a4d35...
С таким успехом можно было на JS написать генератор, не изменилось бы ровным счётом ничего.
Ответить | Правка | Наверх | Cообщить модератору

47. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от мяя (?), 21-Май-24, 16:00 
И кстати код на расте тупо долбит файл с обвязками из раза в раз по новой через replace, которая каждый раз происходится по файлу заново. Парсер не завезли.
Ответить | Правка | Наверх | Cообщить модератору

48. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от мяя (?), 21-Май-24, 16:02 
Хотя там и парсер не нужно, достаточно просто планировать замену последовательно не проходя каждый раз файл с нуля.
Ответить | Правка | Наверх | Cообщить модератору

49. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +1 +/–
Сообщение от Аноним (-), 21-Май-24, 16:03 
Я в жаваскриптах не рабираюсь и не уверен позволяет ли он
"использования функций высшего порядка, замыканий, продолжений, неограниченной рекурсии, сопоставления с образцом, рекурсивных сопоставлений (fold) и циклов (bend), целочисленных, строковых и списочных типов"

Но в сишке про такие новшества и дары цивилизации вообще не слышали, там перечисления (enum которые) до сих пор просто числа. Что приводит к веселыс сравнениям теплого с мягким.
Так что код на расте не просто транслирует, а еще и добавляет удобства.

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

53. Скрыто модератором  –1 +/–
Сообщение от Аноним (11), 21-Май-24, 16:17 
Ответить | Правка | Наверх | Cообщить модератору

45. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (11), 21-Май-24, 15:59 
Как ты не понимаешь фанатики искренне верят если си код создала программа на руст, то этот код автоматически безопасТный, чтобы это ни значило.
Ответить | Правка | К родителю #42 | Наверх | Cообщить модератору

50. "Проект Bend развивает высокоуровневый язык для параллельных ..."  –1 +/–
Сообщение от Аноним (-), 21-Май-24, 16:06 
Не правда, такое может рассказывать только человек, который даже растбук не читал.
И обычно такие, внезапно, это войны-супротиив-раста.

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

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

117. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (11), 22-Май-24, 07:10 
Какой-то набор слов.  
Ответить | Правка | Наверх | Cообщить модератору

64. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +1 +/–
Сообщение от Аноним (64), 21-Май-24, 17:04 
Возьми, к примеру, спарк. Формально верифицированный код из ада транслируется в си. Раст никакого отношения к этому, конечно, не имеет, но схема вполне рабочая.
Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

68. "Проект Bend развивает высокоуровневый язык для параллельных ..."  –1 +/–
Сообщение от Аноним (-), 21-Май-24, 17:51 
> Формально верифицированный код из ада

Если у тебя есть формально верифицированный код, то ты его можешь оттранслировать практически куда хочешь.
Вот только получить такой код очень дорого. Поэтому ада и не взлетела, а ее место заняла быдлосишка(((
Которую тоже можно верифицировать как напр. seL4. Но от сишки там будет одно название.

Раст, кстати, тоже можно оттранслировать в си, просто это будет неэффективно.

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

72. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (64), 21-Май-24, 18:17 
Спарк самоверифицируемый субсет ада. И вполне взлетела, вон даже во всех видеокартах монополиста уже лет 7 как минимум. По заявлениям, повышение стоимости незначительное.
Ответить | Правка | Наверх | Cообщить модератору

107. "Проект Bend развивает высокоуровневый язык для параллельных ..."  –1 +/–
Сообщение от Аноним (105), 22-Май-24, 00:19 
> Формально верифицированный код из ада

Вот именно что из ада он транслируется. Пытался код один почитать, адок ещё тот..

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

76. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (76), 21-Май-24, 18:39 
Вы, надеюсь, случайно, вводите всех в заблуждение, а не лжете внаглую:

Вы взяли утверждение из новости про один проект, а ссылку дали на другой. Маладэць.

Новость не про проект "параллельного рантайма" HVM2, а про проект "параллельного языка" Bend (язык и компилятор для него). А там на Bend и ссылка другая и другое "сердце":

https://github.com/HigherOrderCO/Bend/

Languages

Rust 99.8%
Just 0.2%

Так что да,
> Код проекта написан на языке Rust и распространяется под лицензией Apache 2.0.

это правда, потому что там про Bend, а не про HVM2.

Вот така фигня, господин соврамши.

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

82. "Проект Bend развивает высокоуровневый язык для параллельных ..."  –3 +/–
Сообщение от Аноним (-), 21-Май-24, 19:10 
Я на 99% уверен что человек ввел в заблуждения не намеренно.
Просто когда в заголовке новости есть слово Раст, то это привлекает много странных личностей, многие из которых по интеллекту слегка умнее тумбочки.
А еще старых сишников с закостенелыми мозгами.

Так что, наверное, стоит относиться к ним с пониманием.

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

86. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (64), 21-Май-24, 19:28 
Только сабж не работает без стороннего рантайма, написанного с использованием си (в значительной мере), так что, технически, тот комментатор вполне прав (во всяком случае, в данной ситуации он значительно правее оппонентов). Но, я согласен, при многих отклонениях отказывает абстрактное мышление, и, если нельзя найти буквальное соответствие, начинают возникать сложности. Особенно много таких личностей по какой-то причине именно среди любителей раста, совпадение, наверное.
Ответить | Правка | Наверх | Cообщить модератору

88. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (-), 21-Май-24, 19:41 
> Только сабж не работает без стороннего рантайма, написанного с использованием си (в
> значительной мере), так что, технически, тот комментатор вполне прав (во всяком
> случае, в данной ситуации он значительно правее оппонентов).

Бла-бла-бла...
А если коротко то ты натягиваешь сову на глобус.
Ядро линукса тоже не соберется без gcc, который использует с++, тк сишка оказалась тем еще калом.

> Но, я согласен, при многих отклонениях отказывает абстрактное мышление, и, если нельзя найти буквальное соответствие, начинают возникать сложности.

О, спасибо за описание, почему используют каст к void *

> Особенно много таких личностей по какой-то причине именно среди любителей раста, совпадение, наверное.

А вот и пример слабоумия!
Утверждения не подкрепленные никакими пруфами.
Спасибо, дорогой Аноним, еще раз.


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

89. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (64), 21-Май-24, 19:51 
Вот и говорю, получается, я прав был. Аналогии вообще за уши притянуты. Компилятор перевели на кресты не так давно (не обладаю сведениями относительно глубины внедрения, но деградация времени сборки имеет место быть) и ключевой компонент рантайма, это, очевидно, несколько иное (ядро компилируют любым совместимым компилятором, ЯП сборочного тулчейна не имеет никакого отношения к программам). По этой же причине расту не предъявляют за LLVM.
Ответить | Правка | Наверх | Cообщить модератору

93. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +1 +/–
Сообщение от srivau_porkovi (?), 21-Май-24, 20:25 
А куда потерялись зависимости? Ведь никакой Bend ничего не делает.

>это правда, потому что там про Bend, а не про HVM2.

Я так понимаю "болгенос" написана полностью денисом? Любую репу в которой я создам обёртку она будет написана на том на чём написана обёртка? Удобно быть фанатиками.

Для тех кому интересно я писал выше. Этот Bend это 8к строк лапши, которые ничего не делают. Там есть парсер язык уровня тех, что пишут студенты на лабах. Ну и какая-то обвязка. Да и даже те нелепых 8к строк там это индусская лапша. Даже по меркам си с классами там лапша. Потому будь там это написано на них это было бы ~3к строк лапши как типичная лаба.

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

108. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (105), 22-Май-24, 00:29 
Зато при падении головы на клавиатуру не за сегфолтится как гцц, который то и дело отдаёт права рута при компиляции. В бинарь дыру вполне впаять сможет кстати, от этого растафари ещё пока не уберёг
Ответить | Правка | Наверх | Cообщить модератору

118. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (11), 22-Май-24, 07:12 
Это твои личные фантазии, которые к реальности не имеют никакого отношения.
Ответить | Правка | Наверх | Cообщить модератору

154. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от srivau_porkovi (?), 22-Май-24, 19:16 
Кстати, кому интересно дам новую историю на тему как глушить этих раст-фанатиков. Дело в том, чтот язык настолько нелеп, что на нём реализовать ничего нельзя. Поэтому там существует то, что они называются процедурными макросами. Очевидно что ни к каким макросам это отношения не имеет.

Работает это следующим образом. Когда вы компилируете код и где-то используется этот "макрос" это убожество выполняет исходный код без всякой изоляции. Таким образом сборка на этом "безопасном" языке не является безопасной. Я даже больше скажу, что когда вы открываете код в редакторе он запускает код без всякой изоляции.

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

Кому интересен механизм работы этого убожества более подробно, то он следующий. Тот лефтпад на который ссылается "макрос" собирается как бинарник и далее компилятор его запускает передавая туда строку и заменяя её результатом выполнения. Таким образом тут два вектора атаки. Первый этот сам бинарный блоб, который запускается без изоляции. Второе это та строка, что вставляется в код.

После этого говорить о том, что гцц имеет какую-то дыру максимально нелепо. Весь код выполняемый в цпп во время компиляции полностью изолирован и не имеет доступа к чему-либо. Но т.к. эти немощи ничего из этого не осилили то вместо языков возможностей там просто бинарный блоб со строками. Что является самым позорным, что я когда-либо видел. И с этим убожеством эти фанатики бегают и рассказывают о том какое оно "мощное" и "инновационное".

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

156. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от fyjy (-), 22-Май-24, 19:57 
Хм, а с чего ты взял что твой пук кому-то интересен?
То что ты просто недалекий неосилятор уже понятно, тк у гугла и амазона все получается, а у тебя "на нём реализовать ничего нельзя".
Ответить | Правка | Наверх | Cообщить модератору

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

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




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей 		Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру