Hacker News: hongbo_zhang

New comment by hongbo_zhang in "DeepSeek v4"

hongbo_zhang — Fri, 24 Apr 2026 04:35:26 +0000

congrats

MoonBit 0.9: Introducing First-Class Formal Verification

hongbo_zhang — Sat, 11 Apr 2026 10:50:14 +0000

Article URL: https://twitter.com/i/status/2042553809159729576

Comments URL: https://news.ycombinator.com/item?id=47729438

Points: 2

# Comments: 0

New comment by hongbo_zhang in "A local GitHub Actions runner built with MoonBit"

hongbo_zhang — Sun, 15 Mar 2026 05:54:24 +0000

Run and debug GitHub Actions workflows locally with a gh-compatible CLI.

A local GitHub Actions runner built with MoonBit

hongbo_zhang — Sun, 15 Mar 2026 05:54:24 +0000

Article URL: https://github.com/mizchi/actrun

Comments URL: https://news.ycombinator.com/item?id=47384684

Points: 6

# Comments: 2

New comment by hongbo_zhang in "Realworld benchmark between Codex 5.3 and Opus 4.6"

hongbo_zhang — Fri, 13 Feb 2026 00:00:38 +0000

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.

New comment by hongbo_zhang in "Realworld benchmark between Codex 5.3 and Opus 4.6"

hongbo_zhang — Thu, 12 Feb 2026 23:46:03 +0000

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.

Realworld benchmark between Codex 5.3 and Opus 4.6

hongbo_zhang — Thu, 12 Feb 2026 23:46:02 +0000

Article URL: https://swe-agi.com/

Comments URL: https://news.ycombinator.com/item?id=46996947

Points: 4

# Comments: 3

New comment by hongbo_zhang in "Building a battle tested C compiler in a new language using Codex"

hongbo_zhang — Fri, 06 Feb 2026 13:05:11 +0000

It's around 10 days work,and the battle tested compiler can compile SQLite,TCC and itself. The budget is less than 200 dollars.

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

hongbo_zhang — Fri, 06 Feb 2026 13:05:11 +0000

Article URL: https://www.moonbitlang.com/blog/fastcc-ai-driven-development

Comments URL: https://news.ycombinator.com/item?id=46912345

Points: 2

# Comments: 1

New comment by hongbo_zhang in "Implementing CRDT Algorithms with MoonBit"

hongbo_zhang — Mon, 02 Feb 2026 08:21:56 +0000

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

Implementing CRDT Algorithms with MoonBit

hongbo_zhang — Sun, 01 Feb 2026 14:19:05 +0000

Article URL: https://www.moonbitlang.com/blog/crdt-algorithms-moonbit

Comments URL: https://news.ycombinator.com/item?id=46846386

Points: 4

# Comments: 2

New comment by hongbo_zhang in "Designing a Language (2017)"

hongbo_zhang — Sat, 15 Nov 2025 08:25:33 +0000

https://forum.rescript-lang.org/t/introducing-moonbit-and-a-... I happend to write a post sharing experience in building Rescript and MoonBit language

How to Build WebAssembly Components with the MoonBit Language

hongbo_zhang — Mon, 10 Nov 2025 03:57:22 +0000

Article URL: https://thenewstack.io/how-to-build-webassembly-components-with-the-moonbit-language/

Comments URL: https://news.ycombinator.com/item?id=45872261

Points: 3

# Comments: 0

New comment by hongbo_zhang in "Writing a compiler(tiny moonbit) in MoonBit"

hongbo_zhang — Sat, 23 Aug 2025 00:00:12 +0000

The compiler compiles tinymoonbit to llvm in moonbit

Writing a compiler(tiny moonbit) in MoonBit

hongbo_zhang — Sat, 23 Aug 2025 00:00:12 +0000

Article URL: https://www.moonbitlang.com/pearls/moonbit-and-llvm-1

Comments URL: https://news.ycombinator.com/item?id=44991493

Points: 2

# Comments: 1

New comment by hongbo_zhang in "Literate programming tool for any language"

hongbo_zhang — Fri, 20 Jun 2025 02:30:05 +0000

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

New comment by hongbo_zhang in "Type-constrained code generation with language models"

hongbo_zhang — Wed, 14 May 2025 04:01:16 +0000

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...

New comment by hongbo_zhang in "LLVM Back End for MoonBit"

hongbo_zhang — Fri, 28 Mar 2025 13:28:27 +0000

it is not the optimial, for fast native mode, we rely on tcc for fast interpretion

New comment by hongbo_zhang in "LLVM Back End for MoonBit"

hongbo_zhang — Fri, 28 Mar 2025 13:27:41 +0000

we used to output C for native backend support

New comment by hongbo_zhang in "LLVM Back End for MoonBit"

hongbo_zhang — Fri, 28 Mar 2025 13:27:16 +0000

The LLVM mode currently is not good as C backend, but we are working on it to bring it comparable to C backend