AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Is Cersei the Same as VMPAM IR?
Cersei is kind of in the same order to VMPAM IR. It's more a little bit research-oriented because they have potential to be having a SMT solver-based optimization baked in Cersei. I think we can definitely be using a higher level abstractions on top of that. And also, for example, there are some Fronten languages we can plug in things like Circum and Cairo,. So this is definitely doable. But currently, our team will be focused on the infrastructure, the library, the backend to make it a rock solid.