Hello! I'm Float3701.
Recently, I've been working on my own CS2//CPU project. When I was searching for further information, I saw your fantastic work. I’m really glad to find someone explored the potential of what I call it "Alias Calculus" (or "Logic Geometry" in your project), as early as 7 years ago.
I think maybe my project is similar to yours. I hope my project can inspire your further exploration, or offer a new perspective on the alias command. As just a high school student, I can't fully understand your paper due to my limited knowledge, so I can't take further steps into the academic works. But I believe with your deeper theoretical insight, you might be able to expand on this framework and even develop a brand-new mathematical field around it.
The link of CS2//CPU project is here: https://github.com/float3701/CS2-CPU-RiscV
(Sorry for my bad english)
Hello! I'm Float3701.
Recently, I've been working on my own CS2//CPU project. When I was searching for further information, I saw your fantastic work. I’m really glad to find someone explored the potential of what I call it "Alias Calculus" (or "Logic Geometry" in your project), as early as 7 years ago.
I think maybe my project is similar to yours. I hope my project can inspire your further exploration, or offer a new perspective on the alias command. As just a high school student, I can't fully understand your paper due to my limited knowledge, so I can't take further steps into the academic works. But I believe with your deeper theoretical insight, you might be able to expand on this framework and even develop a brand-new mathematical field around it.
The link of CS2//CPU project is here: https://github.com/float3701/CS2-CPU-RiscV
(Sorry for my bad english)