Aiki Alpha 3 Released - Performance Improved

Mojo is now open source

The Object Model in Livelymerge

Liquid Types as a behavioural sandbox for agents

Opinions About Compiler Building

Micro language implementation: Calcium

50 years of proof assistants

A Design Space Exploration of Async/Await

NASA's System Modeling Language, FPP

Aiki reaches recursive self-interpretation