00:22:44 <esolangs> [[Tile]] https://esolangs.org/w/index.php?diff=92501&oldid=92500 * Dtp09 * (-12)
00:23:14 <esolangs> [[Tile]] https://esolangs.org/w/index.php?diff=92502&oldid=92501 * Dtp09 * (+5) /* Random */
00:25:21 <esolangs> [[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 <esolangs> [[Tile]] https://esolangs.org/w/index.php?diff=92504&oldid=92502 * Dtp09 * (+0)
02:32:42 -!- eli_oat has joined.
02:33:16 <esolangs> [[Special:Log/upload]] overwrite * Dtp09 * uploaded a new version of "[[File:Truth-machine-tile.png]]"
02:34:47 <esolangs> [[Tile]] https://esolangs.org/w/index.php?diff=92506&oldid=92504 * Dtp09 * (+13)
02:35:34 <esolangs> [[Tile]] https://esolangs.org/w/index.php?diff=92507&oldid=92506 * Dtp09 * (+0) /* Truth Machine */
02:37:48 <esolangs> [[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 <riv> https://en.wikipedia.org/wiki/Berman%E2%80%93Hartmanis_conjecture
06:52:20 <riv> 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:04:28 <zzo38> The link is OK. Do you have a example of a NP-complete formal language?
07:07:04 <riv> At first I thought it could be something like 'the language of satisfiable boolean formula'
07:07:06 <riv> but im not sure now?
07:07:18 <Hooloovoo> odd. it is broken for me. but I found the right one.
07:11:10 <Hooloovoo> 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 <Hooloovoo> it does seem slightly odd to consider them as languages
07:12:17 <int-e> riv: that example works
07:17:29 <int-e> Hmm, it's an interesting strengthening of P != NP. Had not seen it before
07:17:57 <riv> thats why its a conjecture
07:18:09 <riv> i was thinking "isn't this the definition?"
07:18:18 <int-e> P = NP can be rephrased to "NP-complete languages reduce to {epsilon}"
07:18:35 <int-e> (in polynomial time)
07:18:55 <int-e> reductions aren't bijections
07:19:33 <int-e> (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 <esolangs> [[Rpg]] https://esolangs.org/w/index.php?diff=92509&oldid=92488 * Jomy10 * (+289)
10:16:48 <esolangs> [[Rpg]] https://esolangs.org/w/index.php?diff=92510&oldid=92509 * Jomy10 * (+24) /* Obfuscation */
10:17:29 <riv> 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 <esolangs> [[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 <esolangs> [[StubScript]] M https://esolangs.org/w/index.php?diff=92512&oldid=75734 * PythonshellDebugwindow * (+64) /* Interpreter */ Fix interpreter
12:42:25 <esolangs> [[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 <esolangs> [[APOL]] https://esolangs.org/w/index.php?diff=92514&oldid=91786 * GingerIndustries * (+74) /* Instruction table */
13:34:11 <esolangs> [[APOL]] https://esolangs.org/w/index.php?diff=92515&oldid=92514 * GingerIndustries * (+119) /* Instruction table */
13:34:25 <esolangs> [[APOL]] https://esolangs.org/w/index.php?diff=92516&oldid=92515 * GingerIndustries * (+1) /* Codepage */
15:20:58 -!- gzg has joined.
15:21:11 <gzg> hey what happened to #esoteric
15:22:14 <riv> we renamed it for no reason?
15:22:57 <gzg> must've been a reason?
15:23:18 <gzg> perhaps random people joining looking for spells?
15:24:29 <wib_jonas> gzg: we \renamed it simultaneously to moving from the broken freenode
15:24:41 <wib_jonas> gzg: so it was always freenode/#esoteric or libera/#esolangs
15:25:10 <Riviera> I am not entirely sure, but something seems wrong about #esoteric
15:25:37 <gzg> hm wrong how?
15:25:51 <Riviera> not entirely correctly configured. But I forgot how the details for these forwards worked soon after the libera move :|
15:26:03 <wib_jonas> 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 <Riviera> no no sorry, i meant technically
15:26:29 <gzg> 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 <Riviera> 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:56 <wib_jonas> wait, do you mean that the redirect from libera/#esoteric is wrong
15:26:57 <Riviera> gzg: yeah, so it's not only my client.
15:27:00 <gzg> wib_jonas: i'll bite, which package?
15:27:09 <HackEso> Canaima is a secret Venezuelan project to overrun #esoteric with incomprehensible people who have no idea why they're there.
15:27:23 <Riviera> i am not sure, maybe it was something like letting the channel stay persistently around,
15:27:31 -!- Sgeo has joined.
15:27:37 <Riviera> otherwise the modes will only be set after a join or so
15:27:47 <Riviera> anyway, can really not check this right now, meeting coming up
15:28:35 <gzg> many things changed over the years i see, esolangs.org is quite pretty
15:28:38 <fizzie> 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 <fizzie> 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 <wib_jonas> some people will land in libera/#esoteric, the ones who were on freenode/#esoteric but then left for years
15:31:38 <wib_jonas> they'll be looking the same name on libera and/or other servers
15:32:30 * gzg case in point :P
15:32:52 <gzg> the redir was quite handy
15:33:09 <gzg> fizzie: yep esoteric-* would overlap with others, goot point
15:33:17 <wib_jonas> also the name #esolangs matches the domain name esolangs.org where our wiki is served from
15:34:50 <riv> https://twitter.com/xdesro/status/1485642891615772681
15:35:02 <riv> OK I changed my mind, esolangs is the right name for the channel
15:36:20 <gzg> yep esoteric was nice back then, esolangs is right and proper, well-thought-out
15:37:09 <gzg> 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 <riv> maybe from 'esoteric languages'
15:39:16 <gzg> yeah of course :P
15:39:19 <gzg> i mean how it was decided upon
15:39:34 <gzg> perhaps "oh #esoteric is free, cool"
15:44:03 <wib_jonas> gzg: https://esolangs.org/wiki/Esolang:Community_portal claims that the old mailing lists had "esoteric" in their name
15:44:46 <wib_jonas> so it's possible that the channel was named from that
15:47:23 <gzg> yep the sange.fi one probably
15:50:33 <wib_jonas> 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 <gzg> was used in early 2000s but i think the sange.fi list had more bearing
15:51:39 <wib_jonas> I don't know much of the ancient history, I wasn't there.
15:51:40 <gzg> ah and there was the old dmoz category
15:51:42 <gzg> http://dmoz.org/Computers/Programming/Languages/Obfuscated/
15:59:33 <wib_jonas> 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: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 <esolangs> [[UPE]] M https://esolangs.org/w/index.php?diff=92517&oldid=88806 * PythonshellDebugwindow * (+128) Add categories and link to Unary
17:56:09 <esolangs> [[PRNGP2]] M https://esolangs.org/w/index.php?diff=92518&oldid=90899 * PythonshellDebugwindow * (+75) Use pre tags, add categories
17:57:39 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=92519&oldid=92486 * PythonshellDebugwindow * (+13) /* P */ add
17:58:59 <esolangs> [[PP]] M https://esolangs.org/w/index.php?diff=92520&oldid=88805 * PythonshellDebugwindow * (+96) Add categories
18:02:28 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Programming Language]] M https://esolangs.org/w/index.php?diff=92525&oldid=90023 * PythonshellDebugwindow * (+59) fix
18:04:53 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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.