Harry

1. libZK：零知识证明库 https://bcnijzlqdt0u.feishu.cn/docx/YQWcd0nXooFCtCxlkFocDin7nJb @Harry:文章讨论了 libZK 零知识证明库，它提供了一种生成简洁的非交互式零知识证明的技术。这种方法涉及在不透露额外信息的情况下证明满足给定电路的见证的存在。本文详细介绍了 libZK 系统的各个组成部分，包括 Ligero ZK 证明及其与用于可验证计算的 sumcheck 协议的集成。它概述了与库相关的基本操作、序列化和安全考虑因素。   2. radix...

1. 慢雾：Cetus 被盗 2.3 亿美金事件分析 https://mp.weixin.qq.com/s/w4xkia029ZMKNjrXnT506g @Harry:此次事件的核心是攻击者通过精心构造参数，使溢出发生但又能绕过检测，最终用极小的 Token 金额即可换取巨额流动性资产   2. VoiceTyper https://github.com/jhfnetboy/Bongcaca/tree/recall @Survivor:一款基于 Faster Whisper...

1. cursor使用十大技巧 https://mp.weixin.qq.com/s/X7cI-yScBrqUvMXd_S1PWQ @dream:AI 辅助编程已经是一个不可逆的潮流趋势，不能高效使用 AI 工具为己所用的程序员将很快被时代抛在后面。本文作者基于自己过去半年对 Cursor 的深度体验，撰写了本文，让你的代码更听话，实现极致心流体验。   2. MCP Server Chart https://github.com/antvis/mcp-server-chart @Cedrid:让AI助手拥有专业级数据可视化能力，能直接生成柱状图、折线图、饼图等...

1. 可视化风格讲解大模型原理 https://github.com/HandsOnLLM/Hands-On-Large-Language-Models/tree/main/bonus @Harry:《大型语言模型实战》一书侧重于 LLM 基础知识，额外的材料提供了有关高级主题的深入、直观的指南。   2. 《Careless People》 https://pluralistic.net/2025/04/23/zuckerstreisand/ @Harry:文章回顾了莎拉-怀恩-威廉姆斯的回忆录《Careless People》，揭露了 Facebook 的内部功能失调、不道德的做法和鲁莽的决策，尤其是在马克-扎克伯格、雪莉-桑德伯格和乔尔-卡普兰的领导下。该书强调了该公司在全球范围内的失败、有害的政策以及将利润和主导地位置于道德和责任之上的有毒文化。  ...

1. CRV创始人新协议Yield Basis机制解读 https://x.com/xcshuan/status/1913494459750195302 @CyberOrange:Yield Basis是CRV创始人Michael Egorov的最新项目，该项目把 BTC‑crvUSD LP 头寸做成“自动 2 倍杠杆 + 集中流动性 + 自动再平衡”的池子，让流动性提供者的...

1. BabelDOC https://github.com/funstory-ai/BabelDOC @Cedrid:它能在保留学术论文原文排版的同时提供双语对照，支持复杂论文中的数学公式、表格和图形。   2. GitMCP https://gitmcp.io/ @Harry:GitMCP 允许用户为任何 GitHub 项目创建一个模型上下文协议（MCP）服务器，使 AI 工具能够理解代码库的上下文，从而提供更准确的响应。用户只需将仓库 URL 中的...

1. 我们黑进了谷歌人工智能 Gemini，并泄露了它的源代码（至少是部分源代码） https://www.landh.tech/blog/20250327-we-hacked-gemini-source-code/ @Harry:研究人员罗尼-卡塔（Roni “Lupin” Carta）和贾斯汀-加德纳（Justin “Rhynorater” Gardner）发现了谷歌 Gemini 人工智能系统中的一个漏洞，允许他们访问内部代码和数据。他们向谷歌报告了这个问题，谷歌认为这是一个非关键漏洞，但强调了对人工智能系统进行全面测试的重要性。   2. 电信业利用基于属性的加密 (ABE) 方案应对后量子时代...

