Formal verification at home
Trace-based conformance testing for EmberVM, replayed from one real run.
How to serve 134 GB of model weights with 24 GB VRAM / 64 GB RAM
How oom-inference serves roughly 134 GB of text-model weights across a 24 GB 4090, 64 GB of host RAM and NVMe.