HackerTrans
トップ新着トレンドコメント過去質問紹介求人

hongbo_zhang

no profile record

投稿

MoonBit 0.9: Introducing First-Class Formal Verification

twitter.com
2 ポイント·投稿者 hongbo_zhang·3 か月前·0 コメント

A local GitHub Actions runner built with MoonBit

github.com
6 ポイント·投稿者 hongbo_zhang·4 か月前·2 コメント

[untitled]

1 ポイント·投稿者 hongbo_zhang·4 か月前·0 コメント

Realworld benchmark between Codex 5.3 and Opus 4.6

swe-agi.com
4 ポイント·投稿者 hongbo_zhang·5 か月前·3 コメント

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

moonbitlang.com
2 ポイント·投稿者 hongbo_zhang·5 か月前·1 コメント

Implementing CRDT Algorithms with MoonBit

moonbitlang.com
4 ポイント·投稿者 hongbo_zhang·5 か月前·2 コメント

How to Build WebAssembly Components with the MoonBit Language

thenewstack.io
3 ポイント·投稿者 hongbo_zhang·8 か月前·0 コメント

Writing a compiler(tiny moonbit) in MoonBit

moonbitlang.com
2 ポイント·投稿者 hongbo_zhang·11 か月前·1 コメント

[untitled]

2 ポイント·投稿者 hongbo_zhang·昨年·0 コメント

LLVM Back End for MoonBit

moonbitlang.com
24 ポイント·投稿者 hongbo_zhang·昨年·11 コメント

Profiling MoonBit-Generated WASM Using Chrome

moonbitlang.com
4 ポイント·投稿者 hongbo_zhang·昨年·0 コメント

The MoonBit language beta preview

moonbitlang.com
2 ポイント·投稿者 hongbo_zhang·2 年前·1 コメント

Introduction to MoonBit, a New Language Toolchain for WASM

thenewstack.io
2 ポイント·投稿者 hongbo_zhang·2 年前·0 コメント

[untitled]

1 ポイント·投稿者 hongbo_zhang·2 年前·0 コメント

Live coding Tetris game with WebAssembly language Moonbit

moonbitlang.com
4 ポイント·投稿者 hongbo_zhang·3 年前·2 コメント

コメント

hongbo_zhang
·3 か月前·議論
congrats
hongbo_zhang
·4 か月前·議論
Run and debug GitHub Actions workflows locally with a gh-compatible CLI.
hongbo_zhang
·5 か月前·議論
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
·5 か月前·議論
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
·5 か月前·議論
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
·5 か月前·議論
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
·8 か月前·議論
https://forum.rescript-lang.org/t/introducing-moonbit-and-a-... I happend to write a post sharing experience in building Rescript and MoonBit language
hongbo_zhang
·11 か月前·議論
The compiler compiles tinymoonbit to llvm in moonbit
hongbo_zhang
·昨年·議論
Yes, I think this is the missing part. You may have a look at MoonBit(https://www.moonbitlang.com/blog/moonbit-markdown) which has the full IDE support in the markdown editing
hongbo_zhang
·昨年·議論
We published a similar paper for MoonBit: Explore the Design of an AI-Friendly Programming Language https://conf.researchr.org/details/icse-2024/llm4code-2024-p...
hongbo_zhang
·昨年·議論
it is not the optimial, for fast native mode, we rely on tcc for fast interpretion
hongbo_zhang
·昨年·議論
we used to output C for native backend support
hongbo_zhang
·昨年·議論
The LLVM mode currently is not good as C backend, but we are working on it to bring it comparable to C backend
hongbo_zhang
·昨年·議論
we have a interpreter mode which takes advantage of tcc for fast interpretion
hongbo_zhang
·昨年·議論
MoonBit supports the LLVM backend. With this, it achieved 8× Java’s performance in FFT and introduced out-of-the-box debugging with DWARF symbol injection, enabling precise source mapping directly to compiled outputs.

MoonBit will soon compile directly to native binary files without relying on a C compiler. This eliminates various compatibility issues associated with C compilers.
hongbo_zhang
·2 年前·議論
MoonBit is a wasm first language that generates tiny Wasm output, it also supports the wasm component model. It is inspired by Rust and GO, where language features are close to Rust and toolchain are more inspired by Golang
hongbo_zhang
·2 年前·議論
It's cool to see a minimal implementation of the lazy evaluation semantics
hongbo_zhang
·2 年前·議論
Not only we have a compiler but we have a full blown IDE in the browser: try.moonbitlang.com
hongbo_zhang
·3 年前·議論
https://twitter.com/moonbitlang/status/1704103046849110225 There is a video demo here, editing, compilation, reloading is instant
hongbo_zhang
·3 年前·議論
The source code will be publicly available when we reach beta status(things are moving too fast right now).