HackerTrans
TopNewTrendsCommentsPastAskShowJobs

hongbo_zhang

no profile record

Submissions

MoonBit 0.9: Introducing First-Class Formal Verification

twitter.com
2 points·by hongbo_zhang·há 3 meses·0 comments

A local GitHub Actions runner built with MoonBit

github.com
6 points·by hongbo_zhang·há 4 meses·2 comments

[untitled]

1 points·by hongbo_zhang·há 4 meses·0 comments

Realworld benchmark between Codex 5.3 and Opus 4.6

swe-agi.com
4 points·by hongbo_zhang·há 5 meses·3 comments

Building a battle tested C compiler in a new language using Codex

moonbitlang.com
2 points·by hongbo_zhang·há 5 meses·1 comments

Implementing CRDT Algorithms with MoonBit

moonbitlang.com
4 points·by hongbo_zhang·há 5 meses·2 comments

How to Build WebAssembly Components with the MoonBit Language

thenewstack.io
3 points·by hongbo_zhang·há 8 meses·0 comments

comments

hongbo_zhang
·há 3 meses·discuss
congrats
hongbo_zhang
·há 4 meses·discuss
Run and debug GitHub Actions workflows locally with a gh-compatible CLI.
hongbo_zhang
·há 5 meses·discuss
Another thing I like about codex 5.3 is that its CLI support queueing the message directly without using third party plugins. And it can run weeks without any issues, the CC used to have memory issues and stackoverflows.
hongbo_zhang
·há 5 meses·discuss
This is the benchmark between the latest models on a new programming language to avoid overfitting. Latest models are quite good over generalization to new languages, they can write tens of thousands of lines of code in one prompt that just works.
hongbo_zhang
·há 5 meses·discuss
It's around 10 days work,and the battle tested compiler can compile SQLite,TCC and itself. The budget is less than 200 dollars.
hongbo_zhang
·há 5 meses·discuss
It is like Rust - Borrow checker + Fast compile time/Better toolings. It is a general purpose language like golang/Java, it supports native backend, wasm and JS
hongbo_zhang
·há 8 meses·discuss
https://forum.rescript-lang.org/t/introducing-moonbit-and-a-... I happend to write a post sharing experience in building Rescript and MoonBit language