Buenos Aires, Argentina

Manu Puebla

@manuelpuebla

ultarcycling algebraic geometry coding theory

amo-lean. Lean

3

hermite_iopp. High-performance Rust implementation of Interactive Oracle Proofs of Proximity (IOPP) for Hermitian curves over binary fields. Features bitsliced F₂⁴ arithmetic with 16× speedup.

1

hft-learning. Real-time arbitrage detection between Polymarket and Kalshi for BTC prediction markets. Rust + Python + TypeScript.

1
3
Apply