00:01:32 <fizzie> I've possibly forwarded you the most recent confirmation email, and it may be that later emails would be accepted now that I've switched the mailname.
00:03:53 <dr_ais523> nothing's arrived yet, but email can be slow anyway
00:04:06 -!- tromp has joined.
00:05:31 <fizzie> According to *my* mail server, it was "250 2.0.0 Ok: queued as ADD20E25B" by nethack4.org. It'll be from me. Might look spammy for all I know.
00:07:53 <dr_ais523> not counting the spam dated next tuesday, though, I haven't had any email go to the spam folder for half an hour
00:09:08 -!- tromp has quit (Ping timeout: 272 seconds).
00:38:41 -!- oerjan has joined.
00:45:22 <APic> dr_ais523: So where can i download Your Dissertation? ☺
00:45:41 <dr_ais523> APic: http://etheses.bham.ac.uk/6120/1/Smith15PhD.pdf
00:49:39 -!- dr_ais523 has quit.
00:50:12 -!- dr_ais523 has joined.
01:05:49 -!- tromp has joined.
01:08:04 -!- hppavilion1 has joined.
01:09:10 <hppavilion1> IMHO, HTML is reaching the point of being outdated. I think I'll make a new-and-improved advanced markup language designed for browsers. It'll never be used, but it'll be fun to make.
01:09:39 -!- dr_ais523 has quit.
01:09:46 -!- tromp has quit (Ping timeout: 240 seconds).
01:09:56 -!- dr_ais523 has joined.
01:14:32 -!- Lord_of_Life has quit (Excess Flood).
01:15:39 -!- dr_ais523 has quit.
01:16:11 -!- dr_ais523 has joined.
01:17:06 -!- Lord_of_Life has joined.
01:18:23 <oerjan> <\oren\_> oh its god damn tmux fucking up unicide <-- no problems with that character with tmux + irssi here
01:18:54 <dr_ais523> but not an "I don't understand this" square
01:18:57 <oerjan> @tell \oren\_ <\oren\_> oh its god damn tmux fucking up unicide <-- no problems with that character with tmux + irssi here
01:19:03 <HackEgo> [U+1041D DESERET CAPITAL LETTER ES]
01:19:10 <dr_ais523> oh, presumably it's just not in my font
01:19:31 <oerjan> i suppose technically it's a little cut off on the right.
01:20:07 <oerjan> dr_ais523: i guess i should say congrats!
01:20:57 <shachaf> oerjan: are you dr_oerjan?
01:21:34 <shachaf> when i look for information about oerjan i find information about his pal instead
01:21:52 <shachaf> "I treated myself with MDMA and psychedelics (Pål’s story)"
01:25:14 <int-e> . o O ( "dr" is short for "dabbling researcher" )
01:27:07 <oerjan> all those ligatures in the topic don't show up to me, though :(
01:28:01 <int-e> surprisingly they do work in my combination (xterm with "fixed" font; ssh; screen; irssi)
01:29:24 <oerjan> oh wait some of them work
01:29:27 <FireFly> Here's what they render as for me, by the way: http://xen.firefly.nu/up/2015-12-13_022910.png
01:29:36 <dr_ais523> that st ligature looks ridiculous in this font
01:29:45 <dr_ais523> because the s is ligaturing onto the top of the t
01:29:53 <dr_ais523> it'd fit better connecting to the left of the crossbar
01:30:19 <FireFly> Yeah, I think that is how the st ligature usually works
01:30:30 <FireFly> or with a fancy swirl to latch onto the top
01:30:34 <dr_ais523> why even ligate it if you're going to do that?
01:30:42 <dr_ais523> it doesn't make it more condensed, just stupider
01:31:22 <FireFly> But it does seem rather pointless
01:31:29 <int-e> http://int-e.eu/~bf3/tmp/effi.png
01:31:53 <FireFly> I guess it's a ligature because it's a common digraph, maybe. A bit like how & stems from an 'et' ligature
01:32:20 <dr_ais523> then why isn't there a th ligature?
01:32:28 <int-e> quite legible given a 6 pixel width...
01:32:29 <dr_ais523> I was testing out azip again recently in another channel
01:32:43 <dr_ais523> and noticed that it had compressed "github" as "[g][i][th][u][b]"
01:32:44 <FireFly> Good question, th would be a good candidate I guess
01:33:46 <dr_ais523> a compression algo I was working on ages ago
01:33:59 <dr_ais523> by the end it was beating bz2 for my test programs, but losing to lzma
01:34:24 <dr_ais523> -rw-r--r-- 1 ais523 ais523 38107 Oct 23 2010 azip.c
01:34:31 <FireFly> what is the overall design like?
01:34:37 <dr_ais523> also, I had the harrowing experience of looking at my own five-year-old code, and discovering that it was actually quite readable
01:34:57 <dr_ais523> but basically it recursively defines new "letters" in terms of pairs of other letters
01:35:08 <dr_ais523> then eventually once it's got a large enough dictionary of letters, uses them to write out the output
01:35:21 <dr_ais523> in that example, it was using "th" as a definition and the other five letters raw
01:35:55 <FireFly> I came across a compression algorithm that worked like that last summer
01:36:06 <FireFly> I think, unless I misunderstood something. I'll find it
01:37:52 <FireFly> https://en.wikipedia.org/wiki/Byte_pair_encoding Like this?
01:38:38 <dr_ais523> FireFly: the differences are that a) I do it recursively (so some of the "letters" can end up really long); b) I can go well over 255 letters used
01:38:55 <dr_ais523> ah, it mentions the recursive use too
01:39:04 <dr_ais523> so it's basically that principle except that I don't have to waste a whole 8 bits per letter
01:39:22 <FireFly> I reversed a compression format using that encoding... it was.. interesting
01:39:33 -!- ent0nces has joined.
01:39:36 <FireFly> Pretty hard to follow what was going on since not much at all was legible
01:39:46 <FireFly> (I was studying compressed plaintext)
01:39:47 <dr_ais523> it uses a kind of "pre-calculated" huffman encoding where the frequency of each letter's assumed to be proportional to the cube root of the order in which it appears in the input
01:39:55 <FireFly> compressed English text, that is
01:40:14 <dr_ais523> but yes, I'd say azip's an evolved version of that algo
01:40:38 <dr_ais523> there are various improvements that you can make withotu changing the decompressor, in general it's quite amenable to the use of "better" compressors
01:40:59 <FireFly> That's always a nice property
01:41:02 <oerjan> <dr_ais523> it figured out how to write a modulus even without me telling it that the modulus operation existed <-- so you're saying it's ssapient?
01:41:21 <dr_ais523> oerjan: no, it was just an accumulation of small optimization rules
01:41:44 <dr_ais523> admittedly "x - ((x / y) * y)" doesn't really roll of the tongue
01:41:52 <shachaf> oerjan: is boily's mapole sapient?
01:42:47 <oerjan> shachaf: of course, that's why every mapole comes with a syrup bucket
01:43:11 <shachaf> that seems a bit problematic
01:43:47 <FireFly> is the mapole made of maple?
01:43:54 <HackEgo> A mapole is a thwackamacallit built from maple according to Canadian standards. The army version includes a spork, a corkscrew and a moose whistle. A regulatory mapole measures 6' by 12 kg, ±0.5 inHg.
01:44:04 <oerjan> only if you forget to collect it for too long
01:48:16 <FireFly> a man with a plan and a mapole.
01:49:38 <shachaf> I'm not sure how to complete it to a palindrome, either.
02:00:19 -!- ent0nces has quit (Read error: Connection reset by peer).
02:00:56 -!- ent0nces has joined.
02:01:29 <HackEgo> [wiki] [[GOTO++]] http://esolangs.org/w/index.php?diff=45862&oldid=43954 * Tuzepoito * (+3167) Update and cleanup
02:04:45 -!- tromp has joined.
02:07:39 -!- dr_ais523 has quit.
02:08:55 -!- tromp has quit (Ping timeout: 240 seconds).
02:11:40 -!- ent0nces has quit (Read error: Connection reset by peer).
02:12:23 -!- ent0nces has joined.
02:13:25 <zzo38> Now they say they will add the colorless mana symbol {C} which can be paid only by colorless mana, and the corresponding basic land which has no subtype and does not count as a "traditional" basic land. Maybe they would tought of it when changing the chaos symbol to {CHAOS} instead of just {C}?
02:13:44 -!- jaboja has quit (Ping timeout: 250 seconds).
02:13:59 <shachaf> zzo38: Where do they say that?
02:14:37 <zzo38> That is what I read recently today
02:17:44 -!- dr_ais523 has joined.
02:19:42 <FireFly> Sounds rather confusing to me
02:25:45 <hppavilion1> It's interesting how DataBASEs follow ACID
02:26:16 <hppavilion1> (Or is it BASE? I know that both ACID and BASE are used, one as a replacement for the other, but I'm not sure which is which)
02:27:59 <shachaf> zzo38: Where did you read it?
02:30:39 <int-e> "Eventually consistent services are often classified as providing BASE (Basically Available, Soft state, Eventual consistency) semantics, in contrast to traditional ACID (Atomicity, Consistency, Isolation, Durability) guarantees." - thanks, hadn't heard of BASE before.
02:32:38 <dr_ais523> I often have problems trying to remember what ACID stands for
02:32:46 <dr_ais523> SQLite's docs strongly imply that the I is for Integrity, fwiw
02:34:24 <FireFly> I also have trouble remembering it, and I think it even was an exam question on the exam in our databases course
02:34:39 <FireFly> Though I think it was multiple-choice, so it wasn't too bad to figure out which one was correct
02:35:24 <dr_ais523> the ones that started with letters other than A, C, I, and D were presumably wrong?
02:36:01 <int-e> apparently, integrity is part of consistency...
02:36:21 <FireFly> They all did :P, but I think they changed all of the words between each choice
02:38:13 <int-e> even the sqlite docs... "The pager module is responsible for making SQLite "ACID" (Atomic, Consistent, Isolated, and Durable)."
02:38:13 -!- ent0nces has quit (Read error: Connection reset by peer).
02:38:43 <int-e> So everyone agrees!
02:38:50 -!- ent0nces has joined.
02:41:37 -!- ent0nces has quit (Read error: Connection reset by peer).
02:42:29 -!- ent0nces has joined.
02:42:42 -!- mauris_ has quit (Read error: Connection reset by peer).
02:46:06 -!- andrew_ has joined.
02:47:39 -!- dr_ais523 has quit.
02:47:46 -!- hppavilion1 has quit (Ping timeout: 240 seconds).
02:48:38 -!- dr_ais523 has joined.
02:52:25 -!- andrew_ has quit (Remote host closed the connection).
02:54:22 -!- andrew_ has joined.
02:59:24 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:03:35 -!- dr_ais523 has quit.
03:05:44 -!- dr_ais523 has joined.
03:28:04 -!- ent0nces has quit (Read error: Connection reset by peer).
03:29:05 -!- ent0nces has joined.
03:29:57 -!- FireFly has quit (Remote host closed the connection).
03:30:02 <\oren\_> oh, ais523 is a doctor now!
03:31:43 -!- FireFly has joined.
03:31:51 -!- FireFly has quit (Changing host).
03:31:51 -!- FireFly has joined.
03:37:35 <\oren\_> dr_ais523: your nethack 4 website needs to be updated to Dr. PhD
03:38:06 <dr_ais523> I'm not sure if I'm going to officially change my name in all the places that already have it
03:38:10 <dr_ais523> most likely I'll just use it on new things
03:38:43 <FireFly> Being a doctor is pretty fancy
03:41:42 <dr_ais523> this has probably not in of itself made me better at esolangs
03:41:51 <dr_ais523> but I have revived my interest in esolangs at much the same time
03:42:04 <dr_ais523> and even persuaded other people to talk about Three Star Programmer (even if I fear it's "too easy")
03:53:50 -!- ent0nces has quit (Read error: Connection reset by peer).
03:54:29 -!- ent0nces has joined.
04:00:27 -!- ent0nces has quit (Read error: Connection reset by peer).
04:01:01 -!- ent0nces has joined.
04:02:50 -!- hppavilion1 has joined.
04:05:39 -!- dr_ais523 has quit.
04:09:51 -!- ent0nces has quit (Read error: Connection reset by peer).
04:10:41 -!- ent0nces has joined.
04:15:45 -!- dr_ais523 has joined.
04:22:59 -!- ^v has joined.
04:25:34 -!- dr_ais523 has quit.
04:29:44 -!- dr_ais523 has joined.
04:32:31 -!- ent0nces has quit (Read error: Connection reset by peer).
04:33:12 -!- ent0nces has joined.
04:36:22 -!- tromp has joined.
04:40:35 -!- tromp has quit (Ping timeout: 240 seconds).
04:43:39 -!- dr_ais523 has quit.
04:51:45 -!- dr_ais523 has joined.
05:18:41 <hppavilion1> I have a website up usually where you can test it out. Unfortunately, I'm not at a place where I can properly forward the ports.
05:19:48 <hppavilion1> I think there might be a horrible bug that allows people to view any file on my computer (the ".." bug)
05:19:59 <hppavilion1> Unfortunately, I think firefox prevents you from testing it.
05:20:29 <zzo38> Then use netcat to test it
05:24:15 <zzo38> You can use netcat on Windows too.
05:24:33 <zzo38> (Although, it is not built-in, so you have to install it separately if you are on Windows)
05:25:00 <hppavilion1> zzo38: I prefer to just fix it in case it works.
05:25:15 <hppavilion1> "John" "first_name" COLUMN = ALL "users" DB SELECT
05:25:52 <hppavilion1> That finds users with first name "John" in your "users" DB and returns them
05:27:03 <zzo38> If you post the codes then we can download and execute this program and see its working
05:27:51 <zzo38> The DB, once you make it enough (not quite yet)
05:28:16 <hppavilion1> If you mean the DB, I have something better (except right now, when I can't port forward): In-browser interaction
05:28:46 <hppavilion1> After every new version of the 'terp, there's a form where you can enter code and it will executed it and output it to a box on the bottom right of the screen
05:29:19 <hppavilion1> And it's possible you meant post the code because there's no other way for you to see it
05:29:20 <zzo38> No I would prefer to run it outside of the browser, it is a better way
05:29:42 <zzo38> Although, you don't have to post it yet; first make work more on it so that it is working better.
05:30:01 <hppavilion1> zzo38: Do you mean you'd prefer to download it and run it yourself, or would you prefer some API docs to connect to my computer?
05:30:54 <hppavilion1> The API is simple: Just send a multipart/formdata post request to the server with the "commands" entry equivalent to the command you wish to send.
05:31:05 <hppavilion1> Now that I think about it, that might be a shit way to do it
05:31:15 <hppavilion1> But it integrates well with the setup I have right now
05:31:34 <zzo38> To run it by myself would work best, although API would be suitable when wanting to access the data remotely.
05:31:35 -!- dr_ais523 has quit.
05:31:45 <zzo38> (If there is any suitable data to access remotely!)
05:32:26 <hppavilion1> (oh, you have to send it to the path terps/<version number> for it to work. version number is like 0.01 (that's the current version), though you use underscores instead of full stops for the subversions)
05:32:53 <hppavilion1> I'll upload it to github. No personal website (yet!), so that's my best hosting location.
05:33:42 <hppavilion1> zzo38: Well, I could just pastebin the code when I'm ready. Would you prefer access to the devlog?
05:33:44 -!- dr_ais523 has joined.
05:34:15 <hppavilion1> If you want the devlog, you need to be running python 3.4 or 3.5 with aiohttp installed, as well as pygments.
05:34:32 * Sgeo is going to be AFK from the 14th to the 25th
05:34:50 <hppavilion1> (Not a slow clap, either. Genuine applause)
05:34:53 <dr_ais523> Sgeo: thanks for letting us know, saves us worrying about you
05:35:27 <dr_ais523> hppavilion1: there must be some sort of rule about IRC that no matter how hard you try to indicate you aren't being sarcastic, pretty much anything anyone says can be perceived as such
05:36:24 <hppavilion1> dr_ais523: I believe that that was Mdr. Hedwig Notta's first discovered theorem; the thing that got him into Chathematics.
05:36:34 <Sgeo> dr_ais523, Congratulations!
05:37:11 <dr_ais523> http://etheses.bham.ac.uk/6120/1/Smith15PhD.pdf for anyone who wants to read the thesis itself (apologies for my university's formatting guidelines)
05:37:12 <hppavilion1> ( zzo38: the devlog also serves as the docs, for now, so you probably want that. It's just a simple site.)
05:37:30 <dr_ais523> I concluded that fighting to get the information and structure in there was more important than arguing over the formatting
05:39:41 <dr_ais523> actually the font size is a few fractions of a pixel below what I was supposed to use, but matching it exactly was too hard
05:39:51 <dr_ais523> I had to get permission from my supervisor, which was mostly getting him to say that he didn't care
05:40:31 <dr_ais523> (the "you must get permission from your supervisor" rule was apparently written with no backing or means to enforce it, but I'm the sort of person who tends to obey ridiculous rules that aren't actively harmful in the hope that it helps people realise how ridiculous they are)
05:40:35 -!- Welo has joined.
05:43:46 <shachaf> What's not genuine about slow clapping?
05:43:51 <zzo38> I don't need a devlog
05:44:21 <zzo38> I have Python 2.7.3 though, not 3.4, sorry
05:44:55 <hppavilion1> zzo38: Ah. That would be problematic if you needed it; however, it should be fine.
05:45:14 <hppavilion1> Though there are no docs besides the devlog.
05:45:54 <zzo38> That's OK; I don't need anything yet. Although once it is much closer to being complete, I would like to see the program
05:46:33 <hppavilion1> zzo38: I don't think it will run on python 2.7, as it uses a library made for 3.5 that is just barely working on 3.4
05:48:12 <zzo38> I may not even want to execute it, but just to see it. If I do need to execute it I would need to upgrade the package because this package manager says it has only version 3.2
05:49:19 <hppavilion1> You'll be able to read the HTML file (though not use the interactive updates) without 3.4, but the server itself will need to be run on 3.4 or 3.5. Or, I suppose the backend might run on 2.7 (like, the part that actually does the databasing) and you could use the default behavior (a REPL) to play with it
05:53:39 -!- dr_ais523 has quit.
05:53:41 -!- skarn has quit (Quit: ZNC - http://znc.in).
05:55:24 -!- tromp has joined.
05:55:36 -!- dr_ais523 has joined.
05:59:11 <zzo38> Do you like my proposals for changes of SQLite?
05:59:41 <dr_ais523> zzo38: I think the SQLite docs link to them
05:59:47 <dr_ais523> as something that people might want to take into consideration
06:00:32 <zzo38> dr_ais523: How is that?
06:01:11 <dr_ais523> maybe I'm confusing it with something else
06:09:05 <zzo38> One of the features I wanted was to allow virtual tables to consume LIMIT and OFFSET clauses in some cases (I wrote a documentation that mentions some of the considerations needed to do this); it seem to me it would be helpful for use with remote data
06:10:23 -!- adu has joined.
06:12:13 <zzo38> There are also some other things that currently only are supported for real tables, and I wrote about some of the considerations for doing with virtual tables, and also a few other things that may be useful for virtual tables, such as batch update support.
06:12:20 -!- mapless has joined.
06:15:39 -!- dr_ais523 has quit.
06:17:43 -!- dr_ais523 has joined.
06:17:44 -!- mapless has changed nick to mapless_away.
06:17:56 -!- mapless_away has changed nick to mapless.
06:21:38 -!- tromp has quit (Remote host closed the connection).
06:27:19 <zzo38> What is your opinion of these kind of idea?
06:28:41 <dr_ais523> zzo38: it seems like a good idea if you're using virtual tables
06:32:39 -!- mapless has changed nick to mapless_away.
06:33:14 -!- mapless_away has changed nick to mapless.
06:39:17 <zzo38> I have written a virtual table module to read RDF data and also one to read JSON data (based on PDJSON); SQLite now includes its own JSON implementation though, which is probably better than mine. But if you want to add virtual tables to access remote data or to manipulate pictures or whatever, then some such new feature might also be useful.
06:39:39 -!- dr_ais523 has quit.
06:40:38 <zzo38> Virtual table can already support consuming MATCH constraints, which can be useful for remote data if the remote service uses its own query syntax for matching strings or text or whatever.
06:43:44 -!- dr_ais523 has joined.
06:52:48 -!- hppavilion1 has quit (Ping timeout: 250 seconds).
06:57:35 -!- dr_ais523 has quit.
06:57:50 -!- dr_ais523 has joined.
06:59:18 -!- hppavilion1 has joined.
07:01:48 -!- MDude has quit (Ping timeout: 256 seconds).
07:05:06 -!- ent0nces has quit (Read error: Connection reset by peer).
07:05:42 -!- hppavilion1 has changed nick to hppavilion[1].
07:05:50 -!- ent0nces has joined.
07:07:39 -!- dr_ais523 has quit.
07:07:53 -!- mapless has left.
07:07:56 -!- dr_ais523 has joined.
07:22:19 -!- tromp has joined.
07:25:34 -!- dr_ais523 has quit.
07:25:49 -!- dr_ais523 has joined.
07:26:35 -!- tromp has quit (Ping timeout: 240 seconds).
07:38:31 -!- ^v has quit (Quit: Leaving).
07:49:26 -!- andrew_ has quit (Ping timeout: 240 seconds).
07:50:50 -!- dr_ais523 has quit (Read error: Connection reset by peer).
07:52:42 -!- andrew_ has joined.
07:58:00 -!- ais523 has joined.
07:58:47 -!- ent0nces has quit (Read error: Connection reset by peer).
07:59:25 -!- ent0nces has joined.
08:09:39 -!- ais523 has quit.
08:13:41 -!- ais523 has joined.
08:14:04 -!- ais523 has changed nick to dr_ais523.
08:22:13 -!- ent0nces has quit (Read error: Connection reset by peer).
08:22:58 -!- ent0nces has joined.
08:30:37 -!- variable has joined.
08:42:19 -!- variable has quit (Quit: 1 found in /dev/zero).
08:45:46 -!- ent0nces has quit (Read error: Connection reset by peer).
08:46:29 -!- ent0nces has joined.
08:50:23 -!- ent0nces has quit (Read error: Connection reset by peer).
08:50:57 -!- ent0nces has joined.
08:59:53 -!- ent0nces has quit (Read error: Connection reset by peer).
09:00:32 -!- ent0nces has joined.
09:00:56 <hppavilion[1]> We shoudl found the Unnecessary Standardization Society
09:02:07 -!- oerjan has quit (Quit: Only if we must).
09:04:21 -!- ent0nces has quit (Read error: Connection reset by peer).
09:04:34 <dr_ais523> hppavilion[1]: oerjan often does aim at people in quit messages
09:04:47 <dr_ais523> also, we tried forming an esolang standardisation organisation before now
09:04:52 <dr_ais523> but it never accomplished anything
09:05:00 -!- ent0nces has joined.
09:05:14 <hppavilion[1]> dr_ais523: "Unnecessary Standardization Society" wouldn't be for esolangs, strictly
09:05:30 <hppavilion[1]> It'd be for standardizing things that should not be standardized.
09:05:38 <dr_ais523> you could, say, standardize toilet paper orientation
09:06:04 <hppavilion[1]> Like how you torture people (which is something which shouldn't be done, let alone done in a standard way)
09:06:26 <hppavilion[1]> It would be to some degree a parody of actual standardization
09:07:05 <fizzie> I formed something vaguely like that (although it wasn't strictly restricted to only things that shouldn't be standardised) with a friend years ago, but it didn't really go anywhere.
09:08:19 <hppavilion[1]> fizzie: Was that the thing dr_ais523 was talking about?
09:08:54 <hppavilion[1]> If I decide to form an EsoStandard Society, I'll probably incoroprate ESON as a standard.
09:09:06 <fizzie> It was more about standardising just random things in general, both useless and maybe (accidentally) useful.
09:09:36 <fizzie> There was a punny acronym and a number of files that have probably now been lost, that's all.
09:10:10 <hppavilion[1]> Because data can really only be measured in binarized metric
09:10:25 <fizzie> HThere are extensions of the eating-based nomenclature.
09:11:33 <fizzie> Like two bits are allegedly a crumb, but there are all kinds of suggestions for going upwards from nybble/byte too. Not really widespread enough to be standard.
09:11:57 <fizzie> I remember hearing "meal" at least.
09:12:08 <fizzie> Not sure how many bits it was.
09:12:49 <fizzie> It was also probably a useful unit, which wouldn't be that "imperial"
09:13:36 <hppavilion[1]> fizzie: Exactly. Imperial Units for data would be completely arbitrary and pointless and generally bad.
09:13:37 <fizzie> Oh. Well, maybe. Not sure if 8 bites is much of a meal.
09:13:53 <hppavilion[1]> fizzie: TELL THAT TO THE CHILDREN STARVING IN AFRICA
09:13:56 <fizzie> That's maybe more of a snack.
09:15:23 <fizzie> 16 bytes is a paragraph, which provides a different theme of extensions. I think this one was used in an esolang. Maybe even something by the doctor.
09:15:23 -!- adu has quit (Quit: adu).
09:15:53 <hppavilion[1]> fizzie: Is there such thing as a pizza? Equivalent to ~4 meals assuming each person eats 2 slices and it's a standard pizza.
09:17:20 <hppavilion[1]> fizzie: Does something count as having been made by a doctor if they earned their doctorate after they made it?
09:19:00 <dr_ais523> fizzie: it's probably a type from Infinite Vector, which was made by me
09:19:05 <dr_ais523> and is mostly admired for the type names
09:19:25 <hppavilion[1]> A yes-or-no question followed by "If so, how can we abuse this knowledge?" is now my favourite thing to say
09:19:47 <dr_ais523> you could change "if so," to "if not," depending in the question
09:19:57 <dr_ais523> and almost double the number of circumstances it works in
09:21:10 <hppavilion[1]> I think there are more questions to which the answer is "no" than there are to which it is "yes", assuming a finitely-large universe, or that our frame-of-reference is limited to the observable universe
09:21:59 <hppavilion[1]> Unless, of course, you count negated questions as unique questions. Which we don't here.
09:23:02 <hppavilion[1]> If you do, then there are an equal number of both "yes"-answerable questions and "no"-answerable questions, and that number is infinity because you can negate repeatedly to produce new questions.
09:23:28 <hppavilion[1]> Unless you're sane and don't count n-negated questions where n>1 as unique questions
09:23:53 <dr_ais523> what if I'm insane but nonetheless don't count n-negated questions where n>1 as unique questions?
09:24:19 <hppavilion[1]> dr_ais523: I never said you can't be insane and do that. I think. Did I?
09:24:28 <hppavilion[1]> You know, maybe we should formulate Question Theory to formalize the things which we can abuse the knowledge of.
09:24:42 <hppavilion[1]> Unless there's an existing field of mathematics that does that already
09:25:06 <hppavilion[1]> Though question theory could be created with a Curry-Howard-like correspondence to Formal Logic
09:25:15 <dr_ais523> hppavilion[1]: it depends on what "unless" means
09:25:57 -!- ent0nces has quit.
09:27:03 <hppavilion[1]> What is the mathematical object that we call a "Question"?
09:28:00 <hppavilion[1]> And which probably resides in the set Ε (from the greek word "Ερώτηση")
09:29:18 <hppavilion[1]> (With this, we will make mathematics require even more rigor! You will have to formulate a formal question to even consider anything! Mwahahahaha!)
09:31:32 <hppavilion[1]> dr_ais523: Have any ideas? Can't think of what to make a formal question xD
09:31:46 <fizzie> I wrote a really niche application (as one does), and usually I've put them to github to be ignored by everyone (ditto), but now I'm technically supposed to ask for permission from my employer first. :/
09:32:05 <dr_ais523> I'm the sort of person for whom a good idea normally takes days to work out the implication of
09:32:40 <hppavilion[1]> Why would you need to ask permission for something you make?
09:33:45 <hppavilion[1]> I suppose a Question probably is a constraint and a set of possible answers
09:34:05 <hppavilion[1]> The constraints have to match some formal definition of question constraints
09:34:20 <fizzie> Because our standard contract has a (not so unusual) clause on it that makes them own everything by default if it is "relevant to the business", and given the amount of pies Google has their fingers in, with sufficiently far-fetched logic even very silly things could technically fall in that bucket.
09:35:03 <fizzie> I mean, they could take my niche application and sell it, in theory. I might even pay, say, a dollar for it, if someone else had written it.
09:35:16 <fizzie> But nobody would have, because I don't think it really has much of an audience.
09:36:02 <fizzie> dr_ais523: It's yet another variation of the port knocking scheme that people use to hide open services from casual observers.
09:36:31 <dr_ais523> Google would probably be potentially interested in that field generally, but quite possibly have a decent impl already and don't need another
09:37:17 <fizzie> dr_ais523: I wanted something that (a) does the knocking with a TCP SYN packet into the same port it will eventually connect (for robustness -- that's something that should succeed if the connection itself will) and (b) can be performed from a stock Android device.
09:37:43 <dr_ais523> hmm, (b) is probably less of a problem for Google
09:38:08 <fizzie> For (a) above, there's http://www.thoughtcrime.org/software/knockknock/ (well, that's dead now; but it's got like 27 forks in Github, I'm sure at least one of them is still going), but it puts the data into fields of the TCP packet you can't modify from an unprivileged application.
09:38:39 <fizzie> I went with an app that puts a special magic value into the advertised TCP MSS field, which is something you can setsockopt from a regular process.
09:39:05 <fizzie> It misses all the fancy crypto for indistinguishability and replay-proofness, but OTOH it's not *worse* than regular "hit this port" knocking.
09:39:15 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
09:39:39 <fizzie> (And the Android app needs no special magic to perform the knock.)
09:41:39 -!- dr_ais523 has quit.
09:41:51 -!- dr_ais523 has joined.
09:42:25 <fizzie> Oh, there's one other alternative which I came up with while tinkering with this that satisfies (a) + (b) and allows for large(r) amounts of data, but it's IPv4 only and so not terribly future-proof.
09:43:18 <fizzie> setsockopt(..., IPPROTO_IP, IP_OPTIONS, ...) can be set on a socket (even a stream one) to adjust the IPv4 option headers for all packets going out of that socket.
09:43:39 -!- dr_ais523 has quit (Client Quit).
09:43:52 -!- dr_ais523 has joined.
09:44:08 <fizzie> The problem there is that the corresponding Linux API for IPv6 is not a socket option -- you pass control messages to sendmsg, and it only works for SOCK_DGRAM (and SOCK_RAW) sockets, so it can't be used to affect the TCP SYN.
09:45:30 <fizzie> Anyway, using a fixed magic TCP MSS has the advantage that the server side doesn't need a program to do the crypto, it can be a simple iptables rule with "-m tcpmss --mss X".
09:56:21 -!- adu has joined.
10:07:15 -!- hppavilion[1] has joined.
10:13:03 -!- AnotherTest has joined.
10:19:39 -!- dr_ais523 has quit.
10:21:44 -!- dr_ais523 has joined.
10:23:04 -!- tromp has joined.
10:25:10 -!- sewilton has quit (Ping timeout: 260 seconds).
10:25:39 -!- mbrcknl has quit (Ping timeout: 250 seconds).
10:26:29 -!- trn has quit (Quit: quit).
10:26:57 -!- ocharles__ has quit (Ping timeout: 250 seconds).
10:27:18 -!- tromp has quit (Ping timeout: 250 seconds).
10:27:27 -!- trn has joined.
10:35:04 <HackEgo> hyperbolic geometry? ¯\(°_o)/¯
10:35:47 <hppavilion[1]> `le/rn Hyperbolic Geometry/Hyperbolic Geometry is geometry that is exaggerated to the point of absurdity
10:35:50 <HackEgo> Learned «hyperbolic geometry»
10:35:58 <HackEgo> Hyperbolic Geometry is geometry that is exaggerated to the point of absurdity
10:39:46 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
10:45:04 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
10:48:06 -!- ocharles__ has joined.
10:49:06 -!- Lord_of_Life has joined.
10:49:40 -!- sewilton has joined.
10:50:28 -!- mbrcknl has joined.
11:07:39 -!- dr_ais523 has quit.
11:14:32 -!- adu has quit (Quit: adu).
11:17:45 -!- dr_ais523 has joined.
11:28:41 -!- zadock has joined.
11:31:39 -!- dr_ais523 has quit.
11:33:44 -!- dr_ais523 has joined.
11:46:15 -!- Patashu has quit (Ping timeout: 240 seconds).
11:55:34 <b_jonas> Hmm. As I specified the Aspis of Horatio Cocles, it would allow a crazy expensive strategy where you get it, wish for the Eye of Misspelling, go to a quest nemesis (or really any strong monster except the Wizard), branchport to the castle, controlled teleport to the bridge, and defeat it there.
11:55:54 <b_jonas> That's not overpowered though, because it needs controlled teleport, the EotA, and a random artifact.
11:56:26 <b_jonas> Although the nemesis could still try to heal at the stairs if you don't block it.
11:57:49 <b_jonas> Luckiliy it's trickier against the Wizard of Yendor: he'd curse the Aspis and your weapon to your hands, at which point you're screwed unless you're very prepared.
12:07:14 -!- J_Arcane has quit (Ping timeout: 256 seconds).
12:15:39 -!- dr_ais523 has quit.
12:17:44 -!- dr_ais523 has joined.
12:23:09 <b_jonas> In both scenarios, they were not separated before Atlas.
12:23:17 <b_jonas> In both scenarios, they were not separated before Atlas.
12:24:28 -!- tromp has joined.
12:24:39 <b_jonas> According to http://mythology.stackexchange.com/a/1224/197 , after Zeus and his fellow Olympian gods overthrew the Titans (Kronos etc), he punished the Titan Atlas by giving him the task that he has to hold the celestial sphere Oranos separate from the earth Gaia, because “If they united together once more, Gaia might start birthing titans again and the Olympian Gods see that as bad thing.”
12:24:51 <b_jonas> \ giving him the task that he has to hold the celestial sphere Oranos separate from the earth Gaia, because “If they united together once more, Gaia might start birthing titans again and the Olympian Gods see that as bad thing.”
12:25:38 <b_jonas> So Zeus tasks a defeated Titan to ensure that no more Titans can be born and so the Titans can't get to power again.
12:25:49 <b_jonas> That sounds to me like such a stupid idea that only Zeus could come up with it.
12:26:04 <b_jonas> In fact, it could explain why the Olympian gods are no longer in power.
12:26:59 <b_jonas> The titans just needed a hero who isn't on the Olympian's side to explain the situation to Atlas and convince him to drop the sky,
12:27:43 <b_jonas> and then new gods could be born again, they can release the old Titans from Tartarus and overthrow Zeus's rule.
12:28:35 -!- tromp has quit (Ping timeout: 240 seconds).
12:29:39 -!- dr_ais523 has quit.
12:30:24 -!- dr_ais523 has joined.
12:31:52 <b_jonas> Zeus isn't entirely stupid, mind you. He was good in getting other gods as allies. He gained Hades and Hephaistos as allies by donating them beautiful women to marry, then gained other gods as allies by using the technology created by Hephaistos.
12:33:11 -!- fungot has quit (Remote host closed the connection).
12:37:39 -!- dr_ais523 has quit.
12:37:51 -!- dr_ais523 has joined.
12:41:34 -!- dr_ais523 has quit (Client Quit).
12:42:35 -!- dr_ais523 has joined.
12:53:00 -!- Phantom_Hoover has joined.
13:15:15 -!- Lord_of_Life has quit (Excess Flood).
13:17:39 -!- dr_ais523 has quit.
13:17:52 -!- dr_ais523 has joined.
13:19:06 -!- Lord_of_Life has joined.
13:26:00 -!- MoALTz has quit (Ping timeout: 256 seconds).
13:27:39 -!- dr_ais523 has quit.
13:28:43 -!- dr_ais523 has joined.
13:39:46 -!- andrew_ has quit (Ping timeout: 240 seconds).
13:40:13 -!- andrew_ has joined.
13:44:08 <lambdabot> uptime: 20h 1m 51s, longest uptime: 1m 10d 23h 44m 29s
13:47:22 -!- dr_ais523 has quit.
13:49:34 -!- MoALTz has joined.
13:52:50 -!- MoALTz_ has joined.
13:55:35 -!- MoALTz has quit (Ping timeout: 240 seconds).
14:08:10 -!- jaboja has joined.
14:20:12 -!- J_Arcane has joined.
14:21:33 -!- boily has joined.
14:22:18 <lambdabot> CYUL 131400Z 04008KT 30SM BKN240 01/M03 A3031 RMK CI7 SLP266
14:22:33 <boily> only 1. back to normaler temperatures.
14:30:15 -!- jaboja has quit (Ping timeout: 240 seconds).
14:34:30 <Taneb> I return from Italy!
14:34:32 -!- zadock has quit (Quit: Leaving).
14:40:51 -!- tromp has joined.
14:42:21 <boily> you overwrote the vacation stack, so now you return to an unknown adress?
14:45:40 -!- tromp has quit (Ping timeout: 272 seconds).
14:55:45 <lambdabot> EGLL 131450Z AUTO 15001KT 6000 OVC003 09/08 Q1018 BECMG BKN005
14:55:57 <fizzie> At least it's less than ten.
14:56:20 <fizzie> BECMG BKN looks like the kind of thing people write in their textual messages.
14:57:27 -!- fungot has joined.
14:57:32 <fizzie> fungot: Speak SMS to me, please.
14:57:32 <fungot> fizzie: am i that much bad, ur bd me kisike side nai:-d... aur 1 bar mein gassey ( in out) maare ,to us larki: kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi na kbi n
14:57:49 <fizzie> fungot: That's a bit too much.
14:57:49 <fungot> fizzie: finish my presentation le three hours standing exhausted. just want to cuddle up and take. :-d
14:58:11 <fizzie> fungot: Oh, you're giving a presentation? What about?
14:58:12 <fungot> fizzie: wat i cnt i said i ' l talk later
14:58:59 <int-e> i mapole lop ami ... a dictionary word mapole palindrome... but making a meaningful one seems hard
15:00:36 <int-e> (here's a tempting but probably useless start: develop a mapole ved...)
15:05:28 <boily> mapole mapole mapole ♪
15:05:43 <boily> fizziello. kbi na kbi na kbi na kbi na.
15:12:41 -!- mauris has joined.
15:20:19 -!- Froox has quit (Ping timeout: 250 seconds).
15:44:00 <Taneb> This is a long wait at heathrow...
15:49:37 -!- tromp has joined.
15:52:14 -!- mauris has quit (Read error: Connection reset by peer).
15:56:56 -!- mauris has joined.
16:19:24 -!- MoALTz_ has quit (Read error: Connection reset by peer).
16:20:49 -!- MoALTz_ has joined.
16:26:04 -!- MoALTz_ has changed nick to MoALTz.
16:39:44 -!- andrew_ has quit (Remote host closed the connection).
16:40:54 -!- lleu has joined.
16:40:54 -!- lleu has quit (Changing host).
16:40:54 -!- lleu has joined.
17:02:54 -!- boily has quit (Quit: TEMPER CHICKEN).
17:09:44 -!- tromp has quit (Remote host closed the connection).
17:41:33 <Sgeo> "This is to officially inform you that it has come to our notice and we have thoroughly Investigated with the help of our Intelligence Monitoring Network System that you are having an illegal Transaction with Impostors Claiming to be the Secretary General of the United Nation, Ban Ki-Moon, the CEO HSBC Bank UK, formal FIFA President, none officials of Barclays UK, China Construction Bank , China, Agricultural Bank of China , China, Wells
17:41:33 <Sgeo> Fargo, US, JPMorgan Chase, US, Wells Fargo, US,HSBC Holdings UK,Royal Bank of Canada , Canada, Commonwealth Bank Australia,ICBC China, Bank of China are Impostors. During our Investigation, we noticed that the reason why you have not received your Payment is because you have not fulfilled your Financial Obligation given to you in respect of your Contract/Inheritance Payment."
17:41:42 <Sgeo> ^^ spam email claiming to be from FBI
17:42:07 <Sgeo> What's the thought here, that the FBI wants to assist with your illegal transaction with imposters?
17:46:39 <int-e> meta spam, beautiful
17:47:18 <int-e> but I'm afraid that this goes beyond logic
17:49:17 <Taneb> Sgeo: I think that the reason it's illegal is that you aren't giving them your details
17:53:06 <int-e> seems to be old... http://www.snopes.com/CRIME/fraud/atmcard.asp
17:55:05 <int-e> (that specimen is neat because it mentions people imposting FBI agents)
17:58:41 <int-e> anyway, the usual logic applies; "oh wow, that's a lot of money" "I'll risk $500 for that" "also it's from the FBI" "the text was too long I didn't read all of that"
18:01:43 * int-e is reminded of https://xkcd.com/570/
18:03:12 <int-e> though now that I look at it again, I think the guy in the car just wanted a new car without paying for it
18:06:35 -!- adu has joined.
18:07:48 -!- mauris_ has joined.
18:10:01 -!- Phantom__Hoover has joined.
18:10:24 -!- tromp has joined.
18:13:22 -!- Weloxux has joined.
18:13:26 -!- lambdabot has quit (Ping timeout: 240 seconds).
18:13:28 -!- mauris has quit (Ping timeout: 240 seconds).
18:13:28 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
18:13:28 -!- Welo has quit (Ping timeout: 240 seconds).
18:14:46 <Sgeo> int-e, same joke: https://www.youtube.com/watch?v=sdi6E-qzS1c
18:15:00 -!- tromp has quit (Ping timeout: 256 seconds).
18:18:02 -!- Frooxius has joined.
18:20:58 -!- lambdabot has joined.
18:41:56 <zzo38> With my "relative location bar" extension to Firefox, I find it sometimes useful to use the ALT+ENTER to open a relative URL in a new tab. It is also sometimes useful in order to open the current URL in a new tab.
18:45:25 -!- aretecode has joined.
18:46:40 -!- Weloxux has quit (Quit: Leaving).
18:51:39 <zzo38> The best interpretation of quantum mechanics is: Mathematics is the real reality.
18:52:27 <izabera> what are the alternatives?
18:53:22 <zzo38> There are a lot (more than I know)! It can be look up in Wikipedia too
18:56:46 <zzo38> Some people say it is embarassing for everyone to have a different opinion, but that is stupid because the correct way is that nobody know if/how such thing is supposed to be matter of opinion, religion, scientific, philosophy, or an experiment; therefore how can you know what/if a correct answer can be? Nobody can know.
19:12:01 -!- tromp has joined.
19:16:15 -!- tromp has quit (Ping timeout: 240 seconds).
19:30:31 -!- mauris_ has quit (Read error: Connection reset by peer).
19:33:53 -!- TieSoul has quit (*.net *.split).
19:33:54 -!- SirCmpwn has quit (*.net *.split).
19:33:54 -!- puckipedia has quit (*.net *.split).
19:33:54 -!- paul2520 has quit (*.net *.split).
19:33:54 -!- quintopia has quit (*.net *.split).
19:33:54 -!- deltab has quit (*.net *.split).
19:33:54 -!- b_jonas has quit (*.net *.split).
19:33:54 -!- ski has quit (*.net *.split).
19:33:55 -!- nitrix has quit (*.net *.split).
19:33:55 -!- staffehn_ has quit (*.net *.split).
19:33:55 -!- fractal has quit (*.net *.split).
19:33:55 -!- cnr has quit (*.net *.split).
19:33:55 -!- coppro has quit (*.net *.split).
19:33:56 -!- APic has quit (*.net *.split).
19:34:20 -!- TieSoul has joined.
19:34:20 -!- staffehn_ has joined.
19:34:20 -!- SirCmpwn has joined.
19:34:20 -!- nitrix has joined.
19:34:20 -!- ski has joined.
19:34:20 -!- b_jonas has joined.
19:34:20 -!- deltab has joined.
19:34:20 -!- quintopia has joined.
19:34:20 -!- paul2520 has joined.
19:34:20 -!- puckipedia has joined.
19:34:20 -!- cnr has joined.
19:34:20 -!- coppro has joined.
19:34:20 -!- APic has joined.
19:37:30 -!- EgoBot has quit (Remote host closed the connection).
19:38:06 -!- EgoBot has joined.
19:47:09 -!- evalj has joined.
19:47:54 -!- jaboja has joined.
19:52:27 -!- mauris has joined.
20:03:26 -!- Patashu has joined.
20:12:59 -!- hppavilion[1] has joined.
20:14:32 -!- fractal has joined.
20:14:33 -!- ^v has joined.
20:37:26 -!- jaboja has quit (Ping timeout: 240 seconds).
20:39:02 -!- boily has joined.
20:41:55 -!- Patashu has quit (Ping timeout: 240 seconds).
20:43:52 <HackEgo> [wiki] [[Special:Log/newusers]] create * Wms0-1p * New user account
20:48:38 -!- zgrep has quit (Ping timeout: 260 seconds).
20:50:58 -!- zgrep has joined.
20:58:58 -!- EgoBot has quit (Remote host closed the connection).
21:02:02 -!- FireFly has quit (Ping timeout: 250 seconds).
21:04:05 -!- Gregor has quit (Ping timeout: 244 seconds).
21:09:51 -!- esowiki has joined.
21:09:55 -!- esowiki has joined.
21:09:56 -!- esowiki has joined.
21:12:01 -!- glogbot has joined.
21:12:09 <boily> hppavilioodbye[1]!
21:12:09 -!- boily has quit (Quit: CARDBOARD CHICKEN).
21:12:09 -!- tromp has joined.
21:15:52 -!- esowiki has joined.
21:15:56 -!- esowiki has joined.
21:15:56 -!- esowiki has joined.
21:16:32 -!- esowiki has joined.
21:16:36 -!- esowiki has joined.
21:16:37 -!- esowiki has joined.
21:17:05 -!- glogbot has joined.
21:18:15 -!- FireFly has joined.
21:19:08 -!- Guest79570 has quit (Ping timeout: 240 seconds).
21:21:33 -!- esowiki has joined.
21:21:37 -!- esowiki has joined.
21:21:37 -!- esowiki has joined.
21:21:44 -!- glogbot has joined.
21:23:58 -!- FireFly has quit (Excess Flood).
21:32:33 -!- FireFly has joined.
22:04:44 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:07:44 -!- aloril has quit (Ping timeout: 272 seconds).
22:13:16 -!- aloril has joined.
22:15:06 -!- mauris_ has joined.
22:17:26 -!- mauris has quit (Ping timeout: 240 seconds).
22:42:04 -!- ^v has quit (Read error: Connection reset by peer).
22:52:20 -!- bb010g has joined.
23:01:32 -!- boily has joined.
23:30:56 -!- oerjan has joined.
23:35:23 <hppavilion[1]> boily: That was me alerting you to my presence. The problem with esellos is that it doesn't beep the other user.
23:36:24 -!- aretecode has quit (Quit: Toodaloo).
23:38:44 <boily> makes sense. but some of us get pinged on part of their nicks, and others just reflexively alt-tab alt-tab (as I do).
23:39:05 <boily> and then we have the All Seeing Oerjan, the Backlogger.
23:39:40 <oerjan> <dr_ais523> you could, say, standardize toilet paper orientation <-- i'm sorry that is already completely standard, even if some INFIDELS get it WRONG WRONG WRONG
23:40:17 <boily> oh, ais523 is now a Dr.?
23:40:19 -!- evalj has quit (Remote host closed the connection).
23:41:19 <oerjan> you'd know if you read the logs hth
23:41:33 <oerjan> (also if you had been here yesterday for any length of time...)
23:42:01 <boily> yesterday I was Christmas shopping, and we had our Christmas office party.
23:44:17 <oerjan> <fizzie> There was a punny acronym and a number of files that have probably now been lost, that's all. <-- i have this hunch this is not a very identifying description.
23:45:05 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
23:55:52 -!- hppavilion[1] has joined.