< 1545004802 45252 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Quit: ZNC 1.6.6+deb1ubuntu0.1 - http://znc.in < 1545004822 314928 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1545004824 193932 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu PRIVMSG #esoteric :] 4^5 < 1545004831 925733 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu PRIVMSG #esoteric :j-bot: 4^5 < 1545004832 489482 :j-bot!eldis4@firefly.nu PRIVMSG #esoteric :b_jonas: 1024 < 1545004837 310616 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu PRIVMSG #esoteric :whatever is its short invocation < 1545004840 137040 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu PRIVMSG #esoteric :) 4^5 < 1545004982 505869 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu PRIVMSG #esoteric :[ 4^5 < 1545004983 181575 :j-bot!eldis4@firefly.nu PRIVMSG #esoteric :b_jonas: 1024 < 1545004984 251986 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu PRIVMSG #esoteric :( 4^5 < 1545005042 160184 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :what's the graph analogue of the lambda calculus, I wonder. I know what it means to apply a term tree to another term tree (like function application), but I don't know of something like that for arbitrary graphs. < 1545005373 814662 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :reason I'm wondering is because I'm looking for a model of computation that closely resembles some "natural" form of knowledge, and graphs are able to represent knowledge pretty easily via the semantic network concept. < 1545005835 189154 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :though I'm open to other forms of knowledge representation... graphs get weird. < 1545006121 848583 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1545007932 649436 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1545007970 677221 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545008601 972857 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :maybe graph grammars will point me in the right direction.. < 1545008873 163023 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :there's an internal struggle in me. on the one hand, I want a graph-based model of computation that features no variables that I can use to encode knowledge and model stuff. on the other hand, I acknowledge that anything that looks like it will probably look like some variant of combinatory logic. < 1545008957 125245 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu PRIVMSG #esoteric :imode: you do know about Eodermdrone. although that does contain variables, namely captures < 1545009084 140398 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :yeah... I thought "well, what if we could take graphs and "apply them" to other graphs to derive new graphs according to some rules." but that'd just lead to combinators, with your "base graph" and the method of combining two graphs being two combinators, and any given graph is just a different set of applications. < 1545009221 344103 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :like it'd be nice to take, for example, some subgraphs encoding facts, and another subgraph encoding some set of derivation rules, mash 'em together and get a set of derived facts. < 1545009235 792241 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :but the actual structure of those applications is combinatoric. < 1545010220 597373 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :perhaps I have to accept that everything reduces to some combinator set. < 1545011574 893403 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :curry was a genius. < 1545012288 441885 :nfd9001!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net JOIN :#esoteric < 1545012417 703307 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net QUIT :Ping timeout: 250 seconds < 1545012461 210674 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1545015051 847492 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu QUIT :Quit: leaving < 1545015136 207677 :nchambers!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1545015715 353753 :S_Gautam!uid286066@gateway/web/irccloud.com/x-mskhmzztrluyabji QUIT :Quit: Connection closed for inactivity < 1545016968 251459 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :Problem: Does a class of graph grammars exist such that each grammar does not admit free or bound variables on either the Left-Hand Side or Right-Hand Side and is also Turing Complete? < 1545017328 753746 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds < 1545017364 695191 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric > 1545020805 782165 PRIVMSG #esoteric :14[[07Your Pong May Minsky14]]4 10 02https://esolangs.org/w/index.php?diff=58742&oldid=55875 5* 03Chris Pressey 5* (-23) 10No one has complained, which means the proof must be okay, that's how it works right? < 1545021647 255882 :nodist!~nodist@pool-74-108-144-93.nycmny.fios.verizon.net JOIN :#esoteric > 1545021925 701607 PRIVMSG #esoteric :14[[07Talk:The Waterfall Model14]]4 10 02https://esolangs.org/w/index.php?diff=58743&oldid=55865 5* 03Chris Pressey 5* (+814) 10Sketch of computable real making sub-TC language into TC < 1545022021 501139 :nodist!~nodist@pool-74-108-144-93.nycmny.fios.verizon.net QUIT :Quit: Leaving < 1545023384 229388 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@metar lowi < 1545023385 565813 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 170450Z VRB01KT 9999 FEW007 BKN200 M04/M05 Q1018 R08/19//95 NOSIG < 1545023400 648779 :doesthiswork1!~Adium@131.191.115.81 QUIT :Quit: Leaving. < 1545024890 2981 :hexfive!~hexfive@50-46-222-150.evrt.wa.frontiernet.net JOIN :#esoteric < 1545024893 528276 :nchambers!~nchambers@learnprogramming/staff/nchambers NICK :Rudolph < 1545026197 665535 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Ping timeout: 250 seconds < 1545026246 451078 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 250 seconds < 1545026259 873346 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Ping timeout: 252 seconds < 1545026361 567371 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1545026554 297100 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric < 1545026562 969992 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1545027507 294292 :nfd9001!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net QUIT :Ping timeout: 240 seconds < 1545027799 982911 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1545030838 42441 :S_Gautam!uid286066@gateway/web/irccloud.com/x-nerczfetbwfkyfcb JOIN :#esoteric < 1545033711 629172 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 250 seconds < 1545034959 259859 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1545035102 317477 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1545035117 769193 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545035153 955776 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1545036016 394746 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric < 1545036366 410109 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 244 seconds < 1545037356 329510 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru JOIN :#esoteric < 1545038374 125270 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 JOIN :#esoteric < 1545038617 732123 :S_Gautam!uid286066@gateway/web/irccloud.com/x-nerczfetbwfkyfcb QUIT :Quit: Connection closed for inactivity < 1545038641 817064 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :imode: re. graph grammers, I was wondering if L-systems are applicable to your search? I was recently trying to find out the relationship between Lsystems and cellular automata, and there are numerous papers not readily readable on the subject, I couldn't find a straight answer. I think they can be used to implement automata rules < 1545038664 635512 :S_Gautam!uid286066@gateway/web/irccloud.com/x-rvbepgtpnkfabfqu JOIN :#esoteric < 1545038716 247551 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :searching just now how L-systems relate to graphs I found this interesting book chapter of L-systems, graphs, and Super Mario Bros level design: http://pcgbook.com/wp-content/uploads/chapter05.pdf < 1545040244 237082 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric < 1545040488 678489 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1545040524 869450 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545041608 860583 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1545041624 958341 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545044345 281693 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 QUIT :Quit: Page closed < 1545047017 682209 :S_Gautam!uid286066@gateway/web/irccloud.com/x-rvbepgtpnkfabfqu QUIT :Quit: Connection closed for inactivity < 1545047878 258682 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 245 seconds > 1545048063 729601 PRIVMSG #esoteric :14[[07Hieroglyphic14]]4 10 02https://esolangs.org/w/index.php?diff=58744&oldid=46401 5* 03Salpynx 5* (+849) 10format command list > 1545048699 904979 PRIVMSG #esoteric :14[[07Hieroglyphic14]]4 10 02https://esolangs.org/w/index.php?diff=58745&oldid=58744 5* 03Salpynx 5* (+152) 10attempt to clarify commands based on example usage > 1545049610 749836 PRIVMSG #esoteric :14[[07Your Pong May Minsky14]]4 M10 02https://esolangs.org/w/index.php?diff=58746&oldid=58742 5* 03Chris Pressey 5* (+18) 10 > 1545049731 477514 PRIVMSG #esoteric :14[[07Hieroglyphic14]]4 M10 02https://esolangs.org/w/index.php?diff=58747&oldid=58745 5* 03Salpynx 5* (+0) 10/* Syntax */ correct diacritic < 1545053802 637657 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be JOIN :#esoteric < 1545055228 651281 :doesthiswork!~Adium@131.191.115.81 JOIN :#esoteric < 1545056462 308242 :S_Gautam!uid286066@gateway/web/irccloud.com/x-mhqanxvakkcrjnqo JOIN :#esoteric < 1545058221 244543 :sleepnap!~thomas@2603:3015:260e:1900::13ed JOIN :#esoteric < 1545059373 647165 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be QUIT :Ping timeout: 250 seconds < 1545059523 460140 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 244 seconds < 1545060592 811476 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 268 seconds < 1545060619 466365 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1545060984 423807 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1545061966 372665 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru QUIT :Quit: gone completely :o < 1545062179 987275 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru JOIN :#esoteric < 1545062282 330481 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1545062726 842143 :AnotherTest!~turingcom@ptr-82l26zcjpltykrbgmmx.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1545063601 838619 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1545063637 484584 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545063731 529369 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1545063745 307563 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545064826 200765 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru QUIT :Quit: gone completely :o < 1545064834 196918 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru JOIN :#esoteric < 1545064851 921717 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru QUIT :Read error: Connection reset by peer < 1545065304 966032 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru JOIN :#esoteric > 1545065453 421649 PRIVMSG #esoteric :14[[07Talk:Your Pong May Minsky14]]4 10 02https://esolangs.org/w/index.php?diff=58748&oldid=55880 5* 03Chris Pressey 5* (+519) 10/* Continuous waterfalls */ > 1545066262 829122 PRIVMSG #esoteric :14[[07Talk:Your Pong May Minsky14]]4 M10 02https://esolangs.org/w/index.php?diff=58749&oldid=58748 5* 03Chris Pressey 5* (+1) 10/* Continuous waterfalls */ < 1545068060 994166 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru QUIT :Quit: gone completely :o < 1545069645 1364 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru JOIN :#esoteric < 1545070091 271939 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1545070396 369264 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1545071053 313386 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 245 seconds < 1545072196 398376 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru QUIT :Quit: gone completely :o < 1545072205 243316 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru JOIN :#esoteric < 1545072298 248505 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545072478 850657 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1545072817 757475 :S_Gautam!uid286066@gateway/web/irccloud.com/x-mhqanxvakkcrjnqo QUIT :Quit: Connection closed for inactivity < 1545073381 407563 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1545073674 168330 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru QUIT :Quit: gone completely :o < 1545073736 252344 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru JOIN :#esoteric < 1545074063 666723 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.3 < 1545074071 202542 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu JOIN :#esoteric < 1545074362 760594 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`olist 1149 < 1545074364 26855 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :olist 1149: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1545074499 158288 :sleepnap!~thomas@2603:3015:260e:1900::13ed QUIT :Ping timeout: 268 seconds < 1545075318 553523 :sleepnap!~thomas@2603:3015:260e:1900::13ed JOIN :#esoteric < 1545077252 895924 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru QUIT :Quit: gone completely :o < 1545077261 249094 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru JOIN :#esoteric < 1545080251 19195 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :makefile:84: *** unterminated variable reference. Stop. < 1545080264 4918 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :Augh < 1545080327 165009 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :I hate how makefile syntax and bash syntax interact in unhelpful ways < 1545080373 570648 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :does make really need to use $ for its variable sigil? < 1545080408 925277 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :if make used say : or something then there would be no issue < 1545083169 540266 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Ping timeout: 252 seconds < 1545083824 162084 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1545084007 429344 :Rudolph!~nchambers@learnprogramming/staff/nchambers QUIT :Ping timeout: 240 seconds < 1545085342 259093 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1545085637 50614 :S_Gautam!uid286066@gateway/web/irccloud.com/x-qluepmahkzdrfrxa JOIN :#esoteric < 1545086187 906146 :AnotherTest!~turingcom@ptr-82l26zcjpltykrbgmmx.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1545086554 689909 :sleepnap!~thomas@2603:3015:260e:1900::13ed PART :#esoteric < 1545088242 884413 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? 25770 < 1545088244 48265 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :25770? ¯\(°​_o)/¯ < 1545088423 81699 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? 25772 < 1545088424 189950 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :25772? ¯\(°​_o)/¯ < 1545088424 456323 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? 25771 < 1545088425 631176 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :25771? ¯\(°​_o)/¯ < 1545088433 185338 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? 25773 < 1545088434 433805 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :25773? ¯\(°​_o)/¯ < 1545088451 313826 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :ZSTTE < 1545088759 670490 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1545090171 91512 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :#!/usr/bin/perl -CS < 1545090171 254069 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :use utf8; < 1545090172 17904 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :print chr(0x2571+int(rand(2))) while 1; < 1545090717 357912 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :is that the maze drawer. > 1545091027 174665 PRIVMSG #esoteric :14[[07Talk:The Waterfall Model14]]4 10 02https://esolangs.org/w/index.php?diff=58750&oldid=58743 5* 03Ais523 5* (+945) 10/* Waterclocks over the reals */ r to Chris Pressey: a concrete example of a language with this property < 1545091084 224756 :arseniiv!~arseniiv@77.79.143.174.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds > 1545091100 54697 PRIVMSG #esoteric :14[[07Talk:The Waterfall Model14]]4 10 02https://esolangs.org/w/index.php?diff=58751&oldid=58750 5* 03Ais523 5* (+110) 10clarify where my reply is going, rather than dumping a bunch of statements with no context