
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
20 projects

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

Monitor and analyze competitor strategies with AI-powered insights.
@NateDenisal · X
Working on a competitor intelligence platform,

Editorial workflow platform for teams to plan, write, review, approve, and publish content.
@duke_can_c_u · X
Hi I’m the founder of a content collaboration platform for teams and creators, with focus on editorial workflows. Always looking to connect with people passionate about content, SaaS, and building great products.

Add form handling to any website with validation, spam blocking, and intelligent lead routing—no backend required.
@evcodebr · X

Track LinkedIn engagement to identify buying signals and generate qualified CRM-ready leads.
@traxy_ai · X
LinkedIn is where B2B deals are. helps you connect with the signals for these deals as soon as they arise and have them ready for your outbound systems. Do not be part of the noise, but the conversations.

Create personalized weekly learning plans for children's long-term goals in chess, swimming, music, or languages.
@EICWOGUP · X
Hey James, I am building that helps parents focus on their kids long term goals. Parents don’t have to be fluent on any skills to teach kids. All they have to do is choose the goal like chess, swimming, trachtenberg math, yoga etc and you get weekly list.

Automate load testing for modern teams without complex setup or manual scripting.
@GorodkovVi85373 · X
- load testing made easy even without enginnering team. Faster, cheaper, distributional

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