00:00:16 -!- Lord_of_Life has joined. 00:02:01 (untested of course) 00:02:49 (well, I did test the prefixing-with-b'\xff\xff\xff\xff' part) 02:29:02 -!- Sgeo has quit (Read error: Connection reset by peer). 02:29:24 -!- Sgeo has joined. 04:11:39 -!- user3456 has quit (Quit: I use ZNC - https://znc.in). 04:13:34 -!- user3456 has joined. 06:03:37 -!- tromp has joined. 06:51:03 -!- integral has quit (Server closed connection). 06:51:16 -!- integral has joined. 06:53:05 Is there Xaw spreadsheet widget? 07:17:15 [[Special:Log/newusers]] create * Deepfriedice * New user account 07:29:21 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=116305&oldid=116267 * Deepfriedice * (+267) 07:43:04 -!- Sgeo has quit (Read error: Connection reset by peer). 08:13:40 -!- __monty__ has joined. 09:01:34 [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=116306&oldid=116177 * Ais523 * (+2613) /* mind verifying my proof? */ I wasn't able to verify the proof because it's just a single block of uncommented code but the language is definitely TC, and here's how I'd go about proving it myself 09:03:49 [[Xeroxer]] https://esolangs.org/w/index.php?diff=116307&oldid=110823 * Ais523 * (+29) /* See also */ a couple of languages that are similar to this language in some ways (although sufficiently different in the details that lessons that apply to one don't automatically map onto lessons that apply to the others) 09:11:32 [[Template:Nopoint]] M https://esolangs.org/w/index.php?diff=116308&oldid=116187 * Ais523 * (+27) I'm not convinced we even need a template for this but if we do, the template shouldn't be in the categories itself (it is not a language), only the pages it is placed on should be 09:34:57 -!- wib_jonas has joined. 09:43:06 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 09:45:15 arseniiv, int-e: re Niagara. the primed locations were a serious suggestion, though that doesn't guarantee that it's a good thing. I think it's worth: it's more important to me whether my boat is one step closer to the waterfall than whether it's on the left or right. The only time it can matter whether your boat is on the left or right tine of the 09:45:16 fork is when one player's boat is in location 7 and another's boat is location 6. The river and boats move every turn, so such a configuration won't last for long, it's not like the player will persistently remember for turns that the right tine is dangerous because orange player's ship is idlign empty there. 09:46:34  The board is small enough that it fits in one IRC lines (though likely only two screen lines), so it would be reprinted before any player decision. If it's printed in private, then that means twice a round for each player, once before they choose a card, once before they decide how to move their boats. If it's printed in a public channel, then 09:46:35 it's before players choose a card then before each player's step. So a player will always see if their boat is on the same tine as another's. 09:47:40 int-e: yes, the physical board tries to ensure that the two tines flow alternatingly, though sometimes the mechanism misbehaves. It is a matter of house ruling whether you make sure that the tines strictly alternate, or keep the incorrect flow as a luck element. 09:50:22 -!- tromp has joined. 09:51:52 wib_jonas: my realization was just that this doesn't require a fancy mechanism at all 09:51:58 All this applies to the base game, I don't know much about the expansion pack. 09:52:54 int-e: yeah, it's kind of magical, like some electric switches where a push-button switches on and off. 10:37:26 -!- arseniiv has joined. 10:47:24 [[AGSPL]] https://esolangs.org/w/index.php?diff=116309&oldid=115419 * Xi-816 * (-29) 10:48:49 [[AGSPL]] https://esolangs.org/w/index.php?diff=116310&oldid=116309 * Xi-816 * (+102) 11:16:46 [[Factorial]] https://esolangs.org/w/index.php?diff=116311&oldid=115277 * None1 * (+35) /* gar */ Added Gofe implementation 11:18:44 [[99 bottles of beer]] https://esolangs.org/w/index.php?diff=116312&oldid=115842 * None1 * (+343) /* FunctionsFTW */ Added Gofe implementation 11:19:03 [[Gofe]] M https://esolangs.org/w/index.php?diff=116313&oldid=116304 * None1 * (-1) 11:19:47 [[Gofe]] M https://esolangs.org/w/index.php?diff=116314&oldid=116313 * None1 * (+66) 11:21:10 [[Truth-machine]] https://esolangs.org/w/index.php?diff=116315&oldid=116158 * None1 * (+23) /* Godencode */ Added Gofe implementation 11:22:49 [[A+B Problem]] https://esolangs.org/w/index.php?diff=116316&oldid=116150 * None1 * (+25) /* Factor */ 11:23:45 [[Hello world program in esoteric languages (nonalphabetic and A-M)]] https://esolangs.org/w/index.php?diff=116317&oldid=116245 * None1 * (+29) /* Godencode */ 11:34:53 [[Gofe]] https://esolangs.org/w/index.php?diff=116318&oldid=116314 * None1 * (+135) 11:36:12 [[99 bottles of beer]] https://esolangs.org/w/index.php?diff=116319&oldid=116312 * None1 * (+22) /* Text */ 11:37:33 [[99 bottles of beer]] https://esolangs.org/w/index.php?diff=116320&oldid=116319 * None1 * (+82) /* HQ9+ */ 12:22:47 [[Bawkbawk]] M https://esolangs.org/w/index.php?diff=116321&oldid=116244 * Lilchiky * (-2) 12:37:30 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116322&oldid=116321 * Lilchiky * (+11) 12:51:35 [[C-Shop]] https://esolangs.org/w/index.php?diff=116323&oldid=112185 * Kaveh Yousefi * (+0) Rectified the Hello World! example, which would print Hemmo Wormd! based upon Person 3 producing an ASCII code of 109 (= m) instead of 108 (= l). 12:52:35 [[C-Shop]] https://esolangs.org/w/index.php?diff=116324&oldid=116323 * Kaveh Yousefi * (+162) Added a hyperlink to my implementation of the C-Shop programming language on GitHub and changed the category tag Unimplemented to Implemented. 12:54:12 [[C-Shop]] https://esolangs.org/w/index.php?diff=116325&oldid=116324 * Kaveh Yousefi * (+17) Deleted the superfluous and erroneous period (.) from the Person X buys Y big C's and Z small c's command's description and supplemented the category tag 2023. 12:58:24 -!- perlbot has quit (Quit: ZNC 1.8.2+deb3.1 - https://znc.in). 12:58:24 -!- simcop2387 has quit (Quit: ZNC 1.8.2+deb3.1 - https://znc.in). 13:07:02 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116326&oldid=116322 * Lilchiky * (+283) 13:08:33 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116327&oldid=116326 * Lilchiky * (-3) /* Forage */ 13:13:58 [[Bawkbawk]] M https://esolangs.org/w/index.php?diff=116328&oldid=116327 * Lilchiky * (+193) 13:14:32 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116329&oldid=116328 * Lilchiky * (-2) /* Computational class */ 13:14:53 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116330&oldid=116329 * Lilchiky * (-14) /* Computational class */ 13:15:44 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116331&oldid=116330 * Lilchiky * (+32) 13:16:01 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116332&oldid=116331 * Lilchiky * (-13) /* Computational class */ 13:16:42 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116333&oldid=116332 * Lilchiky * (-7) /* Forage */ 13:17:44 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116334&oldid=116333 * Lilchiky * (+53) 13:19:52 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116335&oldid=116334 * Lilchiky * (+57) 13:20:57 figures it was two different CRC32 flavors, zlib is effectively has bytes of the input reflected compared to what ogg uses (and some pre- and post-loop things which are way more trivial) 13:32:48 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116336&oldid=116335 * Lilchiky * (+182) /* Forage */ 13:34:02 -!- simcop2387 has joined. 13:35:32 -!- perlbot has joined. 13:39:55 [[Bawkbawk]] https://esolangs.org/w/index.php?diff=116337&oldid=116336 * Lilchiky * (+12) /* Syntax and Overview */ 15:08:19 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 15:13:35 -!- arseniiv has quit (Ping timeout: 240 seconds). 15:14:34 -!- arseniiv has joined. 15:26:38 `olist 1288 15:26:40 olist : shachaf oerjan Sgeo FireFly boily nortti b_jonas 15:33:52 [[Birb]] https://esolangs.org/w/index.php?diff=116338&oldid=115957 * Melvin * (-123) Better Jot equivalency 15:35:41 [[Birb]] https://esolangs.org/w/index.php?diff=116339&oldid=116338 * Melvin * (+70) /* Implementations */ 15:50:23 -!- siesta has joined. 16:04:48 [[Hello world program in esoteric languages (nonalphabetic and A-M)]] https://esolangs.org/w/index.php?diff=116340&oldid=116317 * Infinitehexagon * (+205) 16:25:34 -!- tromp has joined. 16:40:02 -!- wib_jonas has quit (Quit: Client closed). 17:00:14 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 17:24:32 -!- tromp has joined. 17:25:39 [[Xeroxer/tag2xeroxer.rs]] N https://esolangs.org/w/index.php?oldid=116341 * Pro465 * (+4037) Created page with "{{Back|Xeroxer}} Run with rustc tag2xeroxer.rs && ./tag2xeroxer 
 fn main() {     // collatz conjecture on input 9     let prod: &[&[usize]] = &[&[1, 2], &[0], &[0, 0, 0]];     let input = &[0; 9][..];     let m = 2;     let prog = trans(
17:32:21  [[Xeroxer]] M https://esolangs.org/w/index.php?diff=116342&oldid=116307 * Pro465 * (+73) /* Properties */
17:52:40  [[User talk:Ais523]]  https://esolangs.org/w/index.php?diff=116343&oldid=116306 * Pro465 * (+556) /* mind verifying my proof? */ I added a code to translate directly from tag system to xeroxer (w/ comments)
18:16:28  [[Talk:Xeroxer]] M https://esolangs.org/w/index.php?diff=116344&oldid=116179 * Pro465 * (+219) /* minimum turing complete parameter bounds */ improved bounds
18:47:31  [[Bawkbawk]] M https://esolangs.org/w/index.php?diff=116345&oldid=116337 * PythonshellDebugwindow * (-30) /* Implementations */ Not zero-dimensional
18:48:53 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:59:25 -!- tromp has joined.
18:59:30 -!- siesta has quit (Quit: Connection closed for inactivity).
19:14:47  [[Zeno (Archived)]] M https://esolangs.org/w/index.php?diff=116346&oldid=86273 * ALBANIAN-LAUNDROMAT * (-2) fixed cat; there is, in fact, an interpreter
19:15:12  [[Zeno (Archived)]] M https://esolangs.org/w/index.php?diff=116347&oldid=116346 * ALBANIAN-LAUNDROMAT * (+2) Undo revision 116346 by [[Special:Contributions/ALBANIAN-LAUNDROMAT|ALBANIAN-LAUNDROMAT]] ([[User talk:ALBANIAN-LAUNDROMAT|talk]]) nvm im an idiot
19:42:00 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:42:41  Can the category be made: Objects are the regular expressions, and the morphisms are string which, if you append any string that matches the regular expression by the target object, will match the regular expression by the source object. (For example, "a" matches /(abc)*/ -> /bc(abc)*/.)
19:48:31 -!- tromp has joined.
20:05:14 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:20:48 -!- tromp has joined.
20:33:47 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:36:57  zzo38: if we swap each regex with a language it accepts, your condition restates as:
20:36:57  s: L1 → L2  iff  (s + L2) ⊂L1,   where + is elementwise
20:36:58  then we can check if there are compositions and if composition is associative, hopefully not invoking the fact that all languages here are regular
20:36:58  so if (s12 + L2) ⊂ L1 and (s23 + L3) ⊂ L2 then (s12 + s23 + L3) ⊂ (s12 + L2) ⊂ L1, so we indeed have (s12 + s23): L1 → L2 for any languages L1, L2, L3 at all
20:36:58  and as + of strings and/or languages is associative, so ultimately is this composition
20:36:58  now we need identity morphisms and obviously they are "": ("" + L) ⊂ L
20:36:58  and they are identity indeed too, again because of +
20:36:59  how did you imagine this construction?
20:36:59  also there is a straightforward dual (but not an opposite category) where s: L1 → L2 iff (L2 + s) ⊂ L1; this is neat
20:37:46 -!- tromp has joined.
20:43:46  [[Slander]] M https://esolangs.org/w/index.php?diff=116348&oldid=100009 * PythonshellDebugwindow * (+41) Category
20:57:47  Those are what I had thought of in the same way that you had mentioned. I don't know why I thought of it, though; I just did.
21:06:00  (Although I had considered it directly instead of in terms of a language that it accepts, the results are the same anyways as what you had done.)
21:24:28 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:25:53 -!- __monty__ has quit (Quit: leaving).
21:27:05 -!- arseniiv has quit (Ping timeout: 240 seconds).
21:50:16 -!- arseniiv has joined.
21:50:32  zzo38: yeah
21:50:34 -!- arseniiv has quit (Client Quit).
22:19:22 -!- Sgeo has joined.
23:20:12  [[Bawkbawk]] M https://esolangs.org/w/index.php?diff=116349&oldid=116345 * Lilchiky * (+3) /* Forage */
23:20:33  [[Insanity]] M https://esolangs.org/w/index.php?diff=116350&oldid=109550 * Kaveh Yousefi * (+1) Rectified an orthographic mistake.
23:23:17  [[Bawkbawk]]  https://esolangs.org/w/index.php?diff=116351&oldid=116349 * Lilchiky * (+76) /* Cat program */
23:25:45 -!- siesta has joined.
23:49:19  oh I didn't know about          ---------<---------
23:49:19               -----<-----
23:49:22  grr
23:49:27  about https://en.wikipedia.org/wiki/Pairwise_sorting_network
23:51:54 -!- zzo38 has quit (Ping timeout: 258 seconds).
23:54:56  I guess it has worse locality than Batcher's odd-even merge sort, and the same number of comparators if the size is a power of two.
23:59:35 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).