01:32:40 -!- arseniiv has quit (Ping timeout: 256 seconds). 01:42:06 -!- ArthurStrong has joined. 01:57:03 -!- ArthurStrong has quit (Ping timeout: 265 seconds). 01:58:40 -!- ArthurStrong has joined. 02:35:06 -!- zzo38 has quit (Disconnected by services). 02:35:11 -!- zzo38 has joined. 02:40:06 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 03:02:20 -!- u0_611 has joined. 03:03:51 -!- u0_611 has quit (Remote host closed the connection). 03:23:02 -!- xkapastel has quit (Quit: Connection closed for inactivity). 03:40:09 tromp: shouldn't BB(n) allow programs of size up to n though 03:43:04 (but okay, it's defined for exact sizes, so such non-monotonic behavior is hardly surprising) 03:44:22 At least BB(n+6) >= BB(n) :P 04:17:38 -!- b_jonas has quit (Remote host closed the connection). 04:52:42 I thought of a idea of a chess variant, where each piece has a limited allotment of non-forward moves; these are partially recovered (for all pieces on the board, including opponent's pieces too) whenever a capture occurs. The fifty move rule and repetition rules are not used. 04:53:21 -!- Sgeo_ has joined. 04:54:01 -!- xelxebar has quit (Write error: Connection reset by peer). 04:54:17 -!- xelxebar has joined. 04:56:05 (The seventy-five move rule also is not used.) 04:56:51 -!- Sgeo has quit (Ping timeout: 265 seconds). 05:04:10 -!- RenataFox has joined. 05:08:03 -!- RenataFox has quit (Client Quit). 05:33:34 -!- imode-ruby has quit (Quit: WeeChat 1.6). 05:44:39 -!- ArthurStrong has quit (Quit: leaving). 06:35:29 -!- zzo38 has quit (Ping timeout: 256 seconds). 06:44:21 -!- zzo38 has joined. 06:58:32 -!- zzo38 has quit (Disconnected by services). 06:58:36 -!- zzo38 has joined. 07:27:28 int-e: you can define it either way, but this way preserves more information 07:28:27 -!- zzo38 has quit (Ping timeout: 252 seconds). 07:29:19 and is consistent with https://oeis.org/search?q=Busy+Beaver&sort=&language=&go=Search 07:34:53 -!- user24 has joined. 07:45:07 -!- Phantom_Hoover has joined. 09:05:39 -!- imode has quit (Ping timeout: 256 seconds). 09:08:23 -!- BrilliantRose has joined. 09:11:18 -!- BrilliantRose has quit (Client Quit). 09:20:56 -!- Lord_of_Life_ has joined. 09:22:07 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 09:22:16 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 09:32:43 -!- rain1 has joined. 09:56:21 -!- arseniiv has joined. 10:17:35 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 10:51:32 -!- arseniiv has quit (Ping timeout: 246 seconds). 11:31:27 -!- Frater_EST has joined. 11:33:52 -!- xkapastel has joined. 11:46:40 tromp: How difficult is showing non-termination at those sizes? 11:46:53 (26 and 27) 11:49:54 Maybe I should try, hmm. 11:59:05 int-e: i've been working on that for the past few weeks. i'll soon commit ny BB.lhs to the repo where you can see the current approach 11:59:50 basically, during the reduction, i try to see if the current reduct by itself leads to a reduction in which it reappears as reduct 12:01:20 it fails on some term of size 29 that I hope to cover today. 12:04:28 ok, BB.lhs comitted 12:45:26 So (\0 0) (\0 (\1 0)) of size 25 is the first fun term. 12:46:02 (sorry, my code is zero-based somehow) 13:14:01 yes, it asnwers the ultimate question of life the universe, and everything:) 13:15:47 -!- dnm has quit (Ping timeout: 240 seconds). 13:15:47 -!- mich181189 has quit (Ping timeout: 240 seconds). 13:15:48 -!- pikhq has quit (Ping timeout: 240 seconds). 13:15:48 -!- Soni has quit (Ping timeout: 240 seconds). 13:15:57 i.e. what is BB(25) 13:15:57 -!- dnm_ has joined. 13:16:06 -!- mich181189_ has joined. 13:16:15 -!- SoniEx2 has joined. 13:16:48 -!- pikhq has joined. 13:16:58 oh wait, that's \(\1 1) (\1 (2 1)) 13:18:10 yours ends up at size 7?! 13:20:31 -!- mich181189_ has quit (Client Quit). 13:20:54 -!- mich181189 has joined. 13:23:06 yours cycles, but my program currently fails to see 13:23:24 -!- Budgii has left ("WeeChat 2.3"). 13:29:48 need to fix bug in optimize function 13:30:14 I haven't looked at your code. playing with my own :) 13:33:17 Okay, I had a bug as well. Now I have two funny terms of size 25, (\1 1) (\1 (1 (\2))) and (\1 1) (\1 (\2 1)) 13:35:56 both recognized as diverging by my program 13:36:10 did you find BB(25) ? 13:36:25 42 based on that claim 13:36:46 cool 13:40:24 -!- Sgeo_ has quit (Read error: Connection reset by peer). 13:40:49 -!- Sgeo_ has joined. 13:41:16 [[Procedure]] https://esolangs.org/w/index.php?diff=70538&oldid=70501 * PythonshellDebugwindow * (+779) 13:43:00 >= 42, 52, >= 44, >= 58, >= 223 13:44:03 yes, i have same, plus equality up to size 28 13:45:52 -!- arseniiv has joined. 13:57:47 Oh and >= 160 with 4 unknown terms. 13:58:08 But obviously this is getting increasingly dubious. 14:02:11 (But 30 looks easier than 29) 14:24:08 Duh. Of course eta reduction is kind of helpful. 14:27:38 i fixed the eta bug 14:29:38 in repo now 14:30:09 thx for unwittingly pointing that out:) 14:31:17 we used to optimize (\2 1) to 2 instead of the correct 1 14:37:43 -!- user24 has quit (Remote host closed the connection). 14:38:05 -!- user24 has joined. 14:42:12 fun 14:42:54 but do we want eta-reduction for this, hmm 14:43:41 (I took "normal form" to mean beta normal form, not beta-eta normal form 14:43:44 ) 14:44:26 funny, though perhaps not all that surprising, that it didn't affect the numbers 14:51:50 [[Special:Log/newusers]] create * ThatOrdinaryGuy * New user account 15:01:07 yes, i should use beta normal form in BB def 15:01:44 but use eta reduction to help detect divergence 15:04:09 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=70539&oldid=70527 * ThatOrdinaryGuy * (+328) 15:04:32 -!- rain1 has quit (Quit: Lost terminal). 15:09:20 -!- xelxebar_ has joined. 15:09:43 -!- xelxebar has quit (Ping timeout: 240 seconds). 15:10:27 -!- APic has quit (Ping timeout: 260 seconds). 15:10:58 -!- APic has joined. 15:11:00 -!- myname has quit (Ping timeout: 256 seconds). 15:12:25 [[D.U.C.K.]] M https://esolangs.org/w/index.php?diff=70540&oldid=65730 * ThatOrdinaryGuy * (+1) Just fixed some grammer 15:13:43 -!- MDude has joined. 15:17:18 for me the challenge now is to prove (\1 1) (\1 (\\3 2)) diverging 15:26:48 -!- imode has joined. 15:31:40 -!- myname has joined. 15:38:13 -!- imode-ruby has joined. 15:40:44 [[If the question specifies that the number of the words should be less than 3, and the number of words in your answer is larger than 3, your answer is automatically wrong.]] M https://esolangs.org/w/index.php?diff=70541&oldid=68230 * ThatOrdinaryGuy * (+1) Just fixed some grammer 15:45:11 -!- xylochoron[m] has quit (*.net *.split). 15:45:12 -!- ocharles has quit (*.net *.split). 15:45:12 -!- oren has quit (*.net *.split). 15:45:35 -!- xylochoron[m] has joined. 15:45:35 -!- ocharles has joined. 15:45:35 -!- oren has joined. 15:48:32 -!- xylochoron[m] has quit (Ping timeout: 240 seconds). 15:48:38 -!- xavo[m] has quit (Ping timeout: 246 seconds). 15:48:39 -!- tswett[m] has quit (Ping timeout: 246 seconds). 15:49:17 -!- ddmm_ has quit (Ping timeout: 260 seconds). 15:49:19 -!- wmww has quit (Ping timeout: 260 seconds). 16:39:55 -!- b_jonas has joined. 16:41:37 -!- lestac_hra has joined. 16:42:34 -!- lestac_hra has quit (Remote host closed the connection). 16:43:01 -!- lestac_hra has joined. 16:47:18 [[User:ThatOrdinaryGuy]] N https://esolangs.org/w/index.php?oldid=70542 * ThatOrdinaryGuy * (+142) added the basic framework 16:47:53 -!- ddmm_ has joined. 16:49:11 -!- lestac_hra has quit (Ping timeout: 256 seconds). 16:51:49 -!- ArthurStrong has joined. 17:00:25 -!- LJagain has joined. 17:01:00 -!- LJagain has changed nick to SomeOrdinaryGuy. 17:09:04 [[ROTfuck]] https://esolangs.org/w/index.php?diff=70543&oldid=69333 * Apollyon094 * (-106) 17:11:26 -!- SomeOrdinaryGuy has quit (Remote host closed the connection). 17:19:30 -!- xkapastel has changed nick to Guest45017. 17:24:22 -!- Guest45017 has quit. 17:24:58 -!- xkapastel_ has joined. 17:26:30 -!- xkapastel_ has changed nick to xkapastel. 17:34:26 -!- xylochoron[m] has joined. 17:34:26 -!- wmww has joined. 17:34:26 -!- xavo[m] has joined. 17:34:26 -!- tswett[m] has joined. 17:38:35 -!- zzo38 has joined. 17:39:55 -!- kspalaiologos has joined. 17:47:33 -!- Phantom_Hoover has joined. 18:12:13 -!- spruit11 has quit (Ping timeout: 264 seconds). 18:16:41 -!- spruit11 has joined. 18:19:03 [[User:Orby]] https://esolangs.org/w/index.php?diff=70544&oldid=65749 * Orby * (-73) 19:01:52 -!- ArthurStrong has quit (Quit: leaving). 19:02:12 -!- ArthurStrong has joined. 19:02:12 -!- ArthurStrong has quit (Client Quit). 19:03:02 -!- yurichev has joined. 19:04:11 -!- yurichev has left. 19:24:40 -!- ornxka_ has changed nick to ornxka. 19:30:57 -!- kspalaiologos has quit (Quit: Leaving). 19:45:06 -!- Frater_EST has left. 19:56:11 -!- user24 has quit (Quit: Leaving). 20:03:38 -!- xkapastel has quit (Quit: Connection closed for inactivity). 20:18:32 -!- phoenix_ has joined. 20:22:22 -!- phoenix_ has left. 20:25:03 -!- floydpinkert0n has joined. 20:26:47 -!- floydpinkert0n has quit (Read error: Connection reset by peer). 20:32:36 -!- LeanderMint has joined. 20:32:42 -!- LeanderMint has left. 20:49:32 -!- zzo38 has quit (Remote host closed the connection). 20:49:45 -!- ddmm_ has quit (Quit: Idle for 30+ days). 20:52:53 -!- zzo38 has joined. 21:07:52 -!- erdic has quit (Ping timeout: 265 seconds). 21:08:32 -!- erdic has joined. 21:20:06 -!- SoniEx2 has changed nick to Soni. 21:21:04 -!- Lord_of_Life_ has joined. 21:23:48 -!- Lord_of_Life has quit (Ping timeout: 256 seconds). 21:23:53 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 21:46:49 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 22:04:06 -!- iovoid has quit (Read error: Connection reset by peer). 22:04:20 -!- iovoid has joined. 22:33:05 -!- xkapastel has joined. 23:07:05 [[ROTfuck]] https://esolangs.org/w/index.php?diff=70545&oldid=70543 * Apollyon094 * (-1) 23:27:34 -!- ArthurStrong has joined. 23:32:52 -!- xelxebar_ has quit (Remote host closed the connection). 23:34:32 -!- xelxebar has joined. 23:42:23 -!- zzo38 has quit (Ping timeout: 260 seconds). 23:47:46 [[ROTfuck]] https://esolangs.org/w/index.php?diff=70546&oldid=70545 * PythonshellDebugwindow * (-13) /* Examples */ 23:58:01 `olist 1197 23:58:06 olist 1197: shachaf oerjan Sgeo FireFly boily nortti b_jonas