New Show Hacker News story: Show HN: First Working Interpreter

Show HN: First Working Interpreter
2 by dmounta | 0 comments on Hacker News.
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!

Comments

Post a Comment

Popular posts from this blog

New Show Hacker News story: Show HN: Sora, Personal Publishing Platform

Show HN: Sora, Personal Publishing Platform 10 by chrispuska | 3 comments on Hacker News. We wanted to create, to express ourselves without being judged either by strangers or some algorithm. We wanted our own space on the internet, where our photos and words would matter. So we started to build an app that can showcase our content, without having to pick a platform. You can use Sora to publish a few different content types. - Blog - Polaroid - Poster - Microblog You can either display them all on your Sora profile as a summary (like mine https://ift.tt/x8oP2en ), or put any of them forward for the world to see. We plan to run this app for a long time and looking for feedback, so let us know what you think! (feedback@sora.city, or link on website) --- Our stack today is Node, Typescript, NextJS, atomic CSS, with everything stored on Supabase.
Read more

New Show Hacker News story: Show HN: KrotoDC – gRPC in Kotlin with Dataclasses

Show HN: KrotoDC – gRPC in Kotlin with Dataclasses 2 by mscheong | 0 comments on Hacker News. - A protoc plugin data class generator that can be used as a substitute for existing Java protobuf classes that need to be constructed by a builder (which isn't very kotlin-ish). - generates coroutine service base and stubs that use the generated classes as request/response types, allowing you to completely avoid using Java classes. - Since it also generates converter extension functions between the generated types and Java types, you can still easily use protobuf-specific features such as serialization. - Additionally provides Kotlin-specific features (optional fields as nullable, oneof fields as sealed classes).
Read more