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

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

Play a browser game instantly with no wallet or setup.
@NormiePepeNFT · X
Want to have some fun? 🐸🎮 Try the NOPE game — built entirely with Claude Code. No wallet connection required. No complicated setup. Just jump in and play. Have some fun. Be NOPE. 💚

Roll 3D animated dice (D4-D20) for tabletop games instantly.
Nalife520 · V2EX
最近用 Codex 做了一个 3D 骰子! 最近做了一个很小的网页工具:3D 骰子。 做完后有点纠结: 这种小工具到底应该保持极简,还是把常见功能都补上? 抛骰子: https://wheelpage.com/zh/dice-roller/ Dice Roller: https://wheelpage.com/dice-roller/ 现在功能很简单:打开页面,点一下,骰子滚动,然后给出结果。 一开始觉得骰子就是 1 到 6 的随机数,应该很好做。 但做的时候发现,如果只是直接显示数字,又不太像“掷骰子”;做成 3D 动画,又担心有点多余。 现在倾向于先保持简单,打开就能用,不加太多设置。 顺便也做了一个抛硬币页面: https://wheelpage.com/zh/coin-flip/ 它和骰子类似,都是临时做随机决定的小工具。


Analyze crypto price spreads across 14+ exchanges in real-time to identify arbitrage opportunities.
@instantarb_io · X
Hi. Building a real-time platform for crypto arbitrage, funding rates, and market analytics.

Upload an image or paste text to generate an AI video in your browser instantly.
seedance 2.0 mini — 浏览器直出 AI 视频,文字/图片/音频多模态输入,30 秒内生成 HD 短片,无需安装

Convert images to STL files for 3D printing using AI.
ImgToSTL — 面向 3D 打印的 AI 图片转 STL 转换器

Generate AI images from text prompts instantly without login, with free credits every 12 hours.
Flux 2 AI — AI 绘画工具(无需注册即可生成 2K-4K 高清图像),支持多模型切换,适合快速创意验证与设计

Free local-first API client for HTTP, WebSocket, GraphQL, gRPC, MQTT, and more. No account or cloud required.
@HalxDocs · X
Reqit—a fast, local-first API client for developers.


Analyze cryptocurrency markets with Chan Theory patterns, K-line charts, and anomaly detection.
@onehopeA9 · X
用 DAPPOS @dappOS_com 做了一个加密货币缠论分析网站,也是我一直想做没时间做的! 来看看缠论三买的威力: 不是不会写代码。 我自己是程序员,真要硬写当然能写。 但问题是:没时间。🤡 做交易的人都懂,真正消耗人的不是“看一根 K 线”,而是把一堆信息拼起来: K 线结构。 缠论笔、中枢。 一买二买三买。 一卖二卖三卖。 资金费率。 持仓量变化。 成交量异动。 市场舆情。 这些模块涉及太多方面,写得出来,但太费时间。 所以我一直想做一个自己的交易雷达: 接币安历史数据。 用 TradingView 展示 K 线。 自动画缠论结构。 标注买卖点。 再把资金费率、持仓量、成交量和币安广场热度放进去。 想法很清楚。 但一直躺在 TODO 里。 最近用 xbubble 的 Coding 功能试了一下,直接把需求丢进去: “做一个加密货币缠论分析网站,接入币安一年历史数据,用 TradingView 展示 K 线,自动画笔、中枢、一买二买三买、一卖二卖三卖,增加异动分析和币安广场舆情热度。” 它真给我生成了一个能跑的原型。 这次最戳我的不是“AI 会写代码”。 而是 xBubble 把最消耗时间的工程杂活压短了。 以前我自己做: ❌ 搭项目结构 ❌ 爬数据源和图表库 ❌ 写 K 线处理 ❌ 写缠论结构识别 ❌ 做前端交互 ❌ 部署、改样式、修细节 一圈下来,核心想法还没验证,人先累了。 现在变成: ✅ 先描述业务目标 ✅ 让 xBubble 生成可运行原型 ✅ 我再校验规则、调整逻辑、优化体验 ✅ 把时间花在交易理解和产品迭代上 这对程序员其实很有价值。 因为程序员最缺的不是能力,而是时间和注意力。 我这个原型现在大概有几块: 第一,TradingView K 线主图。 用币安数据展示行情,再叠加缠论结构。 第二,笔和中枢。 把原本需要手动盯的结构,先自动画出来。 第三,买卖点雷达。 一买、二买、三买,一卖、二卖、三卖,先帮我筛可能的位置。 第四,异动面板。 资金费率、持仓量、成交量变化,和 K 线结构一起看。 第五,舆情热度。 把币安广场讨论热度也拉进来,看看市场情绪是不是和盘面互相印证。 你可以理解成: 我不是让 AI 替我交易。 我是让 AI 帮我做一个交易前的信息雷达。 我觉得 xBubble 和普通 AI

Browser-based suite of 118 privacy-focused tools for images, PDFs, SEO, and media.
@ayan11200 · X
try this one Free solution