Ilya
особенно если не тащить stl или че там выкидывают
Vladislav
А в целом любой констрейнт можно в Type перенести, есть Dict :: Constraint -> Type
https://hackage.haskell.org/package/constraints-0.9.1/docs/Data-Constraint.html#t:Dict
Зигохистоморфный
Раз все компилится в жс, го все на жс)))
Anonymous
которая тебе нужна
Anonymous
nvptx64-nvidia-cuda
Ilya
я правильно понял, что это либа НАД кудой? с биндингами в любой удобный язык
Ilya
короче батарейки для раста/etc на куде
Ilya
как NumPy или SciPy для питона
Ilya
Ilya
очень похоже на то
Ilya
в таком случае, мне нужно, разумеется, не это
Ilya
nvptx64-nvidia-cuda
почитал. ну начинания хорошие, но пока это выглядит несерьезно.
собственно разбирал вот этот пример https://github.com/japaric/nvptx/blob/master/examples/add.rs
заявлено, что это сложение двух векторов на GPU
претензий собственно две, но обе принципиальные
1. как я вижу, все операции, связанные с GPU, находятся в блоке unsafe. Но зачем тогда раст?
2. так и не понял, где они определяют сам kernel add. По всей видимости, берут из кишок библиотеки, причём загружают функцию по её имени через строку (лол)? в таком случае этот пример ничего не демонстрирует, т.к. мне интересно написание кода kernel-функций и device-функций на раст, а не эти игрульки.
Ilya
если я чего-т не понял, то пожалуйста
Anonymous
почитал. ну начинания хорошие, но пока это выглядит несерьезно.
собственно разбирал вот этот пример https://github.com/japaric/nvptx/blob/master/examples/add.rs
заявлено, что это сложение двух векторов на GPU
претензий собственно две, но обе принципиальные
1. как я вижу, все операции, связанные с GPU, находятся в блоке unsafe. Но зачем тогда раст?
2. так и не понял, где они определяют сам kernel add. По всей видимости, берут из кишок библиотеки, причём загружают функцию по её имени через строку (лол)? в таком случае этот пример ничего не демонстрирует, т.к. мне интересно написание кода kernel-функций и device-функций на раст, а не эти игрульки.
ансейф код абстрагируется, и ты можешь безопасно пользоваться абстракциями
Anonymous
насчет второго не шарю
Ilya
насчет второго не шарю
ну как я изначально и предположил, они просто наклепали кучу полезных для линейки/диплёрнинга/обработки сигналов/etc функций и дали к ним доступ из раста (с хоста). Это называется библиотека. Такие есть под любой язык, вот прям совсем под любой, и даже под сами плюсы. Хотя фича компиляции в ptx прикольная, не спорю. Но поддержкой куды растом это назвать сложно. В таком смысле и питон поддерживает куду...
Моя же работа заключается в написании таких библиотек. Так что, увы, только б-гмерзкие плюсы. Но за ссылочку спасибо.
Ilya
*всё, прекращаю офтоп
kosc
Да нет
Anonymous
ты смешал первую и вторую либу что ли
kosc
Продолжай
Ilya
ты смешал первую и вторую либу что ли
я не очень понял вопрос... Но в их репе я не нашёл, как писать кернелы и девайсы на расте, везде только рулёж уже написанными (кем и на чём?) кернелами с хоста
Anonymous
ну твое первое сообщение про arrayfire а ответ про nvptx
Ilya
не важно. и то и то это библиотека
Ilya
чё там во второй доступно из готовых кернелов я не разбирался
Ilya
первая просто ещё более высокоуровневая
Anonymous
не важно. и то и то это библиотека
🤔🤔🤔🤔🤔🤔🤔🤔
Dmitry
есть кто живой, кто в никсе понимает?
Anonymous
nixos?
Dmitry
nix
Alexander
проще вопрос целиком спросить
Дмитрий
А никто не подскажет как в Elm читать/писать в файл?
кана
@elm_ru
кана
И никак, это же фронт
Anonymous
https://github.com/elm-lang/persistent-cache ?
кана
Он не закончен и не рекомендуется Эваном. И это таки не файлы)
Евгений
А нету elm for nodejs?
кана
Noah пытался много раз, но чет всн страшно
Дмитрий
Благодарю :)
Dmitry
что такое jailbreak-cabal ?
Alexander
кабал с allow-newer и allow-older включенными по умолчанию?
Alexander
(в первый раз услышал про это)
parket
you should use PureScript
Alexander
your soul uses PureScript?
Anonymous
зачем вообще на бекенде компилить нормальные языки в js 🤔
Alexander
чтобы запускать их на нодежс
кана
Ну, фишка в том, что на пурсе можно написать часть бэкенда и легко сынтегрировать с остальным нодежс кодом, если он уже есть.
Начинать можно прямо с одной функции, потому что компиляция почти 1к1 и прямо в commonjs
Alexander
троллиц.пдф
Anonymous
оо понятно
Дима
зачем вообще на бекенде компилить нормальные языки в js 🤔
Кто про что а ты опять про ржавчину
Anonymous
казалось бы
Anonymous
Rust?
Anonymous
причем здесь она
Дима
Ну не требуется людям всегда байтики гонять, пойми ты, есть разные задачи
Anonymous
🤔🤔🤔🤔🤔🤔🤔
Дима
Ну у тебя просто раз за разом один и тот же сценарий — риторически спросить про нормальные ™ языки, а потом вбросить про раст
Дима
Тоньше надо))
кана
Многим и управление памяти не требуется, они предпочитают отключать GC в жвм и перезапускать при заполнении памяти
Дима
Оо, да, я наслышан про эту кулстори
Влод
такое чувство что скоро в локальных чатиках друзей/коллег будет повторяться этот диалог
Дима
Про отключение GC в джаве)) Чудовищно
Anonymous
Alex
а, уже доложили
Alex
Про отключение GC в джаве)) Чудовищно
это я недавно читал еще более кульную историю на похожую тему http://www.dejavusecurity.com/blog/missile-firmware-and-memory-leaks
Oleg
А кто расскажет, как юзать новый Coercible для высших кайндов?
Oleg
Ну или что теперь им можно вывести, что раньше ансейфом делалось
Зигохистоморфный
Ньютайпы хорошо, глянь на foldMapDefault или как там его
Oleg
Ньютайпы хорошо, глянь на foldMapDefault или как там его
А чем оно лучшн старого без кайнд параметра?
Зигохистоморфный
Вроде нет упаковки распаковки
Oleg
..была..?
Oleg
Короч, вопрос не про то, чем хорош coerce, а чем лучше
Coercible k (a::k) (b::k) из base 4.10 старого Coercible a b из 4.8
Alexander
магия какая-то
Alexander
я смотрю исходники head и вижу там только 2 параметра
Alexander
может это просто особенности хаддока с этими всеми levity и т.п.?
Cheese
то есть для k = #?