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

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

集中管理客户反馈,通过投票排序,并分享交互式产品路线图。
@himanshu_b20 · X

Leveraging the Bittensor ecosystem, Vidaio provides scalable, affordable, and high-quality video processing solutions.
@vidaio_ · X
Ai driven, video enhancement!

在Stellar区块链上设置定期加密货币订阅支付。
@recurra116 · X
Crypto Subscriptions at your fingertips on

浏览在黑客新闻上提交的 Substacks。
cartucho1 · HN
I made an HN clone that lists only Substacks posted here. - Why? Over the years, I've discovered some great blogs here, so I thought it would be nice to have a filter for them. - Why only Substacks then and not blogs more generally? Because it's easy to query for "substack.com" in the public HN Algolia API (see below). Plus, hnblogs was already taken :) - What about substacks on custom domains then? At the bottom of the page there is a form to submit a custom domain. The site attempts to auto-validate that it is a Substack. If that fails, it is marked for manual review (which I'll do every once in a while). Approved ones will be included in the results. - How? I use HN's Algolia API to fetch substack stories by searching for "substack.com" in the url. I do this via a CloudFlare worker that has 3 separate cron triggers: (1) fetches new stories every 10 minutes and saves them in a KV store. (2) runs 2 minutes after the first, computes hot stories from new ones by simulating HN's scor

在代码合并时强制执行策略并审计AI辅助的更改。
@Scyloq · X
Currently building SentrAI. The merge-time control plane for AI-assisted software development. Enforce policy, audit every AI-generated change. Just finished an interactive demo and would love your honest feedback. Built with @Lovable

包含 30+ 免费交互效果的 React/Next.js 库,可即时预览和安装。
@jyotipathak___ · X
We launched Vault today and we’re excited to take you through an experience designed to impress from the first scroll to the last. Vault is a React/Next.js effects library. Preview the effect. Install it. Ship it. Constructive feedbacks appreciated

用AI转录和总结YouTube视频、播客、PDF和MP3/MP4文件。
sipsip.ai — 支持30+平台视频AI转录并提取摘要,订阅RSS可以每天发送早报

粘贴以太坊合约地址检测诈骗和拉盘骗局。
@mik3fly__ · X
Here is mine: Check for scam before being scammed!

FinoSphere Pro - 财务计算平台,支持房贷、税收、基金、交易和退休规划。
@sarkar68154 · X
Just launched FinoSphere Pro and the feedback on Product Hunt is 🔥 [ Free all-in-one finance calculator 👇 #buildinpublic #finance

统一客户支持收件箱,支持 WhatsApp、Telegram、Instagram、邮件和短信,配备 AI 自动回复。
artur_aiupov · Product Hunt
Messello One AI inbox for WhatsApp, Instagram, Telegram, and email

在云开发盒中观看和操控自主编码代理,使用 Claude Code、Codex 或 OpenCode。
pranav100000 · HN
Aether – Run Claude Code, Codex, or OpenCode in devboxes you can watch