Games & Play1 month 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
24 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
AI-powered notes app built with Codex and refined with Grok.
@Number1AIFanboy · X
I got to go to bed. More coding tomorrow. I just had a realization that I'm building cool shit, using @grok in an app that I built with Codex and refined with Grok. And now Grok just works on himself. LFG🚀 Drop me a note here: Get the app here (use LAUNCH50):
Free browser games that teach Mac keyboard shortcuts through gameplay, no download or signup needed.
@EjCruz77 · X
Just launched Keyverse — a free browser game that teaches you Mac keyboard shortcuts by playing, not memorizing. No install. No signup. Just open and train. #buildinpublic #indiedev #macOS
Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
Don't let your LLM guess the math. Ultimath evaluates every expression with five independent numeric engines in parallel — REST API + MCP for Claude.
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
Analyze sensitive data with AI while keeping it encrypted end-to-end with client-side keys.
@JackiePeters · X
Write and collaborate on music notation in your browser with instant preview and version control.
@erikdao · X
Secure cloud vault for organizing important documents with family access control.
@DwivediNitil · X
Go physical to digital
Connect Gmail accounts to automate email sending and track opens and clicks.
@KenziChenBuilds · X
Hey! Developer behind Always looking for feedback to make it better.
@Kiriakoscls4 https://t.co/vL7v4J1TKx
@z5code0 · X
Sign PDF agreements privately without uploading; optionally lock fingerprints on blockchain.
@VeriLockOnline · X
- pdf signing that never uploads your file. fingerprint locally, lock on the blockchain. pay per doc, no subscription. sale through july!
Manage API keys and usage budgets for coding-agent workflows with request routing.
u/Zyron_X · Reddit
I built a service for people to use Codex API without 5-hour limit disruption I built a small service for people who use the OpenAI Codex API regularly and want more predictable usage without the 5-hour or weekly limits. It currently provides: Frontier OpenAI models (GPT 5.6 family included) Managed API key Monthly usage budgets depending to plan No 5-hour limit No weekly limit Under the hood, it is built on top of an open-source project and proxies requests to