游戏娱乐1 week ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
60 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
自动将提示词路由到最便宜的模型，节省API成本。
u/ASDKING100 · Reddit
Launched an AI API router tonight, and found a bug hours in that would've taken real payments without ever upgrading the account Built LLMLite over the past few weeks — it classifies each prompt and routes it to the cheapest model that can actually handle it, instead of hitting GPT-4o for everything. Free tier, no card needed to try it. Tonight, right as I was about to launch, ran a real transaction to test the payment flow end to end. Paddle processed it, webhook fired, signature verified
Marcus AI: Habit Tracker 功能 哲学家 价格 加入候选名单 即将在 iOS 和 Android 上推出 能倾听回应的习惯追踪器。追踪你的日常习惯。当你摔倒时
@yair_dev · X
Released today: speak with ancient philosophers to discuss your habits, speak about general philosophy, and directly manage your habits and check-ins through the chat.
在高对比度的单色街机中玩 Tic-Tac-Toe、Snake 和 2048，配以复古 8-bit 音效。
@ParvaShastri · X
No login. No leaderboards. No BS. Just quiet me-time. 🕹️ I built MONO.ARCADE—a minimalist playground. And yes, it’s def vibecoded. 🏄♂️✨ 😉 18 classic games ready. Just click and play. 💡 Comment a game idea! I’ll build it & feature your name. 👉
玩罗马尼亚经典跳房子游戏：投掷石子并跳过方块。
@MariusDan1222 · X
Check out what I just built with Lovable!
调整 turbocharger geometry，实时观看 physics simulations。
@_m3rl1n · X
Got 2 of em for ya. And a fun little side project literally built by the prompt the above generated:
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/ 它和骰子类似，都是临时做随机决定的小工具。
审核您的约会档案照片和简介，帮助提高匹配率的 AI 工具。
Z4cki
使用AI辅助编辑视频，同时保持完全的创意控制。
u/Juliur_ · Reddit
Built a "Cursor for Video Editing" because I couldn't stand another AI editor making decisions for me I've been building video tools for a while and here's my honest take: fully automated AI video editors are garbage. They cut the wrong frames, misplace captions, and you're stuck manually undoing everything. It's faster to just edit the damn thing yourself—but that takes 4+ hours per video. The problem isn't AI. It's that AI editors pretend they know better than you. They don't. So I buil
Blue White Flag - 节奏判断游戏，按箭头键跟随节拍并区分真假指令。
Blue White Flag — Play Blue Flag White Flag Games Online Free
MotionFlow是一个免费的JavaScript库，用HTML属性为网站添加滚动、视差和文本动画。
@iamdeepak89 · X
QuoteFlash是专为手工业者设计的AI报价和发票生成工具，60秒内创建专业文件。
@OyenolaAbdulwa3 · X
Creating invoice for your business made easy 👌