Pinned Loading

1. dual-radeon-vllm dual-radeon-vllm Public

   Multi-GPU tensor-parallel vLLM on AMD Radeon RX 7900 XT / XTX / GRE (7900XT, 7900XTX, RX7900XT, gfx1100, RDNA3, ROCm): root cause and fix for the RCCL hostcall / PCIe atomics (AtomicOps) crash "NCC…

   Python 6

2. llms-on-apple-neural-engine llms-on-apple-neural-engine Public

   Apple Neural Engine (ANE/NPU) vs GPU for local LLM inference on Apple Silicon / macOS. Core ML (CoreML), Core AI (CoreAI), MLX and Metal benchmarks: prefill, throughput, latency, memory, thermals, …

   Python 2

3. catalan-lean4 catalan-lean4 Public

   Complete Lean 4 formalization of Catalan's conjecture (Mihăilescu's theorem): 8 and 9 are the only consecutive positive perfect powers. Includes signed integer classification and reproducible verif…

   Lean 2