Rebase Community
1. Zirgen Circuit Compiler https://github.com/risc0/zirgen @Harry:Risc0 开源了 Zirgen, 是一种特定领域语言的编译器，也称为 “zirgen”，可为 RISC 零证明系统创建算术电路。 2. Vitalik辩论DeFi有感：1%开发者与90%交易者之间的沟通鸿沟 https://www.odaily.news/post/5198047...
1. Zirgen Circuit Compiler https://github.com/risc0/zirgen @Harry:Risc0 开源了 Zirgen, 是一种特定领域语言的编译器，也称为 “zirgen”，可为 RISC 零证明系统创建算术电路。 2. Vitalik辩论DeFi有感：1%开发者与90%交易者之间的沟通鸿沟 https://www.odaily.news/post/5198047...
1. WriteFreely 为作者而生的写作平台 https://github.com/writefreely/writefreely @Amagi:WriteFreely 是一个简洁、极简的发布平台，专为作家打造。创建博客、在组织内分享知识或围绕共享写作行为建立你的社区。 2. InstantDB https://github.com/instantdb/instant @Harry:Instant 是一个客户端数据库，允许开发人员通过编写关系查询、处理数据获取、权限检查和离线缓存来构建实时协作应用程序。它提供查询引擎、三重存储和缓存机制来简化应用程序开发，并支持多人游戏、短暂(ephemeral)更新和离线模式。 3. Srcbook –...
1. macOS 菜单栏管理工具 https://github.com/jordanbaird/Ice @Mark Tang:Ice是一款功能强大的MacOS菜单栏管理工具，主要功能是隐藏和现实菜单栏项目，但不仅限于此，还涵盖了许多其他功能，例如配置菜单栏外观、设置快捷键拖放排列菜单内容等 2. 互联网数据包的旅程: 使用 Traceroute 探索网络 https://sebastianmarines.com/post/journey-of-a-packet-exploring-networks-with-traceroute/ @Harry:Traceroute 是一种网络诊断工具，可显示数据包从源头到目的地的路径，通过确定数据包被丢弃的位置来帮助诊断网络问题。它的工作原理是发送 TTL...
1. 扩展欧几里得算法 https://zh.wikipedia.org/zh-cn/%E6%89%A9%E5%B1%95%E6%AC%A7%E5%87%A0%E9%87%8C%E5%BE%97%E7%AE%97%E6%B3%95 @Harry:扩展欧几里得算法可以用来计算模逆元，求出模逆元是RSA加密算法中获得所需公钥、私钥的必要步骤。 2. ALIEN https://github.com/chrxh/alien @Shooter:使用 CUDA 实现的 3.9K Star 的开源 「ALIEN –...
1. Discrete mathematics 4th 发布啦 https://discrete.openmathbooks.org/dmoi4.html @Amagi:《离散数学：开放导论》第四版现已发布，并在Runestone Academy上线。新版本带来了许多改进和新的内容组织，首先介绍逻辑和证明，然后通过图论进行证明练习。书的后半部分涵盖计数（新增“概率应用”部分）和序列。这样的安排据说能帮助学生更好地学习。此外，书中更加强调离散结构，对计算机科学专业的学生更有用，同时仍然注重数学概念的理解。书中增加了更多互动练习和一些Sage和Python代码，供学生探索。PDF版本即将推出，印刷版将于明年由CRC Press发布。在线版本将永久免费提供，并以创作共用许可证发布，但增加了非商业用途限制。 2. 针对 OpenSSH 几起后门事件的思考 https://blog.isosceles.com/openssh-backdoors/ @Harry:这篇文章讨论了OpenSSH的后门事件，并将其与2002年的类似事件进行了比较。文章强调了供应链攻击的风险及其演变，指出在开源开发中需要改进安全措施。...
1. Imagen 3 https://deepmind.google/technologies/imagen-3/ @Harry:deepmind 的文本生成图像模型 2. Arc 浏览器开源平替 https://github.com/zen-browser/desktop @Amagi:碉堡了🤯🤯！Arc 浏览器开源平替来了！⚡️ Zen 是一款类似 Arc...
1. 将网页打包为桌面应用 https://github.com/tw93/Pake @MarkTang:Pake是一款基于Rust的开源工具，可以把任意网页打包成跨平台桌面应用程序，由于采用了Tauri框架，Pake构建的桌面端应用体积只有同类方案Electron的1/20左右，开发者可以自定义窗口大小、标题栏等属性，也可以通过样式重写、JS注入等方式对网页功能进行扩展，作者还提供了很多案例下载体验。 2. 一步步生成一张 TLS 证书 https://0x00.cl/blog/2024/exploring-tls-certs/ @Tomás Gutiérrez L:在这篇长文中，作者演示如何手动生成一张网站的 TLS 证书，详细讲解了每个字段的含义。 ...
1. 解读 Token-2022：这个Solana 链上的新代币标准与 SPL 有何不同 https://cn.cointime.ai/news/jie-du-token2022-zhe-ge-solana-lian-shang-de-xin-dai-bi-biao-zhun-yu-spl-you-he-bu-tong-28086 @w3tester-zCloak:推荐一下，Solana新的代币标准Token-2022，很多有意思且实用的新功能值得探索。 2. 《黑神话：悟空》机核万字体验报告 https://mp.weixin.qq.com/s/GttVMigqGnfR_d_SsD_R_g @Shooter:距离《黑神话：悟空》发售还有 2 天（年），直面天命，重走西游。 ...
1. 本地的大模型门户 https://github.com/exo-explore/exo @董-村民:4000个星星了。Iphone也可以用它跑8B的llama3.1本地模型，因为是集群，本地的硬件都可以用起来 2. Xapian: 开源搜索引擎库 https://xapian.org/ @Harry:Xapian 是一个用 C++ 编写的开源搜索引擎库，可绑定多种语言，允许开发人员为其应用程序添加高级搜索功能。它是一个多功能工具包，内置了对加权模型和布尔查询操作符的支持，并可进行扩展以满足特定需求。 3. BitVM...
1. 开源的 AI 数据库 Chroma https://www.trychroma.com/ @Amagi:Chroma 是一个开源的 AI 数据库，向量搜索，文档储存，全文查询，元数据过滤，多模态，应有尽有 2. Spotify 开源平替 Spotube https://github.com/KRTirtho/spotube...
1. AI 生成单元测试 https://github.com/Codium-ai/cover-agent @MarkTang:Cover-Agent是Codium开源的AI自动生成单元测试工具，用于为项目快速补充单元测试覆盖，它由测试运行器、覆盖率解析器、提示词构件器和AI调用器这4个核心模块组成，通过解析代码仓库当前的测试用例状态，进行进一步的补全。 2. solana 节点是如何工作的 https://www.helius.dev/blog/solana-executive-overview @Lostin:Helius 从 Gulf Stream、Block Building 、PoH、Turbine、...
1. Approf｜ macOS 原生应用 https://github.com/moderato-app/approf @aaron chi:常用的pprof性能分析命令搬到了gui上，可以对比多个pprof文件。 2. 零知识证明的应用 https://arxiv.org/pdf/2408.00243 @Harry:这篇论文描述了零知识证明在区块链隐私、扩展、存储、互操作性等领域的新应用，以及非区块链应用如投票、认证、时间锁和机器学习。 3. AI MLPerf...
1. Triton VM https://github.com/TritonVM/triton-vm @饭卡:写brainfuck STARK教程的团队实现的递归zkvm，结合他们团队的Tip5论文以及Triton VM文档，很容易明白该zkvm是如何设计实现的。 2. 无数据库的高可用性 Web 服务 https://github.com/bknr-datastore/bknr-datastore @Zisu:一种基于 CLOS 的内存数据存储，构建无数据库的高可用性...
1. es-toolkit：一个现代的 JavaScript工具库 https://github.com/toss/es-toolkit @Amagi:速度比 Lodash 快 2 – 3 倍，体积小 97% 2. Public Work:...