00:38:49 <esowiki> [[PlusOrMinus 2]] M https://esolangs.org/w/index.php?diff=70796&oldid=70790 * PythonshellDebugwindow * (+39) Add cat
00:45:46 <esowiki> [[Function x(y)]] M https://esolangs.org/w/index.php?diff=70797&oldid=70765 * PythonshellDebugwindow * (-4) /* Syntax */ no floats
00:58:39 -!- tromp has joined.
01:00:27 <esowiki> [[Gecho]] M https://esolangs.org/w/index.php?diff=70798&oldid=69710 * LegionMammal978 * (+14) fixed title
01:02:22 -!- ais523 has quit (Quit: quit).
01:02:47 -!- tromp has quit (Ping timeout: 246 seconds).
01:07:51 <zzo38> Do you like to play any chess variant?
01:32:20 -!- tromp has joined.
01:36:44 -!- tromp has quit (Ping timeout: 246 seconds).
01:37:30 <zzo38> Do you know if 2600 will still be printed?
02:07:11 -!- Phantom__Hoover has joined.
02:19:31 <esowiki> [[Goruby]] M https://esolangs.org/w/index.php?diff=70799&oldid=46968 * LegionMammal978 * (+14) fixed title
02:26:46 -!- tromp has joined.
02:30:23 -!- xkapastel has joined.
02:30:59 -!- tromp has quit (Ping timeout: 246 seconds).
02:51:05 <b_jonas> ais523: "if the registers are actually in memory, why not have lots of them" => well, I remembered wrong. what I was about the registers was just false
02:51:09 <esowiki> [[GreenBerry]] M https://esolangs.org/w/index.php?diff=70800&oldid=68591 * LegionMammal978 * (+16) fixed title
02:52:41 <b_jonas> the info about the compiler is actually at "http://www.homebrewcpu.com/retargeting_lcc.htm" , it says the compiler knows of only the A and B registers of the machine, the memory register hack is used only for 32-bit integers because the machine has no such registers, and those are mapped to the stack frame (which has short addressing modes), not global memory
02:59:21 <esowiki> [[Groinfrick]] M https://esolangs.org/w/index.php?diff=70801&oldid=53825 * LegionMammal978 * (+15) fixed title
03:02:17 <esowiki> [[Gtltem]] M https://esolangs.org/w/index.php?diff=70802&oldid=45923 * LegionMammal978 * (+14) fixed title
03:05:50 <b_jonas> "<ais523> so maybe BANCStar has a similar purpose?" => no, that one is probably because the interpreter was used for a much more suitable use in another bank or something, and then the customer bank decided that it must be a good framework and was willing to buy it and pay their engineers to buy it, just for the brand or name recognition, without realizing that it's not suitable for the kind of programs
03:06:41 <b_jonas> and especially that the previous team actually had the source code for thethe interpreter too and added more features to it whenever the target app needed functions more complicated than just adding a new field to a form,
03:07:08 <b_jonas> but this customer didn't realize that that was necessary, and just payed a software dev team to program in the existing framework.
03:07:35 <b_jonas> at least that's my very biased guess.
03:09:55 <zzo38> Maybe. Or, maybe not.
03:14:21 <b_jonas> int-e: OEIS format is documented at http://oeis.org/eishelp1.html
03:28:29 -!- sprocklem has quit (Remote host closed the connection).
03:28:49 -!- sprocklem has joined.
03:31:36 <esowiki> [[Talk:Forte]] https://esolangs.org/w/index.php?diff=70803&oldid=50817 * Quadril-Is * (+660)
03:31:59 <esowiki> [[Talk:Forte]] https://esolangs.org/w/index.php?diff=70804&oldid=70803 * Quadril-Is * (-6)
03:39:05 <esowiki> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=70805&oldid=70307 * YamTokTpaFa * (+275) /* Where can I find a compiler/interpreter of ABCDXYZ? */ new section
03:45:12 <esowiki> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=70806&oldid=70805 * YamTokTpaFa * (+490) /* Should Nuts be deleted? */ new section
03:50:53 <zzo38> I am writing a new ZZT external editor, which is Linux-based rather than ZZTQED which is DOS-based and is slow. This new one is much faster and is written half in C and half in SQL, and can (optionally) use the new features of FreeZZT.
03:51:54 <zzo38> I also wrote two C files used with it, display.c which emulates a PC text screen, and zzt.c which is dealing with ZZT worlds; other people might also find these programs useful even when used with other stuff too, maybe.
03:52:07 <zzo38> (However, display.c requires SDL 1.x, so if you don't have that, then it won't work)
04:14:58 -!- tromp has joined.
04:19:36 -!- tromp has quit (Ping timeout: 265 seconds).
05:20:07 -!- xkapastel has quit (Quit: Connection closed for inactivity).
05:45:47 -!- xelxebar has quit (Remote host closed the connection).
05:47:18 -!- xelxebar has joined.
05:48:25 <zzo38> Finite discrete categories are like natural numbers, isn't it? And then you can also add, multiply, exponent, of categories too, and is the same thing, as with the natural numbers in the case of discrete categories, I think. I think that actually natural numbers will occur a lot in mathematics, isn't it?
06:15:55 -!- diverger has quit (Ping timeout: 265 seconds).
06:17:05 -!- diverger has joined.
06:49:26 -!- tromp has joined.
06:54:17 -!- tromp has quit (Ping timeout: 265 seconds).
07:01:14 -!- tromp has joined.
07:30:37 -!- imode has quit (Ping timeout: 250 seconds).
08:00:15 -!- joast has quit (Ping timeout: 260 seconds).
08:14:46 -!- kspalaiologos has joined.
08:41:18 -!- kritixilithos has joined.
08:48:24 <int-e> So... barring bugs, I'm done with the April Ponder This? That went better than anticipated.
09:07:43 -!- kritixilithos has quit (Ping timeout: 240 seconds).
09:20:46 -!- kritixilithos has joined.
09:37:10 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
09:38:36 -!- Lord_of_Life has joined.
10:14:37 -!- Phantom__Hoover has quit (Ping timeout: 264 seconds).
10:49:06 <tromp> looks like straightforward (dynamic) programming
10:50:48 <int-e> (Maybe, but it doesn't match how I thought about it at all.)
10:55:05 <tromp> you enumerated all 8 node graphs?
10:55:31 <tromp> i expect it can't be done with 7 nodes:)
10:55:46 -!- ArthurStrong has joined.
10:56:28 <int-e> Oh maybe I do know what you meant with DP.
11:00:26 <tromp> computing the probability that a particular subset of nodes is the set of infected nodes after i steps
11:24:41 <int-e> Okay, then I did interpret the DP reference correctly after all.
11:24:51 <int-e> But I saw a Markov chain and matrix multiplication :P
11:43:19 <int-e> Hrm, why did I put that here.
12:08:03 -!- kritixilithos has quit (Ping timeout: 240 seconds).
12:11:51 -!- kritixilithos has joined.
12:22:29 -!- arseniiv has joined.
12:46:04 <kspalaiologos> how can one write a program that will guess a formula for given equation
12:46:31 <kspalaiologos> if x = blah, y = blah, and (some formula involving x and/or y)=known z
13:12:03 -!- kritixilithos has quit (Ping timeout: 240 seconds).
13:21:02 -!- kritixilithos has joined.
13:21:47 -!- joast has joined.
13:23:59 -!- rain1 has joined.
13:33:45 -!- kritixilithos has quit (Remote host closed the connection).
13:34:05 <esowiki> [[Hatemath]] https://esolangs.org/w/index.php?diff=70807&oldid=69897 * LegionMammal978 * (+2049) fixed title, added old interpreter from revision 54384
13:34:38 -!- kritixilithos has joined.
14:12:13 <int-e> kspalaiologos: if it was a joke, surely it would be using else: if: with proper indentation
14:13:58 <int-e> I've seen worse. (Haven't we all.)
14:22:47 <kspalaiologos> well, this code is not great not terrible, I've seen worse and I have to admit it.
14:23:14 <kspalaiologos> but it's just a cheering thing to see this afternoon
14:28:03 -!- kritixilithos has quit (Ping timeout: 240 seconds).
14:30:15 -!- kritixilithos has joined.
15:06:20 <esowiki> [[Special:Log/move]] move * LegionMammal978 * moved [[Hunter]] to [[HUNTER]]: fix capitalization
15:06:43 <esowiki> [[HUNTER]] M https://esolangs.org/w/index.php?diff=70810&oldid=70808 * LegionMammal978 * (+0) fixed title
15:34:40 <kritixilithos> '<cpressey> Although what computability class F_omega represents, I don't know. I imagine that it is at least primitive recursive, and probably beyond primitive recursive to some degree. i.e. I would not be surprised if you could write the Ackermann function in F_omega. But again, I don't really know, yet.' => apparently even F2 can do ackermann
15:35:04 <kritixilithos> slide 114 of http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/miquel_sl1.pdf
16:11:12 <int-e> All you need is proper (polymorphic) Church numerals.
16:11:23 -!- kritixilithos has quit (Ping timeout: 240 seconds).
16:28:53 -!- kritixilithos has joined.
16:33:38 -!- tromp has quit (Read error: Connection reset by peer).
16:34:01 -!- tromp has joined.
16:49:06 -!- imode has joined.
16:59:00 <esowiki> [[Talk:I like frog]] N https://esolangs.org/w/index.php?oldid=70811 * LegionMammal978 * (+855) Created page with "A few questions: * For <code>like i</code>, how are ternary numbers converted into bits? Do the inserted bits start at the cell at the pointer or the cell to the right of the..."
17:14:24 <spruit11> I am still looking for an endorser for arxiv.
17:33:36 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
17:34:01 -!- Lord_of_Life has joined.
17:42:16 <esowiki> [[Metatape]] https://esolangs.org/w/index.php?diff=70812&oldid=66936 * Hdjensofjfnen * (+34) /* Instructions */
17:43:58 <esowiki> [[Metatape]] https://esolangs.org/w/index.php?diff=70813&oldid=70812 * Hdjensofjfnen * (+22) /* Instructions */
17:44:31 <esowiki> [[Metatape]] https://esolangs.org/w/index.php?diff=70814&oldid=70813 * Hdjensofjfnen * (-35) /* Instructions */
17:53:28 <kspalaiologos> chill, oerjan ain't a 24/7 CS problem IRC hotline :p
17:58:11 -!- ArthurStrong has left.
17:59:55 -!- APic has quit (*.net *.split).
18:14:58 -!- APic has joined.
18:14:59 -!- MDead has joined.
18:14:59 -!- MDude has quit (Ping timeout: 256 seconds).
18:14:59 -!- MDead has changed nick to MDude.
18:14:59 -!- zzo38 has quit (Disconnected by services).
18:14:59 -!- zzo38 has joined.
18:19:59 <esowiki> [[Metatape]] https://esolangs.org/w/index.php?diff=70815&oldid=70814 * Hdjensofjfnen * (-4) /* Language overview */
18:39:18 -!- Vorpal has joined.
18:39:18 -!- Vorpal has quit (Changing host).
18:39:18 -!- Vorpal has joined.
19:36:12 -!- user24 has joined.
19:52:59 -!- kspalaiologos has quit (Quit: Leaving).
20:12:06 -!- user24 has quit (Quit: Leaving).
20:13:06 -!- kritixilithos has quit (Quit: quit).
20:15:48 -!- kritixilithos has joined.
20:21:17 <kritixilithos> i'm getting confused about kinds and types, so if α:*, β:*, (λa:α.b:β):α→β, is the type of 'α→β' '*' or '*→*' (i think its the former)? so would Πα:*.α be of type *→*?
20:21:19 -!- kritixilithos has quit (Quit: quit).
20:23:46 -!- tromp has quit (Read error: Connection reset by peer).
20:30:07 -!- tromp has joined.
20:42:26 -!- tromp has quit (Remote host closed the connection).
20:56:17 -!- tromp has joined.
20:59:23 <kmc> yes and yes
20:59:38 <kmc> and they aren't here anymore but maybe will read the logs or something.
21:11:48 -!- tromp has quit (Remote host closed the connection).
21:26:13 <esowiki> [[Talk:ABCDXYZ]] https://esolangs.org/w/index.php?diff=70816&oldid=65857 * Ais523 * (+7712) paste the implementation onto the talk page
21:27:17 <esowiki> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=70817&oldid=70806 * Ais523 * (+199) /* Where can I find a compiler/interpreter of ABCDXYZ? */ I put it on [[Talk:ABCDXYZ]]
21:28:18 -!- tromp has joined.
21:29:44 <esowiki> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=70818&oldid=70817 * Ais523 * (+765) /* Should Nuts be deleted? */ where does the content come from?
21:32:26 <b_jonas> kritixilithos: no, (Πα:*.α) is still of kind *
21:33:11 <esowiki> [[Talk:Forte]] https://esolangs.org/w/index.php?diff=70819&oldid=70804 * Ais523 * (+675) /* The first error */ it's an error by definition; why I defined it to be an error
21:36:24 -!- Lord_of_Life_ has joined.
21:39:35 -!- Lord_of_Life has quit (Ping timeout: 258 seconds).
21:39:37 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
21:44:31 * kmc forgot what Π means maybe :/
22:12:12 -!- tromp has quit (Remote host closed the connection).
22:36:35 <esowiki> [[Special:Log/newusers]] create * Icecream17 * New user account
22:40:47 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=70820&oldid=70791 * Icecream17 * (+306) introduce
22:50:13 -!- budonyc has joined.
23:00:05 -!- arseniiv has quit (Ping timeout: 258 seconds).
23:25:57 -!- Maitor has joined.
23:26:19 <esowiki> [[KeyVM]] M https://esolangs.org/w/index.php?diff=70821&oldid=70601 * LegionMammal978 * (+14) fixed title
23:27:56 <esowiki> [[KeyVM]] M https://esolangs.org/w/index.php?diff=70822&oldid=70821 * LegionMammal978 * (-14) unfixed title based on repo
23:33:46 <esowiki> [[Kitanai]] https://esolangs.org/w/index.php?diff=70823&oldid=60539 * LegionMammal978 * (+82) added repo link