AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Is Cersei a Good Example of an Internal Compiler?
We get a lot of inspiration from LVM, right? The thing you want to build is the extensible structure. So basically our compilation tool has two layers. It's a proof system agnostic IR that describes the high level logic. How does it look like? What would be the opcode? It's just a rust. Just a rust. There's no opcode. Yeah.