00:48:13 -!- GreenHat has quit (Quit: Quit).
00:56:19 -!- Lord_of_Life has quit (Ping timeout: 245 seconds).
00:57:04 -!- Lord_of_Life has joined.
01:38:25 -!- ais523 has quit (Quit: quit).
03:08:51 -!- FortyTwoBB has quit (Quit: Client closed).
04:33:22 <zzo38> Can nonzero scalar multiplication with monads with category of matrices?
08:02:42 -!- Sgeo has quit (Read error: Connection reset by peer).
08:04:49 <int-e> I feel that that question is missing a verb and perhaps a few other words.
08:12:23 -!- mcfrdy has quit (Ping timeout: 255 seconds).
08:12:43 -!- mcfrdy has joined.
08:13:17 -!- V has quit (Ping timeout: 255 seconds).
08:13:57 -!- V has joined.
08:44:30 -!- arseniiv has joined.
08:56:30 -!- Koen has joined.
09:02:25 -!- __monty__ has joined.
09:03:27 -!- cpressey has joined.
11:10:34 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=117938&oldid=117904 * None1 * (+428) /* Commands */
11:12:58 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=117939&oldid=117938 * None1 * (+176)
11:16:00 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=117940&oldid=117939 * None1 * (+322)
11:22:51 <esolangs> [[StringSafunge]] N https://esolangs.org/w/index.php?oldid=117941 * None1 * (+377) Created 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
11:23:27 <esolangs> [[User:None1]] https://esolangs.org/w/index.php?diff=117942&oldid=117898 * None1 * (+55) /* My Esolangs */
11:25:57 <esolangs> [[StringSafunge]] M https://esolangs.org/w/index.php?diff=117943&oldid=117941 * None1 * (-7)
11:26:14 <esolangs> [[StringSafunge]] M https://esolangs.org/w/index.php?diff=117944&oldid=117943 * None1 * (+0)
11:31:43 <esolangs> [[Hrdfsh]] M https://esolangs.org/w/index.php?diff=117945&oldid=52974 * PythonshellDebugwindow * (+24) Category
12:14:34 -!- Koen has quit (Remote host closed the connection).
12:44:45 <esolangs> [[Hardfish]] M https://esolangs.org/w/index.php?diff=117946&oldid=108529 * None1 * (+34) /* Interpreter */
12:44:54 <esolangs> [[Hardfish]] M https://esolangs.org/w/index.php?diff=117947&oldid=117946 * None1 * (+0) /* Interpreter */
12:45:22 <esolangs> [[Hrdfsh]] M https://esolangs.org/w/index.php?diff=117948&oldid=117945 * None1 * (+34) /* Computational class */
12:49:03 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=117949&oldid=117940 * None1 * (+261) /* Commands */
12:51:57 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=117950&oldid=117949 * None1 * (+203)
12:52:12 <esolangs> [[User:None1/InDev]] M https://esolangs.org/w/index.php?diff=117951&oldid=117950 * None1 * (+0) /* Comments */
12:53:15 -!- Koen has joined.
12:54:58 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=117952&oldid=117951 * None1 * (+109)
12:55:19 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=117953&oldid=117952 * None1 * (+37) /* I/O */
12:55:44 <esolangs> [[User:None1/InDev]] M https://esolangs.org/w/index.php?diff=117954&oldid=117953 * None1 * (+6) /* Cat program */
12:56:49 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=117955&oldid=117954 * None1 * (+69) /* Example programs */
12:58:00 <esolangs> [[User:None1/InDev]] M https://esolangs.org/w/index.php?diff=117956&oldid=117955 * None1 * (+49) /* Example programs */
13:38:08 <esolangs> [[B2C]] M https://esolangs.org/w/index.php?diff=117957&oldid=117925 * None1 * (-74) /* Example Programs */ Now there is an interpreter to verify programs
13:41:35 <esolangs> [[B2C]] M https://esolangs.org/w/index.php?diff=117958&oldid=117957 * None1 * (+411)
13:42:29 -!- cpressey has quit (Quit: Client closed).
13:47:14 <esolangs> [[B2C]] https://esolangs.org/w/index.php?diff=117959&oldid=117958 * None1 * (+35) /* External resources */
14:35:20 -!- GregorR has quit (Ping timeout: 255 seconds).
14:46:20 -!- cpressey has joined.
15:29:21 -!- GregorR has joined.
15:33:48 -!- Koen has quit (Remote host closed the connection).
15:38:52 -!- cpressey has quit (Quit: Client closed).
16:05:13 -!- Koen has joined.
16:12:24 -!- cpressey has joined.
16:40:31 -!- Koen has quit (Quit: Leaving...).
16:50:26 <esolangs> [[8xn]] https://esolangs.org/w/index.php?diff=117960&oldid=116286 * Infinitehexagon * (+28)
16:50:37 <esolangs> [[8xn]] https://esolangs.org/w/index.php?diff=117961&oldid=117960 * Infinitehexagon * (-28)
17:38:38 -!- cpressey has quit (Quit: Client closed).
17:41:53 <esolangs> [[?]] N https://esolangs.org/w/index.php?oldid=117962 * Jaip * (+2492) Created Article
17:44:44 <esolangs> [[User:Jaip]] https://esolangs.org/w/index.php?diff=117963&oldid=117130 * Jaip * (+44)
17:46:26 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=117964&oldid=117891 * Jaip * (+24) /* Non-alphabetic */
17:48:03 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=117965&oldid=117964 * Jaip * (-16) /* Non-alphabetic */
17:48:58 <esolangs> [[NONE]] https://esolangs.org/w/index.php?diff=117966&oldid=117928 * Jaip * (+5)
18:10:07 -!- Thelie has joined.
18:51:11 <esolangs> [[Marble Machine]] https://esolangs.org/w/index.php?diff=117967&oldid=105583 * Masalt * (+108)
18:51:57 <esolangs> [[User:Masalt]] https://esolangs.org/w/index.php?diff=117968&oldid=105616 * Masalt * (+14)
18:56:31 -!- Noisytoot has quit (Remote host closed the connection).
18:57:29 -!- Noisytoot has joined.
19:05:54 <HackEso> nostril//Nostril is a common Québécois greeting.
19:17:08 <esolangs> [[Woodchuck/Implementation]] M https://esolangs.org/w/index.php?diff=117969&oldid=93045 * PythonshellDebugwindow * (+3) Back, category
19:22:59 -!- Thelie has quit (Quit: Leaving.).
19:27:14 -!- arseniiv has quit (Quit: gone too far).
19:27:50 <zzo38> (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).)
19:28:47 <zzo38> Do you know what I meant, now?
19:30:58 -!- cpressey has joined.
20:28:54 -!- FortyTwoBB has joined.
20:29:28 <FortyTwoBB> This still seems a bit like black magic to me, but you seem to be right.
20:29:28 <FortyTwoBB> @ais523, can you confirm the final state of a FWC running the last example program in the interactive waterfall tutorial when it halts?
20:29:29 <FortyTwoBB> I used your converter but my own (inefficient) implementation of FWCs
20:31:03 <FortyTwoBB> My simulation has it stopping after 3989 floods with the first 23 clocks having the following values:
20:31:04 <FortyTwoBB> 2896, 2896, 2897, 2896, 2896, 2896, 2895, 2896,
20:31:04 <FortyTwoBB> 1, 1, 1, 19, 27, 3, 1, 0, 1, 1, 0, 19, 27, 3
20:31:05 <FortyTwoBB> Clocks 23, 34, and 40 holding nearly identical gigantic 770 digit numbers starting with 91521821... clock 23 being 2 less than the other two.
20:31:36 <FortyTwoBB> does this match what you get with yours?
20:31:37 <FortyTwoBB> If so I think I'm convinced, even with not fully understanding the proof.
20:32:20 <FortyTwoBB> (I'll check the logs later for a reply, though we really should work out a better system lol)
20:36:19 <FortyTwoBB> the example waterclock program for reference:
20:53:08 -!- Europe2048 has joined.
20:56:50 <FortyTwoBB> 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
20:56:50 <FortyTwoBB> smallest and it will eventually be able to live all of the -1/-1 triggers.
21:14:12 -!- cpressey has quit (Quit: Client closed).
21:15:15 <esolangs> [[Campbell]] M https://esolangs.org/w/index.php?diff=117970&oldid=92338 * PythonshellDebugwindow * (+89) Stub, categories
21:20:03 -!- __monty__ has quit (Quit: leaving).
21:28:36 <b_jonas> zzo38: no, you'll have to start over because I still can't parse what you're trying to say
21:28:39 -!- Europe2048 has quit (Quit: Client closed).
21:42:37 <zzo38> 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.)
21:44:22 <zzo38> (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.)
21:44:57 <zzo38> (although Initialize and Finalize are not scalar monads, so it is difference than the above)
22:28:02 -!- Sgeo has joined.
22:42:04 -!- craigo has joined.
22:45:55 -!- craigo_ has joined.
22:46:28 -!- craigo has quit (Remote host closed the connection).
22:49:02 <esolangs> [[Campbell]] M https://esolangs.org/w/index.php?diff=117971&oldid=117970 * None1 * (+29) /* Discussion */
23:37:16 -!- FortyTwoBB has quit (Quit: Client closed).