Show HN: First Working Interpreter Hello everyone! I'm an undergrad in computer science in my last semester. I've tried my hand at a few interpreters the past year. This is my first one that I've actually got set up, with a working lexer and execution tactics. I've implemented the input and output prefixing primitives of the pi calculus. I intended to implement the replication and restriction primitives soon. I find process algebras very interesting. They seem to be an important area of research, to bring the computing ecosystem to a concurrent-first paradigm. This github project isn't much to look at currently; it's my first project of any substance. However, you might find the linked research papers interesting! Feel free to share criticisms, insights, or your favorite process algebra! https://ift.tt/akT1Vun October 16, 2022 at 10:59AM
Show HN: Launch VM workloads securely and instantaneously, without VMs Hello HN! We've been working on a new hypervisor https://kwarantine.xyz that can run strongly isolated containers. This is still a WIP, but we wanted to give the community an idea about our approach, its benefits, and various use cases it unlocks. Today, VMs are used to host containers, and make up for the lack of strong security as well as kernel isolation in containers. This work adds this missing security piece in containers. We plan on launching a free private beta soon. Meanwhile, we'd deeply appreciate any feedback, and happy to answer any questions here or on our slack channel. Thanks! April 29, 2021 at 07:50AM
Comments