Thomas Faingnaert

On first sight, there are two issues: 1. This error means that the name of your wrapper is not correct: ``` Reason: unsupported use of an undefined name (use of...

> Have you verified that this is the correct name of the intrinsic? You can do so by compiling a CUDA C source file that uses TF32 WMMA using Clang,...

> so I think that the intrinsic is correct. (Am I right in assuming that the names in the comments are the ones to check?) Yes, exactly. > > If...

This disables the deadkey combinations for `^`, `` ` ``, and `~` with AltGr, though, right? That defeats the purpose of this keyboard layout.

You can try something like: ```bash sudo apt install -y libz3-4 sudo update-alternatives --install /lib/x86_64-linux-gnu/libz3.so.4.8 libz3.4.8 /lib/x86_64-linux-gnu/libz3.so.4 100 ``` But I'm guessing that will shift the problem to another dependency....

> FWIW I had the exact same issue, using virt-manager under Ubuntu 22.04 with all current updates. I got annoyed and destroyed the VM, but kept the disk image, then...