$ cd ~/blog && ls -la

< Blog />

Essays on research and engineering

2 posts

TAGS:

2026-07-29

research publishing ICML

Four Main-Track Acceptances in One Year: What Actually Worked

ICML, ECML PKDD, ICICS and ProbML in a single cycle — and the two habits that mattered more than any individual idea.

3 min READ()

2026-07-20

zero-knowledge proofs ICICS GPU

The VerifAI @ ICLR version and the ICICS main-track version answer the same question. Only one of them proved it at a size anyone cares about.

2 min READ()