Rebase Community

1. Roots of Unity https://brilliant.org/wiki/roots-of-unity/ @Harry:一篇介绍单位根的教程. 单位根与数学的许多领域有关，包括正多边形几何、群论和数论。   2. Vitalik的blog maker https://github.com/vbuterin/blogmaker @Harry:Vitalik开源了自己的博客发布工具。   3. 赛博稻草人...

1. pgdiff https://github.com/joncrlsn/pgdiff @Shooter:PostgreSQL 数据库差异比较工具。 pgdiff实现了对多种对象类型的比较，包括SCHEMA、ROLE、SEQUENCE、TABLE、COLUMN、INDEX、VIEW、FOREIGN_KEY、FUNCTION、TRIGGER、OWNER、GRANT_RELATIONSHIP和GRANT_ATTRIBUTE等。   2. Postgres is eating the database world https://medium.com/@fengruohang/postgres-is-eating-the-database-world-157c204dcfc4 @Ameow@gi:Postgres...

1. .git 内部一探 https://jvns.ca/blog/2024/01/26/inside-git/ @Harry:对 .git 目录中每个部分作用的解释。   2. CPU 原理解释 https://cpu.land/ @Harry:想知道在电脑上运行程序时到底会发生什么？阅读本文，你将了解多进程如何工作、系统调用到底是什么、计算机如何利用硬件中断管理内存，以及 Linux 如何加载可执行文件。  ...

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、...