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

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

完成真实项目赚取技能徽章,建立可验证的求职作品集。
u/tejassp03 · Reddit
building in public: a tool to practice real work instead of courses saw so many people finishing courses and collecting certificates like they're collecting pokemon cards. So we built something that closes the gap between "i finished the course" and "i can actually do the work" it's tasklearn.app , you get real industry tasks, you attempt them, you see how far you actually get. no videos, no tutorials , just the task itself and ai feedback on what you did. learning th

一键创建并发布格式丰富的文章到网络。
@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.

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

编写目标,AI代理(Claude、Cursor、Codex)分解并执行编程任务。
dudemanAtl · HN
PlanWright – A control plane for AI coding agents

ArtPlayer 免费浏览器视频和音频编辑工具,支持压缩、裁剪、合并和格式转换。
zhw2590582 · V2EX
最近对网站进行了重构,做成了免费的视频工具站:[ArtPlayer Tools]( https://artplayer.org/tools/) 主要是围绕着 ffmpeg.wasm 和 mediabunny 实现的一些可以直接在浏览器里用的视频/音频工具,常用的有: - 视频压缩:[Compress Video]( https://artplayer.org/compress-video/) - 视频裁剪:[Crop Video]( https://artplayer.org/crop-video/) - 视频合并:[Merge Video]( https://artplayer.org/merge-video/) - 视频尺寸调整:[Resize Video]( https://artplayer.org/resize-video/) - 视频旋转:[Rotate Video]( https://artplayer.org/rotate-video/) - 视频调速:[Change Video Speed]( https://artplayer.org/change-video-speed/) - 添加文字到视频:[Add Text to Video]( https://artplayer.org/add-text-to-video/) - 添加水印:[Watermark Video]( https://artplayer.org/watermark-video/) - 提取字幕:[Subtitle Editor]( https://artplayer.org/subtitle-editor/) - HLS 转 MP4:[HLS to MP4]( https://artplayer.org/hls-to-mp4/) - 音频可视化:[Audio Visualizer]( https://artplayer.org/audio-visualizer/) 大部分工具都是本地处理,文件不会上传到服务器。最开始是因为自己偶尔要处理一些视频,开剪辑软件又有点重,在线工具又担心隐私,所以就慢慢做成了一个站。 目前还在持续完善,体验肯定还有不少粗糙的地方,比如不同浏览器的兼容、移动端操作、长视频性能之类的。 网站: [ArtPlayer Tools]( https:

与多个 AI 模型聊天,进行深度研究和编码任务。
@Shekar77hima · X
run deepresearch, coding agents for free.

用于在 git worktrees 中并行运行多个 AI coding agents 的桌面应用
vuphanse

VanillaPad - 编辑和预览HTML应用的移动工作区,支持ChatGPT、Claude和Gemini。
u/heisenberg2995 · Reddit
I built a mobile workspace to edit and preview the HTML apps ChatGPT/Claude write for you. Hey everyone! I built VanillaPad , a mobile workspace for building simple HTML/CSS/JS projects. 👉 https://vanillapad.dev The idea came from something I kept running into. Sometimes I'd need a simple utility app or a quick landing page or to test a little game idea. Getting the initial code written was easy since I could just ask ChatGPT or Claude on my phone. The hard part came af

用简单英文描述业务自动生成定制商务软件,包含数据库、仪表板和自动化。
@knutmt · X
