游戏娱乐3 weeks ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
33 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
IntelligenceMax - 通过AI自适应谜题训练推理能力。
u/connerpro · Reddit
IntelligenceMax - Adaptive reasoning practice with live AI questions (claim-safe near vs far) submitted by /u/connerpro to r/SideProject [link] [comments]
玩 20 个由 Claude 生成的经典 HTML5 游戏，可查看提示词。
yidaimaxia · V2EX
claude fable5 生成的游戏效果 最近 claude fable5 相当聒噪，我用这个模型一句话生成了 20 款经典的 H5 网页小游戏 为了方便大家试玩和研究，我把它们集成到了自己写的轻量级工具站里，并且将每款游戏生成所用到的完整英文 Prompt 提示词完全公开在了游戏详情页，可以使用这个 prompt 在其他模型跑跑看是啥效果。 👉 小游戏在线试玩与 Prompt 传送门： https://www.pokitx.com/zh/html-games 🎮 部分小游戏复刻 showcase： 森林冰火人 (Forest Ice & Fire) 复刻程度：完美还原了双人键盘控制、冰火物理陷阱的碰撞体积判定。 Prompt：我们在详情页附带了引导 AI 编写双人物理按键监听和关卡碰撞图纸的核心 Prompt 。 试玩 & 提示词： https://www.pokitx.com/zh/html-games/senlinbinghuoren 3D 坦克大战 (Tank Battle 3D) 技术要点：利用 H5 Three.js 库，由 AI 一
解拼中世纪主题单词瓷砖的益智游戏。
@JRABARA1 · X
Mid-Century Teak Scramble download freighter app, dm your wallet serves as feedback :)
上传 Block Blast 游戏截图，获取最佳解法。
BlockBlastCheat — 为你的 Block Blast 游戏提供最佳解法
在这个基于浏览器的游戏中，调整 neural network weights 以适配数据曲线。
Gooblebrai
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
通过调整 HSB 滑块来猜测匹配动漫颜色的在线游戏。
ToonTone — 在线动漫猜颜色小游戏
HSR跃迁计算器，计算保底进度、抽取概率和星琼需求
HSR Warp Calculator — 《崩坏：星穹铁道》跃迁规划工具，计算保底进度、抽取概率和星琼需求