
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
16 projects

Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256

Analyze Hacker News profiles with your own LLM API key, fully client-side.
Topfi · HN
Like everyone on HN, I love nothing more than to (re)read my own comments. Getting my intuition that I am among the smartest, most humble, highest quality commenters on here confirmed by an LLM so capable that the US government had to temporarily export restrict it [0] seemed only natural. Having had my perfection confirmed, I decided to share this joy with you as I had a few percent usage left before a reset. I took a few prompts, then did a review of the output which resulted in Selbstbild, a BYOK (Anthropic / OpenRouter) web app that gives you a summary and assessment of your public comments by one of our machine Gods, including Fable 5 (provided your can afford that luxury at API pricing). In all seriousness, I have, for a long time, used my own comments on social media (including HN) as part of a personal needle-in-haystack test, simply because I do know my somewhat peculiar style and what I tend to write, but also because I can sometimes write in a slightly confusing manner, ma

Interactive tool to solve Gothic Remake lock puzzles with diagrams and solution playback.
@rychorus1 · X
Just launched: Mini-map feature in After executing all the lock solution steps, a mini-map will show on-screen (except if you're already on the map screen). The mini map shows the current and nearby locks #GothicRemake #WorldOfGothic #BuildInPublic

Slack-native video reviews. Pin feedback directly on video frames. No more scattered conversations.
@pinpointappdev · X