00:00:28 <Sgeo__> It's just weird because I thought a prototype would be like an example object, and it isn't.
00:02:34 -!- Sgeo_ has joined.
00:05:43 -!- Sgeo__ has quit (Ping timeout: 246 seconds).
00:22:23 <int-e> Sgeo_: I agree that it's weird to focus on the delegates when calling JS prototype-based. Object.assign() is the function that actually clones objects...
00:25:08 <int-e> And I forgot how unusual the style of the ECMAscript specification is. (It's not bad! Just completely different from, say, the C standard.)
00:27:39 <int-e> Sgeo_: So... pure speculation: Originally, prototype-based programming was created around the idea of having prototypes that are being cloned. But this is inefficient; a clone will carry all the methods of the original. So in order to make it more efficient, delegation was introduced. And that is a really powerful mechanism, much more interesting than the original prototype idea. So the paradigm...
00:27:46 <int-e> ...shifted, but the original name was kept.
00:29:23 <Sgeo_> function Car(make) { this.make = make }; Car.prototype instanceof Car;
00:29:44 <int-e> Oh... completely different topic what's your favorite way to write Euclid's algorithm in C? There are some degrees of freedom. http://paste.debian.net/1087891/ is my favorite.
00:29:53 <Sgeo_> Was expecting that to give true. It's false
00:30:16 -!- Sgeo__ has joined.
00:31:11 <int-e> Yeah, the "prototype" field is a misnomer. It's just a delegate for each new instance.
00:31:37 <esowiki> [[W]] https://esolangs.org/w/index.php?diff=63534&oldid=58355 * Odog8 * (+193)
00:32:35 <int-e> (hmm, I wrote C, but the code I copied was JavaScript ;-) )
00:34:04 -!- Sgeo_ has quit (Ping timeout: 246 seconds).
00:36:55 <int-e> In particular, Foo instanceof Bar checks whether Bar is a function object ("callable") and looks up the prototype field of Bar...
00:37:40 <int-e> Sgeo__: so this kind of matches your expectations... it's the prototype field that really matters... but the fact is swept under the rug.
00:49:22 -!- nfd9001 has joined.
00:52:32 <Sgeo__> Object.create(Car.prototype) instanceof Car;
00:53:44 <Sgeo__> A instanceof B looks at A's prototype chain excluding A itself?
00:54:59 <Sgeo__> https://www.ecma-international.org/ecma-262/9.0/index.html#sec-ordinaryhasinstance
01:04:26 <shachaf> Aren't objects and classes and instances and prototypes and so on kind of a scam?
01:16:01 <int-e> shachaf: could you please stop throwing out random claims like that
01:25:36 <int-e> I think you're systematically starting discussions with statements that are easily offensive to anybody who cares about the topic at hand. It seems to be effective, but it's not nice at all.
01:26:49 <int-e> And if you think about it, saying that something is scow, or a scam, is very shallow; it does not contribute to a discussion at all.
02:07:59 -!- oerjan has quit (Quit: Nite).
02:38:25 <shachaf> Man, that's not how I mean it at all.
02:38:33 <shachaf> I'll have to think about what to do.
02:46:59 -!- Sgeo_ has joined.
02:48:25 -!- Sgeo has joined.
02:48:41 -!- Sgeo has quit (Read error: Connection reset by peer).
02:50:27 -!- Sgeo__ has quit (Ping timeout: 245 seconds).
02:51:25 -!- Sgeo_ has quit (Ping timeout: 258 seconds).
02:54:15 -!- Sgeo has joined.
04:22:23 <esowiki> [[Talk:Backshift]] https://esolangs.org/w/index.php?diff=63535&oldid=63509 * Salpynx * (-261) /* Modified version of the removed code from the main page */ accepting A's improvements to my implementation
05:04:00 -!- adu has quit (Quit: adu).
05:35:31 -!- arseniiv has joined.
05:59:30 <esowiki> [[Talk:Keg]] https://esolangs.org/w/index.php?diff=63536&oldid=63175 * JonoCode9374 * (+595) /* Upcoming Features in Keg+ */ new section
06:06:13 -!- tromp has quit.
06:27:26 -!- nfd9001 has quit (*.net *.split).
06:27:26 -!- Cale has quit (*.net *.split).
06:27:27 -!- limbo_ has quit (*.net *.split).
06:27:28 -!- Soni has quit (*.net *.split).
06:27:28 -!- Sgeo has quit (*.net *.split).
06:27:28 -!- moei has quit (*.net *.split).
06:27:28 -!- lifthrasiir has quit (*.net *.split).
06:27:28 -!- Hooloovo0 has quit (*.net *.split).
06:27:28 -!- GeekDude has quit (*.net *.split).
06:27:28 -!- zhiayang has quit (*.net *.split).
06:27:28 -!- arseniiv has quit (*.net *.split).
06:27:28 -!- Lord_of_Life has quit (*.net *.split).
06:27:28 -!- Bowserinator has quit (*.net *.split).
06:27:28 -!- hakatashi1 has quit (*.net *.split).
06:27:30 -!- clog has quit (*.net *.split).
06:27:30 -!- xvnvx has quit (*.net *.split).
06:27:30 -!- int-e has quit (*.net *.split).
06:27:30 -!- ocharles has quit (*.net *.split).
06:27:30 -!- rickbutton has quit (*.net *.split).
06:27:31 -!- lambdabot has quit (*.net *.split).
06:27:31 -!- uplime has quit (*.net *.split).
06:27:31 -!- ^[ has quit (*.net *.split).
06:27:31 -!- trn has quit (*.net *.split).
06:27:31 -!- rdococ has quit (*.net *.split).
06:27:31 -!- copumpkin has quit (*.net *.split).
06:27:31 -!- rain1 has quit (*.net *.split).
06:27:31 -!- sprocklem has quit (*.net *.split).
06:27:31 -!- aloril has quit (*.net *.split).
06:27:31 -!- mniip has quit (*.net *.split).
06:27:31 -!- joast has quit (*.net *.split).
06:27:31 -!- sftp has quit (*.net *.split).
06:27:31 -!- diginet has quit (*.net *.split).
06:27:31 -!- vertrex has quit (*.net *.split).
06:27:31 -!- izabera has quit (*.net *.split).
06:27:31 -!- mich181189 has quit (*.net *.split).
06:27:31 -!- lynn has quit (*.net *.split).
06:27:31 -!- ProofTechnique has quit (*.net *.split).
06:27:31 -!- Lymia has quit (*.net *.split).
06:27:32 -!- dog_star has quit (*.net *.split).
06:27:32 -!- fungot has quit (*.net *.split).
06:27:32 -!- relrod has quit (*.net *.split).
06:27:32 -!- stux|away has quit (*.net *.split).
06:27:32 -!- zemhill_______ has quit (*.net *.split).
06:27:32 -!- FreeFull has quit (*.net *.split).
06:27:32 -!- APic has quit (*.net *.split).
06:27:32 -!- john_metcalf has quit (*.net *.split).
06:27:32 -!- quintopia has quit (*.net *.split).
06:27:32 -!- lizzie has quit (*.net *.split).
06:27:32 -!- ineiros has quit (*.net *.split).
06:27:32 -!- economicsbat has quit (*.net *.split).
06:27:32 -!- Taneb has quit (*.net *.split).
06:27:32 -!- shikhin has quit (*.net *.split).
06:27:32 -!- shachaf has quit (*.net *.split).
06:27:32 -!- kmc has quit (*.net *.split).
06:27:32 -!- grumble has quit (*.net *.split).
06:27:32 -!- sebbu has quit (*.net *.split).
06:27:32 -!- Camto[m] has quit (*.net *.split).
06:27:34 -!- pikhq_ has quit (*.net *.split).
06:27:34 -!- Deewiant has quit (*.net *.split).
06:27:35 -!- tswett[m] has quit (*.net *.split).
06:27:35 -!- j4cbo has quit (*.net *.split).
06:27:35 -!- dingwat has quit (*.net *.split).
06:27:35 -!- xylochoron[m] has quit (*.net *.split).
06:27:36 -!- glowcoil has quit (*.net *.split).
06:27:36 -!- fizzie has quit (*.net *.split).
06:27:36 -!- ivzem[m] has quit (*.net *.split).
06:27:36 -!- FireFly has quit (*.net *.split).
06:27:36 -!- sparr has quit (*.net *.split).
06:27:36 -!- heroux has quit (*.net *.split).
06:27:36 -!- rodgort has quit (*.net *.split).
06:27:36 -!- myname has quit (*.net *.split).
06:27:36 -!- HackEso has quit (*.net *.split).
06:27:36 -!- erdic has quit (*.net *.split).
06:27:36 -!- jix has quit (*.net *.split).
06:27:37 -!- paul2520 has quit (*.net *.split).
06:38:04 -!- arseniiv has joined.
06:38:05 -!- Sgeo has joined.
06:38:05 -!- Lord_of_Life has joined.
06:38:05 -!- copumpkin has joined.
06:38:05 -!- moei has joined.
06:38:05 -!- FreeFull has joined.
06:38:05 -!- hakatashi1 has joined.
06:38:05 -!- grumble has joined.
06:38:05 -!- mich181189 has joined.
06:38:05 -!- stux|away has joined.
06:38:05 -!- sebbu has joined.
06:38:05 -!- rain1 has joined.
06:38:05 -!- lizzie has joined.
06:38:05 -!- APic has joined.
06:38:05 -!- john_metcalf has joined.
06:38:05 -!- quintopia has joined.
06:38:05 -!- sprocklem has joined.
06:38:05 -!- int-e has joined.
06:38:05 -!- aloril has joined.
06:38:05 -!- mniip has joined.
06:38:05 -!- lifthrasiir has joined.
06:38:05 -!- uplime has joined.
06:38:05 -!- heroux has joined.
06:38:05 -!- clog has joined.
06:38:05 -!- Bowserinator has joined.
06:38:05 -!- zhiayang has joined.
06:38:05 -!- xvnvx has joined.
06:38:05 -!- lynn has joined.
06:38:05 -!- rodgort has joined.
06:38:05 -!- ^[ has joined.
06:38:05 -!- ProofTechnique has joined.
06:38:05 -!- Hooloovo0 has joined.
06:38:05 -!- ineiros has joined.
06:38:05 -!- ivzem[m] has joined.
06:38:05 -!- trn has joined.
06:38:05 -!- rdococ has joined.
06:38:05 -!- tswett[m] has joined.
06:38:05 -!- Lymia has joined.
06:38:05 -!- j4cbo has joined.
06:38:05 -!- dingwat has joined.
06:38:05 -!- Camto[m] has joined.
06:38:05 -!- GeekDude has joined.
06:38:05 -!- joast has joined.
06:38:05 -!- xylochoron[m] has joined.
06:38:05 -!- economicsbat has joined.
06:38:05 -!- ocharles has joined.
06:38:05 -!- glowcoil has joined.
06:38:05 -!- sftp has joined.
06:38:05 -!- rickbutton has joined.
06:38:05 -!- myname has joined.
06:38:05 -!- HackEso has joined.
06:38:05 -!- dog_star has joined.
06:38:05 -!- fizzie has joined.
06:38:05 -!- pikhq_ has joined.
06:38:05 -!- diginet has joined.
06:38:05 -!- lambdabot has joined.
06:38:05 -!- erdic has joined.
06:38:05 -!- Taneb has joined.
06:38:05 -!- shikhin has joined.
06:38:05 -!- kmc has joined.
06:38:05 -!- fungot has joined.
06:38:05 -!- vertrex has joined.
06:38:05 -!- jix has joined.
06:38:05 -!- FireFly has joined.
06:38:05 -!- shachaf has joined.
06:38:05 -!- Deewiant has joined.
06:38:05 -!- sparr has joined.
06:38:05 -!- izabera has joined.
06:38:05 -!- relrod has joined.
06:38:05 -!- zemhill_______ has joined.
06:38:05 -!- paul2520 has joined.
06:38:15 -!- nfd9001 has joined.
06:38:15 -!- Cale has joined.
06:38:15 -!- limbo_ has joined.
06:38:15 -!- Soni has joined.
06:46:45 -!- Sgeo_ has joined.
06:50:08 -!- Sgeo has quit (Ping timeout: 248 seconds).
07:07:50 -!- arseniiv_ has joined.
07:10:48 -!- arseniiv has quit (Ping timeout: 272 seconds).
07:32:22 -!- AnotherTest has joined.
07:38:31 -!- AnotherTest has quit (Ping timeout: 250 seconds).
07:55:50 -!- AnotherTest has joined.
08:10:53 -!- arseniiv_ has changed nick to arseniiv.
08:42:00 -!- AnotherTest has quit (Ping timeout: 252 seconds).
08:45:47 -!- Sgeo__ has joined.
08:48:47 -!- Sgeo_ has quit (Ping timeout: 245 seconds).
08:58:07 <esowiki> [[Talk:Pointless]] https://esolangs.org/w/index.php?diff=63537&oldid=63093 * Traveller * (+183)
08:59:58 <esowiki> [[Pointless]] https://esolangs.org/w/index.php?diff=63538&oldid=63092 * Traveller * (+27)
09:27:50 -!- tuxcrafting has joined.
09:38:17 -!- Sgeo__ has quit (Read error: Connection reset by peer).
09:38:44 -!- Sgeo__ has joined.
10:53:13 -!- MDude has joined.
11:15:12 -!- Sgeo_ has joined.
11:18:22 -!- Sgeo__ has quit (Ping timeout: 245 seconds).
11:42:11 -!- Lord_of_Life_ has joined.
11:42:19 -!- atslash has joined.
11:44:24 -!- Lord_of_Life has quit (Ping timeout: 272 seconds).
11:44:50 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
12:40:28 -!- contrapumpkin has joined.
12:41:19 -!- copumpkin has quit (Ping timeout: 268 seconds).
13:00:11 -!- user24 has joined.
13:00:39 -!- user24 has quit (Max SendQ exceeded).
13:00:55 -!- AnotherTest has joined.
13:01:11 -!- user24 has joined.
13:24:47 -!- xkapastel has joined.
13:25:46 <esowiki> [[Backshift]] https://esolangs.org/w/index.php?diff=63539&oldid=63465 * Salpynx * (+1840) /* Examples */ 99 bottles, stretching things considerably, but at least it loops.
13:30:47 <esowiki> [[Talk:Backshift]] https://esolangs.org/w/index.php?diff=63540&oldid=63535 * Salpynx * (+49) /* Modified version of the removed code from the main page */ allow move_left to wrap, and radix greater than 36 for longer programs (unicode value hack)
13:31:07 -!- AnotherTest has quit (Ping timeout: 248 seconds).
13:31:46 <esowiki> [[Backshift]] M https://esolangs.org/w/index.php?diff=63541&oldid=63539 * Salpynx * (+0) /* 99 bottles of beer */ off-by-one error in description
13:44:21 -!- I-K has joined.
13:53:48 <esowiki> [[Backshift]] M https://esolangs.org/w/index.php?diff=63542&oldid=63541 * A * (+17) /* 99 bottles of beer */ rectwrap
14:33:02 -!- AnotherTest has joined.
14:37:56 -!- user24 has quit (Quit: Leaving).
14:42:07 -!- tuxcrafting has quit (Ping timeout: 258 seconds).
14:48:23 -!- tuxcrafting has joined.
14:50:33 -!- b_jonas has joined.
15:53:45 <arseniiv> imagine there are only tuple constructors and match expressions (and something to make it TC)
15:55:37 <arseniiv> to make things less bearable, only (), id, (,) and (,,) (named 0, 1, 2, 3)
15:57:57 <arseniiv> hm no, not id but the genuine 1-tuple constructor; (x) ≢ x
15:58:16 <arseniiv> then it makes sense a bit to have it
16:03:42 <arseniiv> if x is matched constructor n, you can apply an i-tuple (full, bare constructors aren’t allowed as expressions) to x to extract its i-th component
16:06:47 <arseniiv> if the thing applied is to the right
16:07:33 <arseniiv> (x, y, z) () = x, (x, y, z) (…) = y, (x, y, z) (…, …′) = z
16:08:25 <int-e> you said "apply an i-tuple to x" rather than "apply x to an i-tuple", which I think you meant?
16:08:25 <arseniiv> I think I heard about a language where you could apply an index to an array
16:08:42 <int-e> "apply" is a bit weird.
16:10:05 <arseniiv> anyway it would be like 2xy0 = x, 2xy10 = y
16:10:34 <arseniiv> it needs something fancy for recursion
16:11:24 <arseniiv> and also something fancy for store… stacks and tapes are now officially boring
16:13:19 <int-e> alphabet soup is the best data store
16:17:40 <arseniiv> so we also will have a way to address relatively
16:19:51 <arseniiv> hm one can do something with chunks of code so if it tries to use a value at index x, it would be actually addressing (x)
16:46:02 <int-e> shachaf: you might enjoy Toonstruck... it's full of awful puns.
16:46:54 -!- tuxcrafting has quit (Ping timeout: 244 seconds).
16:46:56 <int-e> (gog has it for free today)
16:53:51 <arseniiv> hm guess I should in the end add a self-encoding (and write the source in it too) and eval (with context-deepening) and an unconditional rerun of what is at address () if there is something other than ()
16:54:51 <arseniiv> also 2 should be infix, 1 postfix and 3 prefix
16:59:31 <int-e> though shalt not parse?
17:00:02 <arseniiv> also maybe those dots instead of parentheses to group
17:00:43 <int-e> it's the principled solution to grouping subexpressions
17:01:12 <int-e> as in https://en.wikipedia.org/wiki/Principia_Mathematica
17:04:34 <arseniiv> thanks, I was just going to search that notation specifics
17:09:25 <arseniiv> hm better it’ll be a matching of mere constructor, without destructuring arguments into something
17:09:38 <arseniiv> or it would be a huge notational effort every time
17:11:21 -!- Lord_of_Life_ has joined.
17:12:59 -!- Lord_of_Life has quit (Ping timeout: 248 seconds).
17:13:11 <b_jonas> https://esolangs.org/logs/2019-03-28.html#llb
17:13:50 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
17:24:02 -!- tuxcrafting has joined.
17:27:14 <arseniiv> b_jonas: yeah, I remember I talked about them and you showed me one of David Madore’s posts
17:53:21 <arseniiv> and an unconditional rerun of what is at address () if there is something other than () => no, I reconsider. Let there be that same eval, and if the user wants a rerun, let them write it themselves
18:23:39 -!- FreeFull_ has joined.
18:23:48 -!- FreeFull has quit (Ping timeout: 245 seconds).
18:24:21 -!- FreeFull_ has changed nick to FreeFull.
18:29:00 -!- adu has joined.
18:57:09 <arseniiv> hm I feel some satisfaction with this thing
18:57:58 -!- Sgeo_ has quit (Ping timeout: 245 seconds).
19:02:59 <arseniiv> if each parenthesis vanishes leaving a dot, is that enough to get unique reading?
19:08:58 <arseniiv> maybe I should take the outermost operation and recursively add dots to its operands and then add more dots to the operation than any operand now has
19:09:53 <arseniiv> also there should be a way to describe economy when the operation is left-/right-associative or when there is some presumed precedence between different operations
19:14:52 -!- b_jonas has quit (Read error: Connection reset by peer).
19:16:53 <arseniiv> maybe if one first drops unnecessary parentheses and only 𝓉𝒽𝑒𝓃 dotifies the result being concerned only with parenthesized operands’ dots…
19:26:22 -!- b_jonas has joined.
19:26:40 <b_jonas> yay! I just ordered from amazon.com, it's like I'm a mercun
19:27:05 <b_jonas> also substituted an ô for an ő because amazon.com doesn't understand things on top of letters,
19:27:55 <b_jonas> and successfully found the option to pay in USD rather than let amazon.com rip me off with currency conversion by default like paypal does, because amazon.com doesn't hide that option nearly as well as paypal does
19:28:46 <b_jonas> well, actually it seems to understand one thing on top of letters, but not two things on top of the same letter
19:29:53 <b_jonas> that's better than the bbc
19:36:48 -!- john_metcalf has quit (Quit: john_metcalf).
19:44:25 <arseniiv> b_jonas: is double acute really two things?
19:45:08 <arseniiv> (or it displays incorrectly on my side and it’s not the one)
19:45:31 <b_jonas> arseniiv: a double acute is two acute accents next to each other. that's two things.
19:47:55 <kmc> I think as far as Unicode concerned it's one character / combiner
19:48:06 <kmc> i mean, is an umlaut also two things?
19:48:25 <kmc> I've never heard of ô as a substitute for ő
19:48:30 <kmc> but people do write ö
19:48:39 <kmc> do any languages have ő and ű besides hungarian?
19:48:56 <kmc> iirc ő is an o that's both an ó and an ö
19:49:05 <kmc> p. esoteric letter
19:50:08 <arseniiv> kmc: yeah, an interesting diacritic use
19:50:28 <b_jonas> kmc: ô was the common substitute when all you had was cp437; later õ became the more common substitute when all you had was iso8859-1 or cp1252 or cp850, and iso8859-1 and cp1252 has õ at the same encoding where iso8859-2 and cp1250 has ő so we got it all the time from incorrect encodings of fonts; but I still prefer ô
19:51:34 <b_jonas> kmc: the umlaut is a good argument of course, because I think amazon.com does understand ö
19:51:47 <kmc> b_jonas: ah, interesting
19:51:50 <kmc> character encodings are such a mess
19:51:52 <b_jonas> obviously the number of things on top of the letter isn't really what counts for them
19:52:20 <kmc> yeah who knows
19:52:54 <b_jonas> and of course ö became a common substitute when all we had was the 7-bit SMS encoding
19:53:51 -!- andrew65 has joined.
19:54:11 <b_jonas> anything really, SMS is just random, not really standardized
19:54:31 <arseniiv> a number theory question: if we have three functions: nullary a, unary b, binary c and ternary d, what polynomials could they be to minimize their count in writing not very large nonnegative integer values
19:54:50 <arseniiv> there are many simultaneous discussions here
19:55:09 <arseniiv> is that a kind of elaborated spam?
19:56:43 <andrew65> esolang idea: two programs that interact with each other
19:56:49 <andrew65> one's tape is another's source code
19:56:55 <andrew65> one's IP is another's tape head
19:57:12 <kmc> b_jonas: do you speak hungarian?
19:58:12 <b_jonas> kmc: more importantly, delivery persons here do, which is why I can use hungarian words with ő in the delivery instructions
19:59:33 <kmc> b_jonas: oh!
19:59:37 <kmc> wait do you live in hungary?
19:59:41 <kmc> i thought you lived in finland
19:59:45 <b_jonas> kmc: yes, I live in Hungary
19:59:47 <kmc> maybe that's just because you're on IRC
20:00:17 <b_jonas> but I think this channel has more people who live in Finland than people who live in Hungary
20:00:23 <b_jonas> so statistically you were right
20:00:34 <kmc> there are a lot of finns on irc for some reason
20:00:47 <kmc> the IRC encoding is based on 646-fi
20:01:43 -!- andrew65 has quit (Quit: Page closed).
20:02:10 <b_jonas> kmc: yeah, freenode changed to that several years ago
20:02:26 <b_jonas> before that they used the one where [ and { were different characters in nicks and channel names
20:02:40 <b_jonas> I still have no idea what they did with nickserv registrations that suddenly started to clash
20:13:29 <fizzie> IRC's inventor is (now) a Googler, right?
20:13:38 <fizzie> https://en.wikipedia.org/wiki/Jarkko_Oikarinen "-- has been working for Google since 2011 --"
20:26:18 <HackEso> Google is where people are working on [NAME WITHHELD] and [REDACTED], without being evil at all.
20:28:27 -!- I-K has quit (Quit: Leaving).
20:30:30 -!- tuxcrafting has quit (Quit: rcirc on GNU Emacs 26.1).
20:49:12 -!- andrew_ has joined.
20:53:00 -!- copumpkin has joined.
20:54:54 -!- contrapumpkin has quit (Ping timeout: 244 seconds).
20:55:12 -!- copumpkin has quit (Remote host closed the connection).
21:00:09 -!- oerjan has joined.
21:01:44 -!- AnotherTest has quit (Ping timeout: 272 seconds).
21:06:29 <andrew_> it's cool how one man created a language based entirely around string replacements
21:08:35 <oerjan> <andrew65> one's IP is another's tape head <-- i vaguely think there is one already
21:09:04 <oerjan> andrew_: tswett[m] made it, i proved it.
21:09:21 -!- andrew_ has quit (Quit: Page closed).
21:09:26 <oerjan> well dependent on which language.
21:09:38 <oerjan> i guess thue might also fit the description.
21:10:43 <b_jonas> oerjan: which string replacement language is that?
21:10:51 <b_jonas> I don't know which one tswett made
21:11:32 <oerjan> oh and brian & chuck is the one i thought of for the first comment
21:11:54 <arseniiv> I can’t make myself to write a truth-machine for my new eso, it’s too hard. I don’t even want to write a code which tells if outer constructors of two terms are the same
21:12:56 <arseniiv> which is needed to test equality, which is needed to tell 0 from 1
21:13:19 <tswett[m]> Lemme see if I can send a message starting with /.
21:14:57 <b_jonas> /* you need a star or else it's division */
21:15:24 <tswett[m]> I can do two, I don't know how to do one.
21:16:11 <b_jonas> now start a message with \/ then
21:16:29 <arseniiv> if I can’t write in my eso, is it a sign it should be published? B)
21:16:57 <arseniiv> this line is less or equal than that one
21:16:59 <b_jonas> \/ one backslash and one slash
21:17:04 <pikhq_> Either a terrible or fantastic sign, and it's hard to say which without knowing specifics.
21:18:37 <arseniiv> tswett[m]: in your case, how did you do \/?
21:18:46 <b_jonas> ok, now put an unpaired \x01 at the start of your message
21:18:47 <tswett[m]> /// is the best esolang I'll ever create.
21:18:51 <tswett[m]> Two backslahes and a forward slash.
21:19:12 <arseniiv> yeah in my case it doesn’t work
21:19:33 <b_jonas> (you can't, because the C channel mode forbids it)
21:19:38 <arseniiv> my client is bad! very pessimistic and something something
21:20:43 <fizzie> /say \/ and /msg #esoteric \/ are other common workarounds.
21:21:29 <arseniiv> let’s return to what was discussed
21:21:46 <b_jonas> what was discussed? string-rewriting languages?
21:22:25 <arseniiv> or maybe specifically ///, IDK
21:24:14 <b_jonas> but what language was andrew_ thinking of?
21:24:41 <arseniiv> a random quote from wiki> Due to IRP's nature, any quine is potentially a severe DDOS worm.
21:25:30 <arseniiv> b_jonas: I bet something underspecified and mysteriously concise
21:53:25 <Cale> An activated Mutavault is a mutant ninja turtle.
22:10:18 <esowiki> [[User:Arseniiv/0123 (draft)]] N https://esolangs.org/w/index.php?oldid=63543 * Arseniiv * (+3881) Created page with "0123 is a foolish language, being so far in a draft state and primarily assembled at 2019-06-15, by [[User:Arseniiv]]. Hopefully its not a word for word copy of some other..."
22:12:50 <Cale> Not completely dead, but it's not doing as well as anyone would have hoped
22:14:16 <Cale> There are still people logging in and playing every day, but whatever they're doing as far as marketing the game hasn't really been working so well.
22:41:43 <b_jonas> Cale: it's also a Pirate Ship, but it's not a Hero or a Lord or an Anteater these days
22:43:52 <b_jonas> and as of recently, it's also an Army in itself
22:51:39 <b_jonas> it's also a Deserter because of a certain interesting old card, a Vehicle Pilot, a Carrier Processor. creature types are Weird.
23:00:28 -!- moei has quit (Quit: Leaving...).
23:27:23 -!- arseniiv has quit (Ping timeout: 248 seconds).