00:00:11 -!- tromp_ has joined. 00:01:51 -!- xkapastel has joined. 00:05:21 -!- tromp_ has quit (Ping timeout: 272 seconds). 00:47:43 One feature I do not intend to implement in TeXnicard is hyphenation, since it should hopefully be unnecessary. 01:15:25 -!- LKoen has quit (Remote host closed the connection). 01:23:13 -!- RAILR0AD has joined. 01:25:24 -!- RAILR0AD has left. 01:48:17 -!- tromp has joined. 01:51:22 -!- Sgeo__ has joined. 01:53:12 -!- tromp has quit (Ping timeout: 265 seconds). 01:54:30 -!- Sgeo_ has quit (Ping timeout: 260 seconds). 02:11:09 -!- xkapastel has quit (Quit: Connection closed for inactivity). 02:17:46 [[Special:Log/newusers]] create * Fwander * New user account 02:22:59 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=71470&oldid=71355 * Fwander * (+303) 03:11:32 LKoen: I don't know about Dominion, although from the instructions on the wiki you linked about Dvorak game, it would seem making templates for Dvorak would nto be so difficult. 03:19:10 -!- craigo has joined. 03:37:26 [[AAAAAAAAAAAAAA!!!! Turing-completeness proof]] https://esolangs.org/w/index.php?diff=71471&oldid=71411 * YamTokTpaFa * (+65) Program modification: !'s were missing 03:38:01 [[AAAAAAAAAAAAAA!!!! Turing-completeness proof]] M https://esolangs.org/w/index.php?diff=71472&oldid=71471 * YamTokTpaFa * (+4) /* Assumptions */ noted->commented 03:49:31 -!- shinh has quit (Ping timeout: 265 seconds). 04:05:36 -!- shinh has joined. 04:12:13 [[User:YamTokTpaFa/sandbox3]] https://esolangs.org/w/index.php?diff=71473&oldid=67040 * YamTokTpaFa * (+432) 04:15:51 -!- Riccaird has joined. 04:18:44 -!- Riccaird has left. 04:20:46 -!- Riccaird has joined. 04:24:44 [[User:YamTokTpaFa/sandbox3]] https://esolangs.org/w/index.php?diff=71474&oldid=71473 * YamTokTpaFa * (+415) 04:50:08 [[User:YamTokTpaFa/sandbox3]] https://esolangs.org/w/index.php?diff=71475&oldid=71474 * YamTokTpaFa * (+748) 04:50:21 -!- tromp has joined. 04:55:25 -!- tromp has quit (Ping timeout: 272 seconds). 04:58:13 [[User:YamTokTpaFa/sandbox3]] https://esolangs.org/w/index.php?diff=71476&oldid=71475 * YamTokTpaFa * (+171) /* Variations */ 04:58:38 [[User:YamTokTpaFa/sandbox3]] https://esolangs.org/w/index.php?diff=71477&oldid=71476 * YamTokTpaFa * (-367) 05:01:16 [[User:YamTokTpaFa/sandbox3]] https://esolangs.org/w/index.php?diff=71478&oldid=71477 * YamTokTpaFa * (-2402) moving by copy and paste 05:01:52 [[]] N https://esolangs.org/w/index.php?oldid=71479 * YamTokTpaFa * (+2430) Created page with "The '''''' (''Zundoko Kiyoshi'') function, also known as '''''' (''Kiyoshi check'') or '''''' (''Zundoko chec..." 05:44:53 -!- tromp has joined. 05:49:33 -!- tromp has quit (Ping timeout: 265 seconds). 06:09:00 ;; Enchantment - Aura ;; Enchant permanent ;; When enchanted permanent would become tapped, instead that permanent becomes tapped and ~ gets a new timestamp. ;; Enchanted permanent loses all abilities while tapped. 06:10:30 [[Butterbrain]] N https://esolangs.org/w/index.php?oldid=71480 * Fwander * (+8102) Created page with "=ButterBrain= '''ButterBrain''' is an esolang heavily inspired by [[Brainfuck]]. Butterbrain and brainfuck both share the idea of a strip of memory cells that can be looked at..." 06:13:43 [[User:Fwander]] N https://esolangs.org/w/index.php?oldid=71481 * Fwander * (+34) Created page with "===Contrbutions=== [[butterbrain]]" 06:15:23 [[Language list]] https://esolangs.org/w/index.php?diff=71482&oldid=71462 * Fwander * (+18) /* B */ 06:23:41 What name and mana cost and other changes? 06:31:07 -!- tromp has joined. 07:02:58 -!- imode has quit (Ping timeout: 260 seconds). 07:05:17 -!- tromp has quit (Remote host closed the connection). 07:09:18 -!- tromp has joined. 07:21:19 -!- TheLie has joined. 07:22:33 -!- rawr has changed nick to grumble. 07:34:16 -!- Riccaird has quit (Remote host closed the connection). 07:35:03 -!- Ricciard has joined. 07:41:29 -!- arseniiv has joined. 08:34:56 -!- Ricciard has quit (Ping timeout: 240 seconds). 08:36:53 -!- cpressey has joined. 08:48:04 -!- atslash has quit (Ping timeout: 244 seconds). 08:48:07 -!- LKoen has joined. 08:56:36 -!- TheLie has quit (Ping timeout: 265 seconds). 09:00:48 [[Butterbrain]] https://esolangs.org/w/index.php?diff=71483&oldid=71480 * Voltage2007 * (+6) 09:01:45 -!- craigo has quit (Ping timeout: 240 seconds). 09:15:52 -!- Sgeo_ has joined. 09:19:25 -!- Sgeo__ has quit (Ping timeout: 264 seconds). 09:34:04 -!- TheLie has joined. 10:32:45 -!- rain1 has joined. 10:39:43 The Jot page gives a method for translating SKI terms to Jot terms but it doesn't seem to say what to do with parentheses. 10:39:58 Or am I missing it? 10:40:50 maybe the parens are not part of it 10:40:56 just working on the AST directly 10:41:43 http://www.nyu.edu/projects/barker/Iota/ -- scroll down to "Here are the rules for mapping an arbitrary CL program into Jot:" 10:42:04 I fail to see how that translation gives different results for, say, I(SK) and (IS)K 10:42:58 Or is it understood that you translate starting at the deepest nested terms? 10:43:20 let me see 10:44:18 so SK maps to *[i*i*i*ii][*i*i*ii] 10:44:37 and IS maps to *[*ii][*i*i*i*ii] 10:44:58 I think that's Iota; Jot is halfway down the page 10:45:07 oh yeah sorry im reading the wrong bit 10:45:26 oh and the square brackets aren't a thing 10:45:29 that's the mapping 10:46:13 so [I(SK)] = 1[I][SK] = 1[I]1[S][K] = 1[I]11111100011100 10:46:40 and [(IS)K] = 1[IS][K] = 11[I][S][K] = 11[I]1111100011100 10:47:06 so having the 1 is in a different place seems the only difference, for the bracketing 10:55:27 OK, so the translation has to follow the nesting. Thanks. 11:01:22 It's a bit clearer to me if I think of there being an implicit "apply" operator in between A and B in a term like AB. 11:01:34 -!- cpressey has quit (Quit: Lunch.). 11:19:41 [[Talk:Unpseudorandom]] N https://esolangs.org/w/index.php?oldid=71484 * IFcoltransG * (+356) Created page with "I just realised: code after a . mightn't be redundant if it's within a loop. Loops that have . in a loop as their last command may be useful. If some..." 11:25:22 -!- Lord_of_Life_ has joined. 11:28:30 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 11:28:32 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 11:28:35 [[Babalang]] M https://esolangs.org/w/index.php?diff=71485&oldid=71239 * RocketRace * (+62) Add date and author 11:41:06 -!- rain1 has quit (Ping timeout: 256 seconds). 11:41:28 -!- rain1 has joined. 11:49:01 -!- grumble has quit (Quit: Well, would you look at the time. I've almost missed my ambiguous, non-existent appointment that I have scheduled just when I start to lose interest in my current conversation.). 11:54:02 -!- grumble has joined. 12:10:31 -!- cpressey has joined. 12:16:20 -!- TheLie has quit (Remote host closed the connection). 12:39:22 -!- xkapastel has joined. 13:18:43 -!- Phantom__Hoover has joined. 13:37:08 [[Babalang]] M https://esolangs.org/w/index.php?diff=71486&oldid=71485 * PythonshellDebugwindow * (+0) /* Objects */ 13:43:25 -!- TheLie has joined. 14:54:38 [[User:AnimaLibera]] M https://esolangs.org/w/index.php?diff=71487&oldid=66840 * AnimaLibera * (+308) ()Oo0 15:01:19 -!- Phantom__Hoover has quit (Ping timeout: 246 seconds). 15:10:02 -!- craigo has joined. 15:13:23 -!- Sgeo__ has joined. 15:16:40 -!- Sgeo_ has quit (Ping timeout: 258 seconds). 15:19:11 -!- TheLie has quit (Remote host closed the connection). 15:31:45 -!- imode has joined. 15:53:15 -!- arseniiv_ has joined. 15:55:27 -!- xkapastel has quit (Quit: Connection closed for inactivity). 15:56:02 -!- cpressey has quit (Quit: A la prochaine.). 15:56:19 -!- arseniiv has quit (Ping timeout: 256 seconds). 15:57:50 -!- rain1 has quit (Quit: leaving). 16:44:02 -!- rain1 has joined. 16:49:22 -!- imode has quit (Ping timeout: 256 seconds). 17:43:02 ``` words --pokemon 10 17:43:04 zekrow palon basauroth pet sawsbuck lycanroc decidueye munchkrok deerlia sandoom 17:43:15 nice 18:03:27 -!- Phantom__Hoover has joined. 18:06:10 -!- Bowserinator has joined. 18:14:40 -!- iovoid has joined. 18:14:42 Do you like to play Pokemon card or Pokemon mahjong? 18:15:59 Maybe you know how to make my Pokemon mahjong rules work for next generation of Pokemon? 18:16:00 `coins 18:16:06 ​sbeescoin advvitcoin 108coin .coin prouplomicoin pureheadcoin hexcoin thcoin divzerofibcoin eloughcoin bagatacoin bam128coin ztracktrobaz,ohmy!coin decastaikcoin 157.6coin worbcoin fmularerowcoin enrokcoin ///coin ernameoncoin 18:16:39 `coins 18:16:40 ​polyncoin eta-julecoin tractcoin gasoitcoin bradolcoin steacoin junxcoin backing-boolcoin mdpcoin braicoin dolcoin nuctcoin verizzocoin barinworscoin rnadermacoin picoin carandahcoin eteneverscoin resorthtcoin restrecoin 18:17:25 manic dream pixie coin 18:17:49 -!- moony has joined. 18:18:47 So far I have rules for alternate forms of pokemons up to generation VII; I don't have generation VIII or IX or X yet, and I also don't know if other rules might need updated for that too. 18:19:20 (Note: The rules support playing any number of generations from only one to all of them, which effectively makes later generations optional rules.) 18:20:32 Also someone said they would abandon the numbering scheme of pokemon in future; if they do that then the mahjong game won't work with those generations, since the pokemon numbering scheme is a core part of the game. 18:22:52 kmc: Pretty 18:23:26 zzo38: I think they kinda already have -- since the national dex isn't even a thing anymore 18:23:30 * pikhq sad 18:25:29 O, they already did. Does that mean there are no more numbers for the latest generation? (Which generation is the latest one? I haven't kept track of it) 18:28:40 I don't think they have national dex numbers at all in gen IX, no 18:29:12 Gen VIII didn't have the national dex in the game, but Poke Bank did assign national dex numbers 18:29:31 (also, all the Pokemon were _in_ it, just w/out dex entries) 18:30:17 If, like gen II and later, they have internal numbers the same as the displayed numbers, then you can use those numbers even if they aren't displayed, I suppose, but depending on what they are doing, maybe that won't work. 18:30:31 -!- tromp has quit (Remote host closed the connection). 18:33:18 -!- atslash has joined. 18:33:52 -!- tromp has joined. 18:37:04 -!- li_ has joined. 18:37:17 hi fuckers 18:38:19 -!- atslash has quit (Ping timeout: 246 seconds). 18:39:18 -!- atslash has joined. 18:39:30 -!- li_ has quit (Client Quit). 18:52:27 My rules for Pokemon mahjong have many features that are not found in the standard Japanese mahjong game, such as the draft, wild cards, double-kind sequences, stones, the possibility to draw the dora indicator, additional irregular hands, etc. 18:53:08 (And, ippatsu does not count for tsumo win.) 19:19:43 [[Talk:Alphabet Stew]] M https://esolangs.org/w/index.php?diff=71488&oldid=69988 * DMC * (+93) 19:28:33 The BSD boggle game says 0% if you did not find any words because there aren't any words in the grid. 19:35:09 -!- imode has joined. 19:45:02 -!- arseniiv_ has quit (Ping timeout: 260 seconds). 19:49:52 -!- TheLie has joined. 19:56:16 -!- lambdabot has quit (Remote host closed the connection). 19:57:34 -!- int-e has quit (Remote host closed the connection). 19:58:40 -!- int-e has joined. 19:59:03 -!- lambdabot has joined. 20:09:21 [[Calcutape]] M https://esolangs.org/w/index.php?diff=71489&oldid=62033 * PythonshellDebugwindow * (+13) /* Implementations */ 20:09:49 [[Calcutape]] M https://esolangs.org/w/index.php?diff=71490&oldid=71489 * PythonshellDebugwindow * (+13) /* Implementations */ both dead links 20:19:10 -!- rain1 has quit (Quit: leaving). 20:20:58 [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=71491&oldid=71464 * PythonshellDebugwindow * (+25) 20:44:57 -!- Train has joined. 20:45:30 Which random number generator should I use, ACORN or ISAAC or something else? 20:47:09 Depends on the use. It if's secure ISAAC, otherwise ACORN. 20:47:29 Depends on what you need it for, really 20:48:05 [[Uack]] N https://esolangs.org/w/index.php?oldid=71492 * PythonshellDebugwindow * (+1415) Created page with "'''Uack''' is an esolang made by [[User:PythonshellDebugwindow]]. ==Memory model== An arbitrary-length stack. ==Datatypes== Datatypes are function (which always take an inte..." 20:49:36 [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=71493&oldid=71491 * PythonshellDebugwindow * (+94) /* Languages */ 20:50:38 [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=71494&oldid=71428 * PythonshellDebugwindow * (-1152) /* 2 */ 20:51:16 zzo38? 20:51:40 Well, I want it to be uniform and have a large period and difficult to predict 20:51:58 [[User:PythonshellDebugwindow/RandomNameGenerator]] M https://esolangs.org/w/index.php?diff=71495&oldid=71467 * PythonshellDebugwindow * (+430) 20:52:20 [[Language list]] M https://esolangs.org/w/index.php?diff=71496&oldid=71482 * PythonshellDebugwindow * (+11) /* U */ + [[Uack]] 20:52:53 ACORN then. 20:53:28 The Wikipedia article about "Pseudorandom number generator" lists the BSI evaulation criteria, of which there are K1, K2, K3, and K4. I care about K1 and K2 and K3, although K4 is less important. 21:23:25 Of course there are many other random generators too. 21:26:06 [[Quark]] https://esolangs.org/w/index.php?diff=71497&oldid=71445 * Zzo38 * (+23) 21:31:31 -!- Slyda1 has joined. 21:33:37 [07:29.18] there isnt really AI. It is all based on us, people. It is an Australia Army Simulation 21:33:38 [07:29.29] they want and may of simulated war in the 1950's 21:33:38 [07:29.32] they want to simulate war 21:33:38 [07:29.36] and enslave us all 21:33:38 [07:30.13] Jesus Christ was the first one to simulate in 1994 at Lloyd St Enoggera 21:33:39 [07:30.20] they want to kill him and simulate war 21:37:35 zzo38? I have another question about Minsky machines. 21:38:18 Train: OK, what question? 21:42:07 -!- tromp has quit (Remote host closed the connection). 21:43:11 Do I have to implement the entire Minsky machine in TrainCode or can I make a python program to evaluate Minsky instructions and turn them into TrainCode? 21:45:42 You can use a Python program to convert Minsky instructions into a TrainCode program, although the calculation that the Minsky program performs will need to be performed by the equivalent TrainCode program. 21:45:54 (I don't know if I am being clearly enough, though.) 21:46:56 So can the python program decide on the decrement parts and do the flow control, or does the TrainCode need to do flow control?? 21:47:40 The Python program can convert the Minsky flow control into the TrainCode flow control. 21:49:10 1994 the simulation, my IP ends in 194 21:49:17 1996 the matrix concept 21:50:09 (i.e. The Python program, when it finds a decrement command in the Minsky program, would add a n command into the TrainCode program, and then add mirrors and stuff in order to direct the flow control to the target command in the TrainCode program corresponding to that point in the Minsky program, which the Python program would keep track of.) 21:50:13 Lloyd St Enoggera was where the first simulation happened 21:50:31 and coding is supposed to be like this... here's a coding language name for you... Leptorans 21:50:41 Tradesta 21:50:44 Trad-esta 21:51:01 not python, windows, angular, react... its just rape 21:51:09 thanks zzo38, so I can't have flow control in the python program. 21:51:14 this will be difficult 21:51:19 fun! 21:51:33 Yetoasda 21:51:39 how could would that be 21:51:45 Yetoasda coding language 21:52:03 but you use react, angular, javascript... and java probably was something 21:52:05 its the americans 21:52:11 start your own coding language 21:52:26 java... what was the image with that? 21:55:42 -!- tromp has joined. 21:59:44 Gudday. 22:00:06 is that how they talk! 22:00:13 you are finding out 22:00:26 but you need to know 22:00:34 ONLY Jesus Christ can do this 22:00:39 or a King 22:00:44 or THE king 22:01:10 have a look at the crows 22:01:10 Are you a bot? 22:01:15 no such thing 22:01:20 you think they are bots 22:01:24 they are simulated PEOPLE 22:01:31 who go through hell 22:01:33 Slyda1: Well, I do not understand what a lot of what you mean anyways. But there is not the king in England so far, just the queen. And, Jesus Christ is dead since a long time ago. 22:01:41 wonder why the internet is getting worse? bots you say 22:01:45 they are simulated PEOPLE 22:01:51 (There was the king in the past, but now it is queen) 22:02:03 zzo38 you WILL find out! 22:02:37 Englands old king died because they changed the bible because the royals had the saints and they could 22:03:01 edinburgh - garden of eden - phillip - lipton tea 22:03:13 zzo38, it's either a bot or a spammer. 22:03:16 The reason internet is getting worse is due to many things, including stupid people, idiotic people, and love of money. 22:03:39 dont say there are bots! wait, if you do, you would be american, and you need to realise, in america, you are owned by the TV and food 22:03:46 It displays behavior much like GPT-2 22:03:50 TV system america 22:03:57 americans are TVs 22:04:29 Look at the dates 22:04:30 2020 22:04:32 2021 22:04:34 2022 22:04:36 2023 22:04:38 2024 22:04:43 they have big meanings 22:04:45 and are defined 22:05:17 zzo38 22:05:20 are you being simulated? 22:05:23 what's that like? 22:05:26 it must suck! 22:05:32 but you just think its bad 22:05:35 try to be dirty then 22:05:35 o.o what's happening here 22:05:41 keep your clothes dirty 22:05:46 It's either a bot or a spammer. 22:05:49 Just ignore it. 22:06:01 if you are being simulated, be dirty then 22:06:04 get dirt on you 22:06:12 keep your hair not brushed and dirty 22:06:18 dont keep clean 22:06:31 keep things in your house as you are or want to be 22:06:43 not as you see it should be 22:06:53 あたし分からぬわ 22:08:12 I think you broke it with the non-ASCII chars. 22:08:48 do you know cars drive in simulated packets? 22:09:03 ever notice? 22:10:37 Get a gun. Get your computer. A real smart one. Re-visit code, similar words, if you see the word repeated twice like _get_ *get*... revisit it then type something predatory.... Australia Army have no skill are robots radio controlled because of what they did to the messiah 22:10:52 go to an army base with your computer 22:10:58 there is one in brisbane city 22:11:03 have a look on the walls 22:11:08 they are driving outside now 22:11:19 If any moderators are listening, please stop the spammer. 22:11:48 say you are interested in what they do there 22:11:56 then look at the pictures 22:12:01 they will tell you something about it 22:12:08 then have a look at your computer 22:12:12 bring a coding book 22:12:13 node.js 22:12:27 write some things down 22:12:31 have a look at a codex 22:12:39 or similar code 22:12:42 look at your code 22:12:50 then _program_ your code 22:12:55 be a programmer 22:12:58 not just a coder 22:13:07 ops: ping 22:13:17 program your code 22:13:20 revisit your code 22:13:31 highlight the code that strikes twice or four times 22:13:41 that is all 22:13:54 -!- Slyda1 has quit (Quit: IceChat - It's what Cool People use). 22:14:25 See, no need for any intervention. 22:14:38 It just doubled the size of today's log files. 22:15:04 -!- Train has quit (Remote host closed the connection). 22:15:22 I was off looking up the chanserv quiet syntax again. But it usually just gets people angry and avoiding and real noisy. 22:26:58 -!- 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.”). 22:32:20 -!- Train has joined. 22:32:50 zzo38... I think there might be an easier way to prove that TrainCode is TC. 22:34:59 -!- tromp has quit (Remote host closed the connection). 22:44:37 I can just prove that every brainfuck instruction has a series of TrainCode equations. 22:44:42 That match it. 22:46:22 That is a way to do it, at least 22:46:35 It proves TC is TC. 22:59:17 -!- Train has quit (Remote host closed the connection). 23:15:10 -!- tromp has joined. 23:20:19 -!- tromp has quit (Ping timeout: 265 seconds). 23:28:27 -!- Lord_of_Life_ has joined. 23:28:39 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 23:31:15 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 23:38:34 -!- Phantom__Hoover has quit (Ping timeout: 256 seconds). 23:48:33 -!- TheLie has quit (Remote host closed the connection). 23:50:49 -!- tromp has joined. 23:56:03 -!- tromp has quit (Ping timeout: 272 seconds).