←2018-11-23 2018-11-24 2018-11-25→ ↑2018 ↑all
01:05:36 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:40:35 -!- hexfive has joined.
02:20:50 -!- Lord_of_Life_ has joined.
02:23:04 -!- Lord_of_Life has quit (Ping timeout: 268 seconds).
02:23:04 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
02:23:05 -!- Lord_of_Life has quit (Changing host).
02:23:05 -!- Lord_of_Life has joined.
03:11:34 -!- xkapastel has quit (Quit: Connection closed for inactivity).
03:37:03 -!- arseniiv has quit (Ping timeout: 252 seconds).
04:41:21 <zzo38> Once I finished to write my Netsubscribe implementation, would you use it too? I will also run the server once I do; even if you do not run your own server too, you can still read messages, just not post or subscribe. (You can also write your own implementation if you do not want to use mine; as long as it follows the protocol it will be OK.)
04:47:47 <zzo38> So far, protocol requests , v l r # q ? . are implemented, and subcommands "analyze", "checkpoint", "hostname", "init", "vacuum", and "version" are implemented (these subcommands are used at the command-line and are not part of the protocol).
04:49:44 <zzo38> Subcommands not yet implemented are "list", "note", "reply", "reverse", "subscribe", "tag", "unsubscribe". Does this design looks like OK so far at least? The program is setuid and setgid (but not to root), and the file /etc/netsubscribe.conf is for the configuration by the system administrator; there is also ~/.netsubscrc which is used for user configuration.
07:10:28 -!- atslash has quit (Quit: This computer has gone to sleep).
07:12:50 -!- oerjan has joined.
07:34:49 -!- hexfive has quit (Quit: WeeChat 2.2).
08:31:21 <zzo38> I wrote about "edifloat" format, which is 40-bits, which has a unsigned 34-bit integer part, a sign bit, and 5-bits for where the dot is; 0-29 positions from the right, or 31 means there isn't any. If it is 30 then the integer part is divided by zero.
09:24:02 -!- imode has quit (Ping timeout: 250 seconds).
09:29:46 -!- oerjan has quit (Quit: Later).
10:00:36 -!- xkapastel has joined.
10:55:35 -!- AnotherTest has joined.
11:50:32 -!- b_jonas has joined.
11:55:02 -!- Phantom_Hoover has joined.
12:00:12 <esowiki> [[2C]] N https://esolangs.org/w/index.php?oldid=58480 * Ais523 * (+10874) new language; I basically just wrote this one because I needed it to prove AORS Turing-complete, but it might potentially be useful in other contexts too?
12:00:34 <esowiki> [[2C]] M https://esolangs.org/w/index.php?diff=58481&oldid=58480 * Ais523 * (+17) /* See also */ year
12:01:07 -!- ski has joined.
12:01:29 <esowiki> [[01-2C]] N https://esolangs.org/w/index.php?oldid=58482 * Ais523 * (+22) section redirect
12:22:13 <esowiki> [[An Odd Rewriting System]] https://esolangs.org/w/index.php?diff=58483&oldid=58479 * Ais523 * (+14078) /* Computational class */ TCness proof
12:22:57 <esowiki> [[An Odd Rewriting System]] M https://esolangs.org/w/index.php?diff=58484&oldid=58483 * Ais523 * (-12) TC category
12:26:21 <esowiki> [[An Odd Rewriting System]] M https://esolangs.org/w/index.php?diff=58485&oldid=58484 * Ais523 * (-1) /* Example */ whitespace fix
12:28:25 -!- ais523 has joined.
12:28:43 <ais523> does anyone have opinions on the relative sort order of hyphens and underscores?
12:29:00 <ais523> oerjan gets mad at people when they mis-sort the language list
12:29:13 <ais523> and I need to add 01-2C before or after 01_
12:41:38 -!- Essadon has joined.
12:42:22 -!- ais523 has quit (Remote host closed the connection).
12:43:37 -!- ais523 has joined.
13:03:22 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=58486&oldid=58451 * Ais523 * (+21) /* Non-alphabetic */ +[[01-2C]], [[2C]]; oerjan, do you have any opinions on the relative ordering of hyphens versus underscores?
13:03:49 <esowiki> [[User:Ais523]] https://esolangs.org/w/index.php?diff=58487&oldid=58400 * Ais523 * (+8) +[[2C]]
14:08:20 -!- zemhill_____ has joined.
14:10:11 -!- zemhill____ has quit (Remote host closed the connection).
14:21:17 -!- Lord_of_Life_ has joined.
14:23:18 -!- arseniiv has joined.
14:23:34 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
14:23:34 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
14:23:35 -!- Lord_of_Life has quit (Changing host).
14:23:35 -!- Lord_of_Life has joined.
14:54:57 <ais523> zemhill_____: you seem to have developed an underscore addiction
14:56:36 <esowiki> [[2C]] M https://esolangs.org/w/index.php?diff=58488&oldid=58481 * Ais523 * (-7) /* 01-2C */ use correct tag to format the name of the language
15:15:17 <int-e> ais523: maybe it's a hangman game
15:17:54 <ais523> hmm, maybe I should implement and write in more of my esolangs
15:18:13 <ais523> it's so satisfying seeing the interpreter output lines line «CCccCCccCCccCCccwwwgṗēṙṗṖeṘṙṗṖṗṖeṘṙṘṙṗṖṗṖṗṖṗṖeṘṙṘṙṘṙṘṙboootdsssx»
15:40:51 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
16:10:39 <paul2520> love it ais523
16:14:34 -!- Phantom_Hoover has joined.
16:15:12 <b_jonas> ais523: uh, are those characters from the Jelly characterset?
16:15:31 <ais523> no, ē isn't in Jelly's character set
16:15:52 <ais523> they aren't commands, just arbitrary tokens; using Unicode made it a bit more readable because I could use consistent rules for what accents meant what
16:18:19 <b_jonas> I see
16:20:50 <ais523> (also, a real Jelly program would be unlikely to ever be that repetitive)
16:20:54 <b_jonas> hyphens are before underscores I think. I mean, that's how ascii works
16:22:17 <ais523> yes but alphabetisation isn't asciibetisation
16:22:34 <ais523> I decided that space and hyphen were probably equal in terms of sort order
16:22:35 <b_jonas> ais523: sure, it's not a Jelly , you said it was output. but another esolang could use the same set of characters, so that you don't need to make so many different custom teyetype balls
16:22:43 <ais523> err, underscore and hyphen
16:25:41 <b_jonas> I recall when printed phonebooks explained their custom alphabetization rules (mostly needed for business names) in the preface
16:26:11 <b_jonas> including how they sort people with identical names
16:27:49 <b_jonas> since, you know, they have a column of people called Kiss József or something, and you want to quickly find the right one by address
16:37:24 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
17:21:04 -!- tromp has quit (Ping timeout: 272 seconds).
17:34:07 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
17:39:45 -!- Lord_of_Life has joined.
17:39:45 -!- Lord_of_Life has quit (Changing host).
17:39:45 -!- Lord_of_Life has joined.
17:47:08 -!- Lord_of_Life has quit (Ping timeout: 245 seconds).
17:49:22 -!- oerjan has joined.
18:22:38 -!- imode has joined.
18:33:38 -!- tromp has joined.
18:35:00 -!- atslash has joined.
18:45:32 -!- Lord_of_Life has joined.
18:45:35 -!- Lord_of_Life has quit (Changing host).
18:45:35 -!- Lord_of_Life has joined.
19:15:03 <oerjan> `icode Ⅎ
19:15:06 <HackEso> ​[U+2132 TURNED CAPITAL F]
19:15:24 <oerjan> `icode Ю
19:15:25 <HackEso> ​[U+042E CYRILLIC CAPITAL LETTER YU]
19:15:41 <oerjan> `icode 开
19:15:41 <HackEso> ​[U+5F00 CJK UNIFIED IDEOGRAPH-5F00]
19:16:12 <oerjan> @messages-cloudy
19:16:12 <lambdabot> int-e said 1d 7h 31m 35s ago: https://xkcd.com/609/ hth
19:16:17 <oerjan> oh
19:21:50 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=58489&oldid=58486 * Oerjan * (+1) Ginorst eimt
19:22:49 <oerjan> ais523: i usually fall back to unicode order for non-alphanumeric stuff
19:23:38 <ais523> at least you sorted some other answers at the same time
19:23:51 <oerjan> so many in such a short time
19:23:56 <ais523> Unicode order seems weird when it comes to things like letter/space mixes
19:24:11 <ais523> and digit-hyphen-underscore mixes didn't seem substantially different
19:24:11 <oerjan> i also sort 1337 as leet, sometimes
19:24:29 <ais523> it's not like I wrote a language called ē or anything like thaht
19:25:07 <oerjan> ais523: it's in the non-alphabetic section, where i usually count punctuation more than in the others
19:25:34 <ais523> well, it starts with a digit
19:25:51 <ais523> hmm, how would you categorise a language with a name like æ or ø?
19:25:58 <oerjan> i knew i shouldn't have said alphanumeric
19:26:01 <ais523> i.e. alphabetic, just not in the /English/ alphabet
19:26:26 <oerjan> ais523: shhh don't give people ideas
19:26:40 <oerjan> (i know the system _will_ break some day)
19:27:02 <ais523> I've had ideas purely designed to troll your sorting tendencies, but so far have not had a good opportunity to use them
19:27:11 <oerjan> darn
19:27:23 <int-e> `grwp proper
19:27:24 <ais523> would have to be a rottytooth-style language, I think
19:27:25 <HackEso> cdop:CDOP is OCPD, except with the letters in the *proper* order. \ fueue:Fueue will be explained more properly once we've made another pass through all the other tanebventions. \ group:Groups are just loops with the property of associativity. \ halfling:Halflings are genericized hobbits for intellectual property reasons. \ hammurabi:From Hammurabi's law: If anyone creates a webpage that unexpectedly starts playing sounds, he shall be put to death. http://
19:27:27 * oerjan will sing the doom song now
19:27:41 <int-e> `grwp proper\ order
19:27:41 <HackEso> No output.
19:27:43 <ais523> and there's a limit to how much of that you want in your wiki
19:27:45 <int-e> `grwp proper order
19:27:46 <HackEso> No output.
19:27:50 <int-e> mm
19:28:10 <int-e> `? cdop
19:28:11 <HackEso> CDOP is OCPD, except with the letters in the *proper* order.
19:28:13 <int-e> ah
19:28:17 <ais523> I mean, not rottytooth-style languages specifically, but things that are there specifically to make life difficult for wiki admins
19:28:25 <int-e> I forgot about the emphasis.
19:28:30 <ais523> like the languages named after spam pages and {{Programming Language}}
19:30:53 <ais523> I should go get food, anyway
19:31:00 <ais523> at least I actually got some esolanging done over the last few days…
19:31:03 -!- ais523 has quit (Quit: food).
19:32:16 <oerjan> i'm not sure how spam page names make things difficult...
19:32:43 <esowiki> [[2C]] M https://esolangs.org/w/index.php?diff=58490&oldid=58488 * Ais523 * (+1) /* Semantics */ fix mismatched paren
19:32:45 <oerjan> Programming Language will be easier now i templatized it.
19:33:16 <esowiki> [[2C]] M https://esolangs.org/w/index.php?diff=58491&oldid=58490 * Ais523 * (-5) /* Limited alphabet */ rm stray word
19:33:57 <oerjan> and if people try to mess that up, i can just revert them on wikipedia :P
19:34:35 <oerjan> unless they're clever enough to make it look like an improvement
19:35:04 <b_jonas> ais523: an esolang whose name starts with a non-scii alphabetic character? https://esolangs.org/wiki/%D0%AE%E1%93%82%EA%B3%A7%E2%8E%94
19:38:51 <b_jonas> ais523: hmm. https://esolangs.org/wiki/User:Ais523 says "I'm typically the most active of Esolang's admins" and I don't think that's true anymore
19:39:25 <oerjan> b_jonas: there are some in greek already
19:39:26 <b_jonas> or... maybe it's true, if you count the wiki itself, not irc
19:39:39 <oerjan> maybe that's what you linked
19:40:24 <b_jonas> oerjan: no. https://esolangs.org/wiki/%D0%AE%E1%93%82%EA%B3%A7%E2%8E%94 is a language that was named in 2004, and it wasn't specifically named for annoying wiki admins, though the name is deliberately strange
19:40:52 <b_jonas> oerjan: was the esolangs wiki started in 2005?
19:41:02 <oerjan> oh right it's cyrillic
19:41:34 <oerjan> well i've sorted that according to unicode, and there are no others in the same alphabet to confuse matters.
19:41:50 <oerjan> b_jonas: i think so
19:43:13 <b_jonas> ok, then it's practically proven that it wasn't named to annoy esolang wiki admins
19:46:02 <b_jonas> but it's harder to prove that https://esolangs.org/wiki/(0) wasn't named for such a reason
19:47:08 <b_jonas> oh, that reminds me,
19:47:19 <b_jonas> it seems I haven't finished the edits on the articles for the Amicus language family
19:48:54 <esowiki> [[Special:Log/move]] move_redir * B jonas * moved [[Hyperamycus]] to [[Hyperamicus]] over redirect: the article was morphed to talk about the intended language, not the mangled version
19:48:54 <esowiki> [[Special:Log/delete]] delete_redir * B jonas * B jonas deleted redirect [[Hyperamicus]] by overwriting: Deleted to make way for move from "[[Hyperamycus]]"
19:49:27 <esowiki> [[Hyperamicus]] https://esolangs.org/w/index.php?diff=58494&oldid=58492 * B jonas * (+0)
19:50:07 <oerjan> hm, mezzacotta comic isn't loading.
19:51:07 <esowiki> [[Amycus]] https://esolangs.org/w/index.php?diff=58495&oldid=57661 * B jonas * (+7)
19:51:18 <oerjan> ah there
19:51:35 <b_jonas> which one? none of them
19:51:38 <b_jonas> ?
19:51:48 <oerjan> the latest, on the front page
19:51:52 <oerjan> it loaded eventually
19:52:06 <oerjan> i wonder if i'm the only one to look at it, so it's not cached yet
19:52:28 <oerjan> although i was there earlier today, so...
19:52:56 <esowiki> [[Amicus]] https://esolangs.org/w/index.php?diff=58496&oldid=57640 * B jonas * (-46) /* A more formal definition */
19:52:59 <oerjan> i'm used to it not loading early
19:53:55 <oerjan> perhaps it tends to time out until someone succeeds at loading it, and then it loads fast from cache later
19:54:54 <esowiki> [[User:B jonas]] https://esolangs.org/w/index.php?diff=58497&oldid=54928 * B jonas * (-50)
19:56:50 <oerjan> not very coherent today, although it reminds me of the end of the Anglophysics sf story i read
19:58:03 <oerjan> fungot`: do you read mezzacotta? also what's with the backquote?
19:58:03 <fungot`> oerjan: imho the chicken scheme libraries with proper dependencies and ease of use
20:09:50 <esowiki> [[Amicus]] https://esolangs.org/w/index.php?diff=58498&oldid=58496 * B jonas * (-3) /* Interpreter */
20:11:15 <esowiki> [[Amicus]] https://esolangs.org/w/index.php?diff=58499&oldid=58498 * B jonas * (-32) /* Amycus */
20:24:08 -!- Phantom_Hoover has joined.
20:26:55 <b_jonas> What I should figure out is if https://esolangs.org/wiki/Amycus#Abstraction_elimination_from_the_inside applies in some form to Amicus, but I'm too tired to do that now. TODO self.
20:30:25 <b_jonas> And some of https://esolangs.org/wiki/Amycus#Restricted_variants is probably nonsense, I have to check that.
20:40:51 -!- oerjan has quit (Quit: Nite).
20:59:09 -!- imode has quit (Quit: WeeChat 2.3).
21:40:37 -!- atslash has quit (Quit: This computer has gone to sleep).
21:56:25 -!- ais523 has joined.
22:03:12 <zzo38> It is going to be more difficult if some names start with homoglyphs, with private characters, or with non-Unicode characters.
22:03:58 <zzo38> (not necessarily starting with, but anywhere in the name where the sorting is relevant)
22:04:25 <ais523> I'm interested in making a decision problem variant of the discrete logarithm problem
22:04:29 <ais523> whilst keeping it computationally hard
22:05:04 <ais523> what sort of decisions would work? for example, is "the discrete logarithm of x mod p even" a computationally hard problem? does it depend on the values of x and p?
22:06:17 <ais523> or even simpler, "is there a discrete logarithm of x mod p?"
22:06:35 <ais523> wait, there are three variables
22:06:45 <ais523> "is there a discrete logarithm of x mod p to base b?"
22:14:25 <ais523> apparently "is the discrete logarithm of x mod p to base b less than some value v" is considered computationally hard, that could work
22:17:13 -!- mroman has joined.
22:17:20 <mroman> ahoi mates
22:17:55 <mroman> I should hire somebody through these crowdjobplattforms to document Burlesque for me :D
22:18:51 <mroman> the only problem is... there's no way I could verify that somebody did a good job
22:43:29 -!- ais523 has quit (Remote host closed the connection).
22:44:42 -!- ais523 has joined.
23:04:40 -!- ais523 has quit (Quit: quit).
23:22:07 -!- mroman has quit (Ping timeout: 256 seconds).
23:24:18 -!- imode has joined.
23:34:01 -!- imode has quit (Ping timeout: 268 seconds).
23:53:00 -!- AnotherTest has quit (Ping timeout: 252 seconds).
23:58:48 -!- Cale has joined.
←2018-11-23 2018-11-24 2018-11-25→ ↑2018 ↑all