Haskell Rust cuda git C/C++ Python 大模型推理 Linux AI 编译器 低精度 Web3 concurrency NumPy PyTorch AI Typst training ninetoothed Triton Network RISC-V QEMU Deepseek Training Federated Learning ICLR 大模型 推理 SFL FL distributed Bash OCaml Solidity 智能合约 Foundry NF4 Dequantization