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

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

浏览在黑客新闻上提交的 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

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

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