Yiming Cao

Results 248 comments of Yiming Cao

Hi @Azzerty23 , I went through Z3 documentation and thought about how to model constraints with it too. I've captured my thoughts in this repo: https://github.com/ymc9/z3-exp I think it overlaps...

Hey @olehmelnyk , today you can already use the trpc plugin to generate trpc routers. For REST, you can simply use one of the supported server adapters to install automatic...

> @ymc9 there are community generators/plugins that generate GraphQL from prisma schema. Currently, I'm thinking of creating a boilerplate/starter kit for new projects and I want to make it as...

> Prisma-NestJS-GraphQL 👍🏻 Let us know if there's anything we can help! @nopain1210

Hi @sakgoyal , thanks for the PR again 😄. I want to be conservative with introducing new attributes because each of them adds some cognitive cost to the users. May...

Hi @tmax22 , I'm glad you found ZenStack helpful and really appreciate your recognition! I think a transaction hook will be very useful. The main challenge today is that on...

> that is why I kept it as a draft. I wanted feedback before continuing. I will gladly wait since it is not urgent for me. Got it. Thanks for...

Hi @tmax22 , sorry for the late response, and thanks for the detailed elaboration of your thoughts! I agree having interactive transactions in the frontend will be really cool (with...

Closing for now since there's no plan to merge in the near future

> what do you mean by API router? > > your concern about server-side transactions hanging for a long time due to connection interruption can be handled by some kind...