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

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

在浏览器中跨设备(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.

可直接在浏览器玩NOPE游戏,无需钱包或设置。
@NormiePepeNFT · X
Want to have some fun? 🐸🎮 Try the NOPE game — built entirely with Claude Code. No wallet connection required. No complicated setup. Just jump in and play. Have some fun. Be NOPE. 💚

在浏览器中使用 KiCad 设计电子电路和 PCB,无需安装。
ViktorEE · HN
KiCad, a PCB EDA suite is now working in a browser, you can try it at the link, there's a demo project or you can bring your own. Firefox is best, Chrome is good, Safari is "working". We’re Emergence Engineering, a dev shop from Hungary, mostly working with rich text editors, CRDTs. PCBJam started as my (Viktor, CTO, ex-electrical engineer) hobby project but as time went on I put more and more energy into it, and a product started shaping up in my head, in the last few months we’ve started to focus on this project a bit more, and this is the first MVP~ish result. This project is a ton of fun, ton of learning, ton of improvements over improvements: - I thought there must be ways to emulate the PCB canvas OpenGL code on the web. And yes, there are a lot of ways, all of them very buggy. Turns out it’s faster to just write WebGL code that works with KiCad’s Graphics Abstraction Layer if you add the right intermediate debugging steps. I (with Claude) implemented the features and compared

FreeFixo:125+ 免费计算器,涵盖金融、健康、法律、房产和旅游,无需注册。
@Arafat3599651 · X
Just launched 🧮 125+ free calculators — mortgage, BMI, debt payoff, compound interest, calories & more. No signup. No ads. Everything runs in your browser instantly. #buildinpublic #webdev #react

Voidocs 为初创团队创建专业文档,无需代码配置。
@hannah24_app · X

Nano Banana 2:无需登录,输入文本或图片生成AI图像。
Nano Banana 2 AI — AI 图像生成工具(支持角色一致性保持与多步工作流,兼顾速度与质量),适合快速产出专业视觉内容

一键创建并发布格式丰富的文章到网络。
@masafumiohta · X
I’ve been using Windows as my daily use lately despite I have been using Mac/Linux for a long time, but I keep running into all sorts of issues, so I’ve been fixing them vibe-coding with Claude. I’m gonna dump all that stuff on This blog is fully automated with Claude Code, from coding all the way to reporting. It’s nothing special—anyone could do it—but it’s actually pretty fun once you try it. The only annoyed is that it burns through tokens like crazy. Most of the tips are pretty interesting, so I hope you find them useful.

为你的AI生成网站应用设计系统和字体。
@Hamzadevio · X
just shipped. my goal is to help founders add taste to their vibe coded ugly looking apps. (especially the purple gradient, can't see it no more..)

通过描述来编辑视频。无时间轴。无复杂性。
@uxayaan · X
Building Cliponaut - ChatGPT for video editing

问一个是/否问题,获得AI塔罗牌解读。
Yes/No 塔罗 AI — 融合 AI 技术与塔罗洞见,快速获得"是"与"否"解答

Obsessed Trace 游戏数据计算和管理工具
Obsessed Trace Calculator — Stream 游戏 Obsessed Trace 工具网站