HN Explorer

hongbo_zhang

↗ HN profile [ 84.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. MoonBit 0.9: Introducing First-Class Formal Verification (twitter.com)
    2 points 0
  2. A local GitHub Actions runner built with MoonBit (github.com)
    6 points 5
  3. 1 points 0
  4. Realworld benchmark between Codex 5.3 and Opus 4.6 (swe-agi.com)
    4 points 2
  5. Building a battle tested C compiler in a new language using Codex (moonbitlang.com)
    2 points 1
  6. Implementing CRDT Algorithms with MoonBit (moonbitlang.com)
    4 points 2
  7. How to Build WebAssembly Components with the MoonBit Language (thenewstack.io)
    3 points 0
  8. Writing a compiler(tiny moonbit) in MoonBit (moonbitlang.com)
    2 points 1
  9. 2 points 0
  10. LLVM Back End for MoonBit (moonbitlang.com)
    24 points 19
  11. Profiling MoonBit-Generated WASM Using Chrome (moonbitlang.com)
    4 points 0
  12. The MoonBit language beta preview (moonbitlang.com)
    2 points 1
  13. Introduction to MoonBit, a New Language Toolchain for WASM (thenewstack.io)
    2 points 0
  14. 1 points 1
  15. Live coding Tetris game with WebAssembly language Moonbit (moonbitlang.com)
    4 points 2
  16. Make generated JavaScript Inline Caching friendly (reasonml.org)
    1 points 0
  17. Mario Game ported in BuckleScript: 7K generated Js, 0.5s to build (github.com)
    20 points 1