GreyGrey / JAR Update: Lean 4 specification, linear memory model, faster than PolkaVMMarch 22, 2026Announcing Grey 0.1: LLM tries to build a JAM node implementationMarch 9, 2026