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

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

通过AI评估验证知识并获得Academission认证。
@syprayt · X
We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:

Fenzo AI 为任何主题生成个性化互动微课
fahimulhaq · HN
Show HN: Fenzo AI – Interactive Micro-courses on any topic

使用开源浏览器工具分析象棋游戏,获得自然语言解释,无需登录。
u/ICARUS_2X · Reddit
Spent 7 months building a FOSS platform for natural-language chess analytics (No LLM) Hey guys, I've released CHONSE2, an open-source game review platform that offers unlimited analysis and move explanations without using hallucination-prone LLMs, running entirely in your browser. chonse2.com But Lichess is free, so why use this? Some have asked. It expands on Lichess's feature set a few different ways: Full analysis (accuracy/elo estimations/eval graphs, etc) requir

14至23岁青少年学习和管理金钱的平台。
@tylermashkow · X
Done with our 3 month build for an 8 figure client. Vibe coded 85-90% of the platform and harden the remaining with real software engineers on staff. We saved our client 6 figures and months of work going this route
