3 ms·

Λ-2D: Exploration of Drawing as Programming Language, Ideas from Lambda Calculus

6 points by detaro 5y ago

breck 5y ago
Interesting work. The "animated run" feature is beautiful. The language resembles https://esolangs.org/wiki/Funciton https://esolangs.org/wiki/Funciton
sargstuff 5y ago
Warning: Bit of a 'Hitch hikers guide to the galaxy"/conway game of life yak shave for a reply. Nice start to providing a simple way to visually interact/experiment/manipulate different multiple Neural network concepts by loading/transforming any traditional code (working or not) & reshuffling/tesselating the structual representation of the code to generate a turing tape path via color execution paths. Switching to pi calculus could provide the theory to support coroutine/coprossing/ threading" multiple interacting tape paths/color combinations/path diffs/scaled recusion to perform assembly language instructions. Raster graphics without the yak ( https://verdagon.dev/blog/yak-shave-language-engine-game https://verdagon.dev/blog/yak-shave-language-engine-game ) Feed back between tape & "traditional code" as neural network layer(s)! Flexiable code (via tessilations) without changing the actual imported source code! So, complete svg (tape interactions) web page as code source on how to interact with web page, ( https://www.youtube.com/watch?v=r6sGWTCMz2k https://www.youtube.com/watch?v=r6sGWTCMz2k ) what's displayed/played, documentation & usage manual included within code structure! Unicode permits implied piping rich kern font without all the tech fluff. Unicode fails because allows infinate multics and is there for k&r incomplete. But, this approach is way more dimensional/colorful than unicode/tech stuff. ?? can one's code unintentially provide a wordle problem & solution in one package ?? (https://www.youtube.com/watch?v=v68zYyaEmEA https://www.youtube.com/watch?v=v68zYyaEmEA ) ?? turing complete fourier transforms https://www.youtube.com/watch?v=spUNpyF58BY https://www.youtube.com/watch?v=spUNpyF58BY toolkit concepts: Neural networks / analog stuff : https://www.youtube.com/watch?v=GVsUOuSjvcg perceptrons: https://www.youtube.com/watch?v=GVsUOuSjvcg spreadsheets (: https://www.youtube.com/watch?v=UBX2QQHlQ_I (turing spreadsheets -> https://www.felienne.com/archives/2974 ) https://www.quantamagazine.org/the-busy-beaver-game-illuminates-the-fundamental-limits-of-math-20201210/ BB theory : https://www.scottaaronson.com/papers/bb.pdf BB(8000) : https://scottaaronson.blog/?p=2725 #### electrons do not spin -> https://www.youtube.com/watch?v=pWlk1gLkF2Y #### prime number spirals -> https://www.youtube.com/watch?v=EK32jo7i5LQ #### modular arithmetic : https://www.youtube.com/watch?v=lJ3CD9M3nEQ speed things up : https://github.com/vqd8a/DFAGE Can this approach be used to classify programs as contributing to verifying 'Hichiker's Guide to the Galaxy' universal answer to 42 or must 42 be qualified as an imaginary number?

6 points by detaro 5y ago

Interesting work. The "animated run" feature is beautiful. The language resembles https://esolangs.org/wiki/Funciton https://esolangs.org/wiki/Funciton

sargstuff 5y ago

Warning: Bit of a 'Hitch hikers guide to the galaxy"/conway game of life yak shave for a reply. Nice start to providing a simple way to visually interact/experiment/manipulate different multiple Neural network concepts by loading/transforming any traditional code (working or not) & reshuffling/tesselating the structual representation of the code to generate a turing tape path via color execution paths. Switching to pi calculus could provide the theory to support coroutine/coprossing/ threading" multiple interacting tape paths/color combinations/path diffs/scaled recusion to perform assembly language instructions. Raster graphics without the yak ( https://verdagon.dev/blog/yak-shave-language-engine-game https://verdagon.dev/blog/yak-shave-language-engine-game ) Feed back between tape & "traditional code" as neural network layer(s)! Flexiable code (via tessilations) without changing the actual imported source code! So, complete svg (tape interactions) web page as code source on how to interact with web page, ( https://www.youtube.com/watch?v=r6sGWTCMz2k https://www.youtube.com/watch?v=r6sGWTCMz2k ) what's displayed/played, documentation & usage manual included within code structure! Unicode permits implied piping rich kern font without all the tech fluff. Unicode fails because allows infinate multics and is there for k&r incomplete. But, this approach is way more dimensional/colorful than unicode/tech stuff. ?? can one's code unintentially provide a wordle problem & solution in one package ?? (https://www.youtube.com/watch?v=v68zYyaEmEA https://www.youtube.com/watch?v=v68zYyaEmEA ) ?? turing complete fourier transforms https://www.youtube.com/watch?v=spUNpyF58BY https://www.youtube.com/watch?v=spUNpyF58BY toolkit concepts: Neural networks / analog stuff : https://www.youtube.com/watch?v=GVsUOuSjvcg perceptrons: https://www.youtube.com/watch?v=GVsUOuSjvcg spreadsheets (: https://www.youtube.com/watch?v=UBX2QQHlQ_I (turing spreadsheets -> https://www.felienne.com/archives/2974 ) https://www.quantamagazine.org/the-busy-beaver-game-illuminates-the-fundamental-limits-of-math-20201210/ BB theory : https://www.scottaaronson.com/papers/bb.pdf BB(8000) : https://scottaaronson.blog/?p=2725 #### electrons do not spin -> https://www.youtube.com/watch?v=pWlk1gLkF2Y #### prime number spirals -> https://www.youtube.com/watch?v=EK32jo7i5LQ #### modular arithmetic : https://www.youtube.com/watch?v=lJ3CD9M3nEQ speed things up : https://github.com/vqd8a/DFAGE Can this approach be used to classify programs as contributing to verifying 'Hichiker's Guide to the Galaxy' universal answer to 42 or must 42 be qualified as an imaginary number?