rot256

Karma: 239
Created: 3 years ago

Recent Submissions

1. ▲ Show HN: zkGolf – Competitive optimization of formally verified circuits (zk.golf) 69 points · 2 months ago · 12 comments
2. ▲ SlopTacker: The AI Streaming Drain (sloptracker.org) 4 points · 2 months ago · 0 comments
3. ▲ Powers-of-Funbenius (blog.zksecurity.xyz) 10 points · 4 months ago · 0 comments

All submissions on HN · View profile on HN