1. 美联储印钞模拟器

https://thefed.app/

https://brrr.money

@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。

 

Web3Web3Rebase

Web3

网站:http://ec2-13-231-107-232.ap-northeast-1.compute.amazonaws.com

公众号:rebase_network

Web3极客日报 #101-Rebase