The numeric foundation and the training library ship together: tensors whose shapes arrive with the data, any rank, a linear-algebra library on the failure channel, explicit expansion instead of silent broadcasting, a complete training toolkit with visible optimizer state — and the whole vocabulary running resident on an NVIDIA GPU, printing loss columns digit-identical to the host run.
Remarks arrive: hints from the compiler's own knowledge about your code, spoken only when asked and never gating a build — six of them at first light, each explaining a place where Mica is different by design. Beside them, the callback kind meets the C world's callback-shaped APIs, libraries learn to export generators and borrowed handles across their contracts, and VS Code extension 4.1.0 puts all of it in the editor: remarks in the Problems panel with a status-bar counter, and the snippet family returns.
Training a network becomes ordinary Mica: values that record onto the language's own autograd tape, one Backward walk answering every gradient, GPU residency checked at compile time, and formulas written with their own glyphs. Shipped together with VS Code extension 4.0 — Mica Notebooks whose outputs are verified facts, one-click run and debug, and a stopped program that narrates its own task tree. A complete GPT trains in pure Mica, and a twelve-chapter course teaches the road to it.
One day after 7.0.0: a case must now say what happens to every value of its selector, and the three comparison spellings Mica does not have each answer with the two it does.
The largest release Mica has shipped, and the only breaking one it will ever ask for: one naming pass and then a frozen surface, generics over shapes, slicing without roulette, a borrowed span under a visible lending law, bit-exact reductions, a stream that may fail, and a network line from worker pool to a typed value stream over the wire.
6.12.6 ships the Dragon SDK — the engine that compiles Mica, as a static archive and a C header a compiler in any language can drive. Wirth's PL/0 is the worked example, written twice against the shipped artifacts alone, and building it found ten defects in 6.12.5 that are fixed at the root.
A same-day pair after the Dragon SDK launch: two compiler fixes the new debugging tutorial found, and a packaging fix the SDK's first day earned — the Mica-side surface now ships as a file you can read, and the SDK's dependency on the compiler finally says why.
6.12.5 gives Mica a project model and a scripting mode, splits the compiler into four modules around its own backend SDK a foreign frontend can drive — and ships only after weeks of adversarial review that ruled four language changes, closed silent-corruption roads, and taught every failure to name itself.
6.12.4 ships a language server inside the compiler binary, removes the last contract file from disk, and makes the linker surface exactly the exported surface — alongside a rebuilt VS Code extension and an official Docker image.