xyheme

15 ms·

31.
by xyheme 3y ago
> About the game of life. In the paper "Interaction Nets" ( https://github.com/cicada-lang/inet/blob/master/docs/referen... ), there is an example of 1-dimensional Cellular Automata. (S
32.
by xyheme 3y ago
I plan to do multiple implementations of iNet too. If you made an implementation, I will make a list of implementations in the homepage ( https://inet.run ), and add your implementation to the list :) ------ I do not know much a
33.
by xyheme 3y ago
It feels really like Prolog, specially the `DiffList` example. ------ > They definitely both share the distinctions of principal ports v.s. auxiliary ports. Version (1) and (2) both have principal ports v.s. auxiliary ports. But only (1)
34.
by xyheme 3y ago
Thanks for the info. My current plan is to programming with interaction nets directly, and to view Lamping's "optimal lambda calculus reduction" as an example. I have not read Lamping's paper yet. But if it uses "In
35.
by xyheme 3y ago
Thanks everybody, your feedback and replys make me feel less lonely, I really appreciate it.
36.
by xyheme 3y ago
Thanks for your reply :) It makes me want to learn more about quantum computing. The foundational paper about interaction nets is published in 1990. ( https://github.com/cicada-lang/inet/blob/master/docs&#
37.
by xyheme 3y ago
Thanks for your example! I think I have just caught the first user of this little language :) It is amazing that you can understand the language simply by my minimal amount of docs, and write this non-trivial example. I will study your exam
38.
by xyheme 3y ago
SCXML actually stands for State Chart XML: State Machine Notation for Control Abstraction! I get excited whenever I see "State" and "Notation" in one sentence. I learn about state-based language from the language Forth:
39.
by xyheme 3y ago
Thanks for your reply. I think you are right about the rules, just expressing them in a different way, not by local interaction between neighboring nodes, but by first-order logic! When we add 2 (S(S(0))) and 3 (S(S(S(0)))). I think we star
40.
by xyheme 3y ago
Thanks for your advice :) I should improve the graphic design. If I tell you the process of designing it, you may laugh at me. The situation is when I am not sure about how to design some graphic, I just put a square button at some corner t
41.
by xyheme 3y ago
It is true that I am not clear about how should I put this idea to practical usage. And I was also deeply puzzled when I first read Lafont's paper "Interaction Nets" (a paper publish at 1990!) > What unique about this comp
42.
by xyheme 3y ago
happy to see you like it :)
43.
Show HN: iNet – A programming language for interaction nets(inet.run)
67 points by xyheme 3y ago|39 comments
44.
A program to draw analytic geometry graphs on canvas(github.com)
2 points by xyheme 3y ago|0 comments
45.
by xyheme 3y ago
Source code: https://github.com/readonlylink/readonlylink
46.
Show HN: An open source pure front end readonly Markdown blog render for hackers(readonly.link)
1 points by xyheme 3y ago|2 comments
47.
by xyheme 4y ago
English Manual: https://readonly.link/manuals/https://readonly.link/contents...
48.
Show HN: Readonly.Link – open-source content rendering, for books and manuals(github.com)
1 points by xyheme 4y ago|1 comments
49.
An Implementation of Interaction Nets in JavaScript(github.com)
1 points by xyheme 5y ago|0 comments
50.
Cicada Language(cicada-lang.org)
3 points by xyheme 5y ago|0 comments
51.
Readonly.link: I share a tool I write for sharing docs(readonly.link)
1 points by xyheme 5y ago|0 comments
52.
by xyheme 5y ago
not related
53.
Show HN: Embedding a Prolog-like logic programming language in JavasScript(github.com)
7 points by xyheme 5y ago|0 comments
54.
Show HN: A JavaScript schema checker which can return well typed results(github.com)
1 points by xyheme 5y ago|0 comments
55.
Show HN: A framework for building Markdown extensions(github.com)
1 points by xyheme 5y ago|2 comments