1. 美联储印钞模拟器
@NakaDaoLe: 全球经济萧条，各国纷纷降息放水，memetic institute 创作恶搞了两个小游戏，调侃了美联储无限印钱放水救市的手法，十分欢乐，在这种所有资产下跌的时候可以娱乐一下，放松心态，开心就好！
2. KWasm: 一种区块链可执行形式化语义
https://medium.com/dlabvc/kwasm-a-new-executable-semantics-for-the-blockchain-14e1bca8a360
@Taurus: 本文介绍了Runtime Verification (RV) 公司在区块链领域探索形式化验证(formal verification) 的尝试。RV团队已经开发了针对现有EVM的KEVM框架，并广泛被采用。目前正在计划针对ewasm开发KWasm。本文偏重概念介绍，尤其适合感兴趣的同学初窥门径。
3.不使用 Emscripten 工具链把 c 代码编译成 wasm
https://dassur.ma/things/c-to-webassembly/
@周洋: Emscripten 为了将 c 程序编译成 wasm，模拟了几乎完整的 POSIX 操作系统接口。比如你的代码中使用了 fopen() , Emscripten 可以为你模拟出文件系统。Emscripten 的编译器后端使用 llvm，如果你的代码没有使用操作系统接口，可以尝试使用支持 llvm 后端的编译器直接把 c 编译成 wasm ，比如 clang。
Web3极客日报是为Web3时代的极客们准备的一份日报，它是由一群极客们推荐他们认为有价值的内容并附上一段推荐语，最后通过Rebase的成员整理编辑。
如果你是一名极客，你有好的工具、好的开源项目、好的文章和教程等想要分享给大家，请推荐给我们！
如果你也想参与到Web3极客日报的建设中，请在后台留下你的微信号和简单的介绍，我们（一群闲散的极客）会尽快和你联系。
网站：http://ec2-13-231-107-232.ap-northeast-1.compute.amazonaws.com
公众号：rebase_network
