Email or username:

Password:

Forgot your password?
Top-level
max22-

@neauoire what about interaction nets in hardware ? (found here : twitter.com/VictorTaelin/statu)
I don't know how it works but i am mesmerized by this little circuit. ☺️

A circuit built with logic gates and a lot of wires, of different colors
19 comments
max22-

@neauoire me when i try to read some articles

Devine Lu Linvega

@maxime_andre yeah these articles suck, I'm always just like "GIVE ME THE LISP VERSION" so I can get on with my life

max22-

@neauoire it is related to interaction networks ?

Devine Lu Linvega

@maxime_andre for interaction nets, I'd be like "SHOW ME THE HASKELL VERSION" so I can get on with my life.. same difference.

max22-

@neauoire what ? you don't like that kind of stuff ? 😂

max22- replied to Devine Lu Linvega

@neauoire btw, what have you done with interaction nets ?

Devine Lu Linvega replied to max22-

@maxime_andre I've tried to implement Lamping's graph reduction in uxntal, I've noodled with pretty much every one of these programs: github.com/HigherOrderCO/Wikin

I've ran their little webserver thing and got the tictactoe program to show

Devine Lu Linvega replied to Devine Lu Linvega

@maxime_andre I'm only superficially interested in this stuff, I mean, it's cool and everything -- I like to read about alternative ways of doing combinatory logic, I'm always looking for things that I couldn't do in uxn, that I might draw inspiration from. I think I also just like running these types of programs that are easy to reflect about.

I think so far, the most accessible implementation of interaction net is Inpla, I've been thinking about making a visual editor for it.

max22- replied to Devine Lu Linvega

@neauoire yes this morning during breakfast 😂 . and another time a couple of weeks ago iirc (or maybe it was another paper, but related to inpla)

Devine Lu Linvega replied to max22-

@maxime_andre When I read it, I was like okay, I need a graphical editor for this. It'll be so nice to see the graph instead of using textual representation, for once, this would make sense.

A lot of folks are interested in flow-based programming but mapping over non-structural programming, this would be the ideal candidate.

Devine Lu Linvega replied to Devine Lu Linvega

@maxime_andre Just stumbled on a pdf that is basically a focused version of Shinya's chapter 5(LL0) implementation!
arxiv.org/pdf/1505.07164.pdf

max22- replied to Devine Lu Linvega

@neauoire ah yes this one is more readable :)
i think i have seen one by Ian Mackie which was quite cool too, but i can't find it anymore... :(

max22- replied to Devine Lu Linvega

@neauoire ok ok, on my side i've tried to implement the graph reduction too, but i have not played with the examples. I'd like to understand how it works, and build my little toy. I've managed to calculate 2^2, 2+2 in church encoding, but it starts to be a little boring. I've not implemented the inet -> lambda translation to show the result.

Go Up