web3

1. 港理工大学区块链安全相关Lab课件 https://github.com/zzzihao-li/COMP5566/tree/main @Lucas:该课件介绍了从区块链安全到智能合约安全各个topic的基础知识和相关实验，其中对一些漏洞有完整PoC验证有助于初学者学习。   2. 密码战争 https://cryptowars.zkpunk.pro/ @Harry L:Crypto Wars 书的中文翻译版   3. Open-source DeepResearch...

1. Docker旧版本被Mac错误标记为恶意样本，频繁报错的解决方法 https://www.docker.com/blog/incident-update-docker-desktop-for-mac/ @Lucas:近期Docker被Macx系统错误标记为恶意样本，在一些情况下即使卸载也依然报错。这里是Docker官方给出的缓解建议。如果简单卸载完后依然出现报错，可以尝试v2ex讨论中分享的卸载命令。   2. Plify Papers https://plify.co/paper @Cedric:紧跟最新的 arXiv 论文，利用生成式 AI 模型进行摘要，轻松高效地浏览论文。   3....

1. Hydro: Distributed Programming Framework for Rust https://hydro.run/docs/hydro/ @Harry:Hydro 是一个高级的分布式编程框架，用于 Rust 语言。它可以帮助开发者快速编写可扩展的分布式服务，并确保这些服务的正确性。Hydro 的设计目标是帮助开发者避免分布式编程中的常见错误，就像 Rust 语言帮助开发者避免内存安全问题一样  ...

1. 成为时间管理大师 https://wakatime.com/ @Mark Tang:WakaTime 是一个为开发者设计的时间管理工具，通过开源插件自动记录你在编程上花费的时间，它可以追踪你在每个项目, 文件或功能上的时间，帮助你分析会议与编码时间的比例，甚至识别代码库中的瓶颈。   2. flowith https://flowith.io/ @Cedric:flowith 希望能提供传统对话之外的一种新的和 AI 交互的方式，让你和 AI...

1. 面向TEE的开发者指南 https://mp.weixin.qq.com/s/sLyoqBuOreIxkrOAzcs0EA @Harry:讲解了什么是TEE、TEE的安全模型、常见的漏洞和安全使用TEE的最佳实践方式。   2. The State Of FHE Report https://docsend.com/view/xbyqejajrgs7qiek @Harry:Zama 推出的 2024 年第四季度...

1. Product Hunt https://www.producthunt.com/ @Cedric:Product Hunt 每天都会发现最好的新产品。这是一个热爱产品的爱好者分享和热衷于最新移动应用、网站、硬件项目和科技作品的地方。社区成员可以提交、浏览、投票和评论每日提交的产品。   2. vitalik 最新推文：Scaling Ethereum L1 and L2s in...

1. 刚刚发布的 Tailwind CSS v4.0 https://tailwindcss.com/blog/tailwindcss-v4 @Zisu:1、相对于之前性能提升5倍 2、专为现代网络设计 3、轻量化0配置，只需 CSS 文件中的一行代码。 4、集成了vite 5、CSS优先配置的策略减少了JS的依赖 6、3D动画转换   2....

1. Killed by Google https://killedbygoogle.com/ @Cedrid:Google 墓地中列出了被 Google 关停的产品的完整列表。   2. Follow https://follow.is/ @饭卡:通过爬虫等方式构建全新的RSS聚合器，打破信息茧房以及网站之间信息孤岛。   3....

1. Atomic Design by Brad Frost https://atomicdesign.bradfrost.com @Cedric:原子设计详细介绍了创建和维护强大设计系统的全部内容，使您能够比以往任何时候都更快地推出更高质量、更一致的用户界面。本书介绍了一种将我们的用户界面视为周密层次结构的方法，讨论了有效模式库的特性，并展示了转换团队设计和开发工作流程的技术。   2. LLMStack: multi-agent 框架 https://github.com/trypromptly/LLMStack @Harry L:无代码多代理框架，利用自己的数据构建...

1. Skip https://skiplabs.io/ @Zisu:Skip 是一个由 Meta 首次开发的开源框架，它可以帮助工程师轻松构建反应式后端系统。   2. 2025 年 Chainlink 的 6 个替代方案 https://learnblockchain.cn/article/10577...

1. OpenVoiceOS https://github.com/OpenVoiceOS/ovos-core @Cedrid:OpenVoiceOS 是一个社区驱动的开源语音人工智能平台，用于使用NLP、可定制的用户界面跨设备创建自定义语音控制接口，并专注于隐私和安全。   2. 段永平浙大分享的65条精华 https://finance.sina.com.cn/jjxw/2025-01-07/doc-ineecfic1708898.shtml @Dream:分享涉及投资， 创业， 学习等多方面， 个人觉得非常朴实，实用！！   3. 零知识入门课程...

1. 刚开始从事高频交易，选择哪个交易所 https://www.pingthread.com/thread/1641582947848589314 @Max:对不同交易所特性的总结，以及对新入行高频交易者选择交易所的建议   2. secp256kfun https://github.com/LLFourn/secp256kfun/tree/master/schnorr_fun @Harry L:secp256kfun 是一个用纯 Rust 编写的 secp256k1 椭圆曲线密码学库，旨在提供类型安全和抽象性，以便开发者能够以简洁的方式实现密码学方案。不过这个库还没有经过广泛的验证, 更适合学习用途...

1. Cline: VSCode AI 编程插件 https://github.com/cline/cline @陈锡亮:Cline 是一个开源 VSCode 插件，可以对接各大AI服务和模型来自动编程   2. Monica https://chromewebstore.google.com/detail/ofpnmcalabcbjgholdjcjblkibolbppb @Cedric:随时随地聊天、搜索、写作、翻译、创建图像/视频。Monica 是您的一体化...

1. When Zig is safer and faster than Rust https://zackoverflow.dev/writing/unsafe-rust-vs-zig @Cedric:作者通过在不安全的 Rust 和 Zig 中构建字节码解释器 VM...

1. Zasper: Jupyter Lab 的平替 https://github.com/zasper-io/zasper @Harry:Zasper 是一款从设计之初就支持大规模并发的集成开发环境。它占用内存极少，速度极快，并能处理大量并发连接。它非常适合运行 REPL 类型的数据应用程序，Jupyter notebook 就是一个例子。目前，Zasper 完全支持 Mac，对 Linux 的支持有限。...