Physicist (MSc in Complex Systems) who has been in software for around seven years, mostly backend and systems engineering in Go and Rust. My way into security was cryptography, and these days most of my time goes into measuring how real systems behave.
- Building execution for perp strategies and onchain makers in Rust, with live funding and basis positions reconciled against each venue's own ledger, and makers that price from the order book instead of a stale curve
- Running a DarkFi node and miner on a Raspberry Pi, measuring memory and allocator behaviour. Live panel: reymom.xyz/darknode
- Working through the Linux trust boundaries one mechanism at a time, and writing down what I break
- coldcascade: a maker on 1inch Aqua that reads Hyperliquid's order book inside the swap. 2nd place in 1inch's Build an Aqua App at ETHOnline 2026 (writeup)
- darknode-exporter: push-only telemetry for a node on systemd services and timers
- dag_exec: task-graph execution for CPU-bound pipelines with bounded parallelism and backpressure (repo)
- icRamp: multichain on/off ramp across BTC, EVM, Solana and ICP, built under three DFINITY grants
- Cryptography labs, reproduced from papers: ligero-mini-lab · norm-blowup · ultrafold-micro
- Research: liquidation cascades in crypto perps, arXiv:2607.27070 and arXiv:2608.03616
reymom.xyz/blog: systems, security, cryptography and measurement.