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 дней назад·0 comments

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

github.com
2 points·by rayanht·4 месяца назад·0 comments

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

github.com
4 points·by rayanht·4 года назад·1 comments

comments

rayanht
·4 года назад·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 года назад·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 года назад·discuss
Can still access GitHub from London atm