Games & Play1 week 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
16 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Take AI-powered skill assessments to verify your knowledge and earn certifications.
@syprayt · X
We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:
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.
Scan your AI bills to find waste and prove savings with tamper-evident evidence.
@askrashidkhan · X
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
Database of lab reports for verifying product purity and composition before purchase.
@Titratelab · X
Love the direction. Partner with us at Built by security & software engineers. We scrape Whatsapp, TG, GLP1forums, Meso, Finnrick, Janoshik, Freedom, peptidechat, and even Discord- where we have over 1 billion messaged logged and analyzed. 70,000 COAs stored in our database from thousands of vendors. Sentimental analysis driven trust signals on all communities. This isn't vibe-coded one-shot scraping; we've developed our own inhouse anti-automation bypasses for nearly every major platform.
Test large model API relay stations for consistency and authenticity with official versions.
@nodeloc_cc · X
🌈 7月，你好，MODELOC上线算力池。 MODELOC自上线以来，已检测2000余次，覆盖600+中转站，为众多AI用户提供的使用参考。 MODELOC近期进行了改版，上线了算力池及市场。 加入算力池 查看帖子： 用 MODELOC 便宜地调各家大模型：一次讲清它的价格体系
Document product decisions and reasoning in one shared layer for team collaboration.
@TimEngng · X
Stop losing the "why" behind product decisions -
Inject engineered cognitive abilities into AI agents at inference time.
@frank_brsrk · X
reasoning tools for ai agents
Compliance management and audit-readiness platform with controls, policies, and evidence tracking.
@KeelGRC · X
just launched this week. It’s an SMB-friendly GRC and compliance application.
Benchmark AI models by having them animate a 3D banana plant's full lifecycle.
fran-mora · HN
I gave 5 AI coding agents one prompt: grow a banana plant through its whole life in three.js: sprout, leaves, flower, fruit, rot, then pups that restart the loop. It's deceptively simple and yet very hard to get right from procedural code: you have to write working three.js and understand how the plant is actually built; how it hangs, ages and decays. Get the biology wrong and the code renders something weird. These are agents, not bare models (Claude Code and Codex for now). They can use tools, including playwright to check their work and improve it.
All-in-one workspace for project management, documentation, and test management.
@klorityx · X
One workspace for project management, documentation, test management & CRM. Enterprise features without enterprise pricing.