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

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

Find hidden cloud and AI costs across AWS, Azure, GCP, and more with automated audits.
ssgonella · HN
QuantumReckon – find your real cloud and AI spend, including tokens

Automatically hide toxic comments and detect spam on Instagram.
@DevKhandelwal84 · X
Built SocialFuse because creators and brands deserve better comment moderation. ✅ Filter spam ✅ Remove toxicity ✅ Stay focused on growth Try it:

Listen to Ilya Sutskever's 30 AI papers explained as free audio episodes.
janpmz · HN
Ilya's 30 papers, explained in audio

Use AI to analyze your face shape and receive personalized style advice.
Face Shape AI — AI 脸型检测

Unified context layer for AI agents that integrates email, drive, Slack, Notion, and GitHub.
@marcin_u2 · X
-> here it is! claude finally knows everything gpt knows. and both of them know everything that's happened across your email, drive, slack, notion, github and granola :)

Detect whether text was written by AI tools like ChatGPT, Claude, or DeepSeek.
AI Detector — 检查你的文本是否 AI 生成

Upload a selfie to transform it into a cinematic Y2K horror-themed image using AI.
scream ai — 把你的自拍照转化为电影感十足的千禧年(Y2K)恐怖风照片

Adjust neural network weights to fit data curves in this browser-based game.
Gooblebrai

Analyze chess games with natural language explanations using an open-source browser tool with no login required.
u/ICARUS_2X · Reddit
Spent 7 months building a FOSS platform for natural-language chess analytics (No LLM) Hey guys, I've released CHONSE2, an open-source game review platform that offers unlimited analysis and move explanations without using hallucination-prone LLMs, running entirely in your browser. chonse2.com But Lichess is free, so why use this? Some have asked. It expands on Lichess's feature set a few different ways: Full analysis (accuracy/elo estimations/eval graphs, etc) requir

Automated backup and end-to-end encrypted disaster recovery for network device configurations.
Willdom1986 · V2EX
多年前考过 CCNP 网络工程师,以前有一个很头疼的地方就是网络设备配置丢失引发的各种故障。后来越发觉得,网络设备的配置实际上是一个非常关键的数字资产。 为此,我利用周末时间开发了 XConf ( https://xconf.ai) 来解决这个问题。 产品主要就是想解决两个问题:**自动化的灾备高可用**,以及**端到端的安全**。 * **自动备份与灾备**:支持将配置定时备份到云端。如果网络断连了,探针会自动在本地离线队列里暂存配置,等连接恢复后自动重传。 * **端到端加密**:本地的 Go 探针是完全开源的,会自动在内存中对密码进行流式脱敏,并在上传前通过 AES-256-GCM 在本地加密。SaaS 后台拿到的只有密文,解密和版本比对( Diff )都完全在你的浏览器本地沙盒里通过 WebCrypto API 进行。 * **打磨版的配置对比 Diff**:我花了一些功夫打磨了浏览器端的配置版本对比功能,力求让日常比对的交互体验足够丝滑。 * **AI 安全基线审查**:系统集成了 AI 辅助的安全基线审查,可以一键检查和分析配置中的潜在风险。 因为目前完全是我利用业余时间(主要在周末)维护,所以确实没精力提供工作日的在线即时客服。大家使用过程中遇到任何 Bug ,欢迎随时去 GitHub 提 Issue ,我会在周末集中修复和跟进。 目前公测已开放,不需要邀请码即可注册,欢迎大家体验吐槽。 探针 agent 开源地址: https://github.com/willdom-lee/xconf-agent 官方网站: https://xconf.ai

Anonymous LLM proxy accepting Bitcoin and Monero for API access to Anthropic and OpenAI without an account.
not_wowinter13 · HN
Anonymous LLM proxy. Pay in crypto, no account needed