@www.moonbitlang.com.blog@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
MoonBit Blog
Site URL: www.moonbitlang.com/blog
Feed URL: www.moonbitlang.com/blog/atom.xml
Posts: 10
Followers: 1
SeekMoon: From IDE to ADE
https://www.moonbitlang.com/blog/seekmoon-from-ide-to-ade
Published: September 1, 2026 00:00
How SeekMoon rethinks the development environment for agent collaboration with richer code review, visualization, and syntax-tree search.
From Example Enumeration to Mechanized Falsification: Property-Based Testing in MoonBit
https://www.moonbitlang.com/blog/property-based-testing-moonbit
Published: August 25, 2026 00:00
Learn how MoonBit's QuickCheck combines properties, generators, and shrinking to uncover bugs beyond example-based unit tests.
Local Inference with DeepSeek V4 Flash Using MoonBit
https://www.moonbitlang.com/blog/local-inference-deepseek-v4-flash
Published: June 24, 2026 00:00
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
https://www.moonbitlang.com/blog/moonbit-multiple-targets
Published: May 12, 2026 00:00
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
https://www.moonbitlang.com/blog/moonbit-0-9-release
Published: April 8, 2026 00:00
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
https://www.moonbitlang.com/blog/moonbit-0-8-0-release
Published: February 9, 2026 00:00
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
https://www.moonbitlang.com/blog/fastcc-ai-driven-development
Published: February 6, 2026 00:00
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
https://www.moonbitlang.com/blog/crdt-algorithms-moonbit
Published: January 28, 2026 00:00
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
https://www.moonbitlang.com/blog/moonbit-static-analysis
Published: January 15, 2026 00:00
Build a static analyzer in MoonBit, from AST to CFG and data-flow analysis, ending with MCIL.
Open Source WebAssembly Runtimes Built in MoonBit
https://www.moonbitlang.com/blog/moonbit-wasm-runtime
Published: December 30, 2025 00:00
Open Source WebAssembly Runtimes Built in MoonBit