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

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

Solidity智能合约AI安全扫描工具,检测漏洞和优化建议。
@Ninjafromqueens · X
Hello! I am the founder and owner of Audit your smart contracts before deploying.

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

用NVIDIA TensorRT-LLM在消费级GPU上进行高性能大语言模型推理。
brianhabana123 · HN
TensorRT-LLM running natively on Windows (no WSL)

无需医生或会员,选择或自建检测套餐,支付后通过邮件获取结果。
@DirtCheapLabs · X
It's just dirt cheap labs lol

自动化旅行预订,获得比其他网站更优惠的价格
@leo_giulianii · X
automates direct booking, offering better deals than any other website


查看 BTC/ETH/SOL/BNB 的技术指标和 AI 生成的交易信号。
@jielove233 · X
最近看到 @dappOS_com 一个作品挺有意思 一个主流币交易共振信号Agent,通过 dappOS Coding 快速完成 链接: 这个案例的价值,不在于又做了一个行情页面,而是在于它展示了一种新的 AI Agent 构建方式 过去开发一个交易辅助工具,需要先处理数据接口,再搭建前端交互,编写指标逻辑,最后不断测试优化。 对于很多有交易想法的人来说,真正困难的不是没有策略,而是从想法到产品之间隔着一整套开发流程 dappOS Coding 改变的,就是这个过程 通过自然语言描述需求,就可以快速生成对应功能模块 像这个交易共振信号案例,本质上就是把市场数据、技术指标和信号逻辑结合起来,形成一个面向交易场景的辅助工具 它并不是替用户直接交易,也不是承诺预测市场 更重要的价值在于 帮助交易者降低信息处理成本 在 Crypto 市场里,行情 24 小时运行,大量数据、新闻、价格变化不断涌入 普通用户很难持续人工筛选有效信息 AI Agent 可以承担其中一部分重复工作: 监控市场变化 整理关键数据 输出信号参考 辅助交易决策 这也是为什么最近 AI + Crypto 的结合越来越受到关注 OKX 推出 AI 与交易生态结合 @BNBCHAIN 也在推动更多项目加入 BNB Agent Studio,鼓励开发者围绕交易、情感陪伴等方向构建 AI Agent 整个行业正在从AI 能聊天进入AI 能完成任务的阶段 而 dappOS Coding 展现出来的方向,是降低 Agent 创建门槛 以前一个想法可能停留在笔记里,需要开发团队才能实现 现在,更多开发者、交易者甚至普通用户,都有机会快速验证自己的想法 未来 Crypto 的竞争,不只是资产和协议之间的竞争,也会是 AI Agent 生态和应用数量的竞争 谁能让更多人低成本创造工具,谁就更有机会成为下一阶段基础设施的一部分 这个交易信号案例只是一个开始 AI Agent 正在逐渐成为连接用户、数据和链上应用的新入口

免费看板项目管理工具,包含看板、表格、文档、表单和AI功能。
u/GordonBlackM3sa · Reddit
I built a free, all-in-one Trello alternative with no per-seat pricing — would love your feedback Hey r/SideProject 👋 I'm the founder of Elixir Boards https://elixirboards.com I got tired of Trello/Asana charging per seat and splitting basic features across paid tiers, so I built an all-in-one workspace: Kanban boards, lists, cards, checklists, labels, due dates Automations + recurring tasks (free) — Trello locks these behind paid plans Docs, spreadsheets, a whiteboard, and invo

分析客户摩擦点,获取优化建议以提高转化率。
@EnricoBoeker · X

用 OpenRouter 进行私密 AI 聊天,无账户无跟踪,支持自托管。
johnfahey · HN
As someone who doesn't use any of the more "advanced" features on sites like ChatGPT or Claude (agentic mode, memory, image generation, deep research, etc), I found the bloat of these services, both in UX and in performance, to be pretty tedious. There are a million AI chat interfaces out there, but I could never find one that just did simple messaging and history in the most minimal and lightweight way possible. So I made my own. Nully is written in Go and Vanilla HTML/CSS/JS. It literally just sends messages to OpenRouter, receives the result, and stores your messages locally. It's very simple, very clean, and very lightweight (see performance graphs on the site). It has basic chat features, basic model settings, and works with just about any OpenRouter text model. It supports attachments and basic web search via the OpenRouter API. I made Nully mostly for myself, but the cost to open-source it and host it on a cheap VPS is practically nothing, so I figured I'd release it if it c