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

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

使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning

投掷易经卦象,查看紫微斗数命盘,获取决策指导。
u/muyenlee · Reddit
I built iYarrow — I Ching casting + Zi Wei Dou Shu natal charts, on an open-source divination engine Two divination tools in one app: I Ching — cast a hexagram for the actual decision in front of you. Free, no account needed. Zi Wei Dou Shu (紫微斗數) — a natal chart that gives the longer-range picture your hexagram sits inside. Free full chart, all 12 palaces computed instantly, tap any palace to read it. One $5.99 unlock covers an in-depth reading + the annual (流年) report. Stack: Next.js

一个Markdown笔记本,自动保存每个编辑版本,让你随时回到过去的内容。
@khagankarimi · X
simple markdown notebook with version history

浏览器中的开发环境,集成shell、git和本地AI。
Dhravya · GitHub
burrow a whole dev machine in a browser tab - bun.wasm, shell, git, and local AI. phones home to nobody.

通过真实的Wikidata关系连接任意两个主题的知识图谱游戏。
u/hyperschlauer · Reddit
I built a free knowledge-graph game where every move follows a real Wikidata relationship I’m building Webwoven for OpenAI Build Week, and the beta is now live: https://www.webwoven.org It’s inspired by Wikipedia hopping: you start with one topic and try to reach a target in as few moves as possible. Every move follows a real relationship from a reviewed Wikidata graph. The game therefore shows why two topics are connected instead of treating ordinary page links as paths. Webwoven curr


AI 驱动的八字排盘系统,采用确定性规则引擎计算,LLM 生成自然语言分析。
@GoWithFlow2026 · X
上线了一个 AI 八字排盘 🔮 🔗 和"直接把生日扔给 ChatGPT"完全不同: 1️⃣ 事实不靠猜:排盘、干支关系、刑冲合会等,全部由确定性规则引擎计算——LLM 只负责把判定结果写成人话,编不了盘。 2️⃣ 指令手写:分析指令是我根据《子平真诠》并结合自身经历逐条手写的命理逻辑。 🎁 免费演示,无需注册,点开即看完整报告: 觉得准,再测自己的($1.99 起)。欢迎反馈!

将AI生成的文本转换为自然的人类写作。
fendouai · GitHub
humanize-text-skill Free AI Humanizer: Humanize AI Text Online

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

Reserve Table——餐厅预订系统,客人缺席收费,可减少放号率达80%。
@ReserveT37916 · X

在浏览器中跨设备(Mac、PC、iOS、Android、Smart TV)即时分享文件和文本,无需注册。
@WackyCrocoGator · X
This one doesn’t require any signup or payment. Just load and multiple device by opening the site on them and connect them for an easy way to drop text and file to each other.