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

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


在浏览器中使用 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

扫描AI账单找出浪费支出,用防篡改证据证明节省成本。
@askrashidkhan · X

在本地处理数据以隐藏个人信息并降低向 Claude、ChatGPT、Gemini 等 API 发送数据的 token 成本。
@AI_303030 · X

致电专家的AI副身获取他们的专业建议。
@callable_com_ai · X
create your digital twin with your knowledge base for others to call (and make money?)


Stateful AI 伙伴,从交互中学习,可自主完成任务或与你一起协作。
@cyrus_zad · X

在推理时为 AI 代理注入工程化认知能力。
@frank_brsrk · X
reasoning tools for ai agents

用 flashcards、测验和 AI 辅导学习编程技能,基于记忆科学。
@mkappworks · X
I am building lets connect

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

免费检测文本是否由AI生成,无需注册。
new_user___1862026e2883cc743d726f7 · Product Hunt
AI DETECTOR Probably the best AI detector with free no sign-up access.