web3daily

1. Web3 Project Security Handbook https://www.slowmist.com/redhandbook/ @李一笑:慢雾的智能合约红宝书，偏向开发和审计的安全指南。   2. Sidenote https://www.producthunt.com/posts/sidenote-2 @Zhangxuesong:Sidenote 是一款浏览器扩展，支持在任何网页上实时聊天或评论，无需创建账号即可了解在线讨论。   3. Rust...

1. ETH 还能涨吗？以太坊基金会亲自下场回应｜AMA 梳理 https://m.theblockbeats.info/news/54929 @Aaron Chi:时隔 8 个月，以太坊基金会研究团队在 reddit 论坛进行了第 12 次 AMA，直面了很多疑问，主题包括 ETH 的价格有哪些上涨理由、以太坊基金会的资金多久耗光、blob...

1. zkTLS 介绍 https://x.com/YashasEdu/status/1830863460839891461 @Harry:zkTLS 允许用户证明他们已经从网站收到了某些数据，而无需透露这些数据的全部内容。例如，你想证明你已年满 21 岁可以访问某项服务，但不想透露确切出生日期。 zkTLS 可以证明你符合年龄要求，而无需暴露你的完整个人信息。   2. 启动协议型社区的 5 个经验 https://x.com/nickmartitsch/status/1829206571718693208...

1. 开源加密平台 https://github.com/ente-io/ente @Harry:Ente 提供了一个完全开源的端到端加密平台，让你无需信任服务提供商即可在云中存储数据。在这个平台之上，已经开发了两个应用程序：Ente Photos（苹果和谷歌照片的替代产品）和 Ente Auth（2FA 替代产品）。   2. 以太坊路线偏离轨道了吗 https://www.odaily.news/post/5198233 @Mark.R:Rollups、ZK与Optimistic技术对比、L2的价值与挑战以及以太坊未来的目标。强调提升以太坊吞吐量的重要性，并指出了当前技术和策略中的不足。整体观点认为，以太坊需在对齐激励机制和提升性能方面做出改进，以保持其竞争力。   3....

1. NocoDB – 开源版 Airtable https://github.com/nocodb/nocodb @陈锡亮:NocoDB 提供了一个全套的开源的 nocode 方案，有高度的自定义功能和完善的API接口，可以实现CRM等各种复杂场景   2. LLM in font https://fuglede.github.io/llama.ttf/...

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