00:02:01 -!- brandonson has joined. 00:06:23 ah i found it 00:07:56 fizzie: can i change it to $1: Revision history like wikipedia? 00:11:33 https://en.wikipedia.org/wiki/MediaWiki_talk:History-title seems to be the discussion from when wikipedia changed it 00:12:38 well, one of the times, at least 00:14:10 the actual reordering seems to have happened in 2012 00:14:53 -!- nfd9001 has joined. 00:17:19 . o O ( did fizzie just go to bed? ) 00:18:39 If it's easily changeable, sure. 00:20:20 [[MediaWiki:History-Title]] N https://esolangs.org/w/index.php?oldid=61134 * Oerjan * (+20) Putting the article title first like on Wikipedia seems more useful for tabbed browsing 00:20:27 whee 00:20:29 . o O ( did fizzie just go to bed? ) If it's easily changeable, sure. <--- somewhat tempting quote, if only for the slight surreal note 00:20:40 go ahead 00:21:01 or do we have a rule against it 00:21:08 `? quoteformat 00:21:09 quoteformat is: message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two. 00:21:37 i think by the rules you must put [...] first :P 00:23:35 doesn't seem to have taken effect yet, although there may be some caching involved 00:26:26 https://esolangs.org/w/index.php?title=Special%3AAllMessages&prefix=history-title&filter=all&lang=en&limit=50 still shows the old string. 00:26:42 I wonder if we have $wgUseDatabaseMessages on or not. 00:28:30 It should be on by default, and I don't see an override. Not sure if there's a handy special page that could show the config somewhere. 00:30:14 (There is a message cache too, though.) 00:33:46 Maybe we'll: wait and see what'll happen. 00:38:27 good plan 00:45:32 [[Joke language list]] M https://esolangs.org/w/index.php?diff=61135&oldid=61091 * Oerjan * (+1) /* Brainfuck derivatives */ grm 00:47:28 [[Talk:Home Row]] https://esolangs.org/w/index.php?diff=61136&oldid=61106 * Oerjan * (+153) Undo blanking of another person's message 00:53:50 -!- xkapastel has quit (Quit: Connection closed for inactivity). 02:24:59 -!- shikhin has joined. 02:54:31 -!- Frater_EST has joined. 02:58:41 -!- Frater_EST has left. 03:18:31 -!- adu has joined. 04:01:00 -!- FreeFull has quit. 04:28:08 -!- shikhin has quit (Quit: leaving). 04:43:38 -!- shikhin has joined. 05:08:38 -!- shikhin has quit (Quit: leaving). 05:15:57 -!- adu_ has joined. 05:17:05 -!- adu has quit (Ping timeout: 250 seconds). 05:17:05 -!- adu_ has changed nick to adu. 05:35:09 Hmm, Infocom game source is posted at https://github.com/historicalsource 05:35:15 zzo38: Do you like this? 06:27:22 -!- dingwat has quit (Ping timeout: 250 seconds). 06:31:15 -!- ^[ has quit (Ping timeout: 258 seconds). 06:38:57 -!- ocharles has quit (Ping timeout: 252 seconds). 06:39:55 -!- mich181189 has quit (Ping timeout: 250 seconds). 06:43:19 -!- MDude has quit (Ping timeout: 250 seconds). 06:46:48 -!- MDude has joined. 06:50:20 -!- MDead has joined. 06:52:16 -!- mich181189 has joined. 06:52:56 -!- MDude has quit (Ping timeout: 250 seconds). 06:53:05 -!- MDead has changed nick to MDude. 06:54:30 -!- dingwat has joined. 06:57:46 -!- ^[ has joined. 06:59:51 -!- MDude has quit (Ping timeout: 255 seconds). 07:02:51 -!- ocharles has joined. 07:24:18 -!- MDude has joined. 07:29:05 -!- MDude has quit (Ping timeout: 246 seconds). 07:30:58 -!- MDude has joined. 07:33:02 -!- MDead has joined. 07:34:58 -!- MDead has quit (Read error: Connection reset by peer). 07:35:16 -!- MDude has quit (Ping timeout: 258 seconds). 07:35:40 -!- MDude has joined. 07:37:08 -!- MDead has joined. 07:38:42 -!- sebbu3 has joined. 07:40:11 -!- MDude has quit (Ping timeout: 252 seconds). 07:40:13 -!- MDead has changed nick to MDude. 07:42:33 -!- sebbu has quit (Ping timeout: 252 seconds). 07:59:00 -!- oerjan has quit (Quit: Nite). 08:18:59 -!- MDead_ has joined. 08:20:30 -!- MDude has quit (Ping timeout: 258 seconds). 08:30:51 [[List of ideas]] https://esolangs.org/w/index.php?diff=61137&oldid=61059 * Total Vacuum * (+112) /* Ideas for Names */ 08:31:47 [[List of ideas]] https://esolangs.org/w/index.php?diff=61138&oldid=61137 * Total Vacuum * (+20) /* Ideas for Names */ 08:32:46 apparently it's an illegal upload by a notorious copyright infringer 08:33:54 -!- arseniiv has joined. 08:44:24 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61139&oldid=61131 * A * (+0) /* Attempt by User:Helen */ 08:49:19 [[List of ideas]] https://esolangs.org/w/index.php?diff=61140&oldid=61138 * Total Vacuum * (+39) /* Ideas for Names */ 09:11:05 -!- wob_jonas has joined. 09:18:48 -!- AnotherTest has joined. 09:23:55 [[User:TuxCrafting]] https://esolangs.org/w/index.php?diff=61141&oldid=56864 * TuxCrafting * (+50) 09:29:32 [[User talk:TuxCrafting]] https://esolangs.org/w/index.php?diff=61142&oldid=59502 * TuxCrafting * (+190) 09:29:52 [[User:TuxCrafting]] M https://esolangs.org/w/index.php?diff=61143&oldid=61141 * TuxCrafting * (+8) 09:47:54 [[Bitch]] https://esolangs.org/w/index.php?diff=61144&oldid=61133 * A * (+25) There is aleady a proof in the talk page. 09:48:38 [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61145&oldid=61079 * A * (-19) /* List of candidates */ 10:02:36 -!- orpheu has joined. 10:03:03 Hi, I need help! 10:03:40 hi 10:04:40 Someone sent this code to me: .... ..... .... .......... .... ......... ..... ... .... .... .... ........... .... ... .. ... ....... ..... ...... .... ...., ........ .. ...... ..... ....., .... ...! CCOA 10:05:02 [[List of ideas]] https://esolangs.org/w/index.php?diff=61146&oldid=61140 * Total Vacuum * (+318) /* Ideas for Names */ 10:05:06 I've searched everywhere and can not figure out 10:05:46 to co coa coa coa coa cow c^a coa coa coa coa ra coa con coa coa coa con coa coa coa con coa con coa coa coa coa□ccoa con coa coa coa coa con co 10:06:54 Can anyone help me or have an idea of what this code might be? 10:10:54 ... 10:20:30 [[Uf]] N https://esolangs.org/w/index.php?oldid=61147 * Total Vacuum * (+337) Created page with "{{infobox proglang |name=uf (forth, microforth) |paradigms=imperative |author=[[User:Total Vacuum|Total Vacuum]] |year=[[:Category:2019|2019]] |memsys=:Category:Stack-base..." 10:20:40 [[User:Total Vacuum]] https://esolangs.org/w/index.php?diff=61148&oldid=49750 * Total Vacuum * (+504) 10:37:49 [[Uf]] https://esolangs.org/w/index.php?diff=61149&oldid=61147 * Total Vacuum * (+485) 10:38:46 -!- nfd has joined. 10:39:22 -!- nfd has quit (Read error: Connection reset by peer). 10:39:46 -!- nfd has joined. 10:40:19 Someone sent this code to me: .... ..... .... .......... .... ......... ..... ... .... .... .... ........... .... ... .. ... ....... ..... ...... .... ...., ........ .. ...... ..... ....., .... ...! CCOA 10:40:21 -!- nfd9001 has quit (Ping timeout: 250 seconds). 10:44:04 [[List of ideas]] https://esolangs.org/w/index.php?diff=61150&oldid=61146 * Total Vacuum * (+31) /* Ideas for Names */ 10:44:55 -!- orpheu has quit (Ping timeout: 256 seconds). 10:45:17 [[Uf]] https://esolangs.org/w/index.php?diff=61151&oldid=61149 * Total Vacuum * (-6) 10:52:16 [[Language list]] https://esolangs.org/w/index.php?diff=61152&oldid=61051 * Total Vacuum * (+9) 11:21:24 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61153&oldid=61139 * A * (+264) /* Attempt by User:Helen */ 11:22:27 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61154&oldid=61153 * A * (-1) Move decrementing idea 11:22:45 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61155&oldid=61154 * A * (-4) /* Attempt by User:Helen */ 11:25:24 [[Bitch]] https://esolangs.org/w/index.php?diff=61156&oldid=61144 * A * (+198) /* Turing-completeness */ 11:26:38 [[Works in progress]] https://esolangs.org/w/index.php?diff=61157&oldid=60307 * A * (-19) Add bitch to get more help from other users. 11:34:09 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61158&oldid=61155 * A * (+189) /* Attempt by User:Helen */ 11:48:55 -!- fmease has joined. 12:00:52 -!- Frater_EST has joined. 12:01:19 -!- Frater_EST has left. 12:02:23 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61159&oldid=61158 * A * (+19) /* Attempt by User:Helen */ 12:09:29 -!- sebbu3 has changed nick to sebbu. 12:15:39 -!- tswett[m] has joined. 12:18:10 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61160&oldid=61159 * A * (+84) Already Turing-complete! 12:20:28 -!- Cale has quit (Ping timeout: 245 seconds). 12:21:43 -!- Cale has joined. 12:22:50 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61161&oldid=61160 * A * (+8) Z3 is unique, so I will add "the" to them. 12:28:44 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61162&oldid=61161 * A * (+137) /* Attempt by User:Helen */ 12:46:40 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61163&oldid=61162 * A * (-137) /* Attempt by User:Helen */ 12:47:04 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61164&oldid=61163 * A * (-28) /* Attempt by User:Helen */ 12:54:36 -!- Frater_EST has joined. 13:04:18 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 13:06:36 -!- Lord_of_Life has joined. 13:11:02 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61165&oldid=61164 * A * (+37) /* Attempt by User:Helen */ 13:15:43 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61166&oldid=61165 * A * (+119) /* User:Helen - Implementing arithematic operations */ 13:16:39 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61167&oldid=61166 * A * (+87) /* User:Helen - Implementing arithematic operations */ 13:22:57 -!- Frater_EST has left. 13:26:23 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61168&oldid=61167 * A * (-7) /* Attempt by User:Helen */ 13:26:56 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61169&oldid=61168 * A * (+9) /* Attempt by User:Helen */ 13:30:15 -!- probablymoony has joined. 13:31:06 -!- moony has quit (Ping timeout: 252 seconds). 13:31:47 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61170&oldid=61169 * A * (-2352) /* User:A - Idea of a tape in the accumulator */ 13:32:16 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61171&oldid=61170 * A * (-109) /* User:A - Basic compilation */ 13:43:22 -!- ineiros has quit (Ping timeout: 245 seconds). 13:43:53 Hmm "software-managed [cache] coherence". 13:45:20 -!- ineiros has joined. 13:50:49 -!- mniip_ has joined. 13:51:05 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61172&oldid=61171 * A * (+51) /* Attempt by User:Helen */ 13:52:18 -!- mniip has quit (Ping timeout: 633 seconds). 13:53:04 -!- mniip_ has changed nick to mniip. 13:54:12 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61173&oldid=61172 * A * (-47) /* Attempt by User:Helen */ 13:54:50 -!- mniip has quit (Client Quit). 13:55:32 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61174&oldid=61173 * A * (-53) /* Attempt by User:Helen */ 13:56:13 -!- mniip has joined. 14:00:08 [[Bitch]] https://esolangs.org/w/index.php?diff=61175&oldid=61156 * A * (+26) /* Turing-completeness */ 14:00:43 [[Bitch]] https://esolangs.org/w/index.php?diff=61176&oldid=61175 * A * (+4) /* Turing-completeness */ 14:05:57 -!- tswett[m] has quit (Read error: Connection reset by peer). 14:05:59 -!- fmease has quit (Read error: Connection reset by peer). 14:06:36 [[Esolang talk:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61177&oldid=57024 * A * (-167) 14:09:36 -!- danieljabailey has quit (Ping timeout: 255 seconds). 14:11:08 -!- danieljabailey has joined. 14:15:49 [[Bitch]] https://esolangs.org/w/index.php?diff=61178&oldid=61176 * A * (-47) /* Turing-completeness */ 14:24:24 [[Bitch]] https://esolangs.org/w/index.php?diff=61179&oldid=61178 * A * (-181) /* Turing-completeness */ 14:32:10 -!- fmease has joined. 14:38:52 -!- adu has quit (Quit: adu). 14:39:15 -!- adu has joined. 14:39:38 -!- adu has quit (Client Quit). 14:49:38 -!- tswett[m] has joined. 14:54:23 -!- tromp has quit (Remote host closed the connection). 14:55:18 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61180&oldid=61174 * A * (-1) /* User:Helen - Implementing arithematic operations */ 14:58:43 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61181&oldid=61180 * Helen * (+203) /* Attempt by User:Helen */ 15:02:02 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61182&oldid=61181 * Helen * (+274) /* Attempt by User:Helen */ 15:03:36 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61183&oldid=61182 * A * (+212) 15:04:33 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61184&oldid=61183 * Helen * (+6) /* Attempt by User:Helen */ 15:07:36 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61185&oldid=61184 * A * (+145) /* Proof that all loops are computationally equivalent */ 15:08:51 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61186&oldid=61185 * A * (+115) /* Proof that all loops are computationally equivalent */ 15:09:08 -!- ^[ has quit. 15:09:34 -!- ^[ has joined. 15:10:54 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61187&oldid=61186 * A * (+8) /* Proof that all loops are computationally equivalent */ 15:13:37 -!- atslash has quit (Quit: Leaving). 15:15:58 [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61188&oldid=61145 * A * (-50) /* List of candidates */ 15:21:35 oerjan: I haven't heard of this Z3, but does it by chance have something to do with the two languages described in https://esolangs.org/wiki/Blindfolded_Arithmetic ? 15:23:12 hmm. apparently it's at least similar. 15:23:48 [[Blindfolded Arithmetic]] https://esolangs.org/w/index.php?diff=61189&oldid=59373 * B jonas * (+50) link [[Z3]] 15:27:14 -!- wob_jonas has quit (Remote host closed the connection). 15:29:24 -!- tromp has joined. 15:34:27 [[BTree]] N https://esolangs.org/w/index.php?oldid=61190 * TuxCrafting * (+2663) Created page with "'''BTree''' is an esoteric language invented by [[User:TuxCrafting]] where programs are formatted as binary trees. == Syntax == Programs are made of nodes, which contain one..." 15:50:13 -!- LKoen has joined. 15:57:26 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61191&oldid=61187 * Helen * (+45) /* Incrementing */ 16:00:53 [[BTree]] https://esolangs.org/w/index.php?diff=61192&oldid=61190 * TuxCrafting * (+133) categories 16:03:02 [[Language list]] https://esolangs.org/w/index.php?diff=61193&oldid=61152 * TuxCrafting * (+12) 16:18:28 [[User:TuxCrafting]] https://esolangs.org/w/index.php?diff=61194&oldid=61143 * TuxCrafting * (+192) 16:47:37 [[BTree]] https://esolangs.org/w/index.php?diff=61195&oldid=61192 * TuxCrafting * (+104) 16:50:17 -!- Sgeo_ has joined. 16:53:39 -!- Sgeo has quit (Ping timeout: 252 seconds). 17:31:50 [[User:Total Vacuum]] https://esolangs.org/w/index.php?diff=61196&oldid=61148 * Total Vacuum * (+4) /* ideas */ 17:34:14 [[List of ideas]] https://esolangs.org/w/index.php?diff=61197&oldid=61150 * Total Vacuum * (-27) /* Ideas for Names */ 17:42:54 -!- b_jonas has joined. 18:34:56 oerjan: am I associated with BANCStar so much that I ought not to propose it as a featured article on the wiki? 18:50:46 -!- Guest33 has joined. 18:53:11 -!- Guest33 has quit (Remote host closed the connection). 19:28:28 [[BANCStar]] https://esolangs.org/w/index.php?diff=61198&oldid=40697 * B jonas * (+296) 19:38:41 [[BANCStar]] https://esolangs.org/w/index.php?diff=61199&oldid=61198 * B jonas * (+45) /* Implementation */ 19:58:34 given a large enough corpus of code in a language L, one can construct a turing-complete language @L where code is a list of references to lines of code in that corpus 19:59:01 foo.pl:230;bar.pl:30;... 19:59:02 ROP is more or less that. 20:02:27 now, imagine M@L,C to be the corpus in language M such that a program written in @L for the corpus C, would work when applied to it. 20:03:52 `quote silliness 20:03:53 No output. 20:03:55 I think it is probably extremely hard to derive this corpus 20:04:33 even if both languages are simple imperative languages 20:09:48 translating a program line-for-line into a different language is hard, but M@L,C is harder, requires that each line behaves the same as its corresponding line in C, not only in it's context in C, but in any possible context 20:13:44 my hon. and learned friend fungot, has fizzie been adding new markov models to you? 20:13:44 b_jonas: the one who got you killed him for it? 20:14:17 https://esolangs.org/logs/2014-06.html#lJIc 20:23:04 -!- nfd9001 has joined. 20:25:35 -!- nfd has quit (Ping timeout: 252 seconds). 20:25:50 `addquote #define __NR_oldolduname 59 fungot: what's your old old name? olsner: they decided not to waste any brain cells storing obscure unix silliness). 20:25:50 b_jonas: you and the pogo hammer. he transported, it saved a princess. 20:25:52 1333) #define __NR_oldolduname 59 fungot: what's your old old name? olsner: they decided not to waste any brain cells storing obscure unix silliness). 20:26:12 # quote from https://esolangs.org/logs/2014-06.html#lO1b 20:27:14 ooh, fresh me-quote, I wonder how long ago it was that I actually said anything in here 20:27:18 ^style 20:27:18 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck* ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl youtube 20:27:30 olsner: well, now you just reset the counter 20:27:53 FireFly: I figured the quote did anyway 20:28:31 so ehm, quote me in 5 years and I'll try to remember not to respond 20:29:13 what counter? 20:29:38 oh, counter for how long it's been that you said anything here 20:31:51 -!- AnotherTest has quit (Ping timeout: 264 seconds). 20:39:47 `? mario 20:39:48 `? metroid 20:39:48 Mario is a classic PSPACE-complete problem invented by Nintendo. 20:39:49 metroid? ¯\(°​_o)/¯ 20:39:51 `? zelda 20:39:52 zelda? ¯\(°​_o)/¯ 20:39:54 `? link 20:39:55 link? ¯\(°​_o)/¯ 20:40:51 [[User:Total Vacuum]] https://esolangs.org/w/index.php?diff=61200&oldid=61196 * Total Vacuum * (+205) /* ideas */ 20:41:48 -!- FreeFull has joined. 20:44:29 b_jonas: Hmm? 20:45:02 Oh, 2014. 20:48:43 shachaf: yeah, I was reading the logs for BANCStar 21:08:29 -!- brandonson has quit (Ping timeout: 252 seconds). 21:10:20 -!- brandonson has joined. 21:11:07 -!- shikhin has joined. 21:20:27 -!- uidr3 has joined. 21:24:13 -!- uidr3 has quit (Quit: ERC (IRC client for Emacs 26.1)). 21:27:55 -!- uidr3 has joined. 21:30:57 -!- uidr3 has quit (Client Quit). 21:35:40 [[BTree]] https://esolangs.org/w/index.php?diff=61201&oldid=61195 * TuxCrafting * (+444) woo, tc 21:44:41 -!- 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:14:58 -!- MDead_ has quit (Quit: Going offline, see ya! (www.adiirc.com)). 22:15:16 -!- MDead_ has joined. 22:15:28 -!- MDead_ has quit (Remote host closed the connection). 22:15:51 -!- MDude has joined. 22:40:14 -!- b_jonas has quit (Quit: leaving). 22:49:45 -!- ais523 has joined. 22:50:36 hmm, the Z3 on the wiki is confusing me, as there's a non-eso language called Z3 too 22:51:11 or, well, "non-eso" is relative here, it's pretty eso compared to languages like Java, but it's intended for serious use 22:55:05 Presumably Zuse's Z3 came first. 22:57:17 SAT solvers are pretty neat. 22:57:24 And SMT solvers. 22:57:28 I'd like to learn all the fancy tricks they use. 23:37:13 -!- shikhin has quit (Quit: leaving). 23:37:41 the docs for Microsoft's Z3 describe it as a "theorem prover", for some reason 23:40:08 Isn't it? 23:56:21 -!- imode-desktop has joined.