< 1697417293 850470 :GreenHat!~greenhat@82.sub-174-215-177.myvzw.com QUIT :Quit: Quit < 1697417779 524750 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 245 seconds < 1697417824 497551 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1697420305 600155 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1697425731 718706 :FortyTwoBB!~FortyTwoB@97-120-159-76.ptld.qwest.net QUIT :Quit: Client closed < 1697430802 792898 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Can nonzero scalar multiplication with monads with category of matrices? < 1697443362 233389 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1697443489 746370 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I feel that that question is missing a verb and perhaps a few other words. < 1697443943 313980 :mcfrdy!~mcfrdy@user/mcfrdy QUIT :Ping timeout: 255 seconds < 1697443963 919152 :mcfrdy!~mcfrdy@user/mcfrdy JOIN #esolangs mcfrdy :mcfrdy < 1697443997 439370 :V!~v@ircpuzzles/2022/april/winner/V QUIT :Ping timeout: 255 seconds < 1697444037 828696 :V!~v@ircpuzzles/2022/april/winner/V JOIN #esolangs V :Wie? < 1697445870 441273 :arseniiv!~arseniiv@188.64.15.98 JOIN #esolangs arseniiv :the chaotic arseniiv < 1697446590 271147 :Koen!~Koen@i19-lef01-ix2-176-180-86-149.dsl.dyn.abo.bbox.fr JOIN #esolangs * :Koen < 1697446945 282820 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1697447007 614063 :cpressey!~cpressey@host-92-21-195-194.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey > 1697454634 36797 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=117938&oldid=117904 5* 03None1 5* (+428) 10/* Commands */ > 1697454778 20016 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=117939&oldid=117938 5* 03None1 5* (+176) 10 > 1697454960 656105 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=117940&oldid=117939 5* 03None1 5* (+322) 10 > 1697455371 119488 PRIVMSG #esolangs :14[[07StringSafunge14]]4 N10 02https://esolangs.org/w/index.php?oldid=117941 5* 03None1 5* (+377) 10Created page with "StringSafunge id an esolang created by [[User:None1]], it is [[Befunge]]-93, but string-save in most languages. ==Commands== {| class="wikitable" |+ Commands that are different in StringSafunge and Befunge-93 |- ! In StringSafunge !! In Befunge-93 |- | a || \ |- | b > 1697455407 213557 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=117942&oldid=117898 5* 03None1 5* (+55) 10/* My Esolangs */ > 1697455557 426662 PRIVMSG #esolangs :14[[07StringSafunge14]]4 M10 02https://esolangs.org/w/index.php?diff=117943&oldid=117941 5* 03None1 5* (-7) 10 > 1697455574 415028 PRIVMSG #esolangs :14[[07StringSafunge14]]4 M10 02https://esolangs.org/w/index.php?diff=117944&oldid=117943 5* 03None1 5* (+0) 10 > 1697455903 398696 PRIVMSG #esolangs :14[[07Hrdfsh14]]4 M10 02https://esolangs.org/w/index.php?diff=117945&oldid=52974 5* 03PythonshellDebugwindow 5* (+24) 10Category < 1697458474 845514 :Koen!~Koen@i19-lef01-ix2-176-180-86-149.dsl.dyn.abo.bbox.fr QUIT :Remote host closed the connection > 1697460285 426851 PRIVMSG #esolangs :14[[07Hardfish14]]4 M10 02https://esolangs.org/w/index.php?diff=117946&oldid=108529 5* 03None1 5* (+34) 10/* Interpreter */ > 1697460294 276972 PRIVMSG #esolangs :14[[07Hardfish14]]4 M10 02https://esolangs.org/w/index.php?diff=117947&oldid=117946 5* 03None1 5* (+0) 10/* Interpreter */ > 1697460322 611030 PRIVMSG #esolangs :14[[07Hrdfsh14]]4 M10 02https://esolangs.org/w/index.php?diff=117948&oldid=117945 5* 03None1 5* (+34) 10/* Computational class */ > 1697460543 607687 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=117949&oldid=117940 5* 03None1 5* (+261) 10/* Commands */ > 1697460717 748780 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=117950&oldid=117949 5* 03None1 5* (+203) 10 > 1697460732 404134 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 M10 02https://esolangs.org/w/index.php?diff=117951&oldid=117950 5* 03None1 5* (+0) 10/* Comments */ < 1697460795 807808 :Koen!~Koen@i19-lef01-ix2-176-180-86-149.dsl.dyn.abo.bbox.fr JOIN #esolangs * :Koen > 1697460898 546698 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=117952&oldid=117951 5* 03None1 5* (+109) 10 > 1697460919 842193 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=117953&oldid=117952 5* 03None1 5* (+37) 10/* I/O */ > 1697460944 39933 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 M10 02https://esolangs.org/w/index.php?diff=117954&oldid=117953 5* 03None1 5* (+6) 10/* Cat program */ > 1697461009 482804 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=117955&oldid=117954 5* 03None1 5* (+69) 10/* Example programs */ > 1697461080 97736 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 M10 02https://esolangs.org/w/index.php?diff=117956&oldid=117955 5* 03None1 5* (+49) 10/* Example programs */ > 1697463488 237296 PRIVMSG #esolangs :14[[07B2C14]]4 M10 02https://esolangs.org/w/index.php?diff=117957&oldid=117925 5* 03None1 5* (-74) 10/* Example Programs */ Now there is an interpreter to verify programs > 1697463695 756879 PRIVMSG #esolangs :14[[07B2C14]]4 M10 02https://esolangs.org/w/index.php?diff=117958&oldid=117957 5* 03None1 5* (+411) 10 < 1697463749 817436 :cpressey!~cpressey@host-92-21-195-194.as13285.net QUIT :Quit: Client closed > 1697464034 534880 PRIVMSG #esolangs :14[[07B2C14]]4 10 02https://esolangs.org/w/index.php?diff=117959&oldid=117958 5* 03None1 5* (+35) 10/* External resources */ < 1697466920 278470 :GregorR!~GregorR@71.19.155.102 QUIT :Ping timeout: 255 seconds < 1697467580 612989 :cpressey!~cpressey@host-92-21-195-194.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1697470161 391468 :GregorR!~GregorR@71.19.155.102 JOIN #esolangs GregorR :Gregor Richards < 1697470428 388046 :Koen!~Koen@i19-lef01-ix2-176-180-86-149.dsl.dyn.abo.bbox.fr QUIT :Remote host closed the connection < 1697470732 942775 :cpressey!~cpressey@host-92-21-195-194.as13285.net QUIT :Quit: Client closed < 1697472313 257101 :Koen!~Koen@4cb54-h01-176-145-70-160.dsl.sta.abo.bbox.fr JOIN #esolangs * :Koen < 1697472744 615332 :cpressey!~cpressey@host-92-10-148-105.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1697474431 531719 :Koen!~Koen@4cb54-h01-176-145-70-160.dsl.sta.abo.bbox.fr QUIT :Quit: Leaving... > 1697475026 154248 PRIVMSG #esolangs :14[[078xn14]]4 10 02https://esolangs.org/w/index.php?diff=117960&oldid=116286 5* 03Infinitehexagon 5* (+28) 10 > 1697475037 130425 PRIVMSG #esolangs :14[[078xn14]]4 10 02https://esolangs.org/w/index.php?diff=117961&oldid=117960 5* 03Infinitehexagon 5* (-28) 10 < 1697477918 453690 :cpressey!~cpressey@host-92-10-148-105.as13285.net QUIT :Quit: Client closed > 1697478113 528052 PRIVMSG #esolangs :14[[07?14]]4 N10 02https://esolangs.org/w/index.php?oldid=117962 5* 03Jaip 5* (+2492) 10Created Article > 1697478284 385201 PRIVMSG #esolangs :14[[07User:Jaip14]]4 10 02https://esolangs.org/w/index.php?diff=117963&oldid=117130 5* 03Jaip 5* (+44) 10 > 1697478386 62103 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=117964&oldid=117891 5* 03Jaip 5* (+24) 10/* Non-alphabetic */ > 1697478483 440505 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=117965&oldid=117964 5* 03Jaip 5* (-16) 10/* Non-alphabetic */ > 1697478538 466796 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117966&oldid=117928 5* 03Jaip 5* (+5) 10 < 1697479807 649210 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a JOIN #esolangs Thelie :Thelie > 1697482271 912096 PRIVMSG #esolangs :14[[07Marble Machine14]]4 10 02https://esolangs.org/w/index.php?diff=117967&oldid=105583 5* 03Masalt 5* (+108) 10 > 1697482317 690931 PRIVMSG #esolangs :14[[07User:Masalt14]]4 10 02https://esolangs.org/w/index.php?diff=117968&oldid=105616 5* 03Masalt 5* (+14) 10 < 1697482591 846346 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Remote host closed the connection < 1697482649 459949 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1697483152 352014 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`w < 1697483154 549300 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​nostril//Nostril is a common Québécois greeting. > 1697483828 794488 PRIVMSG #esolangs :14[[07Woodchuck/Implementation14]]4 M10 02https://esolangs.org/w/index.php?diff=117969&oldid=93045 5* 03PythonshellDebugwindow 5* (+3) 10Back, category < 1697484179 549589 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a QUIT :Quit: Leaving. < 1697484434 671153 :arseniiv!~arseniiv@188.64.15.98 QUIT :Quit: gone too far < 1697484470 770420 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :(As far as I can tell, they will be made by an identity matrix multiplied by a scalar number and by an identity matrix divided by the same scalar number (therefore, it cannot be zero), that it is a "scalar monad", and that there is a comonad just as good as the monad, and the Kleisli category just as good as the original category, and that identity monads are also scalar monads (regardless of the category).) < 1697484527 585721 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Do you know what I meant, now? < 1697484658 630396 :cpressey!~cpressey@host-92-10-148-105.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1697488134 613739 :FortyTwoBB!~FortyTwoB@155.190.3.6 JOIN #esolangs * :[https://web.libera.chat] FortyTwoBB < 1697488168 379981 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :This still seems a bit like black magic to me, but you seem to be right. < 1697488168 841634 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :@ais523, can you confirm the final state of a FWC running the last example program in the interactive waterfall tutorial when it halts? < 1697488168 909156 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Unknown command, try @list < 1697488169 341227 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :I used your converter but my own (inefficient) implementation of FWCs < 1697488263 917255 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :My simulation has it stopping after 3989 floods with the first 23 clocks having the following values: < 1697488264 423870 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :2896, 2896, 2897, 2896, 2896, 2896, 2895, 2896, < 1697488264 924054 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :1, 1, 1, 19, 27, 3, 1, 0, 1, 1, 0, 19, 27, 3 < 1697488265 423232 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :Clocks 23, 34, and 40 holding nearly identical gigantic 770 digit numbers starting with 91521821... clock 23 being 2 less than the other two. < 1697488265 917499 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :Every other clock at zero. < 1697488296 892655 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :does this match what you get with yours? < 1697488297 392165 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :If so I think I'm convinced, even with not fully understanding the proof. < 1697488340 134710 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :(I'll check the logs later for a reply, though we really should work out a better system lol) < 1697488579 849476 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :the example waterclock program for reference: < 1697488580 342069 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :[[12,6,6,6,6,6,6], < 1697488580 840165 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs : [ 2,2,2,2,0,4,4], < 1697488581 346416 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs : [ 3,2,2,2,4,2,0], < 1697488581 840194 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs : [ 3,0,0,0,0,0,0], < 1697488582 340015 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs : [11,3,1,2,4,0,0], < 1697488582 841576 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs : [ 7,1,1,1,1,3,1], < 1697488583 350005 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs : [ 3,2,3,1,0,2,4]] < 1697489588 613691 :Europe2048!~Europe204@fableness-hydrant.volia.net JOIN #esolangs * :[https://web.libera.chat] Europe2048 < 1697489631 514399 :Europe2048!~Europe204@fableness-hydrant.volia.net PRIVMSG #esolangs :Anyone online? < 1697489810 2184 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :Oh, and also the issue with massacre girl in your ruby storm construction is with halting, however I think a special 'unwinding' clock can be used to absorb all of the death triggers and keep the other clocks alive so that you can actually move to combat, by doubling itself and adding triple its value to the other clocks it will always be the < 1697489810 498697 :FortyTwoBB!~FortyTwoB@155.190.3.6 PRIVMSG #esolangs :smallest and it will eventually be able to live all of the -1/-1 triggers. < 1697490852 887351 :cpressey!~cpressey@host-92-10-148-105.as13285.net QUIT :Quit: Client closed > 1697490915 33130 PRIVMSG #esolangs :14[[07Campbell14]]4 M10 02https://esolangs.org/w/index.php?diff=117970&oldid=92338 5* 03PythonshellDebugwindow 5* (+89) 10Stub, categories < 1697491203 272969 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1697491716 645642 :b_jonas!~x@89.134.28.176 PRIVMSG #esolangs :zzo38: no, you'll have to start over because I still can't parse what you're trying to say < 1697491719 755016 :Europe2048!~Europe204@fableness-hydrant.volia.net QUIT :Quit: Client closed < 1697492557 381041 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I meant by category of matrices, if a monad can be a identity matrix multiplied by a nonzero scalar to multiply the matrix by a scalar (so, it is commutative), and the Kleisli category just as good as the original category. (It cannot be zero because it has to be canceled out, by dividing by a scalar, and if it is zero then you would have to divide by zero, which is not allowed, of course.) < 1697492662 761165 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :(Although, multiplication by zero would correspond with the zero-morphisms, which, since 0 (number of rows or columns) is zero-object that the Initialize comonad and Finalize monad are effectively zero.) < 1697492697 420958 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :(although Initialize and Finalize are not scalar monads, so it is difference than the above) < 1697495282 773540 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1697496124 636850 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname < 1697496355 664766 :craigo_!~craigo@180-150-36-21.b49624.bne.nbn.aussiebb.net JOIN #esolangs * :realname < 1697496388 145032 :craigo!~craigo@user/craigo QUIT :Remote host closed the connection > 1697496542 241086 PRIVMSG #esolangs :14[[07Campbell14]]4 M10 02https://esolangs.org/w/index.php?diff=117971&oldid=117970 5* 03None1 5* (+29) 10/* Discussion */ < 1697499436 144759 :FortyTwoBB!~FortyTwoB@155.190.3.6 QUIT :Quit: Client closed