00:01:32 [[DFA-er]] https://esolangs.org/w/index.php?diff=81700&oldid=81698 * Largejamie * (-2) /* Overview */ 00:04:10 [[5D Brainfuck With Multiverse Time Travel]] M https://esolangs.org/w/index.php?diff=81701&oldid=81699 * Not applicable * (+10) i always mess up one thing.... ONE THING when editing pages.... AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 00:04:14 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=81702&oldid=81535 * Largejamie * (+587) 00:05:58 -!- NotApplicable has quit (Remote host closed the connection). 00:06:31 -!- NotApplicable has joined. 00:08:38 -!- arseniiv has quit (Ping timeout: 240 seconds). 00:12:45 -!- xelxebar has quit (Ping timeout: 240 seconds). 00:12:55 -!- xelxebar_ has joined. 00:29:07 -!- Sgeo has joined. 00:32:34 -!- Sgeo has quit (Client Quit). 00:42:33 -!- Sgeo has joined. 00:47:13 -!- NotApplicable has quit (Quit: Leaving). 00:49:08 [[Truth-machine]] https://esolangs.org/w/index.php?diff=81703&oldid=81612 * Not applicable * (+855) add stupidc and stupidexpr 01:41:42 -!- delta23 has quit (Quit: Leaving). 01:52:15 How can I find testers for my software? 01:59:43 [[Fishheads]] https://esolangs.org/w/index.php?diff=81704&oldid=81683 * Hyperdawg * (-44) 02:16:30 What sort of software is it? 02:16:42 Game program 02:16:51 (in this case, at least) 02:18:23 Well, it is a game engine program, for grid-based puzzle games, such as sokoban and Hero Hearts 02:31:09 [[Fishheads]] https://esolangs.org/w/index.php?diff=81705&oldid=81704 * Hyperdawg * (+86) 04:05:03 -!- delta23 has joined. 04:44:39 -!- b_jonas has quit (Remote host closed the connection). 04:58:25 -!- copumpkin has quit (Quit: Bye!). 04:59:22 -!- copumpkin has joined. 05:07:22 the following code, when compiled with tcc -nostdlib caused tcc to segafult 05:07:27 static void test () {;} void _start() {test();} 05:22:41 Not for me. 05:25:28 what version of tcc? 05:25:53 0.9.27 (x86_64 Linux) 05:26:38 that's the same version I have. how very odd 05:27:22 Oh, maybe my version is more recent. 05:27:39 I get the segfault from the git tag release_0_9_27, but not from what's in /usr/bin/ or ~/local/bin/ 05:32:03 I bisected it and it looks like it was fixed in 8f6fcb709ae7b2379866c292ce478ab95dc75b48 05:32:18 - tccelf.c: fix a crash when GOT has no relocs (witn -nostdlib) 05:33:15 I see 05:33:42 I bisected it and it looks like it was fixed in 8f6fcb709ae7b2379866c292ce478ab95dc75b48 05:33:55 I think I posted about the floating point calling convention bug I ran into a while ago. 05:36:30 I'm not sure how that message got double-posted. I meant to say "tcc has some bugs.". 05:38:09 well, looks like the "mob" branch does indeed fix that problem 06:09:36 Well, I am not using tcc. Does tcc have any GNU extensions? What version of C is implemented? 06:10:19 But, good if you found a bug, so that if you do use, then you can fix it 06:13:20 Are you supposed to add "void" after the function name to indicate that no arguments are expected? 06:39:05 -!- Lord_of_Life has joined. 07:02:40 -!- Sgeo has quit (Read error: Connection reset by peer). 07:06:00 [[Talk:Zirconium]] M https://esolangs.org/w/index.php?diff=81706&oldid=81660 * Strohtaler * (-124) 07:10:00 [[Fishheads]] https://esolangs.org/w/index.php?diff=81707&oldid=81705 * Hyperdawg * (+74) 07:12:12 [[Fishheads]] https://esolangs.org/w/index.php?diff=81708&oldid=81707 * Hyperdawg * (+20) 07:19:54 Which solitaire card games include jokers? 07:52:57 -!- LKoen has joined. 07:56:42 zzo38: It would probably be a good idea to add void there. 07:56:48 But it's not required in C. 07:56:58 (Or maybe a recent version of C actually does require it? I'm not sure.) 08:06:37 -!- hendursaga has joined. 08:09:09 -!- hendursa2 has quit (Ping timeout: 240 seconds). 08:19:48 -!- 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.”). 08:29:10 -!- b_jonas has joined. 08:36:10 -!- sknebel_ has changed nick to sknebel. 09:01:03 -!- LKoen has joined. 09:43:10 -!- grumble has quit (Quit: K-Lined). 09:45:16 A recent (so recent it isn't out yet) version does *some* changes in that space, but still allows () in declarations, and in fact makes () in *definitions* fully equivalent with (void), not just vaguely similar. The bigger change is to outlaw non-empty identifier lists (aka, non-prototype function definitions); but the empty one is still allowed. 09:45:29 -!- grumble has joined. 09:45:33 C11 6.7.6.3p14: "An empty list in a function declarator that is part of a definition of that function specifies that the function has no parameters [but doesn't provide a prototype]. The empty list in a function declarator that is not part of a definition of that function specifies that no information about the number or types of the parameters is supplied." 09:45:44 N2596 (latest C23 draft) 6.7.6.3p13: "For a function declarator without a parameter type list: if it is part of a definition of that function the function has no parameters and the effect is as if it were declared with a parameter type list consisting of the keyword `void`; otherwise it specifies that no information about the number or types of parameters is supplied." 09:50:09 This should hopefully put to rest the argument about `int main() { ... }`, because up until now people have been arguing it doesn't satisfy the "`int main(void) { /* ... */ }` -- or equivalent" rule (C11 5.1.2.2.1p1), because even thouogh it "specifies that the function has no parameters", it's not 100% "equivalent". With the "as if it were declared" wording, I don't think that's reasonable any more. 10:58:46 -!- arseniiv has joined. 10:59:51 -!- 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.”). 11:10:12 it’s sad when people think an underspecified question “find all solutions of <…>” when there is no clarification of variables’ domains, automatically means their domains are all ℂ 11:11:31 like of course there is one maximal field (or ring or what) of them all, *and* of course it is ℂ. Because they don’t know anything else at all 11:18:36 I’m not even sure surreals may be considered *the* maximal ordered field in all honesty: their construction looks too dependent on what set theory model we consider. Hopefully I’m wrong and differences in their content are no larger than in that of the, say, ℝ. I don’t know in what language this idea is even expressible 11:38:04 -!- LKoen has joined. 11:38:22 -!- LKoen has quit (Remote host closed the connection). 12:24:31 [[Language list]] M https://esolangs.org/w/index.php?diff=81709&oldid=81630 * PythonshellDebugwindow * (+26) [[DFA-er]] and [[PDA-er]] 12:40:03 -!- LKoen has joined. 13:26:39 -!- NeverBorn has joined. 13:40:47 fizzie: makes sense. if the function takes no parameters, then it must be called with no arguments, so the lack of prototype doesn't cause the arguments to be converted differently, so C might as well decide that that a definition without parameters counts as if there was a prototype, that won't be incompatible with no-prototype code, and it makes life easier for C++ coders 13:57:31 -!- NotApplicable has joined. 13:58:02 -!- NotApplicable has quit (Client Quit). 14:08:21 running with -nostdlib makes the entry point to be named _start 14:23:44 [[ObjectPar]] M https://esolangs.org/w/index.php?diff=81710&oldid=8371 * PythonshellDebugwindow * (+29) See also 14:24:37 Is the a Busy Beaver equivalent for Turing machines equipped with halting oracles 14:33:29 -!- Sgeo has joined. 14:47:27 -!- delta23 has quit (Quit: Leaving). 14:49:48 [[2020]] https://esolangs.org/w/index.php?diff=81711&oldid=81549 * EnilKoder * (-65) /* Standard Suites and Zooms */ 15:05:59 what should work different? aren't busy beavers halting eventually by definition? 15:14:23 The busy beaver would be, but I don't think that's inconsistent with the possibility that you could write a better busy beaver if you had access to a halting oracle. Maybe something like, a program that runs all the possible halting programs up to some size before it halts; that's something you couldn't do without a halting oracle. 15:14:29 (I don't have any sort of intuition on whether the answer is yes or no.) 16:48:56 Hmm... morbid thought... they removed half of the () semantics in function declarators because K&R is half dead. 16:52:00 Uh, what is the busy beaver question? Was there context before Taneb's malformed (I have geniune trouble deciphering it) remark? 16:56:02 Continuing on the C train... I hate writing (void) though. It looks so silly. 16:58:55 Yeah, it is silly 17:00:47 Oh, Taneb's "the" is just "there", and then it makes sense. That took way too long. 17:02:22 Taneb: And then the answer is yes, of course. Note that the halting oracle is for ordinary TMs, not fully introspective; the latter would be logically inconsistent. And presumably you would count the oracle query as a single step. 17:18:26 yeah I think you can define busy beaver for any level of the arithmetic hierarchy 17:19:42 and BB(n) for a higher level is always strictly greater than the level below? 17:21:00 kmc: tricky... how exactly do you define the next level of the hierarchy? what does an oracle query look like? 17:21:08 The n-s mat be incomparable. 17:21:48 If you properly extend the formalism so that an n-state TM is an n-state TM at higher levels as well... then yes. 17:22:37 (with the same semantics, I should say) 17:34:46 https://en.wikipedia.org/wiki/Oracle_machine#Definitions 17:46:05 -!- NeverBorn has quit (Remote host closed the connection). 18:12:39 -!- ineiros has quit (Ping timeout: 252 seconds). 18:14:02 -!- ineiros has joined. 18:23:04 -!- Sgeo_ has joined. 18:24:18 -!- Sgeo__ has joined. 18:27:06 -!- Sgeo has quit (Ping timeout: 268 seconds). 18:28:07 -!- Sgeo_ has quit (Ping timeout: 252 seconds). 18:40:10 -!- Sgeo_ has joined. 18:43:45 -!- Sgeo__ has quit (Ping timeout: 268 seconds). 19:15:28 l 19:15:41 wrong windows:( 19:18:23 You are in a twisty maze of passages, all alike. 19:38:13 -!- NotApplicable has joined. 19:44:43 -!- Lord_of_Life_ has joined. 19:45:46 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 19:47:45 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 20:01:31 int-e: is it that game set in a nonseparable infinite-dimensional space? 20:05:28 arseniiv: I'm worried that you may be talking about a real thing. But no. 20:18:44 yep I think it was called λPω±U* 20:19:41 [[User:Not applicable/Sandbox]] M https://esolangs.org/w/index.php?diff=81712&oldid=81694 * Not applicable * (-48) oops forgot to remove TINBFD from the list 20:19:47 took a while to remember that complicated name 20:20:18 probably takes equally as long to type it without copy-pasting the whole thing 20:20:32 arseniiv: the maze originates in the original advent/Zork... it has found its way into other text adventurees as well. 20:21:23 int-e: I suspected that was an allusion 20:22:24 NotApplicable: ha, if only! Let me type it via my AHK script starting from now 20:22:32 λPω±U* 20:22:43 too simple 20:23:53 it is typed as \lambda␣P\omega␣\pm␣U* where ␣ is the space 20:24:19 \lambda P\omega \pm U* 20:24:43 many replacements based on [La]TeX’s names for symbols, but many others are named completely differently 20:25:07 NotApplicable: replacements are on my side only, of course 20:25:37 I can’t inject arbitrary code to Freenode servers. Yet 20:25:38 i was just wondering if xChat would do the same lol 20:25:41 guess not 20:34:08 -!- arseniiv_ has joined. 20:37:16 -!- arseniiv has quit (Ping timeout: 260 seconds). 21:01:06 -!- Lord_of_Life has quit (Ping timeout: 265 seconds). 21:08:54 arseniiv_: only code from an enumerated, limited set? 21:09:37 pikhq: yep, from an empty one! :D 21:09:40 -!- arseniiv_ has changed nick to arseniiv. 21:10:16 oh was I too quick to fold 21:11:34 -!- int-e has quit (Remote host closed the connection). 21:12:16 -!- int-e has joined. 21:14:13 -!- lambdabot has quit (Remote host closed the connection). 21:16:57 -!- lambdabot has joined. 21:40:15 -!- delta23 has joined. 22:35:29 -!- 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:39:18 -!- tromp has quit (Remote host closed the connection). 22:44:41 [[Grain]] N https://esolangs.org/w/index.php?oldid=81713 * Grom * (+364) Created page with "{{infobox proglang |name=Grain |paradigms=not specified |author=[[User:Grom|Grom]] |year=[[:Category:2021|2021]] |class=[[:Category:Turing_complete|Turing complete]] |majorimp..." 22:49:17 -!- tromp has joined. 22:53:41 -!- tromp has quit (Ping timeout: 240 seconds). 23:00:53 -!- tromp has joined. 23:05:50 -!- tromp has quit (Ping timeout: 268 seconds). 23:14:48 [[Grain]] https://esolangs.org/w/index.php?diff=81714&oldid=81713 * Grom * (+486) 23:15:56 [[Grain]] https://esolangs.org/w/index.php?diff=81715&oldid=81714 * Grom * (+24) 23:16:10 [[Grain]] https://esolangs.org/w/index.php?diff=81716&oldid=81715 * Grom * (+1) 23:21:06 [[Grain]] https://esolangs.org/w/index.php?diff=81717&oldid=81716 * Grom * (+124) 23:25:12 -!- mla has joined. 23:33:02 -!- tromp has joined. 23:37:11 -!- tromp has quit (Ping timeout: 240 seconds).