Grey/JAR Update: Lean 4 specification, linear memory model, faster than PolkaVM

See Announcing Grey 0.1: LLM tries to build a JAM node implementation

Right now this evolved to JAR, but note: we have since significantly changed the design.

If you’re looking for vanilla JAM, just try it – feed any agent the Gray Paper and it’ll get you a node implementation that can pass JAM M1 under a week. The JAM Prize is rather pointless nowadays.