h hongbo_zhang Joined 10 years ago Karma 292 Submissions 76 Member since Aug 31 author of bucklescript (https://github.com/bloomberg/bucklescript) View on Hacker News
MoonBit 0.9: Introducing First-Class Formal Verification t twitter.com 2 hongbo_zhang 7 months ago 0 comments
Realworld benchmark between Codex 5.3 and Opus 4.6 s swe-agi.com 4 hongbo_zhang 9 months ago 3 comments
Building a battle tested C compiler in a new language using Codex m moonbitlang.com 2 hongbo_zhang 9 months ago 1 comments
How to Build WebAssembly Components with the MoonBit Language t thenewstack.io 3 hongbo_zhang 1 year ago 0 comments