Metal-level functional zero runtime infrastructure. Deterministic compilation with Automated Theorem Proving for formal memory verification.https://chiba-lang.org/https://chiba-lang.org/blog/chiba0/https://chiba-lang.org/blog/chiba0/Many people have known me for a long time. After wandering through various projects over the years, I recently posted a few tweets, and quite a few old acquaintances said to me: "Its 2026—how are you still building new languages?Mon, 13 Apr 2026 00:00:00 GMThttps://chiba-lang.org/blog/chiba1/https://chiba-lang.org/blog/chiba1/When I reopened Pierre Bourdieus *Distinction*, what I saw was no longer the refined tastes of 1960s French bourgeoisie for coffee, gallery openings, and classical music, but rather the deepening, insurmountable chasm within todays technology community.Tue, 14 Apr 2026 00:00:00 GMThttps://chiba-lang.org/blog/chiba2/https://chiba-lang.org/blog/chiba2/One of Chiba’s core objectives is to provide near-zero-overhead automatic memory management without relying on a traditional Tracing GC, while ensuring memory safety in concurrent environments.Thu, 16 Apr 2026 00:00:00 GMThttps://chiba-lang.org/blog/chiba3/https://chiba-lang.org/blog/chiba3/After two weeks of hard work, Chiba-level0 has gone from an initial Rust demo to hand-written assembly and then to an LLM-assisted bootstrap path, and the next step is to build chibalex and chibacc for Level-1 self-hosting.Tue, 21 Apr 2026 00:00:00 GMT