HackerTrans
TopNewTrendsCommentsPastAskShowJobs

rayanht

no profile record

Submissions

Show HN: Alloy – a PyTorch backend and inference engine for Apple Silicon

github.com
2 points·by rayanht·26 hari yang lalu·0 comments

Show HN: Msplat – 3D Gaussian Splatting training in ~90s on M4 Max, native Metal

github.com
2 points·by rayanht·4 bulan yang lalu·0 comments

Show HN: SPIRVSmith – A fuzzer to generate random, well-defined SPIR-V shaders

github.com
4 points·by rayanht·4 tahun yang lalu·1 comments

comments

rayanht
·4 tahun yang lalu·discuss
i like this, it’s very user-friendly; allows for both “battery correct horse staple”-style passwords and the randomly generated mess you’d get from a password manager
rayanht
·4 tahun yang lalu·discuss
SPIRVSmith generates random SPIR-V shaders that are guaranteed to be well-defined. We use these shaders to find bugs in SPIR-V compilers, Vulkan implementations and even GPU drivers.

SPIRVSmith was heavily inspired by other language fuzzers (e.g. CSmith, YARPGen) but uses a novel technique (program reconditioning) to ensure that the random programs don't exhibit any undefined behaviour. This is crucial if we want to find bugs on different platforms since discrepancies could otherwise be caused by undeterministic execution rather than issues with the underlying platforms.

So far, SPIRVSmith has found one miscompilation bug that causes a mismatch between Vulkan and MoltenVK, one bug that causes a segfault in the NVIDIA proprietary SPIR-V compiler and two bugs in SPIRV-Cross, the cross-compiler utility for SPIR-V.
rayanht
·4 tahun yang lalu·discuss
Can still access GitHub from London atm