RSS Amplifier

Blog

MoonBit Blog

MoonBit Blog

moonbitlang.comSource feed ↗10 posts

Live Last read · last published · next check

Latest posts

Local Inference with DeepSeek V4 Flash Using MoonBit

Run DeepSeek V4 Flash locally from MoonBit by binding to DS4, controlling GGUF inference, token streaming, and tool-call loops without a remote model API.

One Language, Multiple Targets: A Full-Stack Workflow with MoonBit

Build a multi-target full-stack workflow with MoonBit, sharing core logic while compiling frontend and backend code for their ideal runtimes.

MoonBit 0.9: Introducing First-Class Formal Verification

MoonBit 0.9 introduces formal verification for AI-native workflows, enabling AI systems to generate code that is not just functional, but provably correct.

MoonBit 0.8.0 Released

MoonBit 0.8.0 marks a major step toward production-ready development with upgrades across language semantics, tooling, and AI-native workflows.

Building a C Compiler from Scratch with AI-Driven Development

How Fastcc, a self-hosting ARM64 C compiler, was built from scratch in 10 days with largely autonomous AI-driven development.

Implementing CRDT Algorithms with MoonBit and Building Real-time Collaborative Applications

A deep dive into OT, RGA, and EG-Walker CRDTs with MoonBit implementations and a Lomo-based collaborative editor demo.

Static Analysis with MoonBit: From Simple Language Analysis to MCIL

Build a static analyzer in MoonBit, from AST to CFG and data-flow analysis, ending with MCIL.

Open Source WebAssembly Runtimes Built in MoonBit

Open Source WebAssembly Runtimes Built in MoonBit

Write a Simple Code Agent using moonbitlang/async

Write a Simple Code Agent using moonbitlang/async

Announcing LLDB based debugger for MoonBit

Announcing LLDB based debugger for MoonBit