00:08:01 -!- simcop2387 has quit (Read error: Connection reset by peer).
00:12:19 -!- simcop2387 has joined.
05:48:33 -!- razetime has joined.
06:06:17 -!- user3456 has quit (Quit: I use ZNC - https://znc.in).
06:07:31 -!- user3456 has joined.
06:08:31 -!- SGautam has joined.
06:45:52 -!- tromp has joined.
07:43:08 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
07:49:23 -!- razetime has quit (Ping timeout: 252 seconds).
07:54:42 -!- Sgeo has quit (Read error: Connection reset by peer).
07:58:36 -!- ^[ has quit (Ping timeout: 264 seconds).
08:00:06 -!- ^[ has joined.
08:11:48 <esolangs> [[User:WriteOnly]] M https://esolangs.org/w/index.php?diff=103419&oldid=102892 * WriteOnly * (+120)
08:12:00 <esolangs> [[User:WriteOnly]] https://esolangs.org/w/index.php?diff=103420&oldid=103419 * WriteOnly * (+0)
08:18:50 <esolangs> [[User:WriteOnly]] https://esolangs.org/w/index.php?diff=103421&oldid=103420 * WriteOnly * (+1)
08:20:32 -!- razetime has joined.
08:28:06 -!- razetime has quit (Ping timeout: 265 seconds).
08:28:21 -!- razetime_ has joined.
08:35:17 -!- razetime_ has quit (Ping timeout: 244 seconds).
08:39:20 -!- razetime has joined.
08:44:53 -!- __monty__ has joined.
09:02:00 -!- wib_jonas has joined.
09:07:19 <wib_jonas> zzo38: using the name was busted way before Unstable started sets of four cards with the same name but different rule text. there's a card or two with misprinted name, a dozen cards whose named changed to contain Aether instead of Æther, several cards with italic in their name so you might not be sure how to represent that, hundreds of
09:07:20 <wib_jonas> split/flip/double-faced/meld cards that have two names, a few problems exclusive to un-land, and probably more that I forget now.
09:08:31 <wib_jonas> oh yeah, there's now also the Godzilla cards with two names.
09:14:13 -!- bgs has joined.
09:14:26 -!- razetime has quit (Ping timeout: 260 seconds).
09:14:40 -!- razetime has joined.
09:22:11 -!- razetime has quit (Ping timeout: 250 seconds).
09:22:57 -!- razetime has joined.
09:48:20 -!- tech_exorcist has joined.
09:49:18 -!- bgs has quit (Remote host closed the connection).
09:57:58 -!- razetime has quit (Ping timeout: 244 seconds).
10:04:20 -!- razetime has joined.
10:40:19 -!- razetime has quit (Ping timeout: 244 seconds).
10:44:05 -!- razetime has joined.
11:08:03 -!- SGautam has quit (Quit: Connection closed for inactivity).
11:23:20 <wib_jonas> what the heck are indexed grammars? apparently it's a class larger than context-free grammars
11:23:53 <wib_jonas> I don't think I'd heard of them until today, though it also doesn't seem new.
12:03:10 -!- wib_jonas has quit (Ping timeout: 252 seconds).
13:05:32 <HackEso> indexed monad:Indexed monads are just monads on an indexed category. \ indexed monad:Indexed monads are just categories enriched over the monoidal category of endofunctors. \ uncyclopedia:Uncyclopedia is always factually accurate, except for uh, that one entry? it started with like, an AA? you can probably find it in https://en.wikibooks.org/wiki/Special:PrefixIndex/The_Unicyclopedia
13:06:00 <fizzie> Hmm, are there two entries about indexed monads in there?
13:06:36 <fizzie> `` cat /hackenv/wisdom/indexed\ monad
13:06:37 <HackEso> Indexed monads are just monads on an indexed category. \ Indexed monads are just categories enriched over the monoidal category of endofunctors.
13:06:43 <fizzie> No, there's one "entry" with two lines.
13:14:04 -!- tech_exorcist has quit (Quit: See you later).
13:29:31 -!- wib_jonas has joined.
13:38:29 -!- ^[ has quit (Read error: Connection reset by peer).
13:47:11 -!- __monty__ has quit (Quit: leaving).
13:58:52 -!- fowl2 has joined.
13:59:37 -!- fowl has quit (Read error: Connection reset by peer).
13:59:37 -!- fowl2 has changed nick to fowl.
13:59:50 -!- Sgeo has joined.
14:01:18 <wib_jonas> `python3 -cimport os; print("\n".join([l.name for l in os.scandir("/hackenv/wisdom") if l.is_file(follow_symlinks=0) and b"\n" in open(l,"rb").read()[: -1]])); # wisdom entries with more than one line
14:01:20 <HackEso> bdsmreclist \ indexed monad
15:36:52 -!- wib_jonas has quit (Quit: Client closed).
15:58:40 -!- tech_exorcist has joined.
16:58:08 -!- Amore has joined.
17:12:29 <esolangs> [[(]] M https://esolangs.org/w/index.php?diff=103422&oldid=73589 * PythonshellDebugwindow * (+34) Distinguish confusion
17:13:50 <esolangs> [[Unhappy]] M https://esolangs.org/w/index.php?diff=103423&oldid=69672 * PythonshellDebugwindow * (+37) Distinguish confusion, stub
17:15:42 -!- tromp has joined.
17:25:20 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:01:32 -!- tromp has joined.
18:08:21 -!- razetime has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
18:51:59 -!- Lord_of_Life_ has joined.
18:52:27 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
18:54:45 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
19:53:42 -!- Amore has quit (Quit: Connection closed for inactivity).
20:15:31 -!- Thedarkb1-Deskto has joined.
20:18:16 -!- Thedarkb-Desktop has quit (Ping timeout: 260 seconds).
20:19:18 -!- tech_exorcist has quit (Quit: Disconnecting).
20:30:46 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:32:45 -!- tromp has joined.
20:47:10 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:50:52 -!- __monty__ has joined.
20:54:51 -!- tromp has joined.
20:55:58 <zzo38> I know that some cards have multiple names, so it isn't quite the "primary key" but each name corresponds to a part of the card and then are associated, but it is still unique. The changes of names and misprints are not important; the ASCII representation is still the same, of what is the Oracle name.
20:56:13 <zzo38> Some cards have a printed name different from the Oracle name; those also are not important.
21:04:49 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:16:22 -!- tromp has joined.
21:42:10 -!- Amore has joined.
22:08:56 -!- __monty__ has quit (Quit: leaving).
22:30:01 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:33:47 -!- tromp has joined.
23:22:55 -!- Guest45 has joined.
23:23:27 -!- Guest45 has quit (Client Quit).
23:25:32 <fizzie> People these days, so impatient.
23:30:44 <esolangs> [[Talk:Incdecisive Machine]] N https://esolangs.org/w/index.php?oldid=103424 * Ais523 * (+1337) a simpler translation / TCness proof
23:31:45 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:57:07 -!- sprout_ has joined.