hongbo_zhang

5 ms·

1.
by hongbo_zhang 6mo ago
congrats
2.
MoonBit 0.9: Introducing First-Class Formal Verification(twitter.com)
2 points by hongbo_zhang 6mo ago|0 comments
3.
A local GitHub Actions runner built with MoonBit(github.com)
6 points by hongbo_zhang 7mo ago|2 comments
4.
by hongbo_zhang 7mo ago
Run and debug GitHub Actions workflows locally with a gh-compatible CLI.
5.
by hongbo_zhang 8mo ago
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.
6.
by hongbo_zhang 8mo ago
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
7.
Realworld benchmark between Codex 5.3 and Opus 4.6(swe-agi.com)
4 points by hongbo_zhang 8mo ago|3 comments
8.
Building a battle tested C compiler in a new language using Codex(moonbitlang.com)
2 points by hongbo_zhang 8mo ago|1 comments
9.
by hongbo_zhang 8mo ago
It's around 10 days work,and the battle tested compiler can compile SQLite,TCC and itself. The budget is less than 200 dollars.
10.
by hongbo_zhang 8mo ago
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
11.
Implementing CRDT Algorithms with MoonBit(moonbitlang.com)
4 points by hongbo_zhang 8mo ago|2 comments
12.
by hongbo_zhang 11mo ago
https://forum.rescript-lang.org/t/introducing-moonbit-and-a-... I happend to write a post sharing experience in building Rescript and MoonBit language
13.
How to Build WebAssembly Components with the MoonBit Language(thenewstack.io)
3 points by hongbo_zhang 11mo ago|0 comments
14.
Writing a compiler(tiny moonbit) in MoonBit(moonbitlang.com)
2 points by hongbo_zhang 1y ago|1 comments
15.
by hongbo_zhang 1y ago
The compiler compiles tinymoonbit to llvm in moonbit
16.
by hongbo_zhang 1y ago
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
17.
by hongbo_zhang 1y ago
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...
18.
by hongbo_zhang 2y ago
it is not the optimial, for fast native mode, we rely on tcc for fast interpretion
19.
by hongbo_zhang 2y ago
we used to output C for native backend support
20.
by hongbo_zhang 2y ago
The LLVM mode currently is not good as C backend, but we are working on it to bring it comparable to C backend
21.
by hongbo_zhang 2y ago
we have a interpreter mode which takes advantage of tcc for fast interpretion
22.
LLVM Back End for MoonBit(moonbitlang.com)
24 points by hongbo_zhang 2y ago|11 comments
23.
by hongbo_zhang 2y ago
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 comp
24.
Profiling MoonBit-Generated WASM Using Chrome(moonbitlang.com)
4 points by hongbo_zhang 2y ago|0 comments
25.
The MoonBit language beta preview(moonbitlang.com)
2 points by hongbo_zhang 2y ago|1 comments
26.
by hongbo_zhang 2y ago
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
27.
Introduction to MoonBit, a New Language Toolchain for WASM(thenewstack.io)
2 points by hongbo_zhang 2y ago|0 comments
28.
by hongbo_zhang 3y ago
It's cool to see a minimal implementation of the lazy evaluation semantics
29.
by hongbo_zhang 3y ago
Not only we have a compiler but we have a full blown IDE in the browser: try.moonbitlang.com
30.
Live coding Tetris game with WebAssembly language Moonbit(moonbitlang.com)
4 points by hongbo_zhang 3y ago|2 comments

More ›