gavr_sas
203 subscribers
2.61K photos
177 videos
24 files
771 links
JB пропаганда
Download Telegram
джеменай довольно сильно уверен что имеет доступ к каким то закрытым источникам включая платную подписку на научные публикации

если это так то это как то юредически сомнительно
> закончилось место
> удалить пакеты
> не могу удалить пакеты, места нет
2😁2
HVM2 and Bend are officially here!

HVM2 is our new parallel runtime. Over the last few years, we have put enormous effort into polishing the HVM1 prototype, with great emphasis on correctness and stability. As a result, starting today, HVM2 is officially production-ready! We're also releasing a long-promised feature: GPU mode. This is still experimental, but it works, and feels magical.


Bend is a high-level, Python-like, and Haskell-like language that compiles to HVM and, as such, it runs on parallel CPUs and GPUs. For the first time, you're able to interface with HVM in a syntax that is familiar and greatly simplified. This is still not full Python/JavaScript, but it is a small step towards wider language support. Check Bend's guide on its repository to jump straight into action!


HVM2 and Bend are not perfect, and there are still countless limitations and challenges ahead. Running high-level computations in parallel is hard! But we're working hard to absorb this complexity, so you don't need to. As core technologies, HVM2 and Bend unlock many amazing things that weren't possible before. HOC will provide full support to both, and we'll be updating and improving them continuously. Expect exciting releases in the future!


https://github.com/HigherOrderCO/bend/blob/main/GUIDE.md
👍1
топ толк про рынок инструментов и конкуренцию с M$
в середине конеш попахивает пропагандой, но чел лид райдера, так что логично
https://youtu.be/LfuvTI0uL6A
Хот тейк, юнионы без тагов как декларации типов отстой(сообщениям неделя)
Forwarded from gavr
я вот юнисон недавно поюзал
Forwarded from gavr
у них еще и инструменты разработки самые слаборазивитые
Forwarded from gavr
и еще часто юзают юнионы БЕЗ ТАГОВ
Forwarded from gavr
Figure =
Circle Int
Rectangle Int Int
Square Int
Forwarded from gavr
вот это ваще супер типичная ситуация
Forwarded from gavr
gavr
Figure = Circle Int Rectangle Int Int Square Int
у серкла это прастите что, радиус? диаметр? периметр?
Forwarded from gavr
такой бред, будто их цель по жизни сэкономить пару символов
Forwarded from gavr
а потом появляюца такие с куччей параметров, и все без имен
Forwarded from ⁤⁤⁤⁤⁤⁤⁤P⁤⁤⁤ey⁤⁤⁤ Te⁤⁤⁤a
Шириметр
Forwarded from ⁤⁤⁤⁤⁤⁤⁤P⁤⁤⁤ey⁤⁤⁤ Te⁤⁤⁤a
gavr
а потом появляюца такие с куччей параметров, и все без имен
enum Message {
Quit,
Move { x: i32, y: i32 },
Write(String),
ChangeColor(i32, i32, i32),
}
Forwarded from ⁤⁤⁤⁤⁤⁤⁤P⁤⁤⁤ey⁤⁤⁤ Te⁤⁤⁤a
Раст в этом плане сидит на двух стульях
😁5
gavr_sas
Демки мувики
https://youtu.be/UQNNs77SpXA
история как появилась HVM
тлдр челу послу уника очень понравились функциональные языки, но у всех из них был неподходящий рантайм

Функциональная парадигма позволяет бесплатно паралелить вещи изза иммутабельности, но все языки были написаны 200 лет назад до появления мультикора и тем более куда ядер

Он нашел ПЕЙПЕР с альтернативной моделью вычислений(альтернативной лямбда калькулясам) и сделал HVM1 которая на трех ядрах была на равне с сингл кор хаскелем

Пришли хаскелисты и все испортили, ровно как в предыдущем посте, ускорили хаскель в 3 раза

Чел написал HVM2 которая в 19 раз быстрее HVM1, и имеет бесконечный потенциал скалирования, так как благодаря новой модели вычислений все експрешоны автомагически распаралеливаются, а куда ядер в невидии тысячи в отличии от проца.

Лично мне оч интересно как оно по сравнению с стейт оф зе арт BeamVM, ее он ни разу не упоминал, но там ведь все тоже самое, полностью иммутабельный распаралеливающийся даже на одном ядре яп, правда динамический