00:22:44 [[Tile]] https://esolangs.org/w/index.php?diff=92501&oldid=92500 * Dtp09 * (-12) 00:23:14 [[Tile]] https://esolangs.org/w/index.php?diff=92502&oldid=92501 * Dtp09 * (+5) /* Random */ 00:25:21 [[User talk:Palaiologos]] M https://esolangs.org/w/index.php?diff=92503&oldid=92482 * Oerjan * (+76) Clarify that context has been removed 01:42:32 -!- FreeFull has quit. 02:27:56 [[Tile]] https://esolangs.org/w/index.php?diff=92504&oldid=92502 * Dtp09 * (+0) 02:32:42 -!- eli_oat has joined. 02:33:16 [[Special:Log/upload]] overwrite * Dtp09 * uploaded a new version of "[[File:Truth-machine-tile.png]]" 02:34:47 [[Tile]] https://esolangs.org/w/index.php?diff=92506&oldid=92504 * Dtp09 * (+13) 02:35:34 [[Tile]] https://esolangs.org/w/index.php?diff=92507&oldid=92506 * Dtp09 * (+0) /* Truth Machine */ 02:37:48 [[Tile]] https://esolangs.org/w/index.php?diff=92508&oldid=92507 * Dtp09 * (+49) /* Errors */ 03:07:47 -!- razetime has joined. 03:22:52 -!- eli_oat has quit (Quit: eli_oat). 04:06:46 -!- user3456 has quit (Ping timeout: 250 seconds). 04:07:01 -!- user3456 has joined. 05:18:43 -!- razetime has quit (Read error: Connection reset by peer). 06:36:37 -!- user3456 has quit (Ping timeout: 240 seconds). 06:39:44 -!- user3456 has joined. 06:52:14 https://en.wikipedia.org/wiki/Berman%E2%80%93Hartmanis_conjecture 06:52:17 what 06:52:20 this is a conjecture?? 07:00:10 -!- monoxane9 has joined. 07:00:22 -!- monoxane has quit (Ping timeout: 268 seconds). 07:00:23 -!- monoxane9 has changed nick to monoxane. 07:02:25 sounds like a bad link to me 07:04:28 The link is OK. Do you have a example of a NP-complete formal language? 07:07:04 At first I thought it could be something like 'the language of satisfiable boolean formula' 07:07:06 but im not sure now? 07:07:18 odd. it is broken for me. but I found the right one. 07:11:10 it's been a while since I took a class on this kind of thing... but iirc np-complete languages are things like 3sat, vertex cover 07:11:50 it does seem slightly odd to consider them as languages 07:12:17 riv: that example works 07:12:55 oh okay 07:17:29 Hmm, it's an interesting strengthening of P != NP. Had not seen it before 07:17:54 oh haha 07:17:57 thats why its a conjecture 07:18:09 i was thinking "isn't this the definition?" 07:18:18 P = NP can be rephrased to "NP-complete languages reduce to {epsilon}" 07:18:28 s/to/as/ 07:18:35 (in polynomial time) 07:18:55 reductions aren't bijections 07:19:33 (some people are explicit about this and say "many-to-one reductions"; I'm too lazy for that) 07:45:12 -!- oerjan has quit (Quit: Nite). 07:50:07 -!- aarchi has quit (Ping timeout: 250 seconds). 07:51:22 -!- aarchi has joined. 08:19:25 -!- Sgeo has quit (Read error: Connection reset by peer). 08:35:24 -!- salpynx has quit (Quit: Client closed). 10:16:27 [[Rpg]] https://esolangs.org/w/index.php?diff=92509&oldid=92488 * Jomy10 * (+289) 10:16:48 [[Rpg]] https://esolangs.org/w/index.php?diff=92510&oldid=92509 * Jomy10 * (+24) /* Obfuscation */ 10:17:29 I enjoy complexity theory but sometimes I feel like it's so reductionist 10:38:18 -!- __monty__ has joined. 10:47:09 -!- Lord_of_Life_ has joined. 10:48:17 -!- Lord_of_Life has quit (Ping timeout: 256 seconds). 10:48:27 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 10:53:27 -!- wib_jonas has joined. 11:33:14 [[Nightmare]] https://esolangs.org/w/index.php?diff=92511&oldid=92485 * Otesunki * (-63) made it worse 12:09:46 -!- wib_jonas has quit (Quit: Client closed). 12:16:58 -!- wib_jonas has joined. 12:26:12 -!- kit_ten has joined. 12:29:57 -!- kit-ten has quit (Ping timeout: 240 seconds). 12:36:51 -!- tech_exorcist has joined. 12:41:39 [[StubScript]] M https://esolangs.org/w/index.php?diff=92512&oldid=75734 * PythonshellDebugwindow * (+64) /* Interpreter */ Fix interpreter 12:42:25 [[StubScript]] M https://esolangs.org/w/index.php?diff=92513&oldid=92512 * PythonshellDebugwindow * (+2) /* Syntax */ fix grammar 13:26:15 -!- eli_oat has joined. 13:30:25 [[APOL]] https://esolangs.org/w/index.php?diff=92514&oldid=91786 * GingerIndustries * (+74) /* Instruction table */ 13:34:11 [[APOL]] https://esolangs.org/w/index.php?diff=92515&oldid=92514 * GingerIndustries * (+119) /* Instruction table */ 13:34:25 [[APOL]] https://esolangs.org/w/index.php?diff=92516&oldid=92515 * GingerIndustries * (+1) /* Codepage */ 15:20:58 -!- gzg has joined. 15:21:11 hey what happened to #esoteric 15:22:14 we renamed it for no reason? 15:22:57 must've been a reason? 15:23:18 perhaps random people joining looking for spells? 15:24:29 gzg: we \renamed it simultaneously to moving from the broken freenode 15:24:41 gzg: so it was always freenode/#esoteric or libera/#esolangs 15:25:10 I am not entirely sure, but something seems wrong about #esoteric 15:25:37 hm wrong how? 15:25:51 not entirely correctly configured. But I forgot how the details for these forwards worked soon after the libera move :| 15:26:03 Riviera: yes, but we couldn't rename it because the name was hard-coded in a widely installed software package. but that only applies while it was on freenode, since that software package connects there. 15:26:17 no no sorry, i meant technically 15:26:29 yep doesn't really redirect you, just kicks, but when you try to join #esoteric while in #esolangs you're informed you're already on it 15:26:43 but i might be wrong, i'll check it when i have time and let you know if there really is an issue 15:26:52 gzg: ah 15:26:56 wait, do you mean that the redirect from libera/#esoteric is wrong 15:26:57 ? 15:26:57 gzg: yeah, so it's not only my client. 15:27:00 wib_jonas: i'll bite, which package? 15:27:02 wib_jonas: yup 15:27:05 `? canaima 15:27:09 Canaima is a secret Venezuelan project to overrun #esoteric with incomprehensible people who have no idea why they're there. 15:27:21 aha! 15:27:23 i am not sure, maybe it was something like letting the channel stay persistently around, 15:27:31 -!- Sgeo has joined. 15:27:37 otherwise the modes will only be set after a join or so 15:27:47 anyway, can really not check this right now, meeting coming up 15:28:35 many things changed over the years i see, esolangs.org is quite pretty 15:28:38 I suspect it's not going to be _that_ many people landing on libera/#esoteric TBH. But yeah, the intention is for it to be a redirect. 15:30:12 And from my perspective, the main reason for renaming was that I was a lot more comfortable requesting the community registration thing for "#esolangs" + "#esolangs-*" for the purposes of talking about esoteric programming languages than I would have been for "#esoteric" + "#esoteric-*". 15:31:26 some people will land in libera/#esoteric, the ones who were on freenode/#esoteric but then left for years 15:31:38 they'll be looking the same name on libera and/or other servers 15:32:30 * gzg case in point :P 15:32:52 the redir was quite handy 15:33:09 fizzie: yep esoteric-* would overlap with others, goot point 15:33:17 also the name #esolangs matches the domain name esolangs.org where our wiki is served from 15:34:50 https://twitter.com/xdesro/status/1485642891615772681 15:35:02 OK I changed my mind, esolangs is the right name for the channel 15:36:20 yep esoteric was nice back then, esolangs is right and proper, well-thought-out 15:37:09 tbh can't really remember how #esoteric came to be or to be named, probably from some cat's eye list or something 15:37:37 maybe from 'esoteric languages' 15:39:16 yeah of course :P 15:39:19 i mean how it was decided upon 15:39:34 perhaps "oh #esoteric is free, cool" 15:44:03 gzg: https://esolangs.org/wiki/Esolang:Community_portal claims that the old mailing lists had "esoteric" in their name 15:44:46 so it's possible that the channel was named from that 15:47:23 yep the sange.fi one probably 15:50:33 only... wasn't the usenet group more used than the mailing lists? in which case the channel should have been named #intercal 15:51:19 was used in early 2000s but i think the sange.fi list had more bearing 15:51:39 I don't know much of the ancient history, I wasn't there. 15:51:40 ah and there was the old dmoz category 15:51:42 http://dmoz.org/Computers/Programming/Languages/Obfuscated/ 15:59:33 meh, ten years from now we won't remember to the current history and we'll think that the channel was named from the logbot and the logbot from the Discord server or something 16:01:10 lolol yep 16:06:17 -!- kit_ten has changed nick to kanye. 16:08:03 -!- kanye has changed nick to kit-ten. 16:12:13 -!- gzg has quit (Ping timeout: 256 seconds). 16:18:32 -!- gzg has joined. 16:25:49 -!- gzg has quit (Ping timeout: 256 seconds). 16:40:42 -!- dyeplexer has joined. 16:41:30 -!- wib_jonas has quit (Quit: Client closed). 16:53:10 -!- kit_ten has joined. 16:56:32 -!- kit-ten has quit (Ping timeout: 240 seconds). 17:33:39 -!- eli_oat has quit (Quit: eli_oat). 17:37:15 -!- gzg has joined. 17:41:09 -!- gzg has quit (Remote host closed the connection). 17:49:20 -!- gzg has joined. 17:54:17 [[UPE]] M https://esolangs.org/w/index.php?diff=92517&oldid=88806 * PythonshellDebugwindow * (+128) Add categories and link to Unary 17:56:09 [[PRNGP2]] M https://esolangs.org/w/index.php?diff=92518&oldid=90899 * PythonshellDebugwindow * (+75) Use pre tags, add categories 17:57:39 [[Language list]] M https://esolangs.org/w/index.php?diff=92519&oldid=92486 * PythonshellDebugwindow * (+13) /* P */ add 17:58:59 [[PP]] M https://esolangs.org/w/index.php?diff=92520&oldid=88805 * PythonshellDebugwindow * (+96) Add categories 17:59:06 hehe pp 18:02:28 [[Special:Log/move]] move * PythonshellDebugwindow * moved [[A programming language is a formal language comprising a set of strings that produce various kinds of machine code output.]] to [[A programming language is any set of rules that converts strings, or graphical program elements in the case of visual programming languages, to various kinds of machine c 18:02:28 [[Special:Log/move]] move * PythonshellDebugwindow * moved [[Talk:A programming language is a formal language comprising a set of strings that produce various kinds of machine code output.]] to [[Talk:A programming language is any set of rules that converts strings, or graphical program elements in the case of visual programming languages, to various kinds of 18:03:12 [[Programming Language]] M https://esolangs.org/w/index.php?diff=92525&oldid=90023 * PythonshellDebugwindow * (+59) fix 18:04:53 [[A programming language is any set of rules that converts strings, or graphical program elements in the case of visual programming languages, to various kinds of machine code output.]] M https://esolangs.org/w/index.php?diff=92526&oldid=92521 * PythonshellDebugwindow * (+148) former name 18:05:58 [[Template:Programming Language]] M https://esolangs.org/w/index.php?diff=92527&oldid=84062 * PythonshellDebugwindow * (+59) Update template 18:08:56 -!- gzg has quit (Remote host closed the connection). 18:09:10 -!- dyeplexer has quit (Ping timeout: 250 seconds). 18:21:40 -!- dyeplexer has joined. 18:26:58 -!- eli_oat has joined. 18:26:58 -!- eli_oat has quit (Client Quit). 18:27:30 -!- eli_oat has joined. 18:42:44 -!- dyeplexer has quit (Remote host closed the connection). 19:14:58 -!- tech_exorcist has quit (Remote host closed the connection). 19:15:19 -!- tech_exorcist has joined. 19:37:21 -!- eli_oat has quit (Quit: eli_oat). 20:48:26 -!- gzg has joined. 20:59:25 -!- Corbin has quit (Ping timeout: 240 seconds). 21:03:29 -!- gzg has quit (Ping timeout: 256 seconds). 21:06:03 -!- eli_oat has joined. 21:15:10 -!- Byzantine has joined. 21:15:44 -!- Byzantine has left. 21:20:45 -!- Byzantine has joined. 21:21:00 -!- kit-ten has joined. 21:21:12 -!- tech_exorcist has quit (Quit: Disconnecting). 21:24:39 -!- kit_ten has quit (Ping timeout: 256 seconds). 21:53:37 -!- eli_oat has quit (Quit: eli_oat). 22:10:19 [[Tile]] https://esolangs.org/w/index.php?diff=92528&oldid=92508 * Dtp09 * (+47) /* Truth Machine */ 22:20:21 -!- Byzantine has quit (Remote host closed the connection). 23:08:15 -!- __monty__ has quit (Quit: leaving). 23:19:48 -!- salpynx has joined.