
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
28 projects

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

Design electronic circuits and PCBs in your browser with KiCad, no installation required.
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

Scan your AI bills to find waste and prove savings with tamper-evident evidence.
@askrashidkhan · X

Run LLM inference on consumer GPUs with NVIDIA TensorRT-LLM optimization.
brianhabana123 · HN
TensorRT-LLM running natively on Windows (no WSL)

Order lab tests without a doctor or membership, choose preset panels or build custom ones, and get results by email.
@DirtCheapLabs · X
It's just dirt cheap labs lol

Local-first cognitive runtime with live AST graphs, runs in your browser with no data sharing.
@fortsignal1 · X

Free Kanban project management with boards, spreadsheets, documents, forms, invoices, and AI automation.
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

Low-cost API for tracking search rankings and AI model positions across Google, Bing, Yahoo & DuckDuckGo.
@AnupamP36864573 · X
I am building the cheapest Serp Api Tool -

Free collection of 12 online generators for QR codes, passwords, business names, quotes, and more.
@Oriam216 · X
Just launched AltosTools 🧰 — 12 free online generators in one place. QR codes, passwords, business names, price quotes & more. No sign-up, works on mobile, runs 100% in your browser. Try it 👉 #buildinpublic #freetools #indiehackers

Backtest crypto trading strategies by describing them in plain English.
@torquant · X
building Torquant. you build and backtest trading/investment strategies using only natural languange

Get safety information about destinations to help travelers avoid tourist traps.
@RekonAstra · X

Free website security scanner checking SSL, headers, and compliance for instant trust scores and AI-guided fixes.
@MrPenetratorTP · X
MrPenetrator helps businesses monitor their website’s trust, security and performance before problems affect their visitors.