00:00:00 -!- somefan has quit (Client Quit).
00:03:49 -!- mtm has quit (Ping timeout: 260 seconds).
00:06:52 -!- mtm has joined.
00:09:08 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=150492&oldid=150385 * Somefan * (+162)
00:09:22 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=150493&oldid=150492 * Somefan * (+83)
00:11:32 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=150494&oldid=150493 * Somefan * (+1)
00:18:16 <esolangs> [[A+B Problem]] https://esolangs.org/w/index.php?diff=150495&oldid=150490 * Jan jelo * (+83) /* Deadfish++ */
00:23:42 <esolangs> [[A+B Problem]] M https://esolangs.org/w/index.php?diff=150496&oldid=150495 * Jan jelo * (-1) /* Desmos */
00:33:41 <esolangs> [[A+B Problem]] https://esolangs.org/w/index.php?diff=150497&oldid=150496 * Jan jelo * (-25) /* Smalltalk */
00:48:34 <esolangs> [[A+B Problem]] https://esolangs.org/w/index.php?diff=150498&oldid=150497 * Jan jelo * (+50) /* Bash */
01:57:45 <esolangs> [[true]] https://esolangs.org/w/index.php?diff=150499&oldid=150481 * Somefan * (+25)
01:59:25 <esolangs> [[true]] https://esolangs.org/w/index.php?diff=150500&oldid=150499 * Somefan * (+48)
02:05:23 <esolangs> [[User:Somefan]] N https://esolangs.org/w/index.php?oldid=150501 * Somefan * (+242) Created page with "{{lowercase}} <div style="text-transform: lowercase; font-size: 1.5em;"> Hi, my name is '''Fan0102''', '''Fan''', and '''SomeFan''' simultaneously, although I prefer the last two. [https://somefan0102.neocities.org here is my website] </div>"
02:21:34 <esolangs> [[Iterate]] N https://esolangs.org/w/index.php?oldid=150502 * Aadenboy * (+2418) Created page with "{{Distinguish/Confusion|Iterate}} Iterate is a program by [[User:Aadenboy]] which only uses iterative loops. == Syntax == === Loops === Loops are initialized with an asterisk (optionally with a number preceding it surrounded by parentheses), followed by the amount of
02:22:03 <esolangs> [[User:Aadenboy]] M https://esolangs.org/w/index.php?diff=150503&oldid=150379 * Aadenboy * (+54) /* who. who are you */ add [[Iterate]]
02:22:38 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=150504&oldid=150313 * Aadenboy * (+14) /* I */ add [[Iterate]]
02:25:05 <esolangs> [[Iterate]] M https://esolangs.org/w/index.php?diff=150505&oldid=150502 * Aadenboy * (+123) /* Examples */ [[Truth-machine]]
02:26:04 <esolangs> [[User talk:Somefan]] N https://esolangs.org/w/index.php?oldid=150506 * Aadenboy * (+324) Created page with "well I didn't expect to see you here! ~~~~"
02:33:00 <esolangs> [[User talk:Somefan]] https://esolangs.org/w/index.php?diff=150507&oldid=150506 * Somefan * (+232)
02:35:56 <esolangs> [[User talk:Somefan]] https://esolangs.org/w/index.php?diff=150508&oldid=150507 * Aadenboy * (+298)
02:50:48 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement).
03:16:01 <esolangs> [[InterpretMe]] https://esolangs.org/w/index.php?diff=150509&oldid=143784 * WoodyFan3412 * (+204) Added JavaScript Implementation
03:26:21 <esolangs> [[A+B Problem]] https://esolangs.org/w/index.php?diff=150510&oldid=150498 * Jan jelo * (+0) /* Desmos */
03:56:22 <esolangs> [[A+B Problem]] https://esolangs.org/w/index.php?diff=150511&oldid=150510 * Aadenboy * (+422) add [[Iterate]], [[Kawa]], [[MEMORYLEEK]] and [[Trampolines]]
04:05:37 -!- Sgeo has quit (Read error: Connection reset by peer).
04:24:28 <esolangs> [[MoreMathRPN]] https://esolangs.org/w/index.php?diff=150512&oldid=150491 * Calculus is fun * (+423) /* Ackermann function */
05:18:53 <esolangs> [[FizzBuzz]] https://esolangs.org/w/index.php?diff=150513&oldid=150242 * Jan jelo * (+85) /* Uiua */
05:35:04 <esolangs> [[Iterate]] M https://esolangs.org/w/index.php?diff=150514&oldid=150505 * Aadenboy * (+92) /* Completeness */ Iterate might not be Turing complete
05:35:46 <esolangs> [[Iterate]] M https://esolangs.org/w/index.php?diff=150515&oldid=150514 * Aadenboy * (+0) fix distinguish link
05:36:15 <esolangs> [[ITERATE]] M https://esolangs.org/w/index.php?diff=150516&oldid=118406 * Aadenboy * (+34) distinguish
06:04:35 -!- Sgeo has joined.
06:13:57 <esolangs> [[WhatLang]] https://esolangs.org/w/index.php?diff=150517&oldid=149671 * DGCK81LNN * (+268)
06:19:09 <esolangs> [[WhatLang]] M https://esolangs.org/w/index.php?diff=150518&oldid=150517 * DGCK81LNN * (+7) /* Koishi runtime specific */
06:20:04 <esolangs> [[WhatLang]] M https://esolangs.org/w/index.php?diff=150519&oldid=150518 * DGCK81LNN * (-2) /* Example programs */
06:22:25 <esolangs> [[FizzBuzz]] https://esolangs.org/w/index.php?diff=150520&oldid=150513 * Jan jelo * (+98) /* WhatLang */
06:29:49 <esolangs> [[FizzBuzz]] https://esolangs.org/w/index.php?diff=150521&oldid=150520 * Jan jelo * (+86) /* WhatLang */
06:55:03 <esolangs> [[FizzBuzz]] M https://esolangs.org/w/index.php?diff=150522&oldid=150521 * Jan jelo * (+83) /* Uiua */
07:50:27 -!- Sgeo has quit (Read error: Connection reset by peer).
07:52:13 <esolangs> [[Mazerunner]] https://esolangs.org/w/index.php?diff=150523&oldid=150470 * BrainFuckGirl * (+349) /* Code examples */ added Disan Count example
08:07:23 <esolangs> [[InterpretMe]] https://esolangs.org/w/index.php?diff=150524&oldid=150509 * 47 * (+95) /* Python 3 */
08:08:29 <esolangs> [[InterpretMe]] https://esolangs.org/w/index.php?diff=150525&oldid=150524 * 47 * (+1) /* Python 3 */
08:11:14 <esolangs> [[InterpretMe]] https://esolangs.org/w/index.php?diff=150526&oldid=150525 * 47 * (-1) /* Python 3 */
08:11:58 <esolangs> [[InterpretMe]] https://esolangs.org/w/index.php?diff=150527&oldid=150526 * 47 * (-2) /* Python 3 */
08:12:36 -!- mtm has quit (Ping timeout: 244 seconds).
08:14:31 -!- mtm has joined.
08:27:04 -!- craigo has joined.
10:15:28 -!- tromp has joined.
10:52:43 <esolangs> [[X-script]] https://esolangs.org/w/index.php?diff=150528&oldid=150471 * PrySigneToFry * (+15)
11:04:10 <esolangs> [[X-script]] https://esolangs.org/w/index.php?diff=150529&oldid=150528 * PrySigneToFry * (+758)
11:14:02 -!- ais523 has quit (Quit: quit).
11:47:50 -!- m5zs7k has quit (Ping timeout: 244 seconds).
11:52:47 -!- m5zs7k has joined.
12:03:39 -!- mtm has quit (Ping timeout: 260 seconds).
12:05:52 -!- mtm has joined.
12:26:50 -!- m5zs7k has quit (Ping timeout: 272 seconds).
12:31:42 -!- chomwitt has joined.
12:32:24 -!- m5zs7k has joined.
12:32:41 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:40:54 <esolangs> [[Special:Log/newusers]] create * (()()) * New user account
12:43:33 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=150530&oldid=150494 * (()()) * (+109) added myself
12:56:43 -!- tromp has joined.
13:01:06 <esolangs> [[X-script]] https://esolangs.org/w/index.php?diff=150531&oldid=150529 * PrySigneToFry * (+1482)
13:09:32 <esolangs> [[X-script]] https://esolangs.org/w/index.php?diff=150532&oldid=150531 * PrySigneToFry * (+412)
13:11:24 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=150533&oldid=150530 * (()()) * (+0)
13:20:27 <esolangs> [[User talk:MihaiEso]] https://esolangs.org/w/index.php?diff=150534&oldid=150323 * PrySigneToFry * (+990)
13:21:31 -!- Everything has joined.
13:22:24 <esolangs> [[X-Script]] N https://esolangs.org/w/index.php?oldid=150535 * PrySigneToFry * (+175) Created page with "This is a redirect page. If you want to learn about X-script, but you make a case mistake, you will be redirected to the correct page through this page. #REDIRECT [[X-script]]"
13:22:42 <esolangs> [[X-Script]] https://esolangs.org/w/index.php?diff=150536&oldid=150535 * PrySigneToFry * (+1) Redirected page to [[X-script]]
13:23:38 <esolangs> [[X-script]] https://esolangs.org/w/index.php?diff=150537&oldid=150532 * PrySigneToFry * (+43)
13:29:36 <esolangs> [[]] https://esolangs.org/w/index.php?diff=150538&oldid=150339 * PrySigneToFry * (+176)
13:44:30 <esolangs> [[User talk:Aadenboy]] https://esolangs.org/w/index.php?diff=150539&oldid=148882 * PrySigneToFry * (+217) /* Some excellent sans-serif fonts for you, by PSTF */ new section
13:44:31 <esolangs> [[Talk:A+B Problem]] N https://esolangs.org/w/index.php?oldid=150540 * Blashyrkh * (+234) Created page with "[[A+B Problem#Subleq]] should be considered a cheating. The language supports IO, so why don't give an example that uses all language features? --~~~~"
14:18:50 <esolangs> [[0134]] https://esolangs.org/w/index.php?diff=150541&oldid=136403 * PrySigneToFry * (-1) Fixed command for unconfusing
14:35:29 -!- Sgeo has joined.
14:37:06 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
14:41:35 -!- tromp has joined.
14:49:45 -!- amby has joined.
15:14:26 <esolangs> [[WhatLang]] https://esolangs.org/w/index.php?diff=150542&oldid=150519 * DGCK81LNN * (+4542) /* Koishi runtime specific */
15:40:33 -!- chomwitt has quit (Ping timeout: 244 seconds).
15:55:01 <esolangs> [[0134]] https://esolangs.org/w/index.php?diff=150543&oldid=150541 * Ractangle * (+1) oh no you don't
16:11:09 <esolangs> [[User talk:Aadenboy]] https://esolangs.org/w/index.php?diff=150544&oldid=150539 * Aadenboy * (+405)
16:13:30 <esolangs> [[Special:Log/upload]] upload * Aadenboy * uploaded "[[File:KawaA+BProblem.png]]": lmao I forgot to upload it
16:39:58 -!- chomwitt has joined.
16:42:50 <esolangs> [[WhatLang]] https://esolangs.org/w/index.php?diff=150546&oldid=150542 * DGCK81LNN * (-61) rephrase everything about the Frame Stack
16:46:50 -!- Everything has quit (Ping timeout: 252 seconds).
17:11:09 <korvo> Ugh. I have a cool idea for graphical syntax for sheaves over (psuedometric) (vector) spaces, but I don't know how to parse it.
17:11:36 <korvo> I *do* know a language that would require similar parsing, and that is implemented, and that doesn't really do much besides parsing...
17:35:05 <esolangs> [[Iterate]] M https://esolangs.org/w/index.php?diff=150547&oldid=150515 * Aadenboy * (+27) category
17:39:36 <esolangs> [[Talk:Iterate]] N https://esolangs.org/w/index.php?oldid=150548 * Aadenboy * (+735) Created page with "would there be a way to prove what computational class Iterate is? not really sure how to go about this I know it isn't a [[Finite-state automaton]] simply from this code: <pre> (*)< *=1< @ > // loops once on the second pass, then twice on the third, three times
17:54:11 <esolangs> [[User talk:Aadenboy]] M https://esolangs.org/w/index.php?diff=150549&oldid=150544 * Aadenboy * (+55)
17:55:35 <esolangs> [[MoreMathRPN]] M https://esolangs.org/w/index.php?diff=150550&oldid=150512 * Calculus is fun * (-4) /* 99 bottles of beer */
18:03:58 <esolangs> [[Talk:Iterate]] https://esolangs.org/w/index.php?diff=150551&oldid=150548 * Corbin * (+198) It's very funny that I keep citing this theorem; I happen to hate it.
18:14:48 <esolangs> [[InterpretMe]] https://esolangs.org/w/index.php?diff=150552&oldid=150527 * Ractangle * (-15) /* Python 3 */
18:16:10 <esolangs> [[Iterate]] M https://esolangs.org/w/index.php?diff=150553&oldid=150547 * Aadenboy * (+434) /* Examples */ comments
18:20:02 <esolangs> [[InterpretMe]] https://esolangs.org/w/index.php?diff=150554&oldid=150552 * Aadenboy * (+240) add Lua
18:20:46 <esolangs> [[InterpretMe]] M https://esolangs.org/w/index.php?diff=150555&oldid=150554 * Aadenboy * (+1) /* Lua */
18:32:11 <esolangs> [[WhatLang]] https://esolangs.org/w/index.php?diff=150556&oldid=150546 * DGCK81LNN * (+3954)
18:33:01 <esolangs> [[WhatLang]] M https://esolangs.org/w/index.php?diff=150557&oldid=150556 * DGCK81LNN * (+0) /* WhatNoter */
18:43:53 -!- Lord_of_Life_ has joined.
18:44:18 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
18:46:49 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
18:59:55 -!- Everything has joined.
19:21:23 <esolangs> [[Funciton]] M https://esolangs.org/w/index.php?diff=150558&oldid=150330 * Timwi * (+15) /* Features */
19:26:33 <esolangs> [[WhatLang]] https://esolangs.org/w/index.php?diff=150559&oldid=150557 * Jan jelo * (-20) /* Example programs */ wait,I can use the repr@
19:30:36 <esolangs> [[InterpretMe]] https://esolangs.org/w/index.php?diff=150560&oldid=150555 * 47 * (+14) /* Python 3 */
19:34:48 <esolangs> [[Funciton]] M https://esolangs.org/w/index.php?diff=150561&oldid=150558 * Timwi * (+35) /* Problem #3: it doesnt work with negative numbers */
19:36:43 <esolangs> [[Looping counter]] https://esolangs.org/w/index.php?diff=150562&oldid=150359 * Jan jelo * (+39) /* WhatLang */
19:38:33 <esolangs> [[Funciton]] M https://esolangs.org/w/index.php?diff=150563&oldid=150561 * Timwi * (+11) /* Strings */
19:56:53 -!- somefan has joined.
19:57:21 -!- somefan has quit (Client Quit).
19:57:41 <esolangs> [[Funciton]] M https://esolangs.org/w/index.php?diff=150564&oldid=150563 * Timwi * (+0) /* Lazy sequences */
19:59:33 -!- visilii_ has joined.
20:02:58 -!- visilii has quit (Ping timeout: 248 seconds).
20:12:57 <esolangs> [[Stub]] M https://esolangs.org/w/index.php?diff=150565&oldid=142430 * Aadenboy * (-35) what am I talking about? this isn't a brainfuck deriv!
20:13:25 <esolangs> [[User:Aadenboy]] M https://esolangs.org/w/index.php?diff=150566&oldid=150503 * Aadenboy * (-5)
20:36:03 <esolangs> [[WhatLang]] https://esolangs.org/w/index.php?diff=150567&oldid=150559 * Jan jelo * (+170) /* Practices and idioms */
21:06:11 <esolangs> [[Factorial]] https://esolangs.org/w/index.php?diff=150568&oldid=149667 * Jan jelo * (+219) /* Upsilon */
21:18:13 <esolangs> [[Factorial]] https://esolangs.org/w/index.php?diff=150569&oldid=150568 * Jan jelo * (+91) /* WhatLang */
21:18:43 <esolangs> [[Factorial]] M https://esolangs.org/w/index.php?diff=150570&oldid=150569 * Jan jelo * (+0) /* WhatLang */
21:42:09 -!- chomwitt has quit (Ping timeout: 248 seconds).
21:48:13 <esolangs> [[Factorial]] https://esolangs.org/w/index.php?diff=150571&oldid=150570 * Jan jelo * (+111) /* Recs */
21:50:17 -!- craigo has quit (Quit: Leaving).
21:52:50 <esolangs> [[Counterlang]] https://esolangs.org/w/index.php?diff=150572&oldid=123936 * Kaveh Yousefi * (+1636) Supplemented an Extended Backus-Naur Form (EBNF) description of the syntax, introduced an examples section comprehending an incipial member, added a hyperlink to my implementation on GitHub, and supplied several page category tags.
22:10:41 <esolangs> [[Recs]] M https://esolangs.org/w/index.php?diff=150573&oldid=149668 * Jan jelo * (+15) /* Reduce */
22:13:07 <esolangs> [[Recs]] M https://esolangs.org/w/index.php?diff=150574&oldid=150573 * Jan jelo * (-2) /* fn */
22:20:59 -!- visilii has joined.
22:23:03 -!- visilii_ has quit (Ping timeout: 246 seconds).
22:25:06 <zzo38> Is there any name for a monad that uses a identity functor, and/or if the Kleisli category is as good as the original category? (A identity monad has both of these properties, but I mean in general, if there are any.)
22:25:42 <korvo> "codensity monad" might be the phrase to look up.
22:26:29 <korvo> In general, the identity functor only carries the identity monad, but sometimes there are cases where identity can be naturally transformed to/from something more interesting. Continuation monads are a fun motivating example.
22:33:22 <zzo38> Can nonzero scalar multiples make monads of category of matrices? To me it seemed to do, and is with identity functor?
22:35:10 <korvo> Yes, I think so. Let K be our set of scalars and Mat(K) be the category with natural numbers for objects and matrices/linear transformations for arrows. Composition is matrix multiplication.
22:36:17 <korvo> Oh, hm. I was going to build endofunctors, but I'm having trouble finding them. For 1 in K, there's an identity functor which scales everything by 1; but no other scalar is compatible with the functor laws.
22:40:51 <zzo38> Of course the identity functor scales everything by 1, but I mean the natural transformations (eta and mu) of the monad, not the functor itself.
22:43:46 <korvo> I suppose it depends on K. Any idea where the monad's underlying adjunction might go?
22:46:20 -!- Everything has quit (Quit: leaving).
22:49:05 <esolangs> [[Factorial]] https://esolangs.org/w/index.php?diff=150575&oldid=150571 * Jan jelo * (+3) /* WhatLang */
22:54:05 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:54:32 <zzo38> As far as I can tell, in this case, the Kleisli category is as good as the original category, but all of the numbers are scaled, and the components are the identity matrix multiplied or divided by a scalar, and since they are scalar that also means that they are commutative. This means that the Kleisli composition will divide by the scalar that you had originally multiplied by, in order to restore the original value.
22:56:44 <esolangs> [[WhatLang]] https://esolangs.org/w/index.php?diff=150576&oldid=150567 * Jan jelo * (+155) /* Practices and idioms */
23:15:20 <zzo38> (Hopefully, I am not being unclear or wrong, so far)
23:23:53 <korvo> It's clear, but I'm stumped and don't know how to proceed. I feel like a linear-algebra expert would have more insight.
23:24:58 <korvo> If the chosen scalar is invertible, then the Kleisli category would be equivalent to the original category and the functors would be "identity-on-objects", which is a concept that can't be made isomorphism-invariant.
23:25:29 <korvo> This isn't wrong, but it is what folks call "evil", and suggests that there's some unaccounted structure in the setup.
23:25:42 <korvo> ...Which suggests that my setup is fairly wrong.
23:53:58 <esolangs> [[Is it]] https://esolangs.org/w/index.php?diff=150577&oldid=128199 * Somefan * (-4485) I think this would be best suited as a redirect rather then a duplicate. Do correct me if i'm wrong