Post APdQkX6D0IDVsBGsIS by janiczek@functional.cafe
(DIR) More posts by janiczek@functional.cafe
(DIR) Post #APd4mJYK8tEzRkrlPU by billstclair@impeccable.social
2022-11-15T13:32:34.529306Z
0 likes, 0 repeats
The Kindelia Foundation is Victor Taelin's creation, supporting the HVM (High-order Virtual Machine) runtime, the Kind2 language built on top of it, and their ecosystem. HVM implements a new computing model, which provides massive parallelism, by default, without anything special for the programmer to do. It uses the inherent parallelizability of functional programs. I haven't yet played with it, but I forked the repositories on GitHub, just to hold on to them. HVM is written in Rust, though there's also a JS version, which hasn't been worked on since September.Twitter thread describing HVM: https://twitter.com/VictorTaelin/status/1588332432587005952"First, I attempted to run functional programs on the HVM. My 1-month silly prototype outperformed GHC, the state-of-art functional compiler used by most Haskell-based companies, in several real-world tasks... by more than 300% (!)""Right now, we're looking into compiling Elm to HVM, and run it on the GPU. Imagine writing 3D games and shaders as pure "Pos -> Color" functions, and it just works? That'd be insane, and I have a prototypal CUDA runtime that achieved linear speedup, suggesting that's possible!"https://kindelia.org/https://twitter.com/VictorTaelinhttps://twitter.com/KindeliaOrghttps://twitter.com/VictorTaelin#elmlang
(DIR) Post #APdQkVprhZY7xCcJBQ by yourmagicisworking@mastodon.gamedev.place
2022-11-15T17:04:56Z
1 likes, 0 repeats
@billstclair That vision of Elm on the GPU for games gets me really excited. Rust has something similar, Embark Studios is working on pure Rust shaders. Then there's Iced (also Rust), TEA UI library that's rendered with WebGPU.
(DIR) Post #APdQkX6D0IDVsBGsIS by janiczek@functional.cafe
2022-11-15T17:35:15Z
1 likes, 0 repeats
@billstclair I do have a work in progress in elm-in-elm to compile down to #hvm, and folks will likely take a look at bolting HVM output to the Haskell #elmlang unofficially. Really exciting!Also, Victor is on Mastodon! @VictorTaelin