News: 0001537073

  ARM Give a man a fire and he's warm for a day, but set fire to him and he's warm for the rest of his life (Terry Pratchett, Jingo)

NVIDIA Vulkan Beta Driver Introduces BFloat16 Support

([Nouveau] 4 Hours Ago NVIDIA + VK_KHR_shader_bfloat16)


NVIDIA has published new Vulkan beta driver builds for Windows and Linux that introduce VK_KHR_shader_bfloat16 for BFloat16 "BF16" support within shaders.

Last week The Khronos Group released [1]Vulkan 1.4.311 with this new extension for BFloat16 . Brain Float 16 operations are now allowed within shaders with this cross-vendor extension and the associated SPIR-V SPV_KHR_bfloat16. This BFloat16 extension should prove particularly useful for modern GPUs and software supporting [2]Vulkan-accelerated machine learning / AI .

Now available is the NVIDIA 570.123.07 Linux driver build and the Windows 572.91 driver as part of their Vulkan beta program for supporting the KHR_shader_bfloat16 extension. These latest NVIDIA Vulkan beta driver builds can be downloaded from [3]developer.nvidia.com .

Though in beta form, this makes NVIDIA now the first vendor shipping Vulkan drivers with BF16 support. The only other Vulkan driver I have seen so far prepping for BF16 support is [4]this Mesa merge request for Intel prepping VK_KHR_shader_bfloat16 support for their ANV Vulkan driver along with the necessary SPIR-V and NIR changes. That code has yet to be merged to Mesa Git. With time the other prominent drivers like RADV will presumably be advertising BFloat16 support.



[1] https://www.phoronix.com/news/Vulkan-1.4.311-Released

[2] https://www.phoronix.com/news/NVIDIA-Vulkan-AI-ML-Success

[3] https://developer.nvidia.com/vulkan-driver

[4] https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/34105



usta

HOW TO PROVE IT, PART 4

proof by personal communication:
'Eight-dimensional colored cycle stripping is NP-complete
[Karp, personal communication].'

proof by reduction to the wrong problem:
'To see that infinite-dimensional colored cycle stripping is
decidable, we reduce it to the halting problem.'

proof by reference to inaccessible literature:
The author cites a simple corollary of a theorem to be found
in a privately circulated memoir of the Slovenian
Philological Society, 1883.

proof by importance:
A large body of useful consequences all follow from the
proposition in question.