This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Kiran (She/Her)
kirancodes.me
did:plc:i32jjsch6xqcguzsf2lgbfyu
ooh yes yes that's very close! conceptually the same kinda problem - user writes sequential code, then we automatically generate more optimised code from it, but the different domains mean different things need to be generated, I guess for crdts that's like the appropriate lattice
2025-10-13T23:28:14.781Z