
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
24 projects

Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256

Complete real work in tech and design to earn skill badges and build a verifiable portfolio.
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

Create richly formatted posts and publish them instantly to the web with a single click.
@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.

Generate AI images from text prompts without logging in, with free credits every 12 hours.
Nano Banana 2 AI — AI 图像生成工具(支持角色一致性保持与多步工作流,兼顾速度与质量),适合快速产出专业视觉内容

Write objectives and let AI agents (Claude, Cursor, Codex) decompose and execute coding tasks.
dudemanAtl · HN
PlanWright – A control plane for AI coding agents

Free AI chat with multiple models (Grok 4 Fast, DeepSeek V3.1) requiring no login.
Free AI for Everyone — 无需登录、完全免费的 AI(模型包括 Grok 4 Fast、DeepSeek V3.1 等)。可选择的模型以后可能会有所调整,但这个服务会长期提供,并且完全免费

Browser-based tools for video and audio compression, cropping, merging, and conversion without uploading files.
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:

Chat with multiple AI models to run deepresearch and coding tasks.
@Shekar77hima · X
run deepresearch, coding agents for free.

Desktop app for running multiple AI coding agents in parallel across git worktrees
vuphanse

Mobile workspace for editing and previewing HTML/CSS/JS apps with AI integration.
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

Build custom business software by describing your needs in plain English—no coding required.
@knutmt · X

Create visual product requirements documents using a minimalist canvas interface.
@KolhyP92244 · X