Åh, @injective jobbar också hårt i Korea. Det är också ovanligt att Korea University ger sig in i dalens verksamhet. Jag var orolig för den koreanska validatorverksamheten eftersom A41 stängde för inte så länge sedan, men haha att universiteten är aktivt involverade i dalverksamheten.