Web3 极客日报 #1016 | Rebase Network | Rebase 社区
1. Prusi: prototype verifier for Rust https://github.com/viperproject/prusti-dev @陈锡亮:Prusti 是一个 Rust 正确性检查器,可以分析 Rust 代码,可以检测代码是否正确,比如是否有溢出的可能性. 2. DeFi...
Rebase Community
1. Prusi: prototype verifier for Rust https://github.com/viperproject/prusti-dev @陈锡亮:Prusti 是一个 Rust 正确性检查器,可以分析 Rust 代码,可以检测代码是否正确,比如是否有溢出的可能性. 2. DeFi...
1. 一个移动端友好的以太坊区块浏览器 https://www.solidlint.com/ @Caos:一个移动端友好的以太坊区块浏览器, 方便在移动端阅读合约源码和函数, 调用合约的方法还在开发中, 可以保持关注. 2. 低门槛钱包:谁能抢占Web3用户第一入口? https://www.panewslab.com/zh/articledetails/cnv76pki.html @MarkR:淘金时最赚钱的是卖水的,在web3高速发展期,低门槛钱包很有潜力成长为超级dapp 3. 谷歌字体寻找工具 https://google-webfonts-helper.herokuapp.com/...
1. 自学计算机科学 – 入坑资源1 https://github.com/izackwu/TeachYourselfCS-CN/blob/master/TeachYourselfCS-CN.md @Caos:自学计算机科学课程, 系统全面的自学教程中英文双版. 英文版在此 https://teachyourselfcs.com/ 2. Bitcoin Transaction Malleability and MtGox...
1. Iced: 基于 The Elm Architecture 的 Rust 跨平台 GUI 库 https://github.com/iced-rs/iced @陈锡亮:Iced是又一个全新的 Rust 跨平台 GUI...
1. ezcv.pro: 免费在线简历模板生成器 https://www.ezcv.pro/builder @Caos:在线简历生成工具, 可以自定义布局和字体样式,支持导出 PDF ,求职必备 2. penbot – 一个开源的原型与设计平台 https://github.com/penpot/penpot @Amagi:penbot,面向跨领域团队的开源设计和原型平台,web based,不依赖操作系统,使用开放标准SVG...
1. 更好用的在线Json文件编辑器 https://jsoncrack.com/editor @Caos:在线开源的 Json 文件编辑器,可以将复杂 json 结构可视化显示 仓库在此 https://github.com/AykutSarac/jsoncrack.com 2. 以太坊合并后的混乱市场 https://mp.weixin.qq.com/s/bJxi6cLYhtq0QCYnZ3Oabg @Collin:统计以太坊合并后一周以来以太坊及分叉项目市场情况,涵盖了价格变动、市场流动性、衍生品、宏观趋势等部分。 ...
1. dapptools https://github.com/dapphub/dapptools @Amagi:一系列智能合约 cli 工具,部署,测试,签名,查询 应有尽有 2. 咖啡馆模拟器 https://imissmycafe.com/ @Caos:咖啡馆模拟器, 一个模拟咖啡馆环境音效的网站可以连接 Spotify, 疫情期间被封控在家, 靠它沉浸式喝了几天️...
1. 漫画图解比特币 https://whitepaper.coinspice.io/cn @Caos:传奇漫画大师—— Scott McCloud, 被称为是漫画界的亚里士多德, 他绘制的《图解比特币白皮书》是中本聪原论文的漫画版,有趣易懂,建议大家都看一看! 2. CodeEdit 原生Mac code editor https://github.com/CodeEditApp/CodeEdit @陈锡亮:CodeEdit是一个新的code...
1. DuckDuckGo开放邮件保护服务 https://duckduckgo.com/email/ @Caos:DuckDuckGo 推出了自己的匿名邮件转发服务,有兴趣的可以注册一个@duck.com 结尾的邮箱可以将邮件转发至你真实的邮箱里,同时也 DuckDuckGo 也可以帮助你生成一个一次性的邮箱地址,方便实用 2. lunatic:另一个基于 actor 模型的 wasm 运行时? https://github.com/lunatic-solutions/lunatic...
1. A design system for building retro Apple interfaces https://github.com/sakofchit/system.css @Caos:一个用于构建复古苹果界面的开源 CSS 仓库,喜欢复古风格设计的开发者可以尝试一下 2. 从第一原理理解...
1. function musicForProgramming https://musicforprogramming.net/ @Caos:这是一个专门给开发者工作的时候听歌的电台,歌单是作者经过多年的反复试验挑选出来的,都是一些能够让人专注的音乐。界面非常干净,操作也很硬核。确实听音乐会让你快乐。当你快乐时,你会更有效地工作。 2. Tornado Cash发生了什么 https://www.theblockbeats.info/news/31545 @Collin:关于美国财政部制裁 Tornado Cash 的解读 3....
1. 量化交易全面开源计划预告1 – b站 https://www.bilibili.com/video/BV18g411C7rQ @Amagi:系统性地从 高频套利 / AI自动策略 / 全球交易 / open trading 接触与学习金融量化 ...
1. fffuel – SVG图形生成器 https://fffuel.co/ @Caos:一个非常好看的 SVG 背景和图形的生成器,可以自定义很多参数,自由度很高。很多图形直接拿来做壁纸都很好看,拿来做文章标题海报背景,很不错。 2. 通过 Wormhole 桥开发跨链应用 xDapp https://book.wormholenetwork.com/introduction/introduction.html @陈锡亮:本文介绍了什么是跨链应用...
1. 深入研究区块链的模块化组件 https://volt.capital/blog/modular-blockchains @Amagi:作者对现有的区块链会碰到的技术难题与可能性提出了探讨,将可结合的技术组件拆分并给出了一个可行的架构方案。 2. 可抄作业的产品文案库 https://copybook.me/ @Caos:这是一个产品中常用文案的集合,开发网站或者是 APP 的时候有些文案不会写可以在这里抄作业。 3. HTTP 流量拷贝测试神器 GoReplay...
1. 次时代基于deno的web开发框架 https://github.com/denoland/fresh @陈锡亮:fresh全程使用边缘计算做渲染,没有前端JS渲染,速度爆表,TS开发者可以一试 2. 人体系统调优不完全指南 https://github.com/zijie0/HumanSystemOptimization @Caos:健康学习到150岁 – 人体系统调优不完全指南 3. 以太坊合并后,你应该明白这 10 件事...