| 16 Apr 2024 |
 krftdnr | As Julia explains, and the comments on the Reddit post also explained, there is previous precedent in mathematics for using * for concatenation. | 18:03:27 |
 ngn | i dont recall ever encountering * as concatenation (but im not a pro mathematician). ive seen || though, notably in cryptography. | 18:11:02 |
 coltim | overloads I am familiar with: good. overloads I am not familiar with: bad | 18:11:09 |
 stackofbears | Is * in Julia the monoid operation in general, or is it just overloaded to concatenation for strings? | 18:17:56 |
| stackofbears | (or the free monoid op where applicable) | 18:21:56 |
 devin.jl | it's overloaded with many things | 18:21:57 |
| devin.jl | it's number multiplication, matrix multiply, and string cat | 18:22:16 |
| ngn | all the operations usually denoted with juxtaposition - no operator at all :) | 18:23:47 |
| stackofbears | https://github.com/JuliaLang/julia/issues/28348 🤔 | 18:26:17 |
 anaseto | In reply to @ngn:matrix.org
i dont recall ever encountering * as concatenation (but im not a pro mathematician). ive seen || though, notably in cryptography. The free product of groups can be seen as a kind of concatenation. It's the only thing that comes to mind, and I had to search a bit because I had only a fuzzy memory of the name. Except for use in language theory as mentioned in the reddit thread, which I suppose counts as mathematics too. | 18:37:28 |
| ngn | hm, in language theory i'd assume a * is kleene's star (like in regex) | 18:39:54 |
| ngn | * hm, in language theory i'd assume a * is kleene's star (like in regex - zero or more occurrences) | 18:40:27 |
| anaseto | Yeah, I have some vague memory of seing it with another meaning in a book, but I kind of forgot about it, I may be wrong. | 18:43:16 |
| stackofbears | icon is one language that does use || for string concat | 18:56:39 |
| stackofbears | I swear there are more, but I don't remember who... | 18:57:02 |
| ngn | stackofbears: sql? | 19:01:07 |
| stackofbears | Oh, true! | 19:03:02 |
|  tag_ferd11 joined the room. | 22:39:58 |
| 17 Apr 2024 |
|  elliottdonn joined the room. | 21:18:19 |
| elliottdonn | Redacted or Malformed Event | 21:20:02 |
 loke | In reply to @_discord_194214927093858304:t2bot.io
Oh, true! Rexx also uses that | 23:25:55 |
 discodoug | I guess spammers don’t run stats to see if they get any bites… | 23:28:33 |
| stackofbears | I don't think I'd ever heard of Rexx | 23:29:48 |
| 18 Apr 2024 |
 Yarrow | Redacted or Malformed Event | 01:47:47 |
| loke | stackofbears: it's the standard scripting language on zos and amigaos. And available on many other systems. | 02:53:27 |
| loke | Oh, I think it was used back in the os2 days as well. | 02:53:43 |
 tonyc1 | Vm/360, cms, there was a version of rexx for pcdos and early windiws | 04:16:56 |
| loke | You can run it on the public domain version of MVS too. https://github.com/mvslovers/brexx370 | 05:10:38 |
|  @ericwalter65:matrix.org joined the room. | 06:28:16 |
| @ericwalter65:matrix.org left the room. | 06:33:34 |
