游戏娱乐1 week ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
20 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
在反向Wordle游戏中遵循颜色提示避免猜中答案。
lby910722 · V2EX
做了一个免费的 Don't Wordle 反向 Wordle 小游戏 最近做了一个原生浏览器版的 Dont Wordle： https://dontwordle.app/ 玩法和 Wordle 反过来：不是尽快猜中隐藏单词，而是要在遵守每一轮颜色提示的前提下，尽量避免猜中答案。页面里有合法单词数量、Undo 、每日局、本地保存进度，不用登录。 技术上是原生页面里的小游戏组件，不是 iframe 。欢迎试试，有反馈也可以直接回帖。
Almost Selected 让烦人的文本选择变成轻松有趣的拼图游戏。
@PreciseAccident · X
I turned one of the most frustrating mobile experiences into a tiny browser game. When the world's most frustrating text selection meets peaceful words.
在推理时为 AI 代理注入工程化认知能力。
@frank_brsrk · X
reasoning tools for ai agents
BrainBubbles 将学校主题转化为儿童友好的故事和信息图表
@hazemnassr · X
TimeGuessr：根据AI生成的图片猜测时间和地点。
TimeGuessr — 给你一张图片，让你猜测图片发生的时间和地点。我们把 Timeguessr 的玩法原封不动地搬了过来，只是把图库换成了另一批“假照片”——全部由 AI 生成的过去 50 年里可能发生的瞬间
通过回答问题为 ChatGPT、Claude 等生成结构化的 AI 提示词。
@askjames_co · X
用AI为您设计定制鸡舍，提供材料清单、建造步骤和预算。
@chickencoopsai · X
Building the chickenverse and it’s awesome. Say hello to prez Clump. Join us now