Games & Play2 months ago
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
Collect and display customer testimonials with analytics to track conversion impact.
@AmyVaradkar · X
It solves the scattered testimonial problem. Freelancers and agencies collect feedback via shareable form, display it anywhere, get real analytics on what converts. Beta access available right now which gives free pro plan for 15 days.
AI-powered workout log and macro tracker for bulkers with photo recognition and growth audits.
thomaslai414 · Product Hunt
Nulls Tracker - AI Bulking & Macro Log Minimalist AI macro & workout log built for bulkers
Online photo and video proofing made simple. Export from Lightroom Classic, share galleries with clients, collect star ratings, color labels, and selections — then sync feedback ba
@ThomasHabr · X
My vibe-coded startup is being released now 🎉 The journey begins.
Upload your data to fine-tune custom language models with cryptographic deletion proofs.
@MBrew26730 · X
Dataset cleaning + fine tuning + continual learning at
Prove your writing identity with cryptographic verification.
@Harivig94387178 · X
Just go to to In mobile for audio video image In desktop for invoice pdf Canva And create a file download and verify thats all
ZKNOT™ builds cryptographic hardware attestation and chain-of-custody products for government, law enforcement, and forensic evidence integrity.
@iamwiliami · X
Ok i have added this to my store, i launch a bunch of different attestation devices next week, i just have to get photos of them and am setting up a "photography studio" in my office ;) ... you can see my product listings at products tab, i currently only have one on Shopify. Excited to engage
Refine ideas through logical reasoning and publish them to a community of verified knowledge.
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
Verify mathematical expressions reliably using multiple numeric engines via API.
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
Companies put themselves on the board. People support the ones they believe in. When a company offers a supporter perk, you can claim it.
@Saurav_sah11 · X
Why pay to stay on top? The company gives perks and asks the community to make you the top. Visitors: Visit the listed platform, support it, push it up, and receive perks. Know More:
Free, accurate online calculators and practical guides for finance, math, health, construction, engineering, and everyday life.
@CoreToolLaxl · X
I'm building CoreToolLab, a free utility site with calculators for finance, health, education and everyday decisions. We're trying to make each tool genuinely useful rather than just another basic calculator.
Trace, replay, and verify AI agent decisions with signed audit trails.
u/Funky_Chicken_22 · Reddit
OSS to SaaS positioning problem: when the user persona and the buyer persona are completely disjoint Founder here. Sharing a positioning problem I think a lot of OSS-to-SaaS founders hit and don't talk about publicly. Context: I have been running an OSS project (world-model-mcp) with ~2,500 monthly PyPI installs. Two weeks ago I opened up the hosted companion, Etch, at etch.systems. Launched publicly on Product Hunt at 12:00 PDT yesterday. The positioning problem: OSS user persona: in