00:00:52 -!- sleepnap has joined.
00:16:21 <b_jonas> apparently in CSS simple selector syntax for selecting by id or class, if the name of the id or class contains a dot or colon, you can escape that to CSS by putting a backspace before those characters. good to know.
00:27:12 <esowiki> [[Talk:Thue]] https://esolangs.org/w/index.php?diff=72934&oldid=72920 * Yoel * (+160) /* Converting to Roman numerals */
00:28:35 <esowiki> [[Talk:Thue]] https://esolangs.org/w/index.php?diff=72935&oldid=72934 * Yoel * (+71) /* Converting to Roman numerals */
00:29:12 <esowiki> [[Talk:Thue]] https://esolangs.org/w/index.php?diff=72936&oldid=72935 * Yoel * (+8) /* Converting to Roman numerals */
00:37:38 -!- sebbu has quit (Ping timeout: 256 seconds).
00:44:45 <esowiki> [[Your]] M https://esolangs.org/w/index.php?diff=72937&oldid=68909 * PythonshellDebugwindow * (-4) Style
00:50:39 -!- adu has joined.
00:54:50 -!- sebbu has joined.
01:15:57 -!- sleepnap has quit (Ping timeout: 260 seconds).
01:27:26 -!- tromp_ has joined.
01:32:39 -!- tromp_ has quit (Ping timeout: 272 seconds).
01:35:09 -!- Arcorann__ has joined.
01:38:42 -!- Arcorann_ has quit (Ping timeout: 272 seconds).
01:41:44 -!- ArthurStrong has quit (Read error: Connection reset by peer).
01:48:21 <shachaf> b_jonas: A backspace as in U+0008?
02:21:31 -!- tromp has joined.
02:26:29 -!- tromp has quit (Ping timeout: 272 seconds).
02:34:15 -!- LKoen has quit (Ping timeout: 260 seconds).
03:15:42 -!- tromp has joined.
03:20:12 -!- tromp has quit (Ping timeout: 260 seconds).
03:29:33 <zzo38> I thought of a variant of Magic: the Gathering involving poker. You can play any variant of poker (draw, five-card stud, seven-card stud, Hold'em, etc) and and kind of betting limits (fixed-limit, spread-limit, pot-limit, no-limit, etc), and any number of players.
03:30:54 <zzo38> First, the players must agree on a shared deck, with at least enough cards for the selected variant of poker and number of players, but it can be more. Normal deck restrictions do not apply to this shared deck. Ensure all players know what it contains.
03:32:34 <zzo38> Next, do duplicate sealed with any set(s) or a cube; each player gets a copy of those cards as his sideboard, plus any conventional basic lands that player wants (which can also be added later; they need not be added right away).
03:36:35 <zzo38> Next, do poker game, using the shared deck only. When it is time to compare the cards to see who has a better hand, instead do not show any hidden cards to other players but instead play Magic: the Gathering. If there are any community cards (as in Texas Hold'em, for example), each player gets a copy of those cards.
03:38:35 <zzo38> Play for ante, using a deck constructed from the sealed cards plus any conventional basic lands that player wants, but the minimum deck size is now 33 cards instead of 40 cards. Do not draw an initial hand; instead your initial hand is the cards available to you from the poker game.
03:51:02 -!- ArthurStrong has joined.
03:57:14 -!- zseri has quit (Quit: zseri).
04:02:53 <zzo38> There is no mulligan (although subgames still draw cards at random and mulligan is possible). Each player may, once per game as a special action, create a basic land token with a subtype of that player's choice.
04:03:46 -!- sleepnap has joined.
04:04:49 <zzo38> If the initial ante card is a conventional basic land, put it on the bottom of your library and ante another card; repeat until you find one which isn't a conventional basic land. If your entire deck is conventional basic lands, then you are disqualified. (This rule does not apply to ante done later during the game; it only applies to the initial ante.)
04:06:38 <zzo38> Once the game is finished, if the number of winners is not exactly one, all ownership changes are reverted. If there is exactly one winner, then for each card he has gained or lost ownership of, he chooses whether to keep it for the rest of the match or not; if he keeps it, he pays back a proportion of his winnings (only that beyond his bet, though). The proportion is by the number of cards he can choose in this way, and is rounded up.
04:07:08 <zzo38> All shared cards are now returned to the shared deck and do again, until only one player has poker chips remaining.
04:07:21 -!- sleepnap has quit (Client Quit).
04:07:49 -!- sleepnap has joined.
04:08:11 <zzo38> That is all (I think).
04:09:54 -!- tromp has joined.
04:14:47 -!- tromp has quit (Ping timeout: 272 seconds).
04:29:06 -!- adu has quit (Quit: adu).
04:42:25 -!- sleepnap has quit (Quit: Leaving.).
04:43:32 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
05:03:55 -!- tromp has joined.
05:08:20 -!- tromp has quit (Ping timeout: 246 seconds).
05:19:59 -!- ArthurStrong has quit (Ping timeout: 246 seconds).
05:58:07 -!- tromp has joined.
06:03:05 -!- tromp has quit (Ping timeout: 272 seconds).
06:18:13 -!- sleepnap has joined.
06:41:54 -!- tromp has joined.
06:45:02 -!- rain1 has joined.
07:05:34 -!- sleepnap has quit (Remote host closed the connection).
07:07:50 -!- imode has quit (Ping timeout: 265 seconds).
07:09:40 <b_jonas> shachaf: no, a backslash. sorry.
07:26:16 -!- Sgeo has quit (Read error: Connection reset by peer).
07:38:57 -!- b_jonas has quit (Quit: leaving).
08:08:44 -!- cpressey has joined.
08:13:01 -!- glowcoil_ has joined.
08:16:00 -!- izabera1 has joined.
08:20:06 -!- xavo[m] has quit (*.net *.split).
08:20:06 -!- izabera has quit (*.net *.split).
08:20:08 -!- glowcoil has quit (*.net *.split).
08:20:08 -!- glowcoil_ has changed nick to glowcoil.
08:31:22 -!- xavo[m] has joined.
08:35:09 -!- izabera1 has changed nick to izabera.
08:55:44 -!- olsner has quit (Ping timeout: 256 seconds).
08:58:27 -!- LKoen has joined.
09:15:26 -!- olsner has joined.
09:18:57 -!- wib_jonas has joined.
09:27:46 -!- tromp_ has joined.
09:31:27 -!- tromp has quit (Ping timeout: 260 seconds).
10:32:04 -!- opticnerve has joined.
10:43:04 -!- arseniiv_ has joined.
10:49:37 -!- Lord_of_Life_ has joined.
10:50:37 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
10:50:57 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:24:20 -!- Arcorann__ has quit (Ping timeout: 246 seconds).
11:26:06 -!- Arcorann has joined.
11:30:39 -!- heroux has quit (Ping timeout: 258 seconds).
11:33:28 -!- heroux has joined.
11:53:24 -!- cpressey has quit (Quit: WeeChat 1.9.1).
11:53:36 -!- TheLie has joined.
12:26:54 -!- TheLie has quit (Remote host closed the connection).
12:55:06 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
12:57:09 -!- Lord_of_Life has joined.
13:03:09 -!- ArthurStrong has joined.
13:05:07 -!- cpressey has joined.
13:05:57 <rain1> https://en.wikipedia.org/wiki/Four-spiral_semigroup
13:06:13 <rain1> https://en.wikipedia.org/wiki/Bicyclic_semigroup
13:06:18 <rain1> I found a good topic to study: semigroups
13:15:47 <int-e> (this makes more sense if you pronounce "disunited" wrongly)
13:22:54 -!- tromp has joined.
13:26:25 -!- tromp_ has quit (Ping timeout: 272 seconds).
13:33:21 -!- TheLie has joined.
13:40:27 <esowiki> [[Spoon]] M https://esolangs.org/w/index.php?diff=72938&oldid=66267 * PythonshellDebugwindow * (+27) /* See also */
13:40:44 <esowiki> [[Spoon]] M https://esolangs.org/w/index.php?diff=72939&oldid=72938 * PythonshellDebugwindow * (+35) /* See also */
13:41:06 -!- Mahadev has joined.
13:41:44 -!- opticnerve has quit (Quit: bye).
13:42:04 <esowiki> [[You are Reading the Name of this Esolang]] M https://esolangs.org/w/index.php?diff=72940&oldid=46111 * PythonshellDebugwindow * (+27) /* See also */
13:43:19 <esowiki> [[You are Reading the Name of this Esolang]] M https://esolangs.org/w/index.php?diff=72941&oldid=72940 * PythonshellDebugwindow * (+34) /* External resources */ link
13:50:54 -!- joast has quit (Quit: Leaving.).
13:56:13 <esowiki> [[Exp]] M https://esolangs.org/w/index.php?diff=72942&oldid=71602 * PythonshellDebugwindow * (+5)
14:00:35 <esowiki> [[B sharp]] M https://esolangs.org/w/index.php?diff=72943&oldid=68160 * PythonshellDebugwindow * (+9)
14:01:00 <esowiki> [[D]] M https://esolangs.org/w/index.php?diff=72944&oldid=67091 * PythonshellDebugwindow * (+33)
14:01:05 -!- joast has joined.
14:03:11 <esowiki> [[IBC]] M https://esolangs.org/w/index.php?diff=72945&oldid=70394 * PythonshellDebugwindow * (+179) /* Delete System32 */
14:03:30 <esowiki> [[IBC]] M https://esolangs.org/w/index.php?diff=72946&oldid=72945 * PythonshellDebugwindow * (+18) 2019
14:07:01 <esowiki> [[MangularJS]] M https://esolangs.org/w/index.php?diff=72947&oldid=72563 * PythonshellDebugwindow * (+24) /* See also */
14:07:14 <cpressey> I'm implementing the lambda calculus so that I can experience firsthand the road to madness that alpha-conversion is.
14:08:11 <esowiki> [[HaltJS]] M https://esolangs.org/w/index.php?diff=72948&oldid=71609 * PythonshellDebugwindow * (+5)
14:09:08 -!- zseri has joined.
14:09:24 <esowiki> [[GHOST]] M https://esolangs.org/w/index.php?diff=72949&oldid=71614 * PythonshellDebugwindow * (+6) /* GHOST */
14:14:32 <arseniiv_> cpressey: there is no alpha-conversion, there are only de Bruijn indices :p
14:14:39 -!- arseniiv_ has changed nick to arseniiv.
14:15:38 <esowiki> [[SpaghettiScript]] https://esolangs.org/w/index.php?diff=72950&oldid=72933 * UltimateProGrammer * (+54)
14:16:10 <esowiki> [[3LEB]] https://esolangs.org/w/index.php?diff=72951&oldid=72899 * Hanzlu * (+520)
14:16:50 <int-e> arseniiv: Substitution with de Bruijn indices is no joy either. It's just harder to get subtly wrong.
14:18:04 <int-e> (mainly because there are fewer degrees of freedom)
14:18:42 <cpressey> Well, I'm trying to start with a naive implementation, and then refactor it into a more sophisticated version. I lack test cases though.
14:20:17 <cpressey> I do agree with the idea that the set of bound variable names, and the set of free variable names, should be disjoint. (whether the bound variable "names" are de Bruijn indices or not.)
14:21:07 <cpressey> I mean, I can see how that makes things cleaner. I'm not there yet though.
14:21:26 <arseniiv> int-e: rain1: yesterday I thought about the way to make a monoid from a semigroup and that some people think of semigroups as unnecessary because of that, but I realized there should be a lot of examples when we can’t adjoin a synthetic identity element to a semigroup, e. g. when this is a multiplicative semigroup of a semiring: how would we define addition with this synthetic 1, it may be in some cases that there are no natural choic
14:21:26 <arseniiv> e, or a couple of them. And this generalizes to an arbitraty algebraic structure being accidentally a semigroup for one of its operations
14:22:05 <arseniiv> also there is a much simpler argument that morphism of semigroups which are by chance monoids isn’t necessary a monoid morphism
14:22:38 <int-e> cpressey: that helps a lot if you never beta-reduce under a lambda. otherwise the distinction of free and bound becomes blurry
14:22:47 <arseniiv> <int-e> (mainly because there are fewer degrees of freedom) => so that’s better anyway!
14:24:40 <arseniiv> cpressey: you can also use indices for free variables. At first to me that seemed a bit strange and unnecessary, but seeing the implementation in Pierce’s TaPL fleshed out more, I think that idea is a reasonable completion, and maybe the only one, of dB indices
14:25:30 <arseniiv> this solves a problem naming bound variables closer to what the user of the language called them before the conversion to indices
14:28:34 <arseniiv> but I have to admit, I never implemented this version
14:35:18 -!- Arcorann has quit (Read error: Connection reset by peer).
14:36:31 <int-e> cpressey: here's a fun closed term: \d. (\f z. f (f (f (f (f z))))) (\c b x. c (b x)) d
14:38:32 <int-e> Which reduces to \z b x x1 x2 x3 x4. z (b x x1 x2 x3 x4) which requires more distinct bound variables than it started out with.
14:39:59 -!- Mahadev has left.
14:43:27 <cpressey> int-e: I would like to use that as a test case. I need to write a parser first though -- even translating that by hand to my data structure might introduce an error :)
14:57:27 -!- TheLie has quit (Remote host closed the connection).
15:01:14 <esowiki> [[OneFuck]] M https://esolangs.org/w/index.php?diff=72952&oldid=51983 * PythonshellDebugwindow * (-14) /* Added instructions */
15:05:47 -!- wib_jonas has quit (Quit: Connection closed).
15:13:15 <cpressey> None of this is helped by the apparent fact that I have the attention span of a gnat today.
15:31:00 <esowiki> [[3LEB]] https://esolangs.org/w/index.php?diff=72953&oldid=72951 * Hanzlu * (+614)
15:37:48 -!- MDude has joined.
15:52:01 -!- TheLie has joined.
15:54:20 <esowiki> [[Jsfunc]] M https://esolangs.org/w/index.php?diff=72954&oldid=71284 * PythonshellDebugwindow * (+23)
15:59:27 -!- cpressey has quit (Quit: WeeChat 1.9.1).
16:01:20 <esowiki> [[Shatner]] https://esolangs.org/w/index.php?diff=72955&oldid=46949 * Occular * (+121)
16:01:49 <esowiki> [[Shatner]] https://esolangs.org/w/index.php?diff=72956&oldid=72955 * Occular * (-4)
16:02:30 <esowiki> [[Forbin]] N https://esolangs.org/w/index.php?oldid=72957 * PythonshellDebugwindow * (+443) Created page with "{{PageWIP}] '''Forbin''' is an esolang by [[User:PythonshellDebugwindow]]. ==Examples== ===[[Hello World]]=== main { out 01001000; out 01100101; out 01101100; ou..."
16:02:40 <esowiki> [[Forbin]] M https://esolangs.org/w/index.php?diff=72958&oldid=72957 * PythonshellDebugwindow * (+0)
16:12:05 -!- adu has joined.
16:15:17 -!- Phantom_Hoover has joined.
16:24:32 -!- opticnerve has joined.
16:41:28 <esowiki> [[MetaGlow]] M https://esolangs.org/w/index.php?diff=72959&oldid=70533 * PythonshellDebugwindow * (+18)
16:42:59 <esowiki> [[Entish]] M https://esolangs.org/w/index.php?diff=72960&oldid=68926 * PythonshellDebugwindow * (-2)
16:45:54 -!- b_jonas has joined.
16:59:02 -!- kspalaiologos has joined.
17:05:10 <esowiki> [[Insanity]] M https://esolangs.org/w/index.php?diff=72961&oldid=70454 * PythonshellDebugwindow * (+79)
17:09:41 <esowiki> [[ADxc]] M https://esolangs.org/w/index.php?diff=72962&oldid=68253 * PythonshellDebugwindow * (+94) cats + style
17:11:10 <esowiki> [[HeartForth]] M https://esolangs.org/w/index.php?diff=72963&oldid=42990 * PythonshellDebugwindow * (-6)
17:16:46 -!- TheLie has quit (Remote host closed the connection).
17:38:02 -!- tromp has quit (Remote host closed the connection).
17:40:09 <esowiki> [[User:Orby/Term rewriting metalanguage]] https://esolangs.org/w/index.php?diff=72964&oldid=72854 * Orby * (+1183)
17:44:27 -!- Lucretia has joined.
17:45:20 -!- tromp has joined.
18:07:58 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds).
18:13:12 <esowiki> [[Forbin]] M https://esolangs.org/w/index.php?diff=72965&oldid=72958 * PythonshellDebugwindow * (+182)
18:17:20 <esowiki> [[Trml]] N https://esolangs.org/w/index.php?oldid=72966 * Orby * (+2079) Creating Trml term-rewriting metalanguage page
18:18:59 <esowiki> [[User:Orby]] M https://esolangs.org/w/index.php?diff=72967&oldid=72797 * Orby * (+73)
18:19:33 <esowiki> [[User:Orby]] M https://esolangs.org/w/index.php?diff=72968&oldid=72967 * Orby * (-84) /* Ideas in progress */
18:24:27 <esowiki> [[User:Orby]] M https://esolangs.org/w/index.php?diff=72969&oldid=72968 * Orby * (+0) /* Metalanguages */
18:37:23 -!- TheLie has joined.
18:42:15 -!- imode has joined.
18:45:14 <esowiki> [[Trml]] https://esolangs.org/w/index.php?diff=72970&oldid=72966 * Orby * (+432) /* Matrioshka language */
18:50:15 -!- tromp has quit (Remote host closed the connection).
18:50:33 -!- tromp has joined.
18:57:03 <esowiki> [[Trml]] https://esolangs.org/w/index.php?diff=72971&oldid=72970 * Orby * (+175) /* Term statements */
18:58:55 <esowiki> [[Trml]] M https://esolangs.org/w/index.php?diff=72972&oldid=72971 * Orby * (+81) /* Term statements */
19:05:48 <arseniiv> hi all again, does anybody know an example of an S-expression rewriting esolang? (analogous to Markov algorithm or Thue)
19:27:15 -!- TheLie has quit (Ping timeout: 246 seconds).
19:33:52 <orbitaldecay> Trml is a work in progress which may suit your needs
19:34:57 <arseniiv> orbitaldecay: any working esolang, though better it had a complete description
19:35:01 -!- zseri has quit (Quit: zseri).
19:35:17 <arseniiv> though I made up something right now and I think I’m lazy to implement it
19:39:17 <zzo38> You can write the description of it even if it is not yet implemented
19:46:47 -!- user24 has joined.
19:53:29 <esowiki> [[Sillycon]] M https://esolangs.org/w/index.php?diff=72973&oldid=67554 * PythonshellDebugwindow * (+24) /* External resources */
20:03:49 -!- kspalaiologos has quit (Quit: Leaving).
20:18:15 <esowiki> [[XENBLN/Commands]] M https://esolangs.org/w/index.php?diff=72974&oldid=71733 * PythonshellDebugwindow * (-1)
20:31:13 -!- TheLie has joined.
20:32:27 <esowiki> [[Trml]] https://esolangs.org/w/index.php?diff=72975&oldid=72972 * Orby * (+179) /* Rule statements */
20:34:52 <esowiki> [[Forbin]] M https://esolangs.org/w/index.php?diff=72976&oldid=72965 * PythonshellDebugwindow * (+195) /* Hello World */
20:35:05 -!- adu has quit (Quit: adu).
20:40:03 -!- user24 has quit (Remote host closed the connection).
20:45:04 -!- rain1 has quit (Quit: leaving).
20:51:02 <esowiki> [[EnilKode]] M https://esolangs.org/w/index.php?diff=72977&oldid=70785 * PythonshellDebugwindow * (+42) /* Truth Machine */ cats
20:56:11 -!- adu has joined.
20:57:48 <esowiki> [[Asd]] M https://esolangs.org/w/index.php?diff=72978&oldid=56261 * PythonshellDebugwindow * (+26)
21:24:34 -!- tromp has quit (Remote host closed the connection).
21:28:56 -!- tromp has joined.
21:56:47 -!- ArthurStrong has quit (Read error: Connection reset by peer).
21:57:34 -!- ArthurStrong has joined.
22:02:22 -!- Sgeo has joined.
22:02:50 -!- imode has quit (Ping timeout: 256 seconds).
22:04:16 -!- tromp has quit (Remote host closed the connection).
22:04:42 -!- imode has joined.
22:07:59 -!- arseniiv_ has joined.
22:10:42 -!- arseniiv has quit (Ping timeout: 256 seconds).
22:17:56 -!- opticnerve has quit (Quit: bye).
22:25:23 -!- tromp has joined.
22:25:44 -!- arseniiv_ has quit (Ping timeout: 272 seconds).
22:27:50 -!- LKoen has quit (Remote host closed the connection).
22:36:45 -!- d2ci8xc5 has joined.
22:37:15 -!- d2ci8xc5 has quit (Remote host closed the connection).
22:50:39 -!- tromp has quit (Remote host closed the connection).
22:51:30 -!- Lord_of_Life_ has joined.
22:51:44 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
22:54:16 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
22:59:20 -!- adu has quit (Quit: adu).
23:02:09 -!- adu has joined.
23:10:33 -!- Arcorann has joined.
23:33:39 -!- TheLie has quit (Remote host closed the connection).
23:45:35 -!- adu has quit (Quit: adu).
23:50:40 -!- adu has joined.
23:55:26 <imode> @tell arseniiv modal is an example of this.
23:56:26 <imode> orbitaldecay: what's Trml?