An early-stage team based in China, passionate about open source, AI, functional programming, and PL theory — building SaaS and language toolchains.We're hiring.