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

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

浏览器中的开发环境,集成shell、git和本地AI。
Dhravya · GitHub
burrow a whole dev machine in a browser tab - bun.wasm, shell, git, and local AI. phones home to nobody.

Voidocs 为初创团队创建专业文档,无需代码配置。
@hannah24_app · X

为网络设备自动备份配置并用E2EE端到端加密保护。
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


由Codex和Grok驱动的AI笔记应用。
@Number1AIFanboy · X
I got to go to bed. More coding tomorrow. I just had a realization that I'm building cool shit, using @grok in an app that I built with Codex and refined with Grok. And now Grok just works on himself. LFG🚀 Drop me a note here: Get the app here (use LAUNCH50):

@zdogmode https://t.co/Cdk9FF9iPM - This is a tool I built and was really useful for my own projects, so I made it available.
@tpacker · X
- This is a tool I built and was really useful for my own projects, so I made it available.

在浏览器中跨设备(Mac、PC、iOS、Android、Smart TV)即时分享文件和文本,无需注册。
@WackyCrocoGator · X
This one doesn’t require any signup or payment. Just load and multiple device by opening the site on them and connect them for an easy way to drop text and file to each other.

分享链接即可进行视频聊天,无需注册。
u/abcde12399 · Reddit
I always begged engineers to fix even a typo. Now I've built my own video call app. I come from business and design. I was always the one begging engineers to fix even a typo. Then I found vibecoding and started building things myself!!! TinyRoom is my first real project. You share a link, people click it, you're in a video call. No accounts, no downloads. Up to 8 people (4 for mobile). Basically Zoom without everything annoying about Zoom. I use it for my own community's weekly sessions

@Kiriakoscls4 https://t.co/vL7v4J1TKx
@z5code0 · X

@Sarakhan49309 https://t.co/QF5vyl5vrj x402 gateway for cybersecurity
@chakaapportal · X
x402 gateway for cybersecurity

浏览Hacker News精选的科技书籍摘要和学习指南。
xxbondsxx · HN
Hacker News book recs as study guides