00:11:42 <esowiki> [[Az]] M https://esolangs.org/w/index.php?diff=70629&oldid=40982 * LegionMammal978 * (+14) fixed title
00:19:13 -!- iczero has changed nick to mooooooooooooooo.
00:20:16 -!- ArthurStrong has joined.
00:28:58 <esowiki> [[Minimal operation language]] https://esolangs.org/w/index.php?diff=70630&oldid=70622 * Hakerh400 * (+128) Add interpreter
00:29:12 <esowiki> [[Talk:Minimal operation language]] N https://esolangs.org/w/index.php?oldid=70631 * Hakerh400 * (+320) /* Implementation */
00:42:52 -!- ais523 has quit (Quit: quit).
00:50:36 -!- ski has joined.
01:03:39 <esowiki> [[BugSophia]] https://esolangs.org/w/index.php?diff=70632&oldid=30922 * IFcoltransG * (+23) Languages category
01:05:13 -!- divergence has quit (Read error: Connection reset by peer).
01:09:55 -!- diverger has joined.
01:13:12 -!- mooooooooooooooo has changed nick to inb4.
02:05:57 -!- ArthurStrong has quit (Ping timeout: 260 seconds).
02:07:17 -!- ArthurStrong has joined.
02:13:03 -!- Phantom_Hoover has joined.
03:22:19 <esowiki> [[BDAMD]] M https://esolangs.org/w/index.php?diff=70633&oldid=30443 * LegionMammal978 * (+25) /* External resources */ fixed link
04:27:34 -!- xkapastel has quit (Quit: Connection closed for inactivity).
04:46:26 -!- MDude has quit (Ping timeout: 256 seconds).
04:51:36 -!- ArthurStrong has quit (Quit: leaving).
05:01:33 <zzo38> Actually ais523's card game design already has one thing that can be called a flag, which is the "General" flag. However, I have ideas of a few other flags, such as one flag that allows you to play other manoeuvres (except ones with the tactics track as source) before giving your opponent the chance to play, after playing to the tactics track.
05:04:47 -!- inb4 has changed nick to iczero.
05:35:51 <int-e> `learn The password of the month is starving for attention.
05:35:54 <HackEso> Relearned 'password': The password of the month is starving for attention.
07:14:15 -!- imode has quit (Ping timeout: 258 seconds).
08:17:47 <zzo38> Do you have any of Bohm's brainfuck programs?
08:19:34 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
09:18:38 -!- xelxebar has joined.
09:30:20 -!- Lord_of_Life_ has joined.
09:30:34 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
09:31:41 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
09:46:57 <esowiki> [[Babalang]] https://esolangs.org/w/index.php?diff=70634&oldid=70582 * RocketRace * (+2517) Detail the statement syntax.
10:10:19 <esowiki> [[Babalang]] M https://esolangs.org/w/index.php?diff=70635&oldid=70634 * RocketRace * (+49) Fix formatting
10:12:04 <esowiki> [[Babalang]] M https://esolangs.org/w/index.php?diff=70636&oldid=70635 * RocketRace * (+21) Further fix formatting
10:13:04 <esowiki> [[Babalang]] M https://esolangs.org/w/index.php?diff=70637&oldid=70636 * RocketRace * (+47) Wording
10:27:06 -!- ArthurStrong has joined.
10:34:36 -!- rain1 has joined.
10:48:16 -!- xkapastel has joined.
10:56:30 -!- rain1 has quit (Quit: Lost terminal).
11:07:36 -!- tromp has quit (Remote host closed the connection).
11:21:44 -!- tromp has joined.
11:32:23 <esowiki> [[Preposterous Programming]] https://esolangs.org/w/index.php?diff=70638&oldid=21367 * IFcoltransG * (+22) Added concepts category
11:50:21 -!- arseniiv has joined.
11:59:42 <esowiki> [[Preposterous Programming Language]] https://esolangs.org/w/index.php?diff=70639&oldid=35673 * IFcoltransG * (+342) Wording rewrite and categories
12:00:23 <esowiki> [[Preposterous Programming]] M https://esolangs.org/w/index.php?diff=70640&oldid=70638 * IFcoltransG * (+34) Added Computational Models category
12:00:54 <esowiki> [[Preposterous Programming]] M https://esolangs.org/w/index.php?diff=70641&oldid=70640 * IFcoltransG * (+0) Sheepishly fix category capitalisation
12:04:39 <esowiki> [[SimPL]] M https://esolangs.org/w/index.php?diff=70642&oldid=70570 * IFcoltransG * (+0) Fixed TC category
13:25:06 <esowiki> [[Minimal operation language]] M https://esolangs.org/w/index.php?diff=70643&oldid=70630 * PythonshellDebugwindow * (+35)
13:49:01 -!- kspalaiologos has joined.
14:43:07 -!- MDude has joined.
15:49:29 <esowiki> [[Special:Log/newusers]] create * Manna5 * New user account
16:10:17 -!- rain1 has joined.
16:26:48 -!- Phantom_Hoover has joined.
16:39:03 <tromp> int-e: many of the TODOs in 32 and 33 follow a pattern similar to the one for 29
16:40:47 <tromp> the most general pattern that captures them is T = \x. K^j x^k (\y. y (x y ...))
16:41:36 <tromp> oops, I should add some parentheses as in T = \x. K^j (x^k (\y. y (x y ...)))
16:42:06 <tromp> where K is const function; I could also write \_ ... \_ instead of K^j
16:42:30 <tromp> and k >= 1 of course, making T strict
16:44:31 <tromp> If we then set T_0 = T, and T_{i+1} = \y. y (T_i y ...), then we can show by induction that T T_i reduces to a tern with T T_{i+1} in head position
16:44:39 <tromp> thus proving divergence
16:46:14 <tromp> so we can try to define this pattern with a function isW2, and then replace isW a && isW b by isW a && (isW b || isW2 b)
16:46:22 <tromp> which should eliminate a lot of TODOs
17:10:50 -!- arseniiv_ has joined.
17:11:46 -!- arseniiv has quit (Ping timeout: 265 seconds).
17:15:45 -!- ArthurStrong has left.
17:19:52 -!- imode has joined.
18:58:44 -!- ositoblanco has joined.
19:08:51 <esowiki> [[BAM128]] https://esolangs.org/w/index.php?diff=70644&oldid=32357 * LegionMammal978 * (+42) /* External resources */ fixed link, added categories
19:15:42 <zzo38> Do you know how to convert Fermat's Last Theorem into a Magic: the Gathering puzzle?
19:19:44 <esowiki> [[Duck Duck Goose]] M https://esolangs.org/w/index.php?diff=70645&oldid=70594 * LegionMammal978 * (-19) updated link
19:19:55 <esowiki> [[Cheers]] M https://esolangs.org/w/index.php?diff=70646&oldid=70557 * LegionMammal978 * (-10) updated link
19:20:06 <esowiki> [[Noodle Soup]] M https://esolangs.org/w/index.php?diff=70647&oldid=70536 * LegionMammal978 * (-15) updated link
19:20:17 <esowiki> [[And]] https://esolangs.org/w/index.php?diff=70648&oldid=70535 * LegionMammal978 * (-11) updated link
19:28:40 -!- rain1 has quit (Quit: Lost terminal).
19:42:03 -!- kspalaiologos has quit (Quit: Leaving).
19:47:01 -!- arseniiv_ has quit (Ping timeout: 264 seconds).
21:03:54 <esowiki> [[Special:Log/newusers]] create * Zerojl * New user account
21:06:10 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=70649&oldid=70625 * Zerojl * (+58)
21:08:27 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=70650&oldid=70649 * Zerojl * (+54)
21:29:50 -!- Lord_of_Life_ has joined.
21:32:19 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
21:32:36 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
21:45:49 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
21:48:53 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=70651&oldid=70650 * JonoCode9374 * (+21)
23:02:05 <esowiki> [[Backpackr]] M https://esolangs.org/w/index.php?diff=70652&oldid=54153 * LegionMammal978 * (+14) fixed title
23:48:32 <esowiki> [[List of quines]] M https://esolangs.org/w/index.php?diff=70653&oldid=69331 * PythonshellDebugwindow * (+72) /* Cheating Quines */
23:58:27 <zzo38> One of the AI opponents in Pokemon Card GB2 has a "invincible deck", which would be good if the AI was not too stupid to handle it.