Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com)
27 points by nsomani 4 hours ago | 22 comments
127 points by nsomani 4 hours ago | 22 comments
130 points by ttd 9 hours ago | 0 comments
2170 points by apizon 10 days ago | 74 comments
32 points by civilchaos 2 hours ago | 1 comment
4102 points by joouha 7 days ago | 30 comments
53 points by anof-cyber 3 hours ago | 0 comments
66 points by taariqlewis 4 hours ago | 1 comment
7118 points by gbxk a day ago | 50 comments
82 points by rokontech 6 hours ago | 0 comments
978 points by wesleyhill 4 days ago | 15 comments
1098 points by california-og 5 days ago | 10 comments
1119 points by yohamta 19 hours ago | 0 comments
1210 points by hotk 4 hours ago | 0 comments
133 points by ksred 7 hours ago | 3 comments
1427 points by toobulkeh 20 hours ago | 11 comments
1513 points by irgolic 8 hours ago | 8 comments
16305 points by jasonsmiles 5 days ago | 43 comments
172 points by buildwithnumen 8 hours ago | 0 comments
18139 points by bitpatch 2 days ago | 43 comments
193 points by danielbisina 8 hours ago | 0 comments
203 points by danielbisina 9 hours ago | 0 comments
2110 points by gangtao 9 hours ago | 10 comments
22179 points by syntax-sherlock 2 days ago | 43 comments
233 points by Crroak 10 hours ago | 2 comments
2424 points by tqwewe a day ago | 2 comments
2568 points by dorianniemiec 2 days ago | 90 comments
265 points by wancomplete 17 hours ago | 1 comment
2722 points by sanyam-khurana a day ago | 23 comments
287 points by padurean a day ago | 0 comments
2984 points by Tananon 3 days ago | 11 comments
30