
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
24 projects

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256

可直接在浏览器玩NOPE游戏,无需钱包或设置。
@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. 💚

3D骰子模拟工具,支持D4-D20,掷骰即得结果和总点数。
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/ 它和骰子类似,都是临时做随机决定的小工具。


在浏览器中将文字和图片转换成 HD AI 视频,无需安装。
seedance 2.0 mini — 浏览器直出 AI 视频,文字/图片/音频多模态输入,30 秒内生成 HD 短片,无需安装

将图像转换为 3D 可打印的 STL 模型。
ImgToSTL — 面向 3D 打印的 AI 图片转 STL 转换器

无需登录即可根据文本提示生成 AI 图像,每12小时获得免费积分。
Flux 2 AI — AI 绘画工具(无需注册即可生成 2K-4K 高清图像),支持多模型切换,适合快速创意验证与设计

免费的本地优先 API 客户端,支持 HTTP、WebSocket、GraphQL、gRPC、MQTT 等。无需账户或云端。
@HalxDocs · X
Reqit—a fast, local-first API client for developers.


基于币安数据的加密货币缠论分析与交易信号平台。
@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

118个隐私优先的浏览器工具,用于图片、PDF、SEO和媒体处理。
@ayan11200 · X
try this one Free solution

用AI World Generator从文本和照片实时生成互动3D世界,用于游戏、研究和机器人。
ai world generator — 用文本和照片生成自然风光视频的 AI 工具网站