Architectural trade-offs in local ZKML: Why choose GKR + Hyrax over SNARKs for mobile edge computation?

Intermediate in Python and want to build mobile applications

The computational overhead of edge-based GKR proofs for neural networks: Is linear-time proving actually viable on mobile?

How AI Will Change the Mobile Ecosystem

Disappointing Phones

Keep Android Open

Current - An RSS reader

Palm OS User Interface Guidelines (2003) [pdf]

postmarketOS at FOSDEM 2026 + Hackathon

What I Learned After Building 3 TV Apps Coming from Mobile