GenMC: Model checking for concurrent C programs (plv.mpi-sws.org)

Screenshot of plv.mpi-sws.org: GenMC: Model checking for concurrent C programs

First screen, captured 1 year ago.

Looks similar

Screenshot of gpuhammer.com: GPUHammer: Rowhammer attacks on GPU memories are practical

GPUHammer: Rowhammer attacks on GPU memories are practical (gpuhammer.com)

260 points by jonbaer 1 year ago | 89 comments

Screenshot of cs.utexas.edu: Memory Consistency Models: A Tutorial

Memory Consistency Models: A Tutorial (cs.utexas.edu)

57 points by fanf2 2 years ago | 11 comments

Screenshot of seriot.ch: A Minsky machine in ncurses terminfo

A Minsky machine in ncurses terminfo (seriot.ch)

29 points by beefburger 24 days ago | 9 comments

Nicolas Seriot's article showing ncurses terminfo parameter expansion can simulate a two-counter Minsky machine, making it computationally universal, with a Fibonacci demo.

terminfo ncurses minsky-machine turing-completeness

Screenshot of ollama.com: Gemma3 – The current strongest model that fits on a single GPU

Gemma3 – The current strongest model that fits on a single GPU (ollama.com)

212 points by brylie 1 year ago | 86 comments

Screenshot of rwkv.com: RWKV Language Model

RWKV Language Model (rwkv.com)

147 points by simonpure 1 year ago | 47 comments

Screenshot of arxiv.org: QLoRA: Efficient Finetuning of Quantized LLMs

QLoRA: Efficient Finetuning of Quantized LLMs (arxiv.org)

270 points by Garcia98 3 years ago | 90 comments

Looks similar

GPUHammer: Rowhammer attacks on GPU memories are practical(gpuhammer.com)

Memory Consistency Models: A Tutorial(cs.utexas.edu)

A Minsky machine in ncurses terminfo(seriot.ch)

Gemma3 – The current strongest model that fits on a single GPU(ollama.com)

RWKV Language Model(rwkv.com)

QLoRA: Efficient Finetuning of Quantized LLMs(arxiv.org)