
Mamy Ratsimbazafy π¦π
@m_ratsim
Followers
3K
Following
6K
Media
200
Statuses
4K
Engineer @lita_xyz zkVM | Cryptography | Scaling Ethereum | ex Chief Scientist @taikoxyz, Ethereum Core Dev @ethnimbus
Paris
Joined April 2014
RT @0xLita: Ventaliβs Twitter (@ventali_ ) and Telegram (@ventali08) accounts have been compromised. Please do not engage with any messagesβ¦.
0
9
0
Spicy take. @nim_lang will be the best language for code generating high performance GPU kernels for AMD, Metal. Nvidia, OpenCL, Vulkan. And those macros βοΈπ₯ Only ~1000 LOC for a compile-time macro-based Cuda codegenerator to compile Nim to Cuda.
0
5
25
Whoops holidays and back with ZK on fire following @VitalikButerin post on replacing EVM exec with Risc-V. On proof generation side, the discussion so far has been missing the biggest cost contributors to ZKVM, ISA calling conventions and addressing mode.
2
6
31
@vllm_project @ollama Tried a different quantization, same model 13s between enqueueing and completing the task (w4a16 vs gptq-4bit). Not sure how to further narrow down the rootcause.
0
0
3
I can reliably DOS @vllm_project with a small query for 5 min (and sometimes is 10+), trying to narrow down rootcause but same doesn't happen in @ollama for instance. How do you even start debugging DOS in LLM ops btw? Is there a standard responsible disclosure process?
2
3
2
Proof of Drip @0xLita X @0xPolygon. Unveiling the ultimate ZK CTF game, . Cat Training Frenzy π. It's now.
0
1
3
RT @gregthegreek: The scaling Ethereum wars rn are unbelievably left curve with a massive micro lens. I literally devoted my life to helpβ¦.
0
13
0
RT @idocryptography: Presenting a new improved Khatam result showing BaseFold secure within one-and-a-half Johnson bound! (.
0
11
0