Hive: packages and languages, signed twice
How Hive packages are built, signed, published and checked, and why a language pack from the languages registry carries two signatures, its author's and the registry's.
How Larva works inside
A tour of the road a program takes through Larva, from a language pack's frontend through HIR, lowering, Larva IR and the borrow checker to the back ends, the runtime and its garbage collectors, with links into the internals book.
Introducing Antril and Larva 0.8
Antril is a statically typed language where each project picks its own memory management. Larva is the toolchain that builds it. Version 0.8 comes with installers for Windows, Linux and macOS, a compiled standard library, language packs and the Hive package manager.