web3daily

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

1. 初识 TON：账号、Token、交易与资产安全 https://mp.weixin.qq.com/s/ElLcWlp6BCWhq1z6K3a1vw @Collin:介绍了 TON 的一些基础的技术原理，同时也探讨了使用 TON 的过程中可能存在的安全问题   2. GitHub Models https://github.com/marketplace/models/waitlist/join @Ryan:近日 GitHub...

1. 开源云端 IDE https://github.com/ishaan1013/sandbox @MarkTang:Sandbox是一款开源的云端代码编辑环境，集成了自定义AI代码自动补全和实时多人协作的功能，代码编辑器基于Monaco打造，支持多种主流编程语言的代码高亮和智能提示。还内置了AI助手，能够根据上下文来生成代码建议，提升编码效率。   2. DePIN 解读 RWA x DePIN，探索现实世界和 Web3 的交汇点 https://iotex.io/blog/real-world-assets-depin/?ref=iotex.io @Connor...

1. 货币的通证化: 电子港元与全球货币流通的未来 https://mp.weixin.qq.com/s/DU0J2zCdZ9cUikWuvgJCow @w3tester-zCloak:推荐菠菜的好文，把稳定币RWA和区块链技术在银行与金融行业的应用趋势说清楚了。   2. Granian https://github.com/emmett-framework/granian @Shooter:Granian 是一个 Rust 编写的、面向 Python 应用的 HTTP...