1MoonBit 0.9: Introducing First-Class Formal Verification (opens in new tab)(twitter.com)2hongbo_zhang1mo ago0
2A local GitHub Actions runner built with MoonBit (opens in new tab)(github.com)6hongbo_zhang1mo ago2
3Realworld benchmark between Codex 5.3 and Opus 4.6 (opens in new tab)(swe-agi.com)4hongbo_zhang2mo ago3
4Building a battle tested C compiler in a new language using Codex (opens in new tab)(moonbitlang.com)2hongbo_zhang3mo ago1
6How to Build WebAssembly Components with the MoonBit Language (opens in new tab)(thenewstack.io)3hongbo_zhang6mo ago0
7Writing a compiler(tiny moonbit) in MoonBit (opens in new tab)(moonbitlang.com)2hongbo_zhang8mo ago1
9Profiling MoonBit-Generated WASM Using Chrome (opens in new tab)(moonbitlang.com)4hongbo_zhang1y ago0
11Introduction to MoonBit, a New Language Toolchain for WASM (opens in new tab)(thenewstack.io)2hongbo_zhang1y ago0
