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

1. Mactop https://github.com/context-labs/mactop @shooter:专为苹果芯片打造的 Mac 性能监控工具。该项目用不到 1k 行的 Go 代码，实现了一个类似 top 命令的工具。它可以实时显示 Apple M 系列芯片的性能指标，包括 CPU、GPU...

1. 手绘风格 UI 组件库 https://wiredjs.com/ @Mark Tang:Wired Elements 是一款手绘风格的UI组件库，这些组件的特色在于随机的渲染效果，每次渲染都会略有不同，就像人工手绘一样。   2. 从开房角度理解github https://upclinux.github.io/intro/07/github/ @Shooter:从开房角度理解github，戏谑的解释了Branch、Fork、Issue，对于非IT人士理解github这个全球最大的同性交友网站是个不错的选择。   3....