1. warp新终端替代 https://github.com/warpdotdev/Warp @Lucas:Warp 是一个内置有 AI的终端。界面美化到位，使用便捷，支持多平台。   2. Repo Prompt：结构化AI代码协作工具 https://repoprompt.com/ @淡:通过XML结构化提示词与本地代码扫描，精准筛选关键文件，减少冗余输入，优化AI模型响应效率，支持多平台模型及隐私优先策略。   3. ETH 未来路线图...

1. 开源矢量图标库Lucide https://github.com/lucide-icons/lucide @Bryan:提供1000+高质量SVG图标，支持React、Vue、Svelte等主流框架，ISC协议商用友好，配套Figma插件，社区活跃更新快。   2. 开源AI浏览器自动化工具Browser-use：支持LangChain与云端托管 https://github.com/browser-use/browser-use @Bryan:通过自然语言指令实现浏览器任务自动化，集成LangChain框架，提供云端托管及本地部署方案，支持比价、求职等复杂场景，内置多模态交互与持续优化路线图。   3. 开源AI平台Open WebUI支持离线部署与多模型集成 https://github.com/open-webui/open-webui @Bryan:基于Docker提供一键式部署，支持Ollama/OpenAI API混合调用，内置RAG引擎与细粒度权限管理，适配本地化AI开发需求。...

1. 开源矢量图标库Lucide https://github.com/lucide-icons/lucide @Bryan:提供1000+高质量SVG图标，支持React、Vue、Svelte等主流框架，ISC协议商用友好，配套Figma插件，社区活跃更新快。   2. 开源AI浏览器自动化工具Browser-use：支持LangChain与云端托管 https://github.com/browser-use/browser-use @Bryan:通过自然语言指令实现浏览器任务自动化，集成LangChain框架，提供云端托管及本地部署方案，支持比价、求职等复杂场景，内置多模态交互与持续优化路线图。   3. 开源AI平台Open WebUI支持离线部署与多模型集成 https://github.com/open-webui/open-webui @Bryan:基于Docker提供一键式部署，支持Ollama/OpenAI API混合调用，内置RAG引擎与细粒度权限管理，适配本地化AI开发需求。...

1. uv: Python 包管理器 https://github.com/astral-sh/uv @Harry:uv 是一个极快的 Python 包和项目管理器, 使用 Rust 编写。它可以替代 pip、pip-tools、pipx、poetry、pyenv、twine、virtualenv 等多种工具, 提供全面的项目管理功能, 包括依赖管理、虚拟环境、脚本运行、工具安装等。...

1. 在线查看onnx computation graph https://netron.app/ @Dream:可以online代开onnx模型文件， 查看图形化结构计算图。   2. 对话Bybit CEO：15亿美元危机，如何在72小时内化险为夷？ https://www.odaily.news/post/5202001 @Mark R:Bybit曾遭遇15亿美元以太坊黑客攻击，CEO Ben Zhou却在72小时内上演绝地反击，专属加密行业的逆袭剧情...

1. GitSeek https://gitseek.dev/ @饭卡:GitSeek 是一个帮助开发者快速从开源项目中提取代码的工具。你只需用自然语言描述需求，就能从任意 Git 仓库中提取完整的相关代码文件。   2. Proxy https://proxy.convergence.ai @Cedric:Convergence AI 的 Proxy 1.0...

1. Zettlr https://www.zettlr.com/ @饭卡:一个免费markdown管理工具，方便将写作的内容集结成册出书   2. Kagi 搜索引擎支持匿名搜索 https://blog.kagi.com/kagi-privacy-pass @Harry:Kagi 搜索引擎推出了一个新的隐私功能，称为 Privacy Pass 身份验证。这个功能允许用户以匿名的方式进行搜索，确保搜索记录不会被关联到个人账户，Kagi 也无法追踪用户的搜索历史。  ...

1. 开发者的通用智能助手 https://block.github.io/goose/ @Mark Tang:Goose 是一个为开发者设计的开源通用智能助手，无论是生成测试数据,编写脚本,处理复杂的部署任务，Goose都可以作为助手协助开发者完成，它支持本地运行确保任务高效执行，同时保留用户对过程的完全控制，还支持连接外部MCP服务器或API   2. JavaScript Temporal is coming https://developer.mozilla.org/en-US/blog/javascript-temporal-is-coming/ @Cedric:新的 JavaScript Temporal...