2022-08-23 08:20:46 <siraben     > bounds checking on GPUs https://ww.sigkill.dk/publications/hlpp20.pdf
2022-08-23 17:48:55 <lagash      > Futhark is fun :)
2022-08-23 18:06:42 <KipIngram   > Futhark.  Does that have something to do with either GPU or SIMD computing?  I remember niggling into eight or nine months ago.
2022-08-23 18:06:56 <KipIngram   > into "it"
2022-08-23 18:07:15 <eris[m]123  > Futhark is a ML (/haskell) inspired array language that runs on GPUs
2022-08-23 18:07:20 <lagash      > KipIngram: see above paper
2022-08-23 18:07:27 <eris[m]123  > it has a limited form of dependent typing for arrays
2022-08-23 18:07:54 <eris[m]123  > its a really interesting proejct
2022-08-23 18:15:38 <KipIngram   > Ok - GPU processing then.  I was generically poking around into that a while back.
2022-08-23 18:16:36 <KipIngram   > I was blocked from getting anything to actually run (using any tool) by my GPU hardware being too new for the extant OpenCL infrastructure.
2022-08-23 18:16:45 <KipIngram   > I think Fedora has "caught up with me" now.
2022-08-23 18:17:16 <thrig       > heeeere's Johnny!
2022-08-23 18:17:25 <thrig       > or not that sort of catching up?
2022-08-23 18:17:29 <KipIngram   > At least as of Fedora 36 clinfo will now identify my "device."
2022-08-23 18:17:37 <KipIngram   > It previously saw the platform but couldn't find a device.
2022-08-23 18:18:04 <thrig       > I always manually installed the drivers on RHEL, which was a super pain
2022-08-23 18:20:52 <KipIngram   > Yeah, I tried for a while but gave up in disgust.  And I think I still have some baggage from that attempt interfering with the current stuff working - I now wish I hadn't messed with it.
2022-08-23 18:21:01 <KipIngram   > But I'm sure I can eventually get it all cleaned up.