←2020-06-24 2020-06-25 2020-06-26→ ↑2020 ↑all
00:24:07 -!- impomatic has quit (Ping timeout: 246 seconds).
00:54:28 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
00:58:46 -!- Lord_of_Life has joined.
01:08:06 -!- ArthurStrong has joined.
01:09:17 -!- LKoen has quit (Ping timeout: 246 seconds).
01:41:21 -!- LKoen has joined.
01:42:14 -!- LKoen has quit (Read error: Connection reset by peer).
02:00:06 -!- Phantom__Hoover has joined.
02:00:21 -!- adu has joined.
02:10:06 -!- Phantom__Hoover has quit (Ping timeout: 265 seconds).
03:00:51 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=74417&oldid=73819 * A * (+42) /* Repeat loop */
03:03:30 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=74418&oldid=74417 * A * (+505) /* Whole language, done! */
03:05:07 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=74419&oldid=74418 * A * (+64)
03:08:25 -!- t20kdc has quit (Remote host closed the connection).
03:16:47 -!- adu has quit (Quit: adu).
03:26:45 -!- sftp has quit (Ping timeout: 272 seconds).
03:28:10 -!- adu has joined.
03:30:31 -!- sftp has joined.
04:21:53 -!- ArthurStrong has quit (Quit: leaving).
04:39:09 <esowiki> [[MAWP]] M https://esolangs.org/w/index.php?diff=74420&oldid=74347 * Dion * (+78)
04:47:31 -!- rain1 has joined.
05:05:32 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=74421&oldid=74415 * Bigyihsuan * (+47) /* I */
06:47:05 -!- Phantom__Hoover has joined.
06:59:22 -!- adu has quit (Quit: adu).
07:04:33 <esowiki> [[User:Robolta]] https://esolangs.org/w/index.php?diff=74422&oldid=68109 * Robolta * (-44) /* Created Esolangs */
07:26:47 -!- tromp has quit (Ping timeout: 272 seconds).
07:28:06 -!- tromp has joined.
07:38:49 -!- tromp has quit (Ping timeout: 272 seconds).
07:51:43 -!- Phantom__Hoover has quit (Ping timeout: 258 seconds).
08:06:36 -!- cpressey has joined.
08:23:52 -!- sprocklem has quit (Ping timeout: 256 seconds).
08:24:10 -!- sprocklem has joined.
08:26:12 -!- imode has quit (Ping timeout: 256 seconds).
08:26:36 -!- imode has joined.
08:33:08 -!- Sgeo has quit (Read error: Connection reset by peer).
08:53:24 -!- b_jonas has quit (Quit: leaving).
08:56:08 -!- impomatic has joined.
08:56:16 -!- impomatic has quit (Client Quit).
08:56:32 -!- impomatic has joined.
09:00:48 -!- impomatic has quit (Client Quit).
09:01:05 -!- impomatic has joined.
09:03:02 -!- imode has quit (Ping timeout: 256 seconds).
09:03:30 -!- imode has joined.
09:05:52 <esowiki> [[Tandem]] https://esolangs.org/w/index.php?diff=74423&oldid=74366 * Chris Pressey * (+792) Major revamp. Change meaning of &. Rewrite much.
09:08:06 <esowiki> [[Tandem/Sketch of a Tandem Interpreter]] M https://esolangs.org/w/index.php?diff=74424&oldid=74300 * Chris Pressey * (+84) Add note
09:12:53 <esowiki> [[Tandem/Sketch of a Tandem Interpreter]] https://esolangs.org/w/index.php?diff=74425&oldid=74424 * Chris Pressey * (-286) Update implementation sketch.
09:16:16 -!- impomatic has quit (Quit: impomatic).
09:16:30 -!- impomatic has joined.
09:20:48 -!- impomatic has quit (Client Quit).
09:21:06 -!- impomatic has joined.
09:33:38 -!- LKoen has joined.
09:35:13 <esowiki> [[Tandem/Sketch of a Tandem Interpreter]] https://esolangs.org/w/index.php?diff=74426&oldid=74425 * Chris Pressey * (+391) Flesh out sketch to the point where it compiles.
09:35:44 <esowiki> [[Special:Log/move]] move * Chris Pressey * moved [[Tandem/Sketch of a Tandem Interpreter]] to [[Tandem/Tandem.hs]]: It's no longer a sketch
09:38:14 <esowiki> [[Tandem]] https://esolangs.org/w/index.php?diff=74429&oldid=74423 * Chris Pressey * (+112) +see also
09:39:42 <esowiki> [[Tandem]] M https://esolangs.org/w/index.php?diff=74430&oldid=74429 * Chris Pressey * (+3) /* Algebraic properties */ style, typo fixes
09:41:06 <esowiki> [[Tandem]] M https://esolangs.org/w/index.php?diff=74431&oldid=74430 * Chris Pressey * (+34) /* Algebraic properties */ rephrase
09:41:38 <esowiki> [[Tandem]] M https://esolangs.org/w/index.php?diff=74432&oldid=74431 * Chris Pressey * (+6) /* Algebraic properties */ add word for clarity
09:48:51 -!- olsner has quit (Ping timeout: 260 seconds).
09:51:16 -!- impomatic has quit (Quit: impomatic).
09:51:33 -!- impomatic has joined.
09:53:48 -!- olsner has joined.
09:55:51 -!- impomatic has quit (Client Quit).
09:56:05 -!- impomatic has joined.
10:12:34 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
10:13:31 -!- Lord_of_Life has joined.
10:19:14 -!- LKoen_ has joined.
10:23:49 <esowiki> [[BF-ASM:8]] M https://esolangs.org/w/index.php?diff=74433&oldid=74076 * DmilkaSTD * (+112) im just putting excuses to not make the compiler
10:25:10 <esowiki> [[Talk:Babalang]] M https://esolangs.org/w/index.php?diff=74434&oldid=70583 * DmilkaSTD * (+113) excuse me
10:26:23 -!- wib_jonas has joined.
10:29:14 -!- imode has quit (Ping timeout: 240 seconds).
10:29:36 <esowiki> [[(HA)pple waITING]] M https://esolangs.org/w/index.php?diff=74435&oldid=74318 * DmilkaSTD * (+14) who cares about me and lol turing machine isnt a language
10:32:30 -!- sprocklem has quit (Remote host closed the connection).
10:32:36 <esowiki> [[(HA)pple waITING]] M https://esolangs.org/w/index.php?diff=74436&oldid=74435 * DmilkaSTD * (+147) stuff that i cant write here lol get rekt lmao
10:32:48 -!- sprocklem has joined.
10:34:13 <esowiki> [[User:DmilkaSTD]] M https://esolangs.org/w/index.php?diff=74437&oldid=73231 * DmilkaSTD * (+12) what are you doing here?
10:36:02 <esowiki> [[Fscratch]] M https://esolangs.org/w/index.php?diff=74438&oldid=73114 * DmilkaSTD * (+30) Am I stupid?
10:42:49 -!- LKoen_ has quit (Ping timeout: 264 seconds).
10:52:45 -!- LKoen has quit (Remote host closed the connection).
11:03:01 -!- LKoen has joined.
11:07:02 -!- TheLie has joined.
11:17:54 -!- tromp has joined.
11:50:35 -!- cpressey has quit (Quit: WeeChat 1.9.1).
12:04:01 -!- arseniiv has joined.
12:06:19 -!- impomatic has quit (Quit: impomatic).
12:06:45 -!- impomatic has joined.
12:08:53 -!- spruit11 has quit (Quit: Lost terminal).
12:10:47 -!- impomatic has quit (Client Quit).
12:11:04 -!- impomatic has joined.
12:12:38 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
12:15:14 -!- spruit11 has joined.
12:37:34 <esowiki> [[Talk:Babalang]] M https://esolangs.org/w/index.php?diff=74439&oldid=74434 * PythonshellDebugwindow * (+143)
12:38:16 <esowiki> [[BF-ASM:8]] M https://esolangs.org/w/index.php?diff=74440&oldid=74433 * PythonshellDebugwindow * (+7)
12:56:57 -!- cpressey has joined.
12:57:54 <esowiki> [[DIVCON]] M https://esolangs.org/w/index.php?diff=74441&oldid=74419 * PythonshellDebugwindow * (+6) /* Unofficial extension */
13:01:52 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74442&oldid=74383 * PythonshellDebugwindow * (+78)
13:03:40 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74443&oldid=74442 * PythonshellDebugwindow * (+25) /* 1 */
13:05:30 <esowiki> [[Linear bounded automaton]] M https://esolangs.org/w/index.php?diff=74444&oldid=54311 * PythonshellDebugwindow * (-37) /* External resources */
13:06:23 <arseniiv> how are you?
13:08:17 <esowiki> [[1mpr0mp2]] M https://esolangs.org/w/index.php?diff=74445&oldid=74222 * PythonshellDebugwindow * (-20) unpipe
13:11:05 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74446&oldid=74443 * PythonshellDebugwindow * (+332) /* Alcatraz */
13:12:27 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74447&oldid=74446 * PythonshellDebugwindow * (+0) /* Linear-bounded brainfuck */
13:17:03 <cpressey> i am fine how are you
13:24:44 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74448&oldid=74447 * PythonshellDebugwindow * (+1468) /* Linear-bounded brainfuck */
13:27:48 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74449&oldid=74448 * PythonshellDebugwindow * (-146) /* Linear-bounded brainfuck */
13:28:03 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74450&oldid=74449 * PythonshellDebugwindow * (-1654) /* Alcatraz */
13:28:55 <esowiki> [[Linear bounded brainfuck]] N https://esolangs.org/w/index.php?oldid=74451 * PythonshellDebugwindow * (+1652) Created page with "'''Linear-bounded brainfuck''' is [[brainfuck]] as a [[linear bounded automaton]], created by [[User:PythonshellDebugwindow]]. ==The input-size function== The function of the..."
13:29:07 <esowiki> [[Linear bounded brainfuck]] M https://esolangs.org/w/index.php?diff=74452&oldid=74451 * PythonshellDebugwindow * (+0) /* Truth-machine */
13:30:34 <esowiki> [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=74453&oldid=74386 * PythonshellDebugwindow * (+206) /* Languages */
13:31:17 <esowiki> [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=74454&oldid=74453 * PythonshellDebugwindow * (+0) /* Languages */ lbb: code->math
13:31:32 <esowiki> [[Linear bounded brainfuck]] M https://esolangs.org/w/index.php?diff=74455&oldid=74452 * PythonshellDebugwindow * (+0)
13:32:07 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=74456&oldid=74421 * PythonshellDebugwindow * (+31) /* L */
13:35:57 <esowiki> [[KittyKittyMewMew]] M https://esolangs.org/w/index.php?diff=74457&oldid=68986 * PythonshellDebugwindow * (+195) CATS +links
13:36:07 <esowiki> [[KittyKittyMewMew]] M https://esolangs.org/w/index.php?diff=74458&oldid=74457 * PythonshellDebugwindow * (+0) /* Python 3 */
13:37:02 <esowiki> [[Loose Circular Brainfuck (LCBF)]] M https://esolangs.org/w/index.php?diff=74459&oldid=33483 * PythonshellDebugwindow * (+10)
13:42:44 -!- Phantom__Hoover has joined.
13:51:42 -!- TheLie has quit (Remote host closed the connection).
13:51:50 -!- Frater_EST has joined.
13:52:08 <esowiki> [[TroJavaScript]] M https://esolangs.org/w/index.php?diff=74460&oldid=62024 * PythonshellDebugwindow * (+73) cats
13:56:20 <cpressey> arseniiv: I fixed Tandem btw
14:03:52 <esowiki> [[@]] M https://esolangs.org/w/index.php?diff=74461&oldid=69865 * PythonshellDebugwindow * (+7)
14:07:42 <arseniiv> how are you => almost sane. I would be well if not for accidentally hearing a couple of words from a TV talk show, ugh. I’m not a TV watcher but others do use it and I can’t just switch it off when it offends my inner ideals. I don’t like outright heavy-handed manipulations
14:08:04 <arseniiv> <cpressey> arseniiv: I fixed Tandem btw => oh! I’ll look at the diff
14:22:34 <arseniiv> cpressey: the expression 1 | R | R & R | … for asteration gave me an idea: maybe one can be allowed to define named rules and invoke them in other rules (and maybe themselves)? Would that make something easier? Maybe it wouldn’t change the expressibility
14:24:42 <arseniiv> R* succeeds if R was able to be applied at least once. => now if we postulate R* being equivalent to 1 | R | …, either R* should always succeed or 1 shouldn’t succeed
14:26:04 <esowiki> [[Codesine]] M https://esolangs.org/w/index.php?diff=74462&oldid=44218 * PythonshellDebugwindow * (+40) Unpipe && Cats
14:26:08 <arseniiv> honestly I wanted to suggest you make asteration always succeeding from the start but something kept me from doing it
14:26:08 -!- Arcorann has quit (Read error: Connection reset by peer).
14:26:39 <esowiki> [[Fourier]] M https://esolangs.org/w/index.php?diff=74463&oldid=49724 * PythonshellDebugwindow * (+30) /* Interpreter */ cat
14:27:49 -!- rain1 has quit (Remote host closed the connection).
14:27:52 <arseniiv> the old behaviour of asteration would be attainable by R & R* which we may call R+
14:28:12 -!- rain1 has joined.
14:29:17 <cpressey> Asteration does always succeed now - I forgot to update that section.
14:30:09 <cpressey> The weird way it was defined previously should've tipped me off that something wasn't right
14:31:24 <esowiki> [[Tandem]] https://esolangs.org/w/index.php?diff=74464&oldid=74432 * Chris Pressey * (-45) /* Asteration */ Fix statement about when asteration succeeds.
14:33:42 <esowiki> [[Tandem]] https://esolangs.org/w/index.php?diff=74465&oldid=74464 * Chris Pressey * (+142) /* Algebraic properties */ Fix left-distributive identity (& is no longer commutative) and mention right-distributive.
14:34:20 <arseniiv> cpressey: also do you want to add 0 and 1 to the inductive definition of a rule now?
14:34:31 <cpressey> Yes i probably do. And to the implementation too :)
14:35:52 <arseniiv> I hadn’t yet started rewriting my one too
14:45:06 <esowiki> [[Tandem]] https://esolangs.org/w/index.php?diff=74466&oldid=74465 * Chris Pressey * (+352) Add 0 and 1 to inductive definition.
14:46:30 <esowiki> [[Tandem/Tandem.hs]] https://esolangs.org/w/index.php?diff=74467&oldid=74427 * Chris Pressey * (+33) Add Zero and One to the implementation.
14:47:04 <cpressey> rewrite Zero c = Nothing; rewrite One c = Just c
14:47:08 <cpressey> how elegant is that
14:47:55 <arseniiv> cpressey: “R* means: repeatedly apply R while M(R) is nonempty.” => this could be reformulated too via the new M(R, S), I’d do it myself but I don’t know how to say S is the new state each time, succinctly
14:49:08 <arseniiv> cpressey: hm maybe it’s possible to generalize rules in some manner and make them instances of Functor etc.
14:54:16 -!- t20kdc has joined.
14:56:10 <Taneb> You know like the idea of rank 1, rank 2 functions in Haskell?
14:56:17 <Taneb> Is there such thing as a rank omega function?
15:01:57 -!- wib_jonas has quit (Quit: Connection closed).
15:04:31 -!- Frater_EST has quit (Remote host closed the connection).
15:15:01 <arseniiv> Taneb: what’s expected to be available in writing its body?
15:15:13 <arseniiv> what can we do with arguments?
15:16:45 <Taneb> We can call the arguments, assuming we have a rank omega function of the appropriate type
15:17:04 <arseniiv> or it may be printf-style, knowing each argument’s rank and making a decision each time, applying something to the argument immediately
15:17:06 <Taneb> It's possible that it's an almost useless thing
15:18:15 <arseniiv> for that function to be truly rank-omega it would need to be able to take unbounded-rank arguments and I don’t see how it can be done not in printf-style
15:18:55 <Taneb> Yeah, you're right
15:19:31 <arseniiv> (or maybe one first defines a GADT incapsulating a rank-N function and then takes an argument of that type, but that would be almost the same thing though without printf clumsiness, but with its own wrapping clumsiness instead)
15:44:25 <esowiki> [[User:WilliamRagstad]] https://esolangs.org/w/index.php?diff=74468&oldid=68464 * WilliamRagstad * (-150)
15:52:05 <arseniiv> I rewrote my Tandem impl and it again doesn’t halt when run on the example
15:55:32 <esowiki> [[User:Osmarks]] https://esolangs.org/w/index.php?diff=74469&oldid=74094 * Osmarks * (+128)
15:55:59 <esowiki> [[User:Osmarks]] M https://esolangs.org/w/index.php?diff=74470&oldid=74469 * Osmarks * (+0)
15:57:46 -!- TheLie has joined.
16:00:51 <arseniiv> ah, I applied a rule to the wrong world in concatenation’s application, and input wasn’t being changed
16:04:02 -!- cpressey has quit (Quit: WeeChat 1.9.1).
16:16:27 <arseniiv> @tell cpressey here is mine again: https://hatebin.com/agiijfemrl
16:16:27 <lambdabot> Consider it noted.
16:19:06 -!- LKoen has joined.
16:21:51 -!- imode has joined.
16:23:59 -!- b_jonas has joined.
16:25:40 <arseniiv> @tell cpressey hm comparing with Tandem.hs it seems I implemented a “nondeterministic determinism” that for Ri | Rj applies both Ri and Rj when they don’t compete in changes they make. That’s ill-defined though, because (lα → α | lα → β) would replace l with β if applicable. So I’ll better make that part as in Haskell version
16:25:40 <lambdabot> Consider it noted.
16:33:03 -!- impomatic has quit (Quit: impomatic).
16:39:07 <esowiki> [[Rpncalc]] N https://esolangs.org/w/index.php?oldid=74471 * Baidicoot * (+1664) Created page with "RPNCalc (technically RPNCalc V4) is a turing-complete, stack-based, dynamically-typed (vaguely *useful*) programming language that originally started off as a calculator on [h..."
16:39:32 <esowiki> [[Rpncalc]] https://esolangs.org/w/index.php?diff=74472&oldid=74471 * Baidicoot * (+3)
16:39:55 -!- impomatic has joined.
16:45:12 <arseniiv> @tell cpressey now the idiom to preset values to stacks should be written differently: (preset1 & preset2 & … | cont), as various preset_i would be applicable at the same time. I modified the example (with its Tandem code in a comment) with making my impl compliant with the previous issue: https://hatebin.com/qjielqvzhc
16:45:12 <lambdabot> Consider it noted.
16:47:18 -!- impomatic has quit (Quit: impomatic).
16:47:31 -!- impomatic has joined.
16:51:15 <esowiki> [[Special:Log/upload]] upload * DeybisMelendez * uploaded "[[File:Ni Logo.jpg]]"
16:51:42 <esowiki> [[Ni]] https://esolangs.org/w/index.php?diff=74474&oldid=74416 * DeybisMelendez * (+35)
16:51:49 -!- impomatic has quit (Client Quit).
16:52:05 -!- impomatic has joined.
17:16:35 <esowiki> [[Rpncalc]] https://esolangs.org/w/index.php?diff=74475&oldid=74472 * Baidicoot * (+1367)
17:42:23 <b_jonas> for esoteric purposes, should we invent a multipodal p letter that is used exclusively for talking about the legs of myriapoda?
17:42:57 <b_jonas> and perhaps the legs of some ICs like CPUs
18:06:54 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds).
18:17:19 <arseniiv> . o O ( and also a multimodal m? )
18:18:21 <arseniiv> anyway this is interesting. How many legs should this p have? I imagine a thing with three
18:34:02 -!- Sgeo has joined.
18:42:58 -!- rain1 has quit (Quit: Leaving).
18:52:57 <zzo38> Can you make up such fonts? Three would be my guess though
19:00:57 -!- rain1 has joined.
19:15:32 <rain1> https://github.com/Mojang/DataFixerUpper/issues/21 well the mystery is over
19:29:48 -!- zzo38 has quit (Disconnected by services).
19:29:53 -!- zzo38 has joined.
19:58:08 <b_jonas> arseniiv: I guess six. three normal legs and three additional legs on the other side of the arthropod represented by short vertical strokes below the normal legs with a gap between
19:59:37 <arseniiv> b_jonas: could you draw it?
20:01:34 <arseniiv> rain1: wow
20:02:15 <arseniiv> TIL there’s a “Category do-notation” in the making: https://github.com/gelisam/category-syntax
20:05:18 <rain1> isnt that just function composition
20:14:03 <b_jonas> arseniiv: https://i.stack.imgur.com/dYd84.png
20:16:09 <zzo38> I have a Italo-Spanish deck, but the box has French suits, why is that? It is clearly the correct box for these cards, though.
20:17:13 <esowiki> [[Special:Log/move]] move * PythonshellDebugwindow * moved [[Rpncalc]] to [[RPNCalc]]: fix capitalization
20:17:32 <arseniiv> rain1: there’s something interesting in the example with reshuffling `Either`s
20:18:39 <arseniiv> b_jonas: oh, with cyrillic one it’s indeed more sense maybe
20:19:50 <b_jonas> arseniiv: for a latin one you'd have to add an extra long vertical stroke in the middle, like a poor man's double-struck p, and then four disconnected short extra legs, one on the right and three below the three legs
20:20:04 <esowiki> [[RPNCalc]] M https://esolangs.org/w/index.php?diff=74478&oldid=74476 * PythonshellDebugwindow * (+142) cats, bold, links
20:20:40 <b_jonas> but the multiocular o is a cyrillic letter too
20:20:43 -!- TheLie has quit (Ping timeout: 272 seconds).
20:21:22 -!- Lord_of_Life has quit (Excess Flood).
20:21:49 -!- Lord_of_Life has joined.
20:24:16 <arseniiv> no doubt though it didn’t allude to me multipodal p should be alike
20:32:28 <esowiki> [[Alphabetti spaghetti]] M https://esolangs.org/w/index.php?diff=74479&oldid=65589 * PythonshellDebugwindow * (+67) /* Interpreter */ cats!
20:48:00 -!- rain1 has quit (Quit: Leaving).
20:51:51 -!- Phantom__Hoover has joined.
20:53:14 <esowiki> [[Piet-Q]] M https://esolangs.org/w/index.php?diff=74480&oldid=44116 * PythonshellDebugwindow * (+12) /* Using Piet-Q */
20:54:19 <esowiki> [[User:PythonshellDebugwindow/(Unnamed language)]] M https://esolangs.org/w/index.php?diff=74481&oldid=72783 * PythonshellDebugwindow * (+976)
21:01:51 <esowiki> [[User:PythonshellDebugwindow/(Unnamed language)]] M https://esolangs.org/w/index.php?diff=74482&oldid=74481 * PythonshellDebugwindow * (+25)
21:10:05 -!- TheLie has joined.
21:20:38 -!- arseniiv has quit (Ping timeout: 246 seconds).
21:28:46 <int-e> morbid :) 'The TD will accept the following reasons for the withdrawal as adequate: (a) Death of the player'
21:35:22 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
21:59:36 <shachaf> Is that the only reason?
22:01:01 <int-e> No, there are others. This is from https://www.iccf.com/message?message=447
22:11:58 <shachaf> "Players are allowed to consult prior to those decisions with any publicly available source of information including chess engines (computer programs), books, DVDs, game archive databases, endgame tablebases, etc."
22:12:15 <shachaf> People are allowed to use software? Are all the games just matching chess engines against each other?
22:15:22 -!- Lord_of_Life has quit (Ping timeout: 258 seconds).
22:15:58 -!- Lord_of_Life has joined.
22:17:02 <fizzie> Maybe they're just relying on the sort of people who'd play correspondence chess in the first place to all feel like that would be missing the point?
22:18:27 <int-e> shachaf: apparently there's a bit more to this than that... deciding which chess engine fits which position best
22:19:01 <int-e> and deciding where to focus the analysis
22:19:05 <shachaf> Is there really competition?
22:19:06 <fizzie> . o O (Surely that's just a matter of writing a meta-engine though?)
22:20:55 <int-e> they have competitions and ratings, whatever those mean *shrugs*
22:23:01 <fizzie> "Trappist-1 (also called "Chess on an Infinite Plane with Huygens Option") --" oh no look what you've done now I'm clicking links again
22:23:20 <fizzie> (The game includes two huygens for each color. Huygens can jump 5, 7, 11 and other prime numbers of squares in orthogonal directions (i.e. 5, 7, 11, 13, 17,...).)
22:25:09 <int-e> shachaf: I guess a large part of it is that correspondence chess is relatively old and they've just kept going as technology evolved, embracing it all because the alternative would be to stop completely.
22:28:03 <shachaf> I guess so.
22:29:06 <shachaf> Presumably a week of Leela Chess Zero or maybe Stockfish would just beat approximately anything else?
22:30:14 <int-e> ah but you don't have that much time for every move
22:30:33 <int-e> "ICCF standard time control 10 moves in 50 days with duplication after 20 days is used." -- hmm, maybe you do
22:30:46 <int-e> still deciding where to spend your time can make a difference
22:31:06 <int-e> but otoh there's probably the Google approach, just get better hardware
22:31:10 <zzo38> I have read there are chess tournaments where the players may use a computer to help with their decision; if you can also use books, DVDs, etc, then you just have many more options. I do not think that is wrong as long as it is known that such things may be done and what the time controls are. So, I think that it can work.
22:33:39 <int-e> shachaf: I can't explain it. I stumbled across the rule because I wanted to understand what "duplication" means in those time controls. Turns out this is a rule for server play that's officially called "double time"... if you take longer than 20 days on a single move, the extra time taken counts twice.
23:07:21 -!- Arcorann has joined.
23:33:44 -!- TheLie has quit (Remote host closed the connection).
23:56:11 <esowiki> [[User:PythonshellDebugwindow/(Unnamed language)]] M https://esolangs.org/w/index.php?diff=74483&oldid=74482 * PythonshellDebugwindow * (+16)
←2020-06-24 2020-06-25 2020-06-26→ ↑2020 ↑all