SpecExec: Massiv paralleles spekulatives Decoding für interaktive LLM-Inferenz auf Konsumgeräten | Synapse