web3daily

1. AI工具合集 SuperTools https://supertools.therundown.ai @Frozen:SuperTools提供了AI产品分类数据，方便查找对应的趁手工具   2. Lex Fridman与OpenAI 的首席执行官的对话 https://www.youtube.com/watch?v=L_Guz73e6fw @Anderw:Lex Fridman与OpenAI 的首席执行官的对话，它让听众进一步了解GPT-4、ChatGPT、DALL-E、Codex 和其他正在改变人类文明的令人难以置信的人工智能系统的创造者。 这次谈话真的很有趣，很有挑战性，也让人大开眼界...

1. 生成式 AI 洞察 https://t.me/gainotes @Zhemin:Copilot Hub 的 Jiayuan 创建了一个 Telegram Channel，会分享最新的 AI 领域成果和他的观点。   2....

1. AI狂飙的时代，人还有价值吗？ https://mp.weixin.qq.com/s/7H1FrwbQvsh0HD9z90L0wg @shooter:比尔·盖茨称赞，当前这场由ChatGPT衍生开来的人工智能革命是他所见到的自1980年以来最具革命性的技术进步。具体来说，GPT的革命性到底体现在什么地方？当前关于人工智能的讨论有些怎样的误区？它可能会带来什么影响？有什么是它能做的、又有什么是它永远也做不到的？它会是我们的“奇点时刻”吗？人类需要为此忧心忡忡吗？   2. Coq 形式化验证工具 https://coq.inria.fr @Frozen:参与做智能合约平台的过程中会遇到很多极有挑战的问题，这时候就需要一些工具来协助做整体代码逻辑的验证。Coq 提供编写数学定义、可执行算法和定理的形式化语言，并提供半交互式开发环境，在浏览器里就可以运行。   3. Anti AGI 观点讨论...

1. PDFium https://github.com/paulocoutinhox/pdfium-lib @Shooter:Chrome 有一个内置的 PDF 引擎叫 PDFium，但它是针对 Chrome 的。有人把 PDFium 代码编译成多个平台（iOS，Android，macOS，Web）可用的版本，甚至借助 WASM 可以运行在网页中。   2....

1. 零基础｜搭建基于私域数据的ChatGPT https://mp.weixin.qq.com/s/naiVMuXHAScRb_jSEJN3zg @Caos:本文介绍了一种简便的搭建自有 ChatGPT 服务的方法, 并进行了原理解析, 感兴趣的开发同学可以动手试试. 代码基于 Python 开源, 也可以帮助大家熟悉轻度训练 ChatGPT 的流程.   2....

1. Arbitrum生态大盘点：探索下一个Alpha https://www.odaily.news/post/5185953 @Mark:昨晚ARB的疯狂，让我们换一个角度寻找获取潜在代币奖励的机会   2. 零知识证明播客 https://zeroknowledge.fm/ @Harry:这个播客已经做了 269 多期，甚至还有人基于它的内容结合 OpenAI 的 API 做了个知识问答的应用 http://zkpod.ai/...

1. Copilot CLI https://githubnext.com/projects/copilot-cli/ @陈锡亮:有了Copilot CLI，妈妈再也不用担心我记不住命令行参数了！可以直接命令行用英文解释要做什么，然后Copilot CLI就会告诉你应该用什么命令行，同时给出详尽的解释。   2. Copilot for PR https://githubnext.com/projects/copilot-for-pull-requests/ @陈锡亮:有了 Copilot for...

1. Circumventing Layer Zero: Why Isolated Security is No Security https://medium.com/l2beat/circumventing-layer-zero-5e9f652a5d3e @0xMax:L2beat团队关于layer zero的安全性分析，及对未来跨链机制的推演   2. 不同NFT相关EIP介绍和对比...

1. 2022 年 underhanded 比赛官方结果 https://underhanded.soliditylang.org/ @Lucas:该比赛鼓励人们发现漏洞隐藏的方案，在 2022 年给出了去中心化交易所的赛题。最终各用户提交的方案也被开源展示，有助于学习了解 solidity 中漏洞以及后门的隐藏方案进而有助于识别漏洞。   2. Rollups Aren’t Real...

1. Euler闪电贷攻击的详细分析 https://medium.com/@numencyberlabs/a-detailed-analysis-of-euler-finances-196-million-flash-loan-attack-81cdef370024 @李一笑:分析了Euler的合约漏洞，攻击合约和步骤。   2. Less Wrong杂学社区 https://www.lesswrong.com/ @Sun:Less Wrong是一个杂学社区，里面的探讨相对深和严肃。这里有很多脑洞，也有优秀研究员写的由浅入深的长文。   3. AI 工具聚合网站 https://www.futurepedia.io/...

1. 解读零知识证明中的实现差异：zkSNARKs与zkSTARKs优缺点对比 https://www.panewslab.com/zh/articledetails/c9xrz6vk.html @张晓-zCloak:详细对比zk-SNARK和zk-STARK的优缺点。   2. ZK Bug Tracker https://github.com/0xPARC/zk-bug-tracker @CyberOrange:由于实现zk电路的微妙性，了解已出现过的Bug的有助于实现更好的电路，0xPARC对此进行了收集整理。   3. EIP-4844 费用市场分析、回测及改进想法 https://ethresear.ch/t/eip-4844-fee-market-analysis/15078...

1. prompt engineering https://learnprompting.org/docs/intro @昊暠skyh:现在chatgpt4.0发布，提示词工程被提到一个很重要的程度，也是一个欣欣向荣的新行业工种，你可以不懂写代码，但必须懂如何跟AI对话。。   2. Codeium https://codeium.com/ @Caos:GitHub Copilot 的免费平替 Codeium。多行代码补全，自然语言识别，个人永久免费   3. bloop...

1. ERC-4337：不再需要助记词，Web3大规模采用要来了 https://www.odaily.news/post/5185774 @Mark·R:ERC-4337有望成为新用户使用Web3的催化剂，也为更多的加密技术进步和创新铺平道路   2. Block Building inside SGX https://writings.flashbots.net/block-building-inside-sgx @OxMax:flashbots 一直在尝试SGX中运行eth block builder，目前已经在Sepolia testnet上线，背后的技术及源码，可以关注...

1. 一个基于LAYERZERO的跨链桥 https://testnetbridge.com/ @JinhuiFan:一个基于LAYERZERO的跨链桥，支持以太主网直接购买测试币   2. 页间动效库 https://barba.js.org @Mark Tang:barba.js用于在页面切换过程中添加过渡动画的方案，页面切换往往伴随着更多的网络请求与资源下载的过程，如果能在这一等待过程中附加一些动画，能够有效提升用户的观感   3. 原生支持Ethereum的操作系统 https://www.ethosmobile.org/ @Mark Tang:ethOS是一个原生支持Ethereum的操作系统，基于LineageOS(Android分支)，私钥使用设备的内置安全芯片进行硬件加密和存储，系统层去中心化，将Ethereum...

1. Rust 实现的 NES 模拟器 https://github.com/henrikpersson/potatis @陈锡亮:Potatis NES 模拟里不光支持 wasm， 可以在浏览器中运行 https://henrikpersson.github.io/nes/index.html， 还可以在终端中运行 stty -icanon &&...