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 11

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

   Lean 4 proof of Catalan's conjecture (Mihăilescu's theorem, Mihailescu): 8 and 9 are the only consecutive positive perfect powers; formalization with Mathlib

   Lean 3 1