Live data from Hacker News

Λ-2D: An Exploration of Drawing as Programming Language

media.mit.edu

51–58 of 58 posts

Re: Λ-2D: An Exploration of Drawing as Programming Language

#51
post #2

> Technically the language is Turing complete at this point, but will be excruciatingly laborious to use, violating my design rule #2. I stopped at step #1 with my Lambda Diagrams [1]. The bottom of that page links to all other graphical lambda calculus notations I know of (just added this one). [1] https://tromp.github.io/cl/diagrams.html

I think you missed "Alligator Eggs"!

https://worrydream.com/AlligatorEggs/

Re: Λ-2D: An Exploration of Drawing as Programming Language

#52
post #18

Reminds me of the 1987 “Wireworld”, of course Wikipedia has an article [1]. I’ve seen 8-bit counters implemented in wireworld, which is quite something, though this looks a bit more … succinct. [1]: https://en.wikipedia.org/wiki/Wireworld

I find Zach(tronics)'s take on this in KOHCTPYKTOP much more pleasing somehow. Of course, it's difficult to play now, since the webpage [1], and steam version relied on flash, and you have to fiddle with a 3rd party flash reimplementation. But its implementation of semiconductor behaviour is much better than wireworld's. [1] https://www.zachtronics.com/kohctpyktop-engineer-of-the-peop...

There's a newer version of this in Last Call BBS called Chip Wizard. Much smaller grid makes for more puzzlyness.

Re: Λ-2D: An Exploration of Drawing as Programming Language

#54
post #51
post #2

> Technically the language is Turing complete at this point, but will be excruciatingly laborious to use, violating my design rule #2. I stopped at step #1 with my Lambda Diagrams [1]. The bottom of that page links to all other graphical lambda calculus notations I know of (just added this one). [1] https://tromp.github.io/cl/diagrams.html

I think you missed "Alligator Eggs"! https://worrydream.com/AlligatorEggs/

added...

Re: Λ-2D: An Exploration of Drawing as Programming Language

#56
post #2

> Technically the language is Turing complete at this point, but will be excruciatingly laborious to use, violating my design rule #2. I stopped at step #1 with my Lambda Diagrams [1]. The bottom of that page links to all other graphical lambda calculus notations I know of (just added this one). [1] https://tromp.github.io/cl/diagrams.html

BTW, Firefox' built in translation feature asked if I wanted to translate that page from Greek.

Which means you can now claim that your language made a browser say "It's all Greek to me!", which is a pretty cool achievement I think.

Post reply on HN