GPU accelerated SMT constraint solving (2021) (blog.osiris.cyber.nyu.edu) | HN Screenshots

YHacker Newsscreenshots

Screenshot of blog.osiris.cyber.nyu.edu: GPU accelerated SMT constraint solving (2021)

First screen, captured 3 years ago.

Looks similar

Screenshot of jannestimm.com: A first dip into OS kernel development with xv6 and the 6.1810 labs

A first dip into OS kernel development with xv6 and the 6.1810 labs (jannestimm.com)

39 points by jannesan 2 years ago | 4 comments

Screenshot of zanussbaum.substack.com: Optimizing a WebGPU Matmul Kernel for 1 TFLOP

Optimizing a WebGPU Matmul Kernel for 1 TFLOP (zanussbaum.substack.com)

163 points by zanussbaum 1 year ago | 68 comments

Screenshot of mwilczynski.dev: Igniting the GPU: From Kernel Plumbing to 3D Rendering on RISC-V

Igniting the GPU: From Kernel Plumbing to 3D Rendering on RISC-V (mwilczynski.dev)

90 points by michalwilczynsk 10 months ago | 8 comments

Screenshot of dhruvmsheth.github.io: Were RNNs all we needed? A GPU programming perspective

Were RNNs all we needed? A GPU programming perspective (dhruvmsheth.github.io)

88 points by omegablues 1 year ago | 24 comments

Screenshot of dthompson.us: WASM GC isn't ready for realtime graphics

WASM GC isn't ready for realtime graphics (dthompson.us)

128 points by todsacerdoti 1 year ago | 71 comments

Screenshot of blog.quarkslab.com: A kernel stack use-after-free: Exploiting Nvidia's GPU Linux drivers

A kernel stack use-after-free: Exploiting Nvidia's GPU Linux drivers (blog.quarkslab.com)

160 points by mustache_kimono 1 year ago | 21 comments