[HN Gopher] HVM updates: simplifications, finally runs on GPUs, ...
       ___________________________________________________________________
        
       HVM updates: simplifications, finally runs on GPUs, 80x speedup on
       RTX 4090
        
       Author : LightMachine
       Score  : 25 points
       Date   : 2023-10-07 21:35 UTC (1 hours ago)
        
 (HTM) web link (twitter.com)
 (TXT) w3m dump (twitter.com)
        
       | rowanG077 wrote:
       | I have been very interested in the HVM since the first time it
       | was posted on Github. One thing that has been sorely missing is a
       | front-end for any realworld language. This will allow real
       | comparisons of programs instead of tiny toys rewritten from
       | Haskell to interactions nets.
        
       | ColonelPhantom wrote:
       | Very nice! I recall reading that the HVM has some semantic
       | differences with the classic lambda-calculus, which resulted in
       | different results for some programs. Would this be an issue when
       | e.g. translating Haskell programs? (and/or is there some way to
       | 'emulate' lambda calculus semantics?)
       | 
       | Also, are there any plans to get this working on non-Nvidia GPUs,
       | e.g. with ROCm/HIP (which would hopefully be a straightforward
       | translation, if AMD's software does its job) or OpenCL (more
       | effort, but more portable)?
        
       ___________________________________________________________________
       (page generated 2023-10-07 23:00 UTC